Optimistic Rollup Fault Dispute Game

Mountain HawkPROTOCOL LEAD

Cannon / OP Stack Mini Trace Bisection & Single-Step EVM Interpreter

🛡️Audit Rig

Protocol Files1 Files

EVM Primitives

▸Interactive Binary Search Trace Bisection
▸Single-Opcode EVM In-EVM State Machine
▸Monotonic Chess Clocks & Bond Distribution
▸Merkle State Root Leaf Transitions

🦅Rollup Core Engineer

Pass the invariant fuzz suite to unlock a Soulbound NFT mint in Prüfstand.

Architecture Blueprint

FaultDisputeGame tracks game tree state and chess clocks. If defender fails to respond before clock expires, bond is forfeited to challenger.

1. Caller ➔ [Entry Call] ➔ FaultDisputeGame.sol

2. Execute protocol-defined state transition

3. Verify invariants hold post-transition

Protocol Files1 Files

EVM Primitives

▸Interactive Binary Search Trace Bisection
▸Single-Opcode EVM In-EVM State Machine
▸Monotonic Chess Clocks & Bond Distribution
▸Merkle State Root Leaf Transitions

🦅Rollup Core Engineer

Pass the invariant fuzz suite to unlock a Soulbound NFT mint in Prüfstand.

Architecture Blueprint

FaultDisputeGame tracks game tree state and chess clocks. If defender fails to respond before clock expires, bond is forfeited to challenger.

1. Caller ➔ [Entry Call] ➔ FaultDisputeGame.sol

2. Execute protocol-defined state transition

3. Verify invariants hold post-transition

Solidity 0.8.28Prague EVMFoundry Native

UTF-8src/FaultDisputeGame.sol

Ready · Press Ctrl+Enter

⚠️No automated Forge test suite has been authored for this capstone yet — compiling and running an invariant suite isn't available until one exists. You can still edit and compile the protocol files.

🔒

🛡️Protected Zone · Sign In Required

Pioneer Sign-In Required for Capstone Workspace

Guests can explore the curriculum roadmap on the landing page, but you must select an account to edit protocol files, compile multi-contract architectures, and run invariant test suites.

← Return to Curriculum Map🔒 Secure EVM Platform