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
☆22Updated 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
Sorting:
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆36Updated last week
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆13Updated 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…☆24Updated 5 months ago
- SNARKifying Ethereum☆102Updated last week
- Polynomials Identity Language☆69Updated last year
- ☆94Updated last month
- The schelling point for ZK applications.☆138Updated last year
- Technical documentation of the zkEVM☆88Updated last year
- ☆99Updated 10 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆123Updated this week
- halo2 ecc circuit☆116Updated 2 years ago
- ☆53Updated last week
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆52Updated 2 months ago
- Circom interpreter to arithmetic circuit description☆55Updated 8 months ago
- Generates a stark from a pil☆97Updated 9 months ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆27Updated 2 months ago
- Expander Compiler☆37Updated this week
- Core components of the Miden protocol☆80Updated this week
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆111Updated this week
- Out-of-circuit zkEVM implementation☆80Updated 9 months ago
- Poseidon hash circuit☆101Updated 7 months ago
- A PoC repo for a HyperNova impl☆83Updated last year
- ☆39Updated last week
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆113Updated last year
- ☆76Updated 5 months ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆150Updated this week
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆41Updated this week
- Experimental folding schemes library☆239Updated last month
- A repo of example Noir projects.☆52Updated this week
- Benchmarks of popular zkVMs including Jolt☆60Updated last year