An optimistic rollup with fraud proofs and a bisection dispute game — a sparse Merkle state, one shared state transition function, and an L1 that convicts a lying sequencer by re-running a single transaction. Includes an interactive dispute visualization.
cryptography ethereum blockchain merkle-tree eth evm bisection layer2 fraud merkle-tree-proof-of-work dispute-resolution sparse-merkle-tree merkle-trees optimistic-rollup fraud-proofs optimistic-rollups fraud-proof-detection
-
Updated
Jul 18, 2026 - Python