Write a compiler from OSL to Sigma^1_1 formulas

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

Define OSL as an EDSL. Write a compiler which turns OSL specs into Sigma^1_1 formulas.