🎉 We are deprecating the Optimism SDK and migrating all tutorials to use viem/op-stack. Read more →
Superchain FaucetSuperchain Faucet (opens in a new tab)Gas TrackerGas Tracker (opens in a new tab)StatusStatus (opens in a new tab)
GitHubGitHub (opens in a new tab)
  • BUILDERS
  • Notices (README)
    • Preparing for Granite Breaking Changes
    • Preparing for Fault Proofs Breaking Changes
    • Preparing for Optimism SDK deprecation
  • App Developers
    • Overview
    • Superchain App Quick Start
    • Tutorials
      • Deploying Your First Contract on OP Mainnet
      • Communicating Between Chains in Solidity
      • Bridging ETH With the Optimism SDK
      • Bridging ERC-20 Tokens With the Optimism SDK
      • Bridging Your Custom ERC-20 Token to OP Mainnet
      • Bridging Your Standard ERC-20 Token to OP Mainnet
      • Viewing Deposits and Withdrawals by Address
      • Tracing Deposits and Withdrawals
      • Estimating Transaction Costs
      • Triggering OP Mainnet Transactions From Ethereum
    • Smart Contracts
      • Solidity Compatibility
      • System Contracts
      • Cost Optimization
      • SuperchainERC20 Token Standard
    • Transactions
      • Transaction Fees
      • Estimating Fees
      • Setting Gas Parameters
      • Transaction Statuses
      • Troubleshooting
    • Bridging
      • Basics of Bridging
      • The Standard Bridge
      • Custom Token Bridges
      • Sending Data Between L1 and L2
    • App Tools
      • Open Source Code Repo
      • Supersim Multichain Development Environment
      • Superchain Dev Console (opens in a new tab)
  • Chain Operators
    • Architecture
    • Start a Self-Hosted Chain
    • Chain Configuration
      • Overview
      • Rollup Deployment Configuration
      • Batcher Configuration
      • Proposer Configuration
    • Chain Management
      • Using Blobs
      • Using Snap Sync
      • Node Operations
      • Key Management
      • Troubleshooting
      • Best Practices
    • Chain Features
      • Preinstalls
      • Run an Alt-DA Mode Chain
      • Run a Custom Gas Token Chain
      • Use and Enable Span Batches on your Chain
      • Bridged USDC Standard for the OP Stack
    • Deployment
      • Overview
      • Contract Deployment
      • Genesis Creation
    • Tutorials
      • Creating Your Own L2 Rollup Testnet
      • Using the Optimism SDK
      • Adding Attributes to the Derivation Function
      • Adding a Precompile
      • Modifying Predeployed Contracts
      • Integrating a New DA Layer
    • Chain Tools
      • Chain Monitoring
      • Block Explorer
      • op-challenger
      • op-conductor
      • op-deployer
      • op-txproxy
      • proxyd
    • OP Stack Hacks
      • Intro to OP Stack Hacks
      • Featured Hacks
      • Data Availability Hacks
      • Derivation Hacks
      • Execution Hacks
      • Settlement Hacks
  • Node Operators
    • Architecture
    • Run a Node in the Superchain
    • Tutorials
      • Running a Node With Docker
      • Building a Node from Source
      • Running OP Mainnet from Source
      • Running OP Sepolia from Source
    • Configuration
      • Base Configuration
      • Consensus Layer Configuration
      • Execution Layer Configuration
    • Node Management
      • Using Blobs
      • Using Snap Sync
      • Snapshot Downloads
      • Monitoring
      • Troubleshooting
    • Network Upgrades
    • JSON-RPC API
    • Software Releases
  • Wallets & CEXs
    • Guide for Exchanges
    • Guide for Wallets
  • Developer Tools
    • Overview
    • Connecting
      • Networks and RPC Endpoints
      • RPC Providers
    • Building
      • Faucets
      • Oracles
      • NFT Tools
      • Block Explorers
      • Account Abstraction
    • Monitoring
      • Analytics
      • Historical Data
    • OP Tools
      • OP Mainnet Explorer (opens in a new tab)
      • Superchain Bridges (opens in a new tab)
      • Optimism SDK (opens in a new tab)
      • Superchain Faucet (opens in a new tab)
      • Superchain Dev Console (opens in a new tab)
      • Gas Tracker (opens in a new tab)
    • Fee Calculator

  • OP MAINNET
  • Getting Started: OP Mainnet
  • Differences Between Ethereum and OP Mainnet
  • Networks and RPC Endpoints
  • Contract Addresses
  • Bridged Token Addresses
  • Identity
    • Overview
    • About Attestations
    • Contracts (EAS)
    • Schemas
    • Apps
    • Organization
    • Projects
    • Individual identity
    • Organizations
  • Testing
    • Running a Local Development Environment
    • Testing Apps on OP Mainnet
  • Security
    • Security Model & FAQ
    • Privileged Roles
    • Security Policy
    • Bug Bounty Program (opens in a new tab)

  • OP STACK
  • Getting Started: OP Stack
  • Differences Between Ethereum and OP Stack Chains
  • Superchain Explainer
  • Design Philosophy & Principles
  • OP Stack Components
  • Smart Contracts
    • Rollup Overview
    • Derivation Pipeline
    • Sequencer Outages
    • Fault Proofs Explainer
    • FP System Components
    • FPVM: Cannon
    • OP-Challenger
    • MIPS.sol
    • FP Mainnet Security
  • Transactions
    • Transaction Fees
    • Transaction Flow
    • Deposit Flow
    • Withdrawal Flow
    • Forced Transaction
    • SendRawTransactionConditional
  • Security
    • Security FAQs
    • Pause and Unpause the Bridge
  • Experimental
  • OP Contracts Manager
    • Interop Explainer
    • Anatomy of Cross-Chain Message
    • Supersim Multichain Development Environment
    • SuperchainERC20 Token Standard
    • Custom Gas Token
    • Alt-DA Mode
  • Operators
    • Features
  • Protocol
    • Fault Proofs
    • Features
    • Interop
    • Rollup

  • CONNECT
  • Contribute
    • Contribute to Optimism Docs
    • Contribute to OP Stack
    • Docs Style Guide
  • Resources
    • Changelog (opens in a new tab)
    • Glossary
  • Get Launch Support (opens in a new tab)
  • Optimism Governance (opens in a new tab)
❤️ Share general feedback (opens in a new tab)✏️ Edit this page on GitHub
Is this page useful?

OP Stack
Protocol
Fault Proofs

Fault Proofs

This section provides information on fault proof vm: cannon, op challenger explainer, fault proofs explainer, fp system components, fault proofs mainnet security and fault proof vm: mips.sol. You'll find reference, guide, overview, api, introduction to help you understand and work with these topics.

Fault proof vm: cannonOp Challenger explainerFault proofs explainerFp system componentsFault proofs mainnet securityFault proof vm: mips.sol
ProtocolFeatures

OP Documentation