Write a circuit friendly Halo 2 verifier

Orbis-Tertius / Orbis

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

Apache License 2.0

21 stars 1 forks source link

Write a circuit friendly Halo 2 verifier #88

Open morganthomas opened 2 years ago

morganthomas commented 2 years ago

Make a variant of the FRI Halo 2 verifier algorithm which takes an oracle data structure giving the answers to field operations and hashes, thus making it amenable to running in the TinyRAM circuit.