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 3

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

    Full Solidity Implementation of Intel DCAP Quote Verification

    Solidity 16 8

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

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

    Solidity 5

  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 2

  6. sgx-scaffold sgx-scaffold Public template

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

    Rust 3 2

Repositories

Showing 10 of 148 repositories
  • sp1 Public Forked from succinctlabs/sp1

    A performant, 100% open-source, contributor-friendly zkVM.

    automata-network/sp1’s past year of commit activity
    Rust 0 Apache-2.0 387 0 0 Updated Dec 27, 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 5 MIT 0 0 1 Updated Dec 27, 2024
  • automata-network/fundingvault’s past year of commit activity
    TypeScript 0 5 0 0 Updated Dec 25, 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 24, 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 2 1 0 Updated Dec 20, 2024
  • aws-nitro-enclaves-with-k8s Public Forked from aws/aws-nitro-enclaves-with-k8s

    Tools and guides for using AWS Nitro Enclaves with Amazon EKS.

    automata-network/aws-nitro-enclaves-with-k8s’s past year of commit activity
    Shell 0 Apache-2.0 13 0 0 Updated Dec 19, 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 16 MIT 8 0 2 Updated Dec 17, 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 3 0 1 Updated Dec 16, 2024
  • multiprover-avs-operator-setup Public

    Quick start setup guide for Multi-Prover AVS

    automata-network/multiprover-avs-operator-setup’s past year of commit activity
    Shell 2 Apache-2.0 1 0 0 Updated Dec 16, 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 16, 2024

People

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

Top languages

Loading…