Skip to main content
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 Prover: produces Nitro Enclave-backed proofs for the common proposal path.
  • ZK Prover: produces permissionless proofs for proposal and dispute paths.
  • Contracts: verify proof material, track game state, and release withdrawals and bonds according to the game result.