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

Was this helpful?

  1. Understanding Automata

Key terms

PreviousModular TrustNextTEE Prover

Last updated 1 year ago

Was this helpful?

  • AVS: AVS are short for Actively Validated Services. Each AVS is secured by restakers and run by operators on EigenLayer.

  • Coprocessors: Systems that extend the smart contract environment of the blockchain by offloading and performing specialized compute.

  • Cryptoeconomic security: Relies on economic stakes, typically in the form of cryptocurrencies, to secure distributed systems

  • Faucet (backed by Proof of Machinehood): Website or application that distributes small amount of testnet tokens to users simply by attesting their device.

  • Hardware root-of-trust: Verifies a hierarchical chain of certificates to check if signature is signed by the root of trust (usually the hardware manufacturer).

  • Private RPC relay: Secure enclaves as a RPC proxy between clients and RPC providers. Guarantees that no metadata is stored by the relay nor communicated to providers.

  • Proof of Machinehood: Verifiable attestation delineating the authenticity of a machine.

  • Remote attestation: A fundamental concept when it comes to TEE systems to verify its authenticity and prove that it's trustworthy.

  • Trusted Execution Environment (TEEs): Isolated memory zones within hardware that ensure integrity of computation and protects privacy. System administrators or operating hosts cannot tamper or inspect data processed within the enclave.

If you're new to Intel SGX and TEEs, get started with our 3-part ELI5 introductory .

  • TEE AVS: TEE-based services on EigenLayer that combines hardware root-of-trust and cryptoeconomic security for execution integrity, rapid deployment, and significantly lower computational costs.

series
Page cover image