Orbis-Tertius / Orbis

A general-purpose layer 2 zk-rollup scaling solution for Cardano
Apache License 2.0
21 stars 1 forks source link

Implement Halo 2 proof verification in Plutus #65

Open morganthomas opened 2 years ago

morganthomas commented 2 years ago

This implementation may use additional primitives which may be added to Plutus in a fork. @L-as has proposed to add pasta curves to Plutus as primitives.