Implement proof 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

Implement proof verification #5

Closed chriseth closed 1 year ago

chriseth commented 1 year ago

The on test fails because a proof for one key is also valid for another key.