Abstract As Ethereum strives to scale its operations while preserving decentralization and security, Layer 2 solutions such as ZK-Rollups have emerged as promising techniques. ZK-Rollups provide enhanced scalability by processing transactions off-chain and submitting succinct proofs to the main chain. However, this very attribute that grants scalability introduces new security concerns, particularly regarding code correctness and oracle security. This paper critically examines these security ...