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

7/21/2022

CATEGORY

Developer Tools

TYPE

Talk

LANGUAGE

EN

Developer Tools videos