automata-network / automata-dcap-attestationLinks
This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems
☆47Updated 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…☆28Updated 11 months ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆29Updated 4 months ago
- Geth-in-SGX provides an example of running go-ethereum in SGX☆76Updated last year
- A Solidity library that authenticates that the user is a correct holder of the specific email address, and specify entirely in Solidity h…☆82Updated last month
- zkEVM proof generator reference written in Javascript☆82Updated 6 months ago
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆16Updated last week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆145Updated this week
- Template for integrating RISC Zero and Ethereum using Foundry☆140Updated 5 months ago
- ☆27Updated last year
- ED25519 implementation in Circom☆119Updated 2 years ago
- Sidecar to Enable Rollup Extensions☆154Updated this week
- A minimal (and wicked fast) blockchain built with the Commonware Library.☆81Updated last month
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆139Updated 5 months ago
- The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies☆103Updated 5 months ago
- spam EVM execution nodes over JSON-RPC & run benchmarks☆110Updated 2 weeks ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- Polynomials Identity Language☆68Updated last year
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆102Updated last year
- ☆102Updated 3 years ago
- The pioneer blockchain explorer dedicated to navigate and visualize shard blob transactions.☆101Updated this week
- RISC-V interactive fault proof tech☆107Updated last week
- EigenLayer Rust Developer Tooling☆91Updated last month
- Email verification circuit in halo2☆68Updated last year
- Smart contracts for onchain verification of SP1.☆124Updated last month
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- Specs for Ethereum's KZG Powers of Tau Ceremony☆111Updated 2 years ago
- The Ethereum Rollup Improvement Proposal repository☆140Updated 4 months ago
- Remote Attestation VErification☆35Updated last year
- PoC of Revm execution in SGX☆79Updated 2 years ago