TEE Coprocessor

Introduction

Automata Network's TEE Coprocessor extends the functionality of the blockchain by performing secure computation in isolated enclaves known as Trusted Execution Environments (TEEs).

Verifiable onchain attestation

Attestations generated by the TEE Coprocessor provide publicly verifiable evidence across the entire technological stack, confirming:

1. Hardware authenticity: The hardware is genuine and satisfies the criteria for anti-tampering.
2. Software integrity: The build process of the software is reproducible and based on audited code.
3. Prover identity: The private key is secured within the TEE to prevent counterfeit signatures.

Automata DCAP Attestation is open source and available on GitHub:

automata-network/automata-dcap-attestation

5666

Reproducible build from source code

Reproducible builds are vital for ensuring that software remains unaltered by malicious code, adhering strictly to the intended protocol. Anyone can replicate the build process to consistently yield identical binaries.

To achieve consistent builds across various environments, Automata's TEE Compile certifies the integrity of the build process. Auditability is only half the story: without any disruption to the developer workflow, more people can build high-assurance applications while reducing the likelihood of errors.

automata-network/tee-compile

41

Composable attestation

Operating within an enclave makes execution resistant to tampering, ensuring that physical hosts or system administrators cannot modify the runtime code without changing what can be attested.

Automata's attestation stack focuses on making these claims usable by applications and smart contracts through DCAP verification, onchain collateral access, and reproducible build attestations.