4 citations · 5 across the 3 of their papers we have counts for
3 papers
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…
Towards a Formal Foundation for Blockchain Rollups
Stefanos Chaliasos, Denis Firsov, Benjamin Livshits
Blockchains like Bitcoin and Ethereum have revolutionized digital transactions, yet scalability issues persist. Layer 2 solutions, such as validity proof Rollups (ZK-Rollups), aim…
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…