Alternatives and similar repositories for circomlib-fhe

Users that are interested in circomlib-fhe are comparing it to the libraries listed below

• 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
• privacy-ethereum / DefinitelySetup

  View on GitHub
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆22Jul 18, 2025Updated 6 months ago
• zkFHE / ringSNARK

  View on GitHub
  An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements
  ☆39Dec 4, 2023Updated 2 years ago
• lurk-lab / circom-scotia

  View on GitHub
  ☆23Mar 8, 2024Updated last year
• shuklaayush / halo2-lib-eddsa

  View on GitHub
  halo2-lib-eddsa
  ☆11Feb 2, 2024Updated 2 years ago
• nulltea / hyper-greco

  View on GitHub
  Verifiable FHE with GKR
  ☆28Oct 5, 2024Updated last year
• lyronctk / kzg-blob

  View on GitHub
  Prove multi-opens of EIP-4844 KZG blobs
  ☆16Jun 15, 2023Updated 2 years ago
• kobigurk / plonk

  View on GitHub
  Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.
  ☆15Aug 10, 2020Updated 5 years ago
• succinctlabs / plonky2x-example

  View on GitHub
  An example of how to build an end-to-end dApp with plonky2x
  ☆22Aug 30, 2023Updated 2 years ago
• rubydusa / circom-lsp

  View on GitHub
  A Language Server Protocol Implementation for Circom
  ☆33Jun 3, 2023Updated 2 years ago
• geometryxyz / halo2-cq

  View on GitHub
  ☆14Oct 27, 2023Updated 2 years ago
• hashcloak / noir-mpc-ml

  View on GitHub
  Publicly Verifiable & Private Collaborative ML Model Training in Noir
  ☆13Feb 17, 2025Updated 11 months ago
• reilabs / lampe

  View on GitHub
  Extracting the semantics of Noir to Lean for formal verification
  ☆36Updated this week
• tokamak-network / DEPRECATED-circom-ethereum-opcodes

  View on GitHub
  Circom circuits of Ethereum arithmetic and bitwise operators
  ☆20Feb 1, 2025Updated last year
• zkFHE / zkOpenFHE

  View on GitHub
  A ZKP-augmented fork of the OpenFHE library
  ☆24Jul 6, 2024Updated last year
• weijiekoh / elgamal-babyjub

  View on GitHub
  ☆23Oct 6, 2020Updated 5 years ago
• PayneJoe / PNova

  View on GitHub
  Plonkish Nova implementation along with advanced features
  ☆16Dec 16, 2023Updated 2 years ago
• lambdaclass / lambdaworks_exercises

  View on GitHub
  Contains several examples and challenges to use Lambdaworks
  ☆15Sep 7, 2023Updated 2 years ago
• TaceoLabs / noir-poseidon

  View on GitHub
  ☆18Feb 4, 2026Updated last week
• emilianobonassi / zkFHE

  View on GitHub
  Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.
  ☆86Apr 20, 2023Updated 2 years ago
• summa-dev / summa-solvency

  View on GitHub
  Monorepo for Summa Proof of Solvency Protocol
  ☆99Aug 26, 2024Updated last year
• horsefacts / huff-test

  View on GitHub
  Better assertion macros for pure Huff tests.
  ☆19Oct 2, 2023Updated 2 years ago
• odyssey2077 / halo2-cairo

  View on GitHub
  verify cairo execution in Halo2
  ☆15Sep 12, 2023Updated 2 years ago
• enricobottazzi / zk-fhe

  View on GitHub
  Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
  ☆114Mar 20, 2024Updated last year
• DoHoonKim8 / halo2-lasso

  View on GitHub
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆37Mar 3, 2024Updated last year
• crate-crypto / rust-eth-kzg

  View on GitHub
  ☆31Oct 27, 2025Updated 3 months ago
• costa-group / circom_civer

  View on GitHub
  zkSnark circuit compiler
  ☆12Jan 8, 2026Updated last month
• compsec-epfl / efficient-sumcheck

  View on GitHub
  ☆49Updated this week
• chancehudson / poseidon-lite

  View on GitHub
  ☆21Aug 23, 2024Updated last year
• erhant / circomkit

  View on GitHub
  A testing & development environment for Circom.
  ☆117Jul 31, 2025Updated 6 months ago
• yuriko627 / bfv-py

  View on GitHub
  BFV implementation in Python
  ☆27Jul 16, 2024Updated last year
• kilic / halo2msm

  View on GitHub
  ☆13Aug 23, 2023Updated 2 years ago
• burdges / isogenies_vdf_uses

  View on GitHub
  Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves
  ☆15Oct 19, 2021Updated 4 years ago
• 0xEigenLabs / eigen-zeth

  View on GitHub
  A "Type 0" zkEVM
  ☆12Jul 16, 2025Updated 6 months ago
• zama-ai / fhevm-decryptions-db

  View on GitHub
  The fhEVM Decryptions Database is a key-value database of decryption results.
  ☆15Aug 24, 2023Updated 2 years ago
• hmchoe0528 / INDCPAD_HE_ThresFHE

  View on GitHub
  ☆11May 28, 2024Updated last year
• distributed-lab / noir-semaphore

  View on GitHub
  Semaphore Protocol with Noir.
  ☆11Mar 14, 2025Updated 11 months ago
• semaphore-protocol / semaphore-rs

  View on GitHub
  Semaphore v4 implemented in Rust
  ☆10Oct 7, 2025Updated 4 months ago
• rot256 / research-we-kzg

  View on GitHub
  Witness encryption for KZG openings
  ☆33Nov 6, 2024Updated last year