Fraud Proof
1 min read
Pronunciation
[frawd proof]
Analogy
Like presenting video evidence in court to prove someone lied under oath.
Definition
Key Points Intro
Fraud proofs enforce correctness by allowing on‑chain challenges of bad state updates.
Key Points
Challenge window: Time period for submitting proofs after state commit.
Merkle proof: Verifies inclusion of disputed transaction.
Execution trace: Recomputes state root to show discrepancy.
Slashing: Malicious sequencer or relayer stake is confiscated.
Example
Technical Deep Dive
Challenger calls `proveFraud(txIndex, proofs)` on the rollup contract. Contract replays transaction on EVM, compares resulting stateRoot to committed root, and on mismatch triggers `rollback()` and slashes proposer’s bond.
Security Warning
Insufficient bond size can make fraud economically viable; calibrate slashing penalties carefully.
Caveat
Fraud proofs can be expensive to generate and verify; balance performance with security.
Fraud Proof - Related Articles
No related articles for this term.