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

TEE Provers

This page will specify the TEE prover component.

TEE provers produce Nitro Enclave-backed proof material for checkpoint proposals and disputes. The full TEE prover specification will define witness inputs, enclave execution, attestation, signer identity handling, proof encoding, and verifier expectations.