Components

minieth

mipsevm

Contracts Onchain

Block Execution

Prefetch Run

MIPS Run

• A checkpoint is a Merkle trie containing the MIPS memory (as an address → 32bit value mapping).

Challenge

Cannon Overview · ethereum-optimism/optimistic-specs Wiki