Skip to content

@automata-network Automata Network

Change the repository type filter

All

    Repositories list

    148 repositories

    • sp1

      Public
      A performant, 100% open-source, contributor-friendly zkVM.
      Rust
      •
      Apache License 2.0
      •380•0•0•0•Updated Dec 27, 2024Dec 27, 2024

    • automata-on-chain-pccs

      Public
      Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations
      Solidity
      •
      MIT License
      •0•5•0•1•Updated Dec 27, 2024Dec 27, 2024

    • fundingvault

      Public
      TypeScript
      •5•0•0•0•Updated Dec 25, 2024Dec 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.
      pomattestationproof-of-machinehood
      Solidity
      •
      GNU General Public License v3.0
      •0•3•0•0•Updated Dec 24, 2024Dec 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
      rustsgxintel-sgxsgx-sdk
      Rust
      •
      Apache License 2.0
      •3•7•1•1•Updated Dec 20, 2024Dec 20, 2024

    • aws-nitro-enclaves-with-k8s

      Public
      Tools and guides for using AWS Nitro Enclaves with Amazon EKS.
      Shell
      •
      Apache License 2.0
      •13•0•0•0•Updated Dec 19, 2024Dec 19, 2024

    • automata-dcap-attestation

      Public
      Full Solidity Implementation of Intel DCAP Quote Verification
      Solidity
      •
      MIT License
      •9•16•0•3•Updated Dec 17, 2024Dec 17, 2024

    • multi-prover-avs

      Public
      Automata Multi-Prover AVS
      avseigenlayermulti-prover
      Go
      •
      Apache License 2.0
      •3•11•0•1•Updated Dec 16, 2024Dec 16, 2024

    • multiprover-avs-operator-setup

      Public
      Quick start setup guide for Multi-Prover AVS
      avsmulti-prover
      Shell
      •
      Apache License 2.0
      •1•2•0•0•Updated Dec 16, 2024Dec 16, 2024

    • sgx-prover

      Public
      SGX implementation of the TEE prover used in the Automata Multi-Prover AVS
      Rust
      •
      Apache License 2.0
      •3•21•0•0•Updated Dec 16, 2024Dec 16, 2024

    • zkvm-demos

      Public
      This repo consolidates all demo CLIs to interact with programs that are executed within zkVMs.
      Rust
      •0•0•0•1•Updated Dec 16, 2024Dec 16, 2024

    • dcap-rs

      Public
      Rust
      •
      Apache License 2.0
      •3•7•1•0•Updated Dec 12, 2024Dec 12, 2024

    • base-rs

      Public
      Rust
      •
      Apache License 2.0
      •0•0•0•0•Updated Dec 6, 2024Dec 6, 2024

    • tdx-attestation-sdk

      Public
      The Automata TDX Attestation SDK is a software development kit designed to help users generate the Intel TDX Quote using Rust across different cloud service providers, and generate Risc0 and SP1 ZK Proofs which can be verified on-chain. Powered by Automata
      rusttdxintel-tdxtdx-sdk
      Rust
      •
      Apache License 2.0
      •5•11•1•1•Updated Dec 3, 2024Dec 3, 2024

    • alloy-chains-ass

      Public
      Canonical type definitions for EIP-155 chains
      Rust
      •
      Apache License 2.0
      •67•0•0•0•Updated Dec 2, 2024Dec 2, 2024

    • automata-dcap-zkvm-cli

      Public
      CLI tools made for various zkVMs to generate SNARK Proofs for On-Chain DCAP Verification
      Rust
      •
      Apache License 2.0
      •0•0•0•0•Updated Nov 28, 2024Nov 28, 2024

    • amd-sev-snp-attestation-sdk

      Public
      The Automata AMD SEV-SNP Attestation SDK is a software development kit designed to help users generate the AMD SEV-SNP Attestation Report using Rust across different cloud service providers, and generate Risc0 and SP1 ZK Proofs which can be verified on-chain. Powered by Automata
      rustamdsev-snp
      Rust
      •
      Apache License 2.0
      •0•3•0•0•Updated Nov 28, 2024Nov 28, 2024

    • kona-ass

      Public
      A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.
      Rust
      •
      MIT License
      •47•0•0•0•Updated Nov 21, 2024Nov 21, 2024

    • op-alloy-ass

      Public
      Rust
      •
      Apache License 2.0
      •41•0•0•0•Updated Nov 7, 2024Nov 7, 2024

    • sgx-scaffold

      Public template
      Scaffold for creating an SGX enclave with Rust, built by Automata Network
      Rust
      •
      Apache License 2.0
      •2•3•0•0•Updated Oct 31, 2024Oct 31, 2024

    • derive_more-ass

      Public
      Some more derive(Trait) options
      Rust
      •
      MIT License
      •124•0•0•0•Updated Oct 29, 2024Oct 29, 2024

    • alloy-ass

      Public
      Transports, Middleware, and Networks for the Alloy project
      Rust
      •
      Apache License 2.0
      •249•0•0•0•Updated Oct 29, 2024Oct 29, 2024

    • alloy-core-ass

      Public
      High-performance, well-tested & documented core libraries for Ethereum, in Rust
      Rust
      •
      Apache License 2.0
      •162•0•0•0•Updated Oct 29, 2024Oct 29, 2024

    • alloy-eips-ass

      Public
      Rust implementations of Ethereum Improvement Proposals (EIPs)
      Rust
      •
      Apache License 2.0
      •6•0•0•0•Updated Oct 29, 2024Oct 29, 2024

    • revm-ass

      Public
      Rust implementation of the Ethereum Virtual Machine.
      Rust
      •
      MIT License
      •589•0•0•0•Updated Oct 29, 2024Oct 29, 2024

    • alloy-trie-ass

      Public
      Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
      Rust
      •
      Apache License 2.0
      •35•0•0•0•Updated Oct 29, 2024Oct 29, 2024

    • scroll-prover

      Public
      Rust
      •
      Apache License 2.0
      •2•0•0•0•Updated Oct 22, 2024Oct 22, 2024

    • pingora

      Public
      A library for building fast, reliable and evolvable network services.
      Rust
      •
      Apache License 2.0
      •1.3k•0•0•0•Updated Oct 12, 2024Oct 12, 2024

    • chains

      Public
      provides metadata for chains
      Kotlin
      •
      MIT License
      •6.8k•0•0•0•Updated Oct 9, 2024Oct 9, 2024

    • anyhow-ass

      Public
      Flexible concrete Error type built on std::error::Error
      Rust
      •
      Apache License 2.0
      •148•0•0•0•Updated Oct 4, 2024Oct 4, 2024