2 papers
cs.CR2025
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…
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…