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
☆30Updated 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☆50Updated this week
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆16Updated this week
- ☆106Updated last year
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆29Updated 6 months ago
- Generates a stark from a pil☆98Updated last year
- ☆100Updated 8 months ago
- Polynomials Identity Language☆68Updated last year
- halo2 ecc circuit☆116Updated 2 years ago
- ED25519 implementation in Circom☆119Updated 2 years ago
- RISC-V prover system for ZKsync OS☆118Updated this week
- Experimental folding schemes library☆260Updated last month
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆141Updated last week
- Succinct's Production-Grade Proving Engine for the OP Stack.☆207Updated this week
- the race to mainnet-grade L1 zkEVMs☆136Updated this week
- ☆32Updated last week
- Technical documentation of the zkEVM☆91Updated last year
- ☆123Updated last year
- ☆15Updated this week
- The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using R…☆28Updated last year
- Geth-in-SGX provides an example of running go-ethereum in SGX☆76Updated last year
- Benchmark of multiple zk implementations.☆83Updated 2 years ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆102Updated last year
- ☆204Updated 2 years ago
- List of halo2-related resources☆203Updated last year
- ☆105Updated 5 months ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆87Updated 3 weeks ago
- A minimal implementation of the Polynomial Commitments API for EIP-4844 and EIP-7594, written in C.☆164Updated 3 weeks ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆209Updated last week
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆65Updated 11 months ago
- Out-of-circuit zkEVM implementation☆80Updated last year