automata-network / automata-dcap-attestationLinks
This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems
☆37Updated this week
Alternatives and similar repositories for automata-dcap-attestation
Users that are interested in automata-dcap-attestation are comparing it to the libraries listed below
Sorting:
- The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using R…☆24Updated 6 months ago
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆13Updated last week
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆27Updated 3 months ago
- ☆27Updated 9 months ago
- ☆65Updated 5 months ago
- A Solidity library that authenticates that the user is a correct holder of the specific email address, and specify entirely in Solidity h…☆78Updated 3 weeks ago
- Email verification circuit in halo2☆68Updated 11 months ago
- semaphore-mtb repository☆37Updated 3 weeks ago
- ☆59Updated 7 months ago
- Monorepo for Summa Proof of Solvency Protocol☆98Updated 10 months ago
- Polynomials Identity Language☆69Updated last year
- Geth-in-SGX provides an example of running go-ethereum in SGX☆75Updated last year
- zkEVM proof generator reference written in Javascript☆81Updated 2 weeks ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 10 months ago
- ☆99Updated 10 months ago
- run highly configurable benchmarks for EVM-based execution nodes over JSON-RPC☆80Updated this week
- A PoC repo for a HyperNova impl☆83Updated last year
- Circom interpreter to arithmetic circuit description☆55Updated 9 months ago
- PoC of Revm execution in SGX☆80Updated last year
- 👽 Small exercises to get you used to ZK fundamentals!☆33Updated 4 months ago
- barretenburg in rust (here we go)☆98Updated last year
- ☆42Updated last year
- Benchmarks of popular zkVMs including Jolt☆60Updated last year
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆109Updated 3 months ago
- Template repository for zkLLVM-based projects☆19Updated last year
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆64Updated 8 months ago
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆42Updated this week
- ☆21Updated 10 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆102Updated 2 years ago