Automata is a machine attestation layer built by humans, designed for machines. We have previously debuted Multi-Prover AVS on EigenLayer Mainnet as part of the earliest cohort of AVSs on the restaking protocol.
Automata builds in the open, and we ask that projects also build in the spirit of open source to encourage learning, and to benefit the community at large.
60,000 ATA
Create an AVS that uses either one of these two TEE tools created by the Automata team:
Automata DCAP v4 library
Automata DCAP v4 library provides a unified interface to verify SGX/TDX attestations onchain. Part of its design is onchain PCCS, a decentralized repository to manage, store and reuse collaterals. DCAP v4 also supports two verification modes for DCAP attestation: Proof aggregation (*by way of RISC Zero) to optimize gas costs and direct quote verification onchain for economic security.
To verify if a workload or service is running in a genuine Intel TEE, the suite of smart contract libraries are:
Automata SGX SDK
Automata SGX SDK is a Rust implementation that allows developers to build applications that run within an Intel SGX enclave, supported by Cargo. It is focused on being user-friendly, fast, and efficient. We build the Automata SGX SDK to accommodate a broad user base, including industry projects, developers who are interested in building with TEEs but might not know otherwise how to start, AVS hobbyists etc., and who often have conflicting requirements and domain knowledge. Automata SGX SDK alleviates some of that pressure with well-maintained and well-tested packages, having been deployed in real-world environments (SGX Prover and REVM).
Get started with the suite of smart contracts:
Developer Resources
Socials