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.