Skip to content
@automata-network

Automata Network

Automata Network is a modular attestation layer that extends machine trust to Ethereum with TEE Coprocessors.

Pinned Loading

  1. sgx-prover sgx-prover Public

    SGX implementation of the TEE prover used in the Automata Multi-Prover AVS

    Rust 21 3

  2. multi-prover-avs multi-prover-avs Public

    Automata Multi-Prover AVS

    Go 10 2

  3. automata-dcap-attestation automata-dcap-attestation Public

    Full Solidity Implementation of Intel DCAP Quote Verification

    Solidity 17 7

  4. automata-on-chain-pccs automata-on-chain-pccs Public

    Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations

    Solidity 6

  5. automata-sgx-sdk automata-sgx-sdk Public

    The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using Rust. Powered by Automata

    Rust 7

  6. sgx-scaffold sgx-scaffold Public template

    Scaffold for creating an SGX enclave with Rust, built by Automata Network

    Rust 3 1

Repositories

Showing 10 of 147 repositories
  • automata-network/fundingvault’s past year of commit activity
    TypeScript 0 5 0 0 Updated Dec 13, 2024
  • zkvm-demos Public

    This repo consolidates all demo CLIs to interact with programs that are executed within zkVMs.

    automata-network/zkvm-demos’s past year of commit activity
    Rust 0 0 0 0 Updated Dec 12, 2024
  • proof-of-machinehood-contracts Public

    Solidity library integration with third party smart contracts to perform on-chain verification on Proof of Machinehood attestations.

    automata-network/proof-of-machinehood-contracts’s past year of commit activity
    Solidity 3 GPL-3.0 0 0 0 Updated Dec 12, 2024
  • dcap-rs Public
    automata-network/dcap-rs’s past year of commit activity
    Rust 5 Apache-2.0 3 1 0 Updated Dec 12, 2024
  • automata-on-chain-pccs Public

    Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations

    automata-network/automata-on-chain-pccs’s past year of commit activity
    Solidity 6 MIT 0 0 2 Updated Dec 10, 2024
  • automata-dcap-attestation Public

    Full Solidity Implementation of Intel DCAP Quote Verification

    automata-network/automata-dcap-attestation’s past year of commit activity
    Solidity 17 MIT 7 1 2 Updated Dec 10, 2024
  • automata-sgx-sdk Public

    The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using Rust. Powered by Automata

    automata-network/automata-sgx-sdk’s past year of commit activity
    Rust 7 Apache-2.0 0 1 0 Updated Dec 6, 2024
  • base-rs Public
    automata-network/base-rs’s past year of commit activity
    Rust 0 Apache-2.0 0 0 0 Updated Dec 6, 2024
  • multi-prover-avs Public

    Automata Multi-Prover AVS

    automata-network/multi-prover-avs’s past year of commit activity
    Go 10 Apache-2.0 2 0 0 Updated Dec 5, 2024
  • sgx-prover Public

    SGX implementation of the TEE prover used in the Automata Multi-Prover AVS

    automata-network/sgx-prover’s past year of commit activity
    Rust 21 Apache-2.0 3 0 0 Updated Dec 5, 2024

People

This organization has no public members. You must be a member to see who’s a part of this organization.