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
☆29Updated 2 weeks ago
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☆46Updated this week
- Succinct's Production-Grade Proving Engine for the OP Stack.☆201Updated this week
- halo2 ecc circuit☆116Updated 2 years ago
- ☆105Updated last year
- Technical documentation of the zkEVM☆91Updated last year
- Experimental folding schemes library☆257Updated this week
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆201Updated last week
- DSL for Halo2 circuits☆188Updated last year
- Generates a stark from a pil☆98Updated last year
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆16Updated this week
- ☆159Updated 8 months ago
- the race to prove Ethereum in real-time☆126Updated this week
- ☆203Updated last year
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆247Updated this week
- RISC-V prover system for ZKsync OS☆100Updated last week
- Polynomials Identity Language☆68Updated last year
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆135Updated 2 months ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆29Updated 3 months ago
- Out-of-circuit zkEVM implementation☆80Updated last year
- ☆102Updated 2 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆145Updated last week
- Circom Circuits Library for Machine Learning☆181Updated last year
- ☆186Updated 6 months ago
- ☆221Updated 3 months ago
- The schelling point for ZK applications.☆142Updated last year
- The Automata AMD SEV-SNP Attestation SDK is a software development kit designed to help users generate the AMD SEV-SNP Attestation Report…☆16Updated 3 weeks ago
- ☆115Updated last year
- ☆121Updated 11 months ago
- A curated list of Plonky3 resources, libraries, tools and more.☆37Updated 6 months ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆192Updated this week