TY  - RPRT
TI  - Clap: a Semantic-Preserving Optimizing eDSL for Plonkish Proof Systems
AU  - Marco Stronati
AU  - Denis Firsov
AU  - Antonio Locascio
AU  - Benjamin Livshits
PY  - 2024
UR  - https://arxiv.org/abs/2405.12115
ID  - 2405.12115
ER  -