Vamp-IR: a universal language for arithmetic circuits

Name: Vamp-IR: a universal language for arithmetic circuits
Uploaded: 2022-07-21T23:32:43.000Z
Description: 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.

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

July 21, 2022