docs
  • About RACE™ Chain
  • Using RACE™ Chain
  • How RACE™ Chain Works
    • Fraud Proof
    • Fault Proof Program
      • Prologue
      • Main Content
      • Epilogue
    • Fault Proof VM
  • BUILDING ON RACE™
    • Network Information
    • QuickNode Integration
    • RACE™ Contracts
    • Fees
    • Differences between Ethereum and RACE™
  • GUIDES
    • Deploying a Smart Contract
      • Using Hardhat
      • Using Remix
  • TOOLS
    • Block Explorer
    • Network Faucets
  • Bridge
    • Testnet
  • CLIENTS
    • web3.js
    • ethers.js
  • Tokens
Powered by GitBook
On this page
  1. How RACE™ Chain Works

Fault Proof Program

The Fault Proof Program defines the verification of claims of the state-transition outputs of the L2 rollup as a pure function of L1 data.

The op-program is the reference implementation of the program, based on op-node and op-geth implementations.

The program consists of:

  • Prologue: load the inputs, given minimal bootstrapping, with possible test overrides.

  • Main content: process the L2 state transition, i.e. derive the state changes from the L1 inputs.

  • Epilogue: inspect the state changes to verify the claim.

PreviousFraud ProofNextPrologue

Last updated 1 year ago