@TechReport{stronati24clap,
  title =        "{Clap: a Semantic-Preserving Optimizing eDSL for
                 Plonkish Proof Systems}",
  author =       "Marco Stronati and Denis Firsov and Antonio Locascio
                 and Benjamin Livshits",
  year =         "2024",
  month =        may,
  institution =  "arXiv",
  number =       "arXiv:2405.12115",
}