@misc{indiciae5de7d8f1fac6,
  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},
  url = {https://arxiv.org/abs/2405.12115},
  note = {Source identifier: 2405.12115}
}