Built on the Superchain

Built on the Superchain

Attestations verify trust in

Attestations verify trust in

Attestations verify trust in

Automata is the machine attestation layer built by humans, designed for machines.

Automata is the machine attestation layer
built by humans, designed for machines.

Automata is the machine attestation layer built by humans, designed for machines.

Machine Attestation Layer

Machine Attestation Layer

Machine Attestation Layer

Attestations are provable commitments enforced at the hardware level. They allow us to verify that machines fulfill objective promises to users about their behavior.

With attestations, software becomes verifiable. Data gains integrity. Ideas are rooted in provable, physical machines.

When machines can prove their honesty, we unlock an entirely new way of building systems:

  • Decentralized networks achieve built-in correctness

  • Human coordination anchored by provenance

  • AI becomes safer, ethical and accountable

Attestations are provable commitments enforced at the hardware level. They allow us to verify that machines fulfill objective promises to users about their behavior.

When machines can prove their honesty, we unlock an entirely new way of building systems:

  • Decentralized networks achieve built-in correctness

  • Human coordination anchored by provenance

  • AI becomes safer, ethical and accountable

background

Trusted Execution Environments (TEEs) guarantee the confidentiality and integrity of computation, verified through remote attestation.

background

Trusted Execution Environments (TEEs) guarantee the confidentiality and integrity of computation, verified through remote attestation.

background

Trusted Execution Environments (TEEs) guarantee the confidentiality and integrity of computation, verified through remote attestation.

background

Trusted Execution Environments (TEEs) guarantee the confidentiality and integrity of computation, verified through remote attestation.

Automata Attestation Layer

Redistributing trust with verifiable attestations

Attestations posted on the blockchain are immutable and publicly verifiable. Removing reliance on central intermediaries or opaque workflows enables attestation systems that are co-created and owned by the community.

Proof of Machinehood

Backed by integrity-preserving attestations

Devices generate cryptographic attestations that prove their identity and state. This enables downstream applications, such as L2 Faucet and 1RPC, to leverage attestations for systems that behave exactly as intended.

Verifiable Infrastructure

Ready-to-use TEE Attestation SDKs

A modular set of user-friendly SDKs designed for building with TEEs. Automata’s Attestation SDKs offer unified interfaces to generate and verify attestation reports across various TEE models, including Intel SGX/TDX and AMD SEV-SNP.

Automata Attestation Layer

Redistributing trust with verifiable attestations

Attestations posted on the blockchain are immutable and publicly verifiable. Removing reliance on central intermediaries or opaque workflows enables attestation systems that are co-created and owned by the community.

Proof of Machinehood

Backed by integrity-preserving attestations

Devices generate cryptographic attestations that prove their identity and state. This enables downstream applications, such as L2 Faucet and 1RPC, to leverage attestations for systems that behave exactly as intended.

Verifiable Infrastructure

Ready-to-use TEE Attestation SDKs

A modular set of user-friendly SDKs designed for building with TEEs. Automata’s Attestation SDKs offer unified interfaces to generate and verify attestation reports across various TEE models, including Intel SGX/TDX and AMD SEV-SNP.

Build Web3 use cases with provable machines

Build Web3 use cases with provable machines

TEE solutions, tools and applications in deployment today.

TEE solutions, tools and applications in deployment today.

multi-prover for rollups
multi-prover for rollups
multi-prover for rollups

Multi-Prover for Stage 2 rollups

Multi-Provers advance rollups to Stage 2* with the TEE Prover as a secondary proving system. The implementation of multiple proofs distributes trust and hardens security for rollups. Multi-Prover AVS is live on EigenLayer, with support for Scroll and Linea.


* Stage 2: Final stage on the path to Layer 2 decentralization

TEE-capable GPUs with World Foundation

TEE-capable GPUs with World Foundation

TEEs prevent collusion in committee-based approaches such as AMPC (Anonymized Multi-Party Computation). Automata’s work with World (formerly Worldcoin) Foundation extends verifiability to NVIDIA H100 GPUs, safeguarding the integrity of AMPC workloads.

TEEs prevent collusion in committee-based approaches such as AMPC (Anonymized Multi-Party Computation). Automata’s work with World (formerly Worldcoin) Foundation extends verifiability to NVIDIA H100 GPUs, safeguarding the integrity of AMPC workloads.

multi-prover for rollups
multi-prover for rollups
multi-prover for rollups
multi-prover for rollups

Onchain AI agents on EigenLayer

Onchain AI agents
with EigenLayer

AI agents will become hyper-intelligent advisors accessible on your daily devices. TEEs are the only viable mechanism to prevent AI agents from leaking private data or being misused. Cryptoeconomic frameworks like EigenLayer can leverage TEEs to build onchain AI.

AI agents will become hyper-intelligent advisors accessible on your daily devices. TEEs are the only viable mechanism to prevent AI agents from leaking private data or being misused. Cryptoeconomic frameworks like EigenLayer can work with TEEs to build onchain AI.

Turn bold ideas into trusted, verifiable applications today.

Turn bold ideas into trusted, verifiable applications today.

Onchain attestations provide a foundation for secure, decentralized systems. They verify the integrity of the systems (hardware, software, or data) users rely on.

Onchain attestations provide a foundation for secure, decentralized systems. They verify the integrity of the systems (hardware, software, or data) users rely on.

Automata SGX SDK

Rust-native SDK that simplifies the development of secure applications running on Intel SGX. It includes support for Cargo, Rust’s build system.

Automata DCAP Attestation

Solidity library that integrates Onchain PCCS to verify Intel SGX and Intel TDX attestations onchain. Also supports verification via RISC Zero and Succinct.

Automata TDX Attestation SDK

Helps developers to generate Intel TDX quotes across different CSPs (cloud service providers). Multi-cloud setups are common for TDX infrastructure.

AMD SEV-SNP Attestation SDK

Supports the generation of AMD SEV-SNP attestation reports to establish trust in the integrity of workloads running within confidential virtual machines (CVMs).

Proof of Machinehood

Applications that demand verifiability from machines benefit from robust attestation frameworks. This unlocks novel use cases and interactions.

Automata Builder Grants

Accelerate TEE innovation with up to 50,000 USDC in funding for blockchain projects working with TEEs and attestation mechanisms.