SGX implementation of the TEE prover used in the Automata Multi-Prover AVS
☆29Jul 29, 2025Updated 7 months ago
Alternatives and similar repositories for sgx-prover
Users that are interested in sgx-prover are comparing it to the libraries listed below
Sorting:
- ☆15Sep 28, 2020Updated 5 years ago
- The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using R…☆28Dec 20, 2024Updated last year
- EraVM implementation☆19Sep 5, 2024Updated last year
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 6 months ago
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆16Feb 28, 2026Updated last week
- Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.☆44Oct 22, 2024Updated last year
- A spot to add introductory resources for people getting into the space☆27Aug 8, 2021Updated 4 years ago
- SmartAuditFlow is an AI-powered framework for automated smart contract security auditing. It combines Large Language Models (LLMs) with d…☆15Dec 19, 2025Updated 2 months ago
- ☆12Nov 11, 2022Updated 3 years ago
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆28Dec 19, 2024Updated last year
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆65Feb 17, 2025Updated last year
- ☆28Sep 18, 2024Updated last year
- Verifiable FHE prototype☆27Aug 12, 2024Updated last year
- Automata Multi-Prover AVS☆12Jan 17, 2025Updated last year
- Web Assembly low level implementation of pairing friendly curves.☆15Feb 10, 2026Updated 3 weeks ago
- implentation of Ligerito☆19Nov 9, 2025Updated 3 months ago
- Composable rust types and interfaces specific to the OP Stack. Built on Alloy.☆16Feb 21, 2025Updated last year
- ☆12Oct 4, 2023Updated 2 years ago
- ☆14Oct 9, 2024Updated last year
- zkSNARKs as a service using secure multi-party computation.☆30Jan 19, 2024Updated 2 years ago
- Multi-Server PIR (CCSW'14)☆11Dec 2, 2020Updated 5 years ago
- BLS typescript wrapper to interact with the contract☆15Mar 11, 2022Updated 3 years ago
- ☆28Dec 8, 2021Updated 4 years ago
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆35Oct 10, 2024Updated last year
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated last year
- On-chain Ethereum light client built with SP1☆80Dec 16, 2025Updated 2 months ago
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- Refund Protocol: a smart contract for stablecoin payment disputes.☆26Oct 30, 2025Updated 4 months ago
- Kate-Zaverucha-Goldberg polynomial commitments in rust playground☆14Aug 18, 2021Updated 4 years ago
- Small Rust script that cracked Yearn's v2 site password from a hashed copy☆14Dec 7, 2020Updated 5 years ago
- ☆19Apr 1, 2024Updated last year
- ☆19Jan 20, 2023Updated 3 years ago
- An SDK for building trust infrastructure☆14Nov 15, 2024Updated last year
- Expander Compiler☆42Feb 22, 2026Updated last week
- powdr application running Ethereum tests via revm☆17Jun 24, 2024Updated last year
- The instance generator of the Vision and Rescue block ciphers.☆17Mar 4, 2022Updated 4 years ago
- Draft of SSZ specs repo☆16Jun 16, 2020Updated 5 years ago
- Phase 2 of a multi-party trusted setup ceremony for the Semaphore zk-SNARK circuit☆17Jun 29, 2020Updated 5 years ago
- Decentralised Voting Scheme☆16Dec 5, 2021Updated 4 years ago