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
- 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…☆23Updated 4 months ago
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆13Updated 3 weeks ago
- Polynomials Identity Language☆68Updated last year
- halo2 ecc circuit☆116Updated 2 years ago
- A PoC repo for a HyperNova impl☆83Updated last year
- ☆98Updated 8 months ago
- The schelling point for ZK applications.☆137Updated 11 months ago
- Technical documentation of the zkEVM☆89Updated 10 months ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆27Updated last month
- Circom interpreter to arithmetic circuit description☆54Updated 7 months ago
- Expander Compiler☆35Updated this week
- ☆92Updated 4 months ago
- ☆39Updated last month
- ☆119Updated 4 months ago
- Succinct's Production-Grade Proving Engine for the OP Stack☆155Updated this week
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆104Updated this week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Updated 6 months ago
- Build Cosmos SDK applications on the OP Stack.☆29Updated 4 months ago
- Smart contracts for onchain verification of SP1.☆88Updated last month
- Benchmark of multiple zk implementations.☆83Updated last year
- Poseidon hash circuit☆101Updated 5 months ago
- Generates a stark from a pil☆95Updated 8 months ago
- ☆44Updated this week
- Out-of-circuit zkEVM implementation☆80Updated 8 months ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Updated 4 months ago
- This repo compiles .zkasm to a json ready for the zkExecutor☆31Updated 6 months ago
- ☆25Updated last week
- ☆77Updated this week