Janmajayamall/tfhe-research external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

Janmajayamall/tfhe-research

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/Janmajayamall/tfhe-research)

Close

Janmajayamall / tfhe-researchView on GitHubMore

• External links
• Readme badge

☆13Nov 10, 2023Updated 2 years ago

Alternatives and similar repositories for tfhe-research

Users that are interested in tfhe-research are comparing it to the libraries listed below

• noir-lang / noir_bigcurve

  View on GitHub
  ☆15Feb 20, 2026Updated 2 weeks ago
• GaloisInc / zkLean

  View on GitHub
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆21Feb 18, 2026Updated 2 weeks ago
• chancehudson / circom-stark

  View on GitHub
  ☆14Dec 13, 2024Updated last year
• ora-io / zkWasm

  View on GitHub
  partnership with DelphinusLab targeting on trustless offchain monitor.
  ☆14Jan 26, 2024Updated 2 years ago
• 0x3327 / SKProof

  View on GitHub
  Scikit-learn compatible Python library for generating ZK proofs of execution
  ☆19Feb 19, 2025Updated last year
• zama-ai / verifiable-fhe-paper

  View on GitHub
  Verifiable FHE prototype
  ☆27Aug 12, 2024Updated last year
• scroll-tech / zkvm-prover

  View on GitHub
  Guest programs and prover SDK for Scroll's zero-knowledge rollup proof generation architecture
  ☆29Updated this week
• hadasz / plonkish_basefold

  View on GitHub
  ☆38Jul 30, 2025Updated 7 months ago
• Janmajayamall / fhe-auction

  View on GitHub
  ☆18Nov 12, 2023Updated 2 years ago
• cursive-team / 2P-PSI

  View on GitHub
  Production build of Gauss Labs' MP-PSI API using 2PC and FHE
  ☆17Apr 16, 2024Updated last year
• Sofianel5 / zk-img-editor

  View on GitHub
  ☆22Feb 19, 2024Updated 2 years ago
• QEDProtocol / plonky2.5

  View on GitHub
  🪩 verify plonky3 proofs in plonky2
  ☆19Mar 28, 2024Updated last year
• BrianSeong99 / Plonky3_RangeCheck

  View on GitHub
  This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…
  ☆27Apr 4, 2025Updated 11 months ago
• cursive-team / babyjubjub-ecdsa

  View on GitHub
  Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures
  ☆22Nov 6, 2024Updated last year
• philsippl / circom-witness-rs

  View on GitHub
  ☆63Feb 10, 2026Updated 3 weeks ago
• richardliang / noir-rsa

  View on GitHub
  Noir implementation of RSA-verify
  ☆44Dec 20, 2023Updated 2 years ago
• gizatechxyz / LuminAIR

  View on GitHub
  A zkML framework for ensuring the integrity of computational graphs using Circle STARK proofs
  ☆55Sep 3, 2025Updated 6 months ago
• Janmajayamall / bfv

  View on GitHub
  ☆26Feb 25, 2024Updated 2 years ago
• maceip / zknft

  View on GitHub
  zk hacker house taiwan project
  ☆11Mar 14, 2024Updated last year
• Ethan-000 / halo2_backend

  View on GitHub
  ☆39Jan 8, 2024Updated 2 years ago
• distributed-lab / noir-semaphore

  View on GitHub
  Semaphore Protocol with Noir.
  ☆11Mar 14, 2025Updated 11 months ago
• Tetration-Lab / turing-zero

  View on GitHub
  Turing machine ZKVM
  ☆10Nov 12, 2023Updated 2 years ago
• shuklaayush / zed-noir

  View on GitHub
  Noir support for Zed
  ☆11May 3, 2024Updated last year
• shuklaayush / halo2-lib-eddsa

  View on GitHub
  halo2-lib-eddsa
  ☆11Feb 2, 2024Updated 2 years ago
• corddry / zk-nintendo

  View on GitHub
  ☆11Mar 2, 2024Updated 2 years ago
• vacekj / air-fried-gyatt

  View on GitHub
  Breathe air
  ☆25May 19, 2024Updated last year
• privacy-ethereum / sol-whir

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

  View on GitHub
  Verifiable FHE with GKR
  ☆27Oct 5, 2024Updated last year
• SoraSuegami / voice_recovery_circuit

  View on GitHub
  A circuit to verify the voice recovery process.
  ☆51Apr 15, 2023Updated 2 years ago
• ZKNoxHQ / NTT

  View on GitHub
  Generic implementation of the Number Theoretic Transform in the context of cryptography applications
  ☆14Aug 13, 2025Updated 6 months ago
• dmpierre / sha1-circom

  View on GitHub
  Generate a zero-knowledge proof for a SHA1 pre-image.
  ☆12Mar 29, 2024Updated last year
• zkHubHQ / distributed-halo2

  View on GitHub
  ☆10Sep 15, 2023Updated 2 years ago
• rust-blockchain / verkle

  View on GitHub
  ☆15Jul 8, 2021Updated 4 years ago
• 0xPolygonID / witnesscalc

  View on GitHub
  cpp witness calculator for mobile and desktop for iden3 circuits
  ☆17Aug 22, 2025Updated 6 months ago
• moven0831 / fraud-proof-groth16

  View on GitHub
  Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…
  ☆11Oct 10, 2023Updated 2 years ago
• NP-Eng / gkr_tutorial

  View on GitHub
  ☆12Oct 4, 2023Updated 2 years ago
• zkemail / emailwallet.org

  View on GitHub
  Code for emailwallet.org. Decentralized, zk-proof based, privacy preserving email-based transactions on chain, token transfers to email a…
  ☆11Jan 21, 2026Updated last month
• noir-lang / noir-bignum

  View on GitHub
  bignum
  ☆29Feb 20, 2026Updated 2 weeks ago
• zkemail / noir-jwt

  View on GitHub
  Noir library to verify JWT tokens, and prove claims.
  ☆32Dec 4, 2025Updated 3 months ago