Fraud Proofs and Interactive Verification

This lesson is for enrolled learners

A fraud proof's job sounds simple — prove on L1 that a sequencer's posted state transition was wrong — but the obvious approach, re-executing the entire disputed batch on-chain to check it, is exactly what rollups exist to avoid. If checking a batch required the same computation on L1 that the rollup did off-chain, there would be no scaling benefit……

Enroll to continue Already enrolled? Sign in