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…