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☆37Updated this week
- Expander Compiler☆37Updated this week
- ☆39Updated this week
- Out-of-circuit zkEVM implementation☆80Updated 10 months ago
- Polynomials Identity Language☆69Updated last year
- 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 6 months ago
- Rust Library for running the Starknet OS via the Cairo VM☆65Updated 3 weeks ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆27Updated 3 months ago
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆13Updated last week
- The schelling point for ZK applications.☆138Updated last year
- Succinct's Production-Grade Proving Engine for the OP Stack☆167Updated this week
- EigenLayer Rust Developer Tooling☆92Updated this week
- Smart contracts for onchain verification of SP1.☆98Updated last week
- zkEVM proof generator reference written in Javascript☆81Updated 3 weeks ago
- Circom interpreter to arithmetic circuit description☆55Updated 9 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆124Updated this week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Updated 8 months ago
- Technical documentation of the zkEVM☆88Updated last year
- ream: an Ethereum Beam client written in Rust☆96Updated this week
- Build Cosmos SDK applications on the OP Stack.☆29Updated 6 months ago
- Poseidon hash circuit☆101Updated 7 months ago
- Benchmarks of popular zkVMs including Jolt☆60Updated last year
- ☆76Updated 5 months ago
- ☆11Updated 6 months ago
- Benchmark of multiple zk implementations.☆83Updated last year
- SNARKifying Ethereum☆103Updated last week
- ☆59Updated 7 months ago
- ☆115Updated 10 months ago
- OS for next iteration of the world computer☆43Updated last year
- RISC-V prover system for ZKsync OS☆71Updated this week