AHartNtkn/vamp-ir-mod-less
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
RustApache-2.0
Watchers
No one’s watching this repository yet.
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
RustApache-2.0
No one’s watching this repository yet.