Alternatives and similar repositories for sgx-prover

Users that are interested in sgx-prover are comparing it to the libraries listed below

• ethresearch / Shuffle_SSLE

  View on GitHub
  ☆15Sep 28, 2020Updated 5 years ago
• automata-network / automata-sgx-sdk

  View on GitHub
  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
• lambdaclass / era_vm

  View on GitHub
  EraVM implementation
  ☆19Sep 5, 2024Updated last year
• Lagrange-Labs / lgn-coprocessor

  View on GitHub
  Hyper-parallel ZK coprocessing.
  ☆17Aug 29, 2025Updated 5 months ago
• automata-network / automata-on-chain-pccs

  View on GitHub
  Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations
  ☆16Feb 7, 2026Updated last week
• sbellem / qtee

  View on GitHub
  Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.
  ☆44Oct 22, 2024Updated last year
• ZeroKnowledgefm / ZeroKnowledgeBasics

  View on GitHub
  A spot to add introductory resources for people getting into the space
  ☆27Aug 8, 2021Updated 4 years ago
• JimmyLin-afk / SmartAuditFlow

  View on GitHub
  SmartAuditFlow is an AI-powered framework for automated smart contract security auditing. It combines Large Language Models (LLMs) with d…
  ☆15Dec 19, 2025Updated last month
• zk-VerITAS / VerITAS

  View on GitHub
  ☆13Oct 9, 2024Updated last year
• arkworks-rs / bcs

  View on GitHub
  ☆11Nov 11, 2022Updated 3 years ago
• privacy-ethereum / sol-whir

  View on GitHub
  Solidity libraries and contracts for verifying WHIR proofs on the EVM.
  ☆28Dec 19, 2024Updated last year
• PolyhedraZK / Expander-cpp

  View on GitHub
  Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
  ☆65Feb 17, 2025Updated 11 months ago
• zama-ai / verifiable-fhe-paper

  View on GitHub
  Verifiable FHE prototype
  ☆27Aug 12, 2024Updated last year
• automata-network / automata-dcap-v3-attestation

  View on GitHub
  ☆28Sep 18, 2024Updated last year
• automata-network / multi-prover-avs

  View on GitHub
  Automata Multi-Prover AVS
  ☆12Jan 17, 2025Updated last year
• iden3 / wasmcurves

  View on GitHub
  Web Assembly low level implementation of pairing friendly curves.
  ☆15Updated this week
• bcc-research / Ligerito.jl

  View on GitHub
  implentation of Ligerito
  ☆19Nov 9, 2025Updated 3 months ago
• NP-Eng / gkr_tutorial

  View on GitHub
  ☆12Oct 4, 2023Updated 2 years ago
• op-rs / maili

  View on GitHub
  Composable rust types and interfaces specific to the OP Stack. Built on Alloy.
  ☆16Feb 21, 2025Updated 11 months ago
• tangle-network / zk-SaaS

  View on GitHub
  zkSNARKs as a service using secure multi-party computation.
  ☆30Jan 19, 2024Updated 2 years ago
• encryptogroup / RAID-PIR

  View on GitHub
  Multi-Server PIR (CCSW'14)
  ☆11Dec 2, 2020Updated 5 years ago
• thehubbleproject / hubble-bls

  View on GitHub
  BLS typescript wrapper to interact with the contract
  ☆15Mar 11, 2022Updated 3 years ago
• SoraSuegami / iOMaker

  View on GitHub
  [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf
  ☆36Oct 10, 2024Updated last year
• nikkolasg / halo2-circuits

  View on GitHub
  ☆28Dec 8, 2021Updated 4 years ago
• transmissions11 / crack_yearn_md5

  View on GitHub
  Small Rust script that cracked Yearn's v2 site password from a hashed copy
  ☆14Dec 7, 2020Updated 5 years ago
• adria0 / a0kzg

  View on GitHub
  Kate-Zaverucha-Goldberg polynomial commitments in rust playground
  ☆13Aug 18, 2021Updated 4 years ago
• circlefin / refund-protocol

  View on GitHub
  Refund Protocol: a smart contract for stablecoin payment disputes.
  ☆24Oct 30, 2025Updated 3 months ago
• zemse / partial-mpt

  View on GitHub
  calculate new mpt root without loading entire trie
  ☆17Jun 19, 2024Updated last year
• succinctlabs / sp1-helios

  View on GitHub
  On-chain Ethereum light client built with SP1
  ☆80Dec 16, 2025Updated last month
• tonk-labs / gribi

  View on GitHub
  An SDK for building trust infrastructure
  ☆15Nov 15, 2024Updated last year
• distributedstatemachine / eigenlayer-rs

  View on GitHub
  ☆19Apr 1, 2024Updated last year
• dmpierre / ark-superspartan

  View on GitHub
  An arkworks implementation of the superspartan PIOP
  ☆13Sep 10, 2024Updated last year
• privacy-ethereum / rln

  View on GitHub
  ☆19Jan 20, 2023Updated 3 years ago
• PolyhedraZK / ExpanderCompilerCollection

  View on GitHub
  Expander Compiler
  ☆41Updated this week
• privacy-ethereum / semaphore-phase2-setup

  View on GitHub
  Phase 2 of a multi-party trusted setup ceremony for the Semaphore zk-SNARK circuit
  ☆17Jun 29, 2020Updated 5 years ago
• pr0toshi / profanity2

  View on GitHub
  Vanity address generator for Ethereum
  ☆18Mar 15, 2024Updated last year
• powdr-labs / powdr-revme

  View on GitHub
  powdr application running Ethereum tests via revm
  ☆17Jun 24, 2024Updated last year
• EDGDrummond / DeVo

  View on GitHub
  Decentralised Voting Scheme
  ☆16Dec 5, 2021Updated 4 years ago
• protolambda / eth2.0-ssz

  View on GitHub
  Draft of SSZ specs repo
  ☆16Jun 16, 2020Updated 5 years ago