Write up a proposal for Sigma^1_1 arithmetization with polynomial quantifier bounds and a more succinct circuit - Githubissues

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 up a proposal for Sigma^1_1 arithmetization with polynomial quantifier bounds and a more succinct circuit #76

Open morganthomas opened 2 years ago