VampIR: LLVM for polynomial circuits, now with benchmarks!
A language to write back-end agnostic arithmetic circuits for zero knowledge proving systems. With VampIR, users can execute arithmetic circuits and generate proofs based on the selected back-end proving system. We will also provide benchmarks!
SPEAKER
Joshua Fitzgerald
EVENT
EthCC[6]
Date
7/21/2023
CATEGORY
Developer Tools
TYPE
Talk
LANGUAGE
EN
Developer Tools videos
