Cross-check Haskell and Rust FRI / FRI-PCS implementations

Orbis-Tertius / Orbis

A general-purpose layer 2 zk-rollup scaling solution for Cardano

Apache License 2.0

21 stars 1 forks source link

Open morganthomas opened 2 years ago

morganthomas commented 2 years ago

Check that proofs generated by Rust are verified by the Haskell implementation.

morganthomas commented 2 years ago

Sized at two days.