2 papers
cs.DC2025
CrowdProve: Community Proving for ZK Rollups
John Stephan, Matej Pavlovic, Antonio Locascio +1
Zero-Knowledge (ZK) rollups have become a popular solution for scaling blockchain systems, offering improved transaction throughput and reduced costs by aggregating Layer 2 transac…
cs.CR2024
Clap: a Semantic-Preserving Optimizing eDSL for Plonkish Proof Systems
Marco Stronati, Denis Firsov, Antonio Locascio +1
Plonkish is a popular circuit format for developing zero-knowledge proof systems that powers a number of major projects in the blockchain space, responsible for holding billions of…