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
  ☆14Feb 6, 2026Updated last week
• GaloisInc / zkLean

  View on GitHub
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆21Feb 9, 2026Updated last week
• 0x3327 / SKProof

  View on GitHub
  Scikit-learn compatible Python library for generating ZK proofs of execution
  ☆19Feb 19, 2025Updated 11 months 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
• 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
  ☆28Jan 21, 2026Updated 3 weeks ago
• hadasz / plonkish_basefold

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

  View on GitHub
  ☆18Nov 12, 2023Updated 2 years ago
• Sofianel5 / zk-img-editor

  View on GitHub
  ☆22Feb 19, 2024Updated last year
• cursive-team / 2P-PSI

  View on GitHub
  Production build of Gauss Labs' MP-PSI API using 2PC and FHE
  ☆17Apr 16, 2024Updated last year
• 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 10 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
  ☆63Updated this week
• gizatechxyz / LuminAIR

  View on GitHub
  A zkML framework for ensuring the integrity of computational graphs using Circle STARK proofs
  ☆53Sep 3, 2025Updated 5 months ago
• richardliang / noir-rsa

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

  View on GitHub
  ☆26Feb 25, 2024Updated last year
• shuklaayush / zed-noir

  View on GitHub
  Noir support for Zed
  ☆11May 3, 2024Updated last year
• Ethan-000 / halo2_backend

  View on GitHub
  ☆39Jan 8, 2024Updated 2 years ago
• maceip / zknft

  View on GitHub
  zk hacker house taiwan project
  ☆11Mar 14, 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 last year
• 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
• vacekj / air-fried-gyatt

  View on GitHub
  Breathe air
  ☆25May 19, 2024Updated last year
• nulltea / hyper-greco

  View on GitHub
  Verifiable FHE with GKR
  ☆28Oct 5, 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
• SoraSuegami / voice_recovery_circuit

  View on GitHub
  A circuit to verify the voice recovery process.
  ☆51Apr 15, 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 3 weeks ago
• NP-Eng / gkr_tutorial

  View on GitHub
  ☆12Oct 4, 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
• 0xPolygonID / witnesscalc

  View on GitHub
  cpp witness calculator for mobile and desktop for iden3 circuits
  ☆17Aug 22, 2025Updated 5 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
• zkHubHQ / distributed-halo2

  View on GitHub
  ☆10Sep 15, 2023Updated 2 years ago
• dmpierre / sha1-circom

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

  View on GitHub
  ☆15Jul 8, 2021Updated 4 years ago
• noir-lang / noir-bignum

  View on GitHub
  bignum
  ☆29Feb 5, 2026Updated last week
• zkemail / noir-jwt

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