SOURCE RECORD · github
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
Open canonical source ↗
Research paper status → · Book status →