automata-network / automata-sgx-sdk
The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using Rust. Powered by Automata
☆23Updated 3 months ago
Alternatives and similar repositories for automata-sgx-sdk:
Users that are interested in automata-sgx-sdk are comparing it to the libraries listed below
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆27Updated 3 weeks ago
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆33Updated last week
- A PoC repo for a HyperNova impl☆83Updated last year
- Email verification circuit in halo2☆68Updated 9 months ago
- Benchmarks of popular zkVMs including Jolt☆59Updated 11 months ago
- ☆25Updated 6 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆43Updated last week
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆37Updated last year
- ☆39Updated 5 months ago
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆12Updated last week
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 7 months ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆24Updated 9 months ago
- ☆27Updated 2 weeks ago
- ☆98Updated 7 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆96Updated this week
- PoC of Revm execution in SGX☆79Updated last year
- ☆94Updated 7 months ago
- ☆25Updated this week
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆42Updated last year
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆106Updated 2 weeks ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆51Updated 2 months ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆65Updated 6 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 7 months ago
- Circom interpreter to arithmetic circuit description☆53Updated 6 months ago
- DPC with Universal Setup☆45Updated last year
- The Ultimate ZK Fault/Validity Proof Software Suite for Securing Rollups☆37Updated last week
- Verify a chain of x509 certificates in halo2☆31Updated last year
- Smart contracts for onchain verification of SP1.☆86Updated last month
- ☆65Updated 8 months ago