ahenzinger / underhood

Related projects ⓘ

Alternatives and complementary repositories for underhood

• ahenzinger / tiptoe
  The reference implementation of Tiptoe, accompanying the paper "Private web search with Tiptoe" (SOSP 2023).
  ☆37Updated last year
• menonsamir / ypir
  ☆16Updated 3 months ago
• imdea-software / legosnark
  C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.
  ☆37Updated 4 years ago
• lazer-crypto / lazer
  ☆17Updated last month
• zkFHE / ringSNARK
  An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements
  ☆34Updated 11 months ago
• cronokirby / yao-gc
  A basic implementation of Yao's Garbled Circuits
  ☆30Updated 2 years ago
• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆48Updated last year
• lattice-dogs / labrador
  ☆23Updated 2 months ago
• CPerezz / caulk_plus
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Updated last year
• qfall / crypto
  Prototyping library for lattice-based cryptography.
  ☆14Updated this week
• kwantam / eccons
  elliptic curve construction tool
  ☆17Updated last year
• guruvamsi-policharla / zksaas
  A prototype implementation of the zksaas protocol for distributed zkSNARK generation
  ☆23Updated last year
• zama-ai / concrete-ntt
  ☆15Updated this week
• lattice-based-zkSNARKs / lattice-zksnark
  lattice-based zkSNARKs over libsnark [ISW21]
  ☆29Updated last month
• toonsegers / verifiable_mpc
  A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone exter…
  ☆24Updated 9 months ago
• mmaker / tinybear
  ☆22Updated last month
• fairmath / openfhe-rs
  OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/
  ☆29Updated last month
• zkFHE / FHE-in-TEE
  A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …
  ☆41Updated last year
• zama-ai / verifiable-fhe-paper
  Verifiable FHE prototype
  ☆17Updated 3 months ago
• Janmajayamall / bfv
  ☆26Updated 8 months ago
• zkFHE / zkOpenFHE
  A ZKP-augmented fork of the OpenFHE library
  ☆12Updated 4 months ago
• guruvamsi-policharla / silent-threshold-encryption
  A silent threshold encryption scheme, which does not require any interaction during the setup phase.
  ☆28Updated 3 months ago
• sunblaze-ucb / Orion
  ☆23Updated 2 years ago
• ZeyuThomasLiu / ObliviousMessageRetrieval
  ☆13Updated 2 years ago
• cronokirby / boo-hoo
  An implementation of ZKBoo
  ☆33Updated 2 years ago
• joshbeal / derecho
  A Rust library for proof-carrying disclosures
  ☆18Updated 7 months ago
• KULeuven-COSIC / Bootstrapping_BGV_BFV
  ☆18Updated 3 weeks ago
• rozbb / zkcreds-rs
  ☆57Updated 2 years ago
• LBruyne / Scalable-Collaborative-zkSNARK
  Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.
  ☆42Updated 2 weeks ago
• cathieyun / bfv12
  toy implementation of bfv in rust
  ☆26Updated 2 years ago