Are you an LLM? Read llms.txt for a summary of the docs, or llms-full.txt for the full context.
Skip to content

Proofs

The proof system is the set of offchain services and onchain contracts that make L2 checkpoint proposals verifiable from Ethereum. A proposal claims an output root for a fixed L2 block range. Independent proof actors recompute that claim, provide proof material, and dispute the game if the claim is invalid.

This section describes the component roles used by the Azul proof system.

  • Challenger: checks in-progress games against canonical L2 state and disputes invalid claims.
  • Proposer: creates new checkpoint proposals.
  • Registrar: maintains the onchain registry of accepted TEE signer identities.
  • TEE Provers: produce Nitro Enclave-backed proofs for the common proposal path.
  • ZK Provers: produce permissionless proofs for proposal and dispute paths.
  • Contracts: verify proof material, track game state, and release withdrawals and bonds according to the game result.

The legacy interactive fault-proof design is specified separately in Fault Proofs.