Use SNARK proofs for L1 verification

leonardoalt / fusion

An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.

GNU General Public License v3.0

119 stars 5 forks source link

Use SNARK proofs for L1 verification #8

Closed leonardoalt closed 1 year ago

leonardoalt commented 1 year ago

Proofs are now being generated. We can update the L1 contract and verify the proof there.

leonardoalt commented 1 year ago

Done in https://github.com/trollup/trollup/pull/15