Vamp-IR: a universal language for arithmetic circuits
Vamp-IR is a proof-system agnostic language for arithmetic circuits that can be compiled to any constraint system, including those augmented with custom constraints and lookup tables.
SPEAKER
Joshua Fitzgerald
EVENT
EthCC[5]
Date
07/21/2022
CATEGORY
Developer Tools
TYPE
Talk
LANGUAGE
EN
Developer Tools videos