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
☆21Updated 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☆36Updated 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 4 months ago
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆13Updated last month
- Expander Compiler☆36Updated this week
- ☆99Updated 9 months ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆27Updated 2 months ago
- Polynomials Identity Language☆68Updated last year
- The Automata AMD SEV-SNP Attestation SDK is a software development kit designed to help users generate the AMD SEV-SNP Attestation Report…☆13Updated 4 months ago
- Succinct's Production-Grade Proving Engine for the OP Stack☆161Updated this week
- A PoC repo for a HyperNova impl☆83Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆113Updated this week
- Technical documentation of the zkEVM☆88Updated 11 months ago
- ☆53Updated 3 months ago
- The schelling point for ZK applications.☆138Updated last year
- SNARKifying Ethereum☆95Updated this week
- Smart contracts for onchain verification of SP1.☆89Updated 2 weeks ago
- ☆140Updated 2 months ago
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆38Updated 3 months ago
- ☆51Updated last week
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆113Updated last year
- A monorepo of reusable Circom circuits.☆25Updated last month
- Benchmarks of popular zkVMs including Jolt☆59Updated last year
- ☆58Updated 6 months ago
- Internal engineering designs☆11Updated this week
- Circom interpreter to arithmetic circuit description☆55Updated 8 months ago
- Build Cosmos SDK applications on the OP Stack.☆29Updated 4 months ago
- ☆79Updated this week
- ream: an Ethereum Beam client written in Rust☆74Updated this week
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆104Updated 3 weeks ago
- ☆25Updated 8 months ago