automata-network / automata-sgx-sdkLinks
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
☆24Updated 6 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
Sorting:
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆37Updated this week
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆27Updated 3 months ago
- On-chain Ethereum light client built with SP1☆57Updated this week
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆13Updated last week
- ☆27Updated 9 months ago
- ☆12Updated 4 months ago
- ☆65Updated 5 months ago
- PoC of Revm execution in SGX☆80Updated last year
- Benchmarks of popular zkVMs including Jolt☆60Updated last year
- ☆38Updated last month
- A collection of ZK light client libraries for various blockchains☆51Updated 6 months ago
- Email verification circuit in halo2☆68Updated 11 months ago
- 👽 Small exercises to get you used to ZK fundamentals!☆33Updated 4 months ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Updated last year
- Browser-based Remote Attestation to TDX☆15Updated 4 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆109Updated 3 months ago
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆37Updated 2 years ago
- ☆24Updated 9 months ago
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- A curated list of awesome things related to learning Circle STARK.☆30Updated 4 months ago
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆42Updated this week
- A PoC repo for a HyperNova impl☆83Updated last year
- Client library for generating and using RLN ZK proofs☆32Updated last year
- EraVM implementation☆19Updated 9 months ago
- A halo2 implementation of on-chain DCAP attestation verification☆14Updated 9 months ago
- ☆38Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 10 months ago
- The Spire Based Stack☆18Updated last week
- ☆61Updated last year