automata-network / automata-on-chain-pccs
Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations
☆13Updated 3 weeks ago
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
- 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…☆23Updated 4 months ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆27Updated last month
- The Ultimate ZK Fault/Validity Proof Software Suite for Securing Rollups☆41Updated this week
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆25Updated 7 months ago
- ☆25Updated last week
- linear-time sumcheck protocol for multilinear polynomials and related addends☆66Updated 6 months ago
- Browser-based Remote Attestation to TDX☆13Updated 2 months ago
- ☆31Updated last year
- UPA is the proof aggregation engine built by NEBRA team.☆30Updated 3 weeks ago
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆37Updated 2 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- Remote Attestation VErification☆32Updated 8 months ago
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆17Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 5 months ago
- Benchmarks of popular zkVMs including Jolt☆59Updated last year
- ☆17Updated 3 weeks ago
- PoC of Revm execution in SGX☆80Updated last year
- Rust implementation of KZG point evaluation☆33Updated last week
- On-chain Ethereum light client built with SP1☆46Updated this week
- ☆31Updated last year
- The Automata TDX Attestation SDK is a software development kit designed to help users generate the Intel TDX Quote using Rust across diff…☆21Updated last month
- OS for next iteration of the world computer☆44Updated last year
- Rescue and Poseidon hash function implementations☆43Updated 8 months ago
- ☆40Updated 5 months ago
- customizable halo2 circuits batcher☆30Updated last month
- The Spire Based Stack☆17Updated this week
- Cairo-VM STONE STARK Verifier Rust implementation☆41Updated 2 months ago
- ☆26Updated last year