Automata Docs
  • Understanding Automata
    • What is Automata?
      • TEE Coprocessor
      • Proof of Machinehood
        • Optimistic Attestation
        • Zero Knowledge Proof
        • Modular Trust
    • Key terms
  • TEE Overview
    • TEE Prover
    • Multi-Prover AVS (EigenLayer)
      • Operator guide
        • Installation
        • Deposit strategies
        • Opt in to run AVS
        • FAQ
    • TEE Compile
      • Getting Started
      • Vendorizing
      • Attestation Report
    • TEE Builder
      • Block Builder Architecture
      • Stateless Executor
    • Verifiable Random Function
      • Why Automata VRF
      • How does Automata VRF work
      • Attestation
  • Build with PoM
    • Introduction
      • Smart contract libraries
      • Attestations on Verax
      • Frequently asked questions
    • Attestation module
      • Machine Attestation
        • Intel SGX
        • AWS Nitro Enclaves
        • Miscellaneous
      • Device Attestation
        • Yubikey
        • Andriod
        • Apple
        • Windows
        • FIDO U2F Authenticator
      • WebAuthn Attestation
        • WebAuthn Attestation Types
        • Attestation Statements & Privacy Impacts
  • Backed by PoM
    • 1RPC
    • L2Faucet
      • Frequently asked questions
  • Protocol
    • App-Specific Rollup
    • Mainnet
    • Testnet
    • Bridge
      • Bridging Native Tokens from L1 to L2
      • Bridging Native Tokens from L2 to L1
    • Explorer
    • Specification
      • Attestation
      • Attestor
      • Smart Contract
  • Research
    • Account Abstraction
    • Decentralized Randomness
    • Maximal Extractable Value
    • Reproducible Build
    • Lightpaper
Powered by GitBook
On this page
  • Introduction
  • Verifiable on-chain attestation
  • Reproducible build from source code
  • Cryptoeconomic-bonded TEE Committees

Was this helpful?

  1. Understanding Automata
  2. What is Automata?

TEE Coprocessor

Environments that are equipped with TEE enforce computational integrity and insure privacy

PreviousWhat is Automata?NextProof of Machinehood

Last updated 1 year ago

Was this helpful?

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 on-chain attestation

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

  1. Hardware authenticity: 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: Private key is secured within the TEE to prevent counterfeit signatures

Reproducible build from source code

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

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

Cryptoeconomic-bonded TEE Committees

Operating within an enclave makes it immune to tampering, ensuring that physical hosts or system administrators cannot modify or edit the runtime code. Combining it with cryptoeconomic security deters liveness attacks and improves the construction of TEE systems.

The decentralized distribution of hardware vendors, known as TEE Committees, imposes a nearly-impossible cost for adversaries; with attackers having to breach both the separate security models of diverse TEE models, and major collusion.

GitHub - automata-network/automata-dcap-v3-attestationGitHub
Automata DCAP attestation v3 is open-source and available on GitHub
GitHub - automata-network/tee-compileGitHub
https://holesky.eigenlayer.xyz/avs/
Delegate or opt-in to our AVS on EigenLayer Holesky Testnet whether you're a restaker or operator
Logo
Logo
Logo
Page cover image