automata-network / automata-on-chain-pccsLinks
Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations
☆13Updated last week
Alternatives and similar repositories for automata-on-chain-pccs
Users that are interested in automata-on-chain-pccs 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
- 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
- Browser-based Remote Attestation to TDX☆15Updated 4 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆27Updated 3 months ago
- ☆27Updated 9 months ago
- Benchmarks of popular zkVMs including Jolt☆60Updated last year
- ☆12Updated 4 months ago
- ☆24Updated 9 months ago
- The Automata TDX Attestation SDK is a software development kit designed to help users generate the Intel TDX Quote using Rust across diff…☆22Updated this week
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆42Updated this week
- ☆42Updated last year
- The Spire Based Stack☆18Updated last week
- ☆38Updated last month
- PoC of Revm execution in SGX☆80Updated last year
- For practice to using halo2☆22Updated 2 years ago
- On-chain Ethereum light client built with SP1☆57Updated this week
- Remote Attestation VErification☆33Updated 10 months ago
- Email verification circuit in halo2☆68Updated 11 months ago
- A curated list of resources for learning about Trusted Execution Environments (TEEs) in the context of blockchains.☆25Updated 2 months ago
- ☆31Updated last year
- JWT verification with zero knowledge proofs☆50Updated last year
- UPA is the proof aggregation engine built by NEBRA team.☆32Updated 2 months ago
- semaphore-mtb repository☆37Updated 3 weeks ago
- A collection of the Notes on the Nova folding scheme explained from scratch☆28Updated last year
- ☆65Updated 5 months ago
- run highly configurable benchmarks for EVM-based execution nodes over JSON-RPC☆80Updated this week
- ☆53Updated 3 weeks ago
- A stateless Ethereum execution client☆30Updated 4 months ago
- ☆27Updated this week