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 last month
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☆47Updated this week
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆16Updated last week
- Succinct's Production-Grade Proving Engine for the OP Stack.☆200Updated this week
- Experimental folding schemes library☆259Updated this week
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆248Updated last week
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆206Updated last week
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆218Updated 2 years ago
- List of halo2-related resources☆203Updated 10 months ago
- ☆203Updated 2 years ago
- halo2 ecc circuit☆116Updated 2 years ago
- ☆188Updated last week
- educational python plonk implementation, based on vitalik's py_plonk☆220Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆145Updated this week
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆136Updated 2 months ago
- the race to prove Ethereum in real-time☆132Updated this week
- Technical documentation of the zkEVM☆91Updated last year
- ☆106Updated last year
- A repo for our research papers☆240Updated 6 months ago
- DSL for Halo2 circuits☆188Updated last year
- Generates a stark from a pil☆98Updated last year
- A performant and modular zkVM framework built for customization and extensibility.☆298Updated this week
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆199Updated last week
- Middleware to compile Circom circuits to Nova prover☆244Updated last year
- RISC-V prover system for ZKsync OS☆115Updated this week
- ☆221Updated 4 months ago
- The schelling point for ZK applications.☆142Updated last year
- Circom Circuits Library for Machine Learning☆181Updated last year
- 🦀 Rust support library for semaphore☆178Updated last week
- Prototype implementations of various Collaborative zkSNARKs.☆130Updated 6 months ago
- ☆90Updated 2 years ago