Alternatives and similar repositories for bfv

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

• levs57 / protostar-works

  View on GitHub
  bottom text
  ☆16Jan 26, 2024Updated 2 years ago
• arnaucube / protogalaxy-poc

  View on GitHub
  ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf
  ☆41Sep 14, 2023Updated 2 years ago
• SoraSuegami / iOMaker

  View on GitHub
  [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf
  ☆36Oct 10, 2024Updated last year
• geometryxyz / sangria_impl

  View on GitHub
  An implementation of Sangria
  ☆17Jun 1, 2023Updated 2 years ago
• vicsn / witness-encryption-functional-commitment

  View on GitHub
  Based on https://eprint.iacr.org/2022/1510
  ☆26Oct 20, 2024Updated last year
• privacy-ethereum / Nova

  View on GitHub
  Nova: Recursive SNARKs without trusted setup
  ☆44Aug 21, 2023Updated 2 years ago
• qope / plonky2-bn254-pairing

  View on GitHub
  plonky2 implementation of bn254 pairing
  ☆19Feb 1, 2024Updated 2 years ago
• yuriko627 / bfv-py

  View on GitHub
  BFV implementation in Python
  ☆27Jul 16, 2024Updated last year
• arnaucube / sigmabus-poc

  View on GitHub
  Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406
  ☆10Dec 20, 2023Updated 2 years ago
• avras / nova-sha256

  View on GitHub
  Nova-based SHA256 benchmarks
  ☆31Jun 7, 2025Updated 8 months ago
• recmo / evm-groth16

  View on GitHub
  Groth16 verifier in EVM
  ☆23Jul 8, 2023Updated 2 years ago
• hadasz / plonkish_basefold

  View on GitHub
  ☆38Jul 30, 2025Updated 6 months ago
• zkHubHQ / distributed-halo2

  View on GitHub
  ☆10Sep 15, 2023Updated 2 years ago
• 0xfuturistic / plonkish-solidity

  View on GitHub
  ⚙️ A library for proving PLONKish circuits (halo2) in the EVM.
  ☆11Aug 14, 2023Updated 2 years ago
• kilic / cyclone-msm-expreriment

  View on GitHub
  ☆11Feb 6, 2024Updated 2 years ago
• LBruyne / Scalable-Collaborative-zkSNARK

  View on GitHub
  Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.
  ☆58Aug 2, 2025Updated 6 months ago
• Janmajayamall / tfhe-research

  View on GitHub
  ☆13Nov 10, 2023Updated 2 years ago
• geometryxyz / halo2-cq

  View on GitHub
  ☆14Oct 27, 2023Updated 2 years ago
• privacy-ethereum / sonobe

  View on GitHub
  Experimental folding schemes library
  ☆260Feb 6, 2026Updated last week
• jules / supernova

  View on GitHub
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆122Feb 25, 2023Updated 2 years ago
• privacy-ethereum / sol-whir

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

  View on GitHub
  generate snark proofs in browser - batteries included
  ☆12Nov 11, 2022Updated 3 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
• crate-crypto / rust-eth-kzg

  View on GitHub
  ☆31Oct 27, 2025Updated 3 months ago
• odradev / evm-at-risc0

  View on GitHub
  ☆17Feb 13, 2023Updated 3 years ago
• TomWambsgans / Whirlaway

  View on GitHub
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆45Sep 11, 2025Updated 5 months ago
• Janmajayamall / ObliviousMessageRetrieval

  View on GitHub
  ☆30Aug 10, 2023Updated 2 years ago
• gy001 / hypercube

  View on GitHub
  ☆41Jan 7, 2024Updated 2 years ago
• Ethan-000 / halo2_backend

  View on GitHub
  ☆39Jan 8, 2024Updated 2 years ago
• privacy-ethereum / mpz

  View on GitHub
  Multi-party computation libraries written in Rust 🦀
  ☆284Feb 3, 2026Updated last week
• snarkify / arkmsm

  View on GitHub
  ☆50Feb 11, 2025Updated last year
• brech1 / keaki

  View on GitHub
  Extractable Witness Encryption for KZG Commitments
  ☆32Nov 29, 2024Updated last year
• pluto / web-prover

  View on GitHub
  Pluto Web Prover 🦀
  ☆39Mar 18, 2025Updated 10 months ago
• pluto / edge

  View on GitHub
  client side proving
  ☆39Mar 12, 2025Updated 11 months ago
• renegade-fi / ark-mpc

  View on GitHub
  A framework for SPDZ-style maliciously-secure MPC.
  ☆57Dec 21, 2025Updated last month
• halo2club / halo2club.github.io

  View on GitHub
  ☆16Mar 11, 2024Updated last year
• arnaucube / math

  View on GitHub
  Notes, code and documents done while reading books and papers.
  ☆21Updated this 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
• geometryxyz / cq

  View on GitHub
  Let's go https://eprint.iacr.org/2022/1763.pdf
  ☆61May 22, 2023Updated 2 years ago