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
☆27Updated 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☆45Updated last week
- Generates a stark from a pil☆98Updated last year
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆14Updated 3 weeks ago
- Polynomials Identity Language☆68Updated last year
- Succinct's Production-Grade Proving Engine for the OP Stack☆192Updated this week
- Experimental folding schemes library☆253Updated this week
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆193Updated last week
- Technical documentation of the zkEVM☆91Updated last year
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆245Updated this week
- ☆217Updated 2 months ago
- halo2 ecc circuit☆116Updated 2 years ago
- Out-of-circuit zkEVM implementation☆80Updated last year
- DSL for Halo2 circuits☆188Updated 11 months ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆30Updated 2 months ago
- Circom Circuits Library for Machine Learning☆179Updated last year
- ☆104Updated last year
- educational python plonk implementation, based on vitalik's py_plonk☆219Updated last year
- ED25519 implementation in Circom☆119Updated 2 years ago
- Middleware to compile Circom circuits to Nova prover☆243Updated last year
- ☆115Updated last year
- ☆121Updated 10 months ago
- the race to prove Ethereum in real-time☆117Updated this week
- ☆157Updated 7 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆138Updated this week
- ☆154Updated last year
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆181Updated this week
- ☆202Updated last year
- ☆98Updated 5 months ago
- The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using R…☆27Updated 9 months ago
- The schelling point for ZK applications.☆142Updated last year