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 5 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☆36Updated last week
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆27Updated 2 months ago
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆13Updated this week
- On-chain Ethereum light client built with SP1☆53Updated this week
- ☆26Updated 8 months ago
- ☆34Updated 2 weeks ago
- PoC of Revm execution in SGX☆80Updated last year
- Email verification circuit in halo2☆68Updated 11 months ago
- ☆12Updated 4 months ago
- Benchmarks of popular zkVMs including Jolt☆60Updated last year
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆41Updated this week
- A PoC repo for a HyperNova impl☆83Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆98Updated 9 months ago
- ☆38Updated last year
- Crypto Gadgets for Plonky2☆71Updated last year
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆109Updated 2 months ago
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆52Updated 2 months ago
- ☆68Updated 10 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆64Updated 8 months ago
- UPA is the proof aggregation engine built by NEBRA team.☆31Updated last month
- ☆99Updated 10 months ago
- ☆40Updated 7 months ago
- ☆48Updated this week
- ☆82Updated this week
- Solidity implementation of Nova proving system verifier☆63Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- ☆61Updated last year
- Verify a chain of x509 certificates in halo2☆31Updated last year