filecoin-project/rust-fil-proofs

Unlocking Halo2’s Potential

vmx opened this issue · 0 comments

vmx commented

eta: 2023Q3

description:
Post Halo2 launch, we will monitor the network and consider additional circuit optimizations or additional circuit proposals (in coordination with CryptoNetLab). Some ongoing research is finding ways to prove the chain’s state to a particular point in a single proof (e.g. snapshotting/bootstrapping initial sync), and investigating ways to more easily allow Smart Contracts to prove arbitrary things via Halo2, possibly utilizing a system such as Lurk.