Alternatives and similar repositories for underhood:

Users that are interested in underhood are comparing it to the libraries listed below

• ahenzinger / tiptoe
  The reference implementation of Tiptoe, accompanying the paper "Private web search with Tiptoe" (SOSP 2023).
  ☆44Updated last year
• lattice-dogs / labrador
  ☆27Updated 4 months ago
• zkFHE / ringSNARK
  An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements
  ☆37Updated last year
• lazer-crypto / lazer
  ☆26Updated 3 weeks ago
• lattice-based-zkSNARKs / lattice-zksnark
  lattice-based zkSNARKs over libsnark [ISW21]
  ☆30Updated 3 months ago
• menonsamir / ypir
  ☆17Updated 6 months ago
• zama-ai / concrete-ntt
  ☆17Updated 2 months ago
• Cybersecurity-LINKS / zkryptium
  Rust crypto library for zero-knowledge proofs
  ☆15Updated last week
• cronokirby / yao-gc
  A basic implementation of Yao's Garbled Circuits
  ☆30Updated 2 years ago
• SNUCP / celpc
  Rust Code for CELPC
  ☆15Updated 7 months ago
• mmaker / tinybear
  ☆22Updated 4 months ago
• TAMUCrypto / virgo-plus
  An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.
  ☆17Updated last year
• google / hintless_pir
  ☆17Updated 8 months ago
• zkFHE / zkOpenFHE
  A ZKP-augmented fork of the OpenFHE library
  ☆14Updated 6 months ago
• brave-experiments / DiStefano
  An implementation of the 'DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More' protocol.
  ☆27Updated last week
• Crypto-TII / fhegen
  ☆13Updated 8 months ago
• imdea-software / legosnark
  C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.
  ☆38Updated 4 years ago
• zama-ai / verifiable-fhe-paper
  Verifiable FHE prototype
  ☆22Updated 5 months ago
• ahenzinger / simplepir
  The reference implementation of SimplePIR and DoublePIR, accompanying the paper "One Server for the Price of Two: Simple and Fast Single-…
  ☆81Updated 2 years ago
• geometryxyz / cq
  Let's go https://eprint.iacr.org/2022/1763.pdf
  ☆57Updated last year
• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆48Updated last year
• shaih / cpp-lwevss
  C++ implementation of VSS using LWE encryption and proofs
  ☆15Updated 3 years ago
• renegade-fi / ark-mpc
  A framework for SPDZ-style maliciously-secure MPC.
  ☆49Updated last week
• guruvamsi-policharla / zksaas
  A prototype implementation of the zksaas protocol for distributed zkSNARK generation
  ☆23Updated last year
• wborgeaud / python-bulletproofs
  Python3 implementation of Bulletproofs - non-interactive zero-knowledge proof protocol with very short proofs and without a trusted setup…
  ☆26Updated 2 years ago
• KULeuven-COSIC / Bootstrapping_BGV_BFV
  ☆22Updated last month
• kwantam / eccons
  elliptic curve construction tool
  ☆17Updated last year
• FHE-Deck / fhe-deck-core
  ☆14Updated this week
• LBruyne / Scalable-Collaborative-zkSNARK
  Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.
  ☆44Updated last week
• ZeyuThomasLiu / ObliviousMessageRetrieval
  ☆13Updated 2 years ago