Repositories list

• 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-tdx+ 1tdx-sdk

  Rust

  •

  Apache License 2.0

  •3•10•1•2•Updated Nov 28, 2024Nov 28, 2024

• zkvm-demos

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

  Rust

  •0•0•0•0•Updated Nov 28, 2024Nov 28, 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•2•0•0•Updated Nov 28, 2024Nov 28, 2024

• automata-dcap-attestation

  Public
  Full Solidity Implementation of Intel DCAP Quote Verification

  Solidity

  •

  MIT License

  •5•17•1•0•Updated Nov 27, 2024Nov 27, 2024

• automata-on-chain-pccs

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

  Solidity

  •

  MIT License

  •0•2•0•0•Updated Nov 27, 2024Nov 27, 2024

• dcap-rs

  Public
  Rust

  •

  Apache License 2.0

  •1•5•0•0•Updated Nov 27, 2024Nov 27, 2024

• multi-prover-avs

  Public
  Automata Multi-Prover AVS

  avseigenlayermulti-prover

  Go

  •

  Apache License 2.0

  •2•10•0•0•Updated Nov 22, 2024Nov 22, 2024

• base-rs

  Public
  Rust

  •

  Apache License 2.0

  •0•0•0•0•Updated Nov 21, 2024Nov 21, 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

  •36•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

  •1•3•0•0•Updated Oct 31, 2024Oct 31, 2024

• derive_more-ass

  Public
  Some more derive(Trait) options

  Rust

  •

  MIT License

  •123•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

  •242•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

  •155•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

  •4•0•0•0•Updated Oct 29, 2024Oct 29, 2024

• revm-ass

  Public
  Rust implementation of the Ethereum Virtual Machine.

  Rust

  •

  MIT License

  •572•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

  •31•0•0•0•Updated Oct 29, 2024Oct 29, 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 Oct 29, 2024Oct 29, 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 Oct 24, 2024Oct 24, 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 Oct 23, 2024Oct 23, 2024

• scroll-prover

  Public
  Rust

  •

  Apache License 2.0

  •2•0•0•0•Updated Oct 22, 2024Oct 22, 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-sgx+ 1sgx-sdk

  Rust

  •

  Apache License 2.0

  •0•7•1•0•Updated Oct 17, 2024Oct 17, 2024

• pingora

  Public
  A library for building fast, reliable and evolvable network services.

  Rust

  •

  Apache License 2.0

  •1.2k•0•0•0•Updated Oct 12, 2024Oct 12, 2024

• chains

  Public
  provides metadata for chains

  Kotlin

  •

  MIT License

  •6.7k•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

• thiserror-ass

  Public
  derive(Error) for struct and enum error types

  Rust

  •

  Apache License 2.0

  •163•0•0•0•Updated Oct 4, 2024Oct 4, 2024

• pccs-reader-rs

  Public
  Rust

  •

  Apache License 2.0

  •0•0•0•0•Updated Sep 30, 2024Sep 30, 2024

• automata-dcap-qpl

  Public
  Automata DCAP Quote Provider Library

  Rust

  •

  Apache License 2.0

  •1•2•0•0•Updated Sep 30, 2024Sep 30, 2024

• Azure-DCAP-Client

  Public
  Interfaces between SGX SDKs and the Azure Attestation SGX Certification Cache.

  C++

  •

  MIT License

  •46•0•0•0•Updated Sep 19, 2024Sep 19, 2024