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☆39Updated 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…☆25Updated 7 months ago
- ☆24Updated 10 months ago
- World Chain monorepo☆67Updated this week
- Browser-based Remote Attestation to TDX☆16Updated 5 months ago
- ☆67Updated 8 months ago
- ☆27Updated 10 months ago
- Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles☆135Updated 3 weeks ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆27Updated 4 months ago
- run highly configurable benchmarks for EVM-based execution nodes over JSON-RPC☆82Updated this week
- ☆54Updated last month
- PoC of Revm execution in SGX☆80Updated last year
- Benchmarks of popular zkVMs including Jolt☆61Updated last year
- semaphore-mtb repository☆39Updated last month
- ☆12Updated 5 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆111Updated 4 months ago
- Crypto Gadgets for Plonky2☆72Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆132Updated last week
- The Automata TDX Attestation SDK is a software development kit designed to help users generate the Intel TDX Quote using Rust across diff…☆23Updated last week
- ☆99Updated this week
- JWT verification with zero knowledge proofs☆50Updated last year
- ☆36Updated last week
- ☆99Updated 11 months ago
- ED25519 implementation in Circom☆116Updated 2 years ago
- ☆50Updated 4 months ago
- ☆60Updated this week
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆44Updated last week
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆101Updated 7 months ago
- Email verification circuit in halo2☆67Updated last year
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆110Updated last week