automata-network / tdx-attestation-sdkLinks
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
☆23Updated last week
Alternatives and similar repositories for tdx-attestation-sdk
Users that are interested in tdx-attestation-sdk are comparing it to the libraries listed below
Sorting:
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆39Updated last week
- ☆99Updated 11 months ago
- Experimental folding schemes library☆244Updated last week
- Succinct's Production-Grade Proving Engine for the OP Stack☆181Updated this week
- SNARKifying Ethereum☆106Updated last week
- ☆145Updated 4 months ago
- DSL for Halo2 circuits☆187Updated 8 months ago
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆13Updated last week
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆187Updated last week
- ☆95Updated 2 months ago
- Build Cosmos SDK applications on the OP Stack.☆29Updated 7 months ago
- Generates a stark from a pil☆97Updated 11 months ago
- List of halo2-related resources☆199Updated 5 months ago
- ☆115Updated 11 months ago
- ED25519 implementation in Circom☆116Updated 2 years ago
- ☆279Updated this week
- ☆207Updated 3 weeks ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆157Updated this week
- A performant and modular zkVM framework built for customization and extensibility.☆252Updated this week
- The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using R…☆25Updated 7 months ago
- Monorepo for OP Stack Types, Components, and Services built in Rust.☆214Updated this week
- halo2 ecc circuit☆116Updated 2 years ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆27Updated 4 months ago
- ☆153Updated last year
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆174Updated 4 months ago
- Technical documentation of the zkEVM☆90Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆132Updated last week
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆125Updated this week
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆209Updated last year
- Polynomials Identity Language☆69Updated last year