Towards a Formal Foundation for Blockchain Rollups

arXiv:2406.16219v1 Announce Type: new
Abstract: Blockchains like Bitcoin and Ethereum have revolutionized digital transactions, yet scalability issues persist. Layer 2 solutions, such as validity proof Rollups (ZK-Rollups), aim to address these challenges by processing transactions off-chain and validating them on the main chain. However, concerns remain about security and censorship resistance, particularly regarding centralized control in Layer 2 and inadequate mechanisms for enforcing these properties through Layer 1 contracts. This work presents a formal analysis using the Alloy specification language …

address aim arxiv bitcoin blockchain blockchains censorship challenges cs.cr digital ethereum foundation issues layer 2 main proof rollups scalability security solutions transactions validating zk-rollups