automata-network / tdx-attestation-sdk
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
☆20Updated 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
- ☆97Updated 7 months ago
- Polynomials Identity Language☆68Updated last year
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆33Updated this week
- Technical documentation of the zkEVM☆89Updated 9 months ago
- A SNARK using towers of binary fields, implemented in Rust☆97Updated this week
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆27Updated 2 weeks ago
- ☆91Updated 3 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆96Updated this week
- halo2 ecc circuit☆116Updated 2 years 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…☆23Updated 3 months ago
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆12Updated this week
- ☆39Updated 2 weeks ago
- The schelling point for ZK applications.☆137Updated 10 months ago
- Circom interpreter to arithmetic circuit description☆53Updated 6 months ago
- ☆141Updated last month
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆93Updated this week
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆111Updated last year
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- ☆150Updated last year
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆36Updated last month
- Succinct's Production-Grade Proving Engine for the OP Stack☆151Updated this week
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆38Updated last year
- Experimental folding schemes library☆230Updated last week
- ☆76Updated 2 months ago
- ☆94Updated 7 months ago
- Out-of-circuit zkEVM implementation☆79Updated 7 months ago
- Build Cosmos SDK applications on the OP Stack.☆29Updated 3 months ago
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Updated 6 months ago
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆58Updated 4 months ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆101Updated 3 months ago