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 4 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
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆36Updated this week
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆27Updated last month
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆13Updated 3 weeks ago
- ☆25Updated 7 months ago
- The Ultimate ZK Fault/Validity Proof Software Suite for Securing Rollups☆41Updated this week
- Benchmarks of popular zkVMs including Jolt☆59Updated last year
- ☆44Updated this week
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆37Updated 2 years ago
- On-chain Ethereum light client built with SP1☆46Updated this week
- The Spire Based Stack☆17Updated this week
- PoC of Revm execution in SGX☆80Updated last year
- Email verification circuit in halo2☆68Updated 9 months ago
- ☆25Updated last week
- ☆12Updated 2 months ago
- A PoC repo for a HyperNova impl☆83Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 8 months ago
- Circom interpreter to arithmetic circuit description☆54Updated 7 months ago
- Smart contracts for onchain verification of SP1.☆88Updated last month
- ☆38Updated last year
- ☆98Updated 8 months ago
- DPC with Universal Setup☆45Updated last year
- A collection of comparison-benchmarks for Nova & related Proving systems☆43Updated 2 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆104Updated this week
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Updated 10 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆107Updated last month
- ☆40Updated 6 months ago
- A ZK-VM for the Brainfuck language, based on Stwo☆30Updated 3 weeks ago
- Polynomial Expression Engine☆35Updated last year
- ☆2Updated last year