Skip to content
Change the repository type filter

All

    Repositories list

    • eliza

      Public
      Autonomous agents for everyone
      TypeScript
      MIT License
      3.8k000Updated Jan 26, 2025Jan 26, 2025
    • 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
      Rust
      Apache License 2.0
      51413Updated Jan 24, 2025Jan 24, 2025
    • CLI tools made for various zkVMs to generate SNARK Proofs for On-Chain DCAP Verification
      Rust
      Apache License 2.0
      1000Updated Jan 22, 2025Jan 22, 2025
    • TypeScript
      5000Updated Jan 22, 2025Jan 22, 2025
    • Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations
      Solidity
      MIT License
      1903Updated Jan 22, 2025Jan 22, 2025
    • Quick start setup guide for Multi-Prover AVS
      Shell
      Apache License 2.0
      1200Updated Jan 20, 2025Jan 20, 2025
    • dcap-rs

      Public
      Rust
      Apache License 2.0
      31410Updated Jan 17, 2025Jan 17, 2025
    • Automata Multi-Prover AVS
      Go
      Apache License 2.0
      41201Updated Jan 17, 2025Jan 17, 2025
    • SGX implementation of the TEE prover used in the Automata Multi-Prover AVS
      Rust
      Apache License 2.0
      52600Updated Jan 17, 2025Jan 17, 2025
    • Utility crates used in RustCrypto
      Rust
      133100Updated Jan 15, 2025Jan 15, 2025
    • 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
      Rust
      Apache License 2.0
      0700Updated Jan 14, 2025Jan 14, 2025
    • Full Solidity Implementation of Intel DCAP Quote Verification
      Solidity
      MIT License
      112010Updated Jan 6, 2025Jan 6, 2025
    • Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
      Rust
      MIT License
      607100Updated Jan 6, 2025Jan 6, 2025
    • Rust
      Apache License 2.0
      0000Updated Jan 2, 2025Jan 2, 2025
    • sp1

      Public
      A performant, 100% open-source, contributor-friendly zkVM.
      Rust
      Apache License 2.0
      407000Updated Jan 2, 2025Jan 2, 2025
    • Solidity library integration with third party smart contracts to perform on-chain verification on Proof of Machinehood attestations.
      Solidity
      GNU General Public License v3.0
      0300Updated Dec 24, 2024Dec 24, 2024
    • 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
      Apache License 2.0
      51612Updated Dec 20, 2024Dec 20, 2024
    • Tools and guides for using AWS Nitro Enclaves with Amazon EKS.
      Shell
      Apache License 2.0
      13000Updated Dec 19, 2024Dec 19, 2024
    • This repo consolidates all demo CLIs to interact with programs that are executed within zkVMs.
      Rust
      0001Updated Dec 16, 2024Dec 16, 2024
    • base-rs

      Public
      Rust
      Apache License 2.0
      0000Updated Dec 6, 2024Dec 6, 2024
    • Canonical type definitions for EIP-155 chains
      Rust
      Apache License 2.0
      71000Updated Dec 2, 2024Dec 2, 2024
    • kona-ass

      Public
      A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.
      Rust
      MIT License
      54000Updated Nov 21, 2024Nov 21, 2024
    • Rust
      Apache License 2.0
      44000Updated 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
      2600Updated Oct 31, 2024Oct 31, 2024
    • Some more derive(Trait) options
      Rust
      MIT License
      125000Updated Oct 29, 2024Oct 29, 2024
    • alloy-ass

      Public
      Transports, Middleware, and Networks for the Alloy project
      Rust
      Apache License 2.0
      261000Updated Oct 29, 2024Oct 29, 2024
    • High-performance, well-tested & documented core libraries for Ethereum, in Rust
      Rust
      Apache License 2.0
      166000Updated Oct 29, 2024Oct 29, 2024
    • Rust implementations of Ethereum Improvement Proposals (EIPs)
      Rust
      Apache License 2.0
      7000Updated Oct 29, 2024Oct 29, 2024
    • revm-ass

      Public
      Rust implementation of the Ethereum Virtual Machine.
      Rust
      MIT License
      607000Updated Oct 29, 2024Oct 29, 2024
    • Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
      Rust
      Apache License 2.0
      36000Updated Oct 29, 2024Oct 29, 2024