Skip to content
Taiko Hekla will be sunsetting with the deprecation of the Holesky Testnet on September 30th, 2025. In it's place, we are deploying the Taiko Hoodi testnet with Ethereum Hoodi as L1. Please find network details here.

ComposeVerifier

ComposeVerifier is a smart contract that designates which subsidiary proof verifier contracts are active in the protocol. It is used in conjunction with SgxVerifier.sol, SP1Verifier.sol and Risc0Verifier.sol to verify proofs for every batch on chain.


Features

  • Proof Verification - This contract is an abstract verifier that composes multiple sub-verifiers to validate proofs. It ensures that a set of sub-proofs are verified by their respective verifiers before considering the overall proof as valid.

Contract Methods

verifyProof

Verifies an SGX proof for a single block state transition.

Input ParameterTypeDescription
_ctxsbytes32Contexts of the proof.
_proofbytesAll bytes of all subproofs.

Mechanism:

  • Decodes the _proof bytes into SubProofs and verifies them with their respective Verifier contract.

areVerifiersSufficient

Input ParameterTypeDescription
_verifiersaddress[]Array of verifier addresses.

Mechanism:

  • Returns true or false depending on if the array of submitted verifiers are sufficient depending on which are enabled in the protocol.