TEE Verifiers
Verifying the authenticity of TEEs from multiple vendors onchain
TEE verifiers are onchain smart contracts that validate hardware attestation reports and publish them on a public ledger. Remote attestation, which once used to be opaque, is now fully transparent with enforceable guarantees:
Users and agents interact only with secure hardware that can cryptographically attest to their properties
Developers can verify the authenticity of machines before running service workloads
Protocols can reference verified machines directly inside smart contracts
Instead of trusting a vendor's claims, the entire chain of trust is visible onchain as a shared registry. Attestations become searchable, auditable, and reusable public goods for the entire ecosystem once a machine proves its integrity.
As hardware proofs become more transparent and enforceable, new classes of decentralized applications applications can operate onchain. Some examples of projects that use our libraries include:
Layer 2 rollups that adopt a Multi-Prover architecture
TEE and MPC projects that utilize verifiable secure hardware in workflows
Flashtestations for TDX devices to prove their outputs onchain, including verifiable priority ordering for Unichain's L2 blocks
Today, Automata maintains the most complete and production-ready verifier contracts across 4 major attestation families:
As more developers utilize secure hardware as a foundation of trust for agents and applications, Automata's TEE Verifiers provide a unified trust layer for machine identities to become onchain participants.
Last updated
Was this helpful?