Clap: a Rust eDSL for PlonKish Proof Systems with a Semantics-preserving Optimizing Compiler. - Marco Stronati; Denis Firsov; Antonio Locascio; Benjamin Livshits (CoRR, 2024)

CrowdProve: Community Proving for ZK Rollups. - John Stephan; Matej Pavlovic; Antonio Locascio; Benjamin Livshits (CoRR, 2025)