automata-network / automata-on-chain-pccsLinks
Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations
☆13Updated this 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☆36Updated last 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 5 months ago
- ☆34Updated 2 weeks ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆27Updated 2 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
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆41Updated this week
- Benchmarks of popular zkVMs including Jolt☆60Updated last year
- ☆26Updated 8 months ago
- For practice to using halo2☆22Updated 2 years ago
- UPA is the proof aggregation engine built by NEBRA team.☆31Updated last month
- Email verification circuit in halo2☆68Updated 11 months ago
- ☆53Updated last week
- Crypto Gadgets for Plonky2☆71Updated last year
- ☆38Updated last year
- ☆12Updated 4 months ago
- On-chain Ethereum light client built with SP1☆53Updated this week
- ☆48Updated this week
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated last year
- A stateless Ethereum execution client