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
☆14Updated this 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
- ☆88Updated 5 months ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆26Updated 2 weeks ago
- A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)☆78Updated this week
- ☆50Updated 2 months ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆110Updated 10 months ago
- Polynomials Identity Language☆68Updated 11 months ago
- ☆72Updated 3 weeks ago
- halo2 ecc circuit☆115Updated last year
- ☆39Updated last month
- Circom interpreter to arithmetic circuit description☆53Updated 4 months ago
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆84Updated this week
- A PoC repo for a HyperNova impl☆82Updated last year
- ☆90Updated last month
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆35Updated last year
- This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.☆30Updated 3 months ago
- Frobenius sumcheck for vectorized boolean ops☆45Updated this week
- Technical documentation of the zkEVM☆91Updated 7 months ago
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆34Updated 2 months ago
- A FRI verifier circuit for the Halo2 proof system☆76Updated last year
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆156Updated 3 weeks ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆48Updated last month
- A performant, type-1 zkEVM written in Rust & SP1.☆128Updated 3 months ago
- Benchmarks of popular zkVMs including Jolt☆59Updated 9 months ago
- barretenburg in rust (here we go)☆97Updated last year
- Kate commitment based PLONK recursive aggregation circuit☆40Updated last year
- Email verification circuit in halo2☆66Updated 6 months ago
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆41Updated 3 weeks ago
- building blocks for accelerating ZK proofs over binary fields☆42Updated 5 months ago
- Full Solidity Implementation of Intel DCAP Quote Verification☆22Updated 3 weeks ago