issues
search
anoma
/
vamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
https://anoma.github.io/VampIR-Book/
Apache License 2.0
156
stars
44
forks
source link
Merge if implementation along with required rust changes
#41
Closed
AHartNtkn
closed
1 year ago