Proves Ethereum mainnet blocks in real time using OpenVM 2.0 with p99 performance on 16 GPUs, achieving 100-bit provable security and proofs under 300 kB.