anoma / vamp-irLinks

Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
163Updated last year

Alternatives and similar repositories for vamp-ir

Users that are interested in vamp-ir are comparing it to the libraries listed below

Sorting: