Alternatives and similar repositories for honk-verifier

Users that are interested in honk-verifier are comparing it to the libraries listed below

• NP-Eng / gkr_tutorial

  View on GitHub
  ☆12Oct 4, 2023Updated 2 years ago
• ingonyama-zk / open-binius

  View on GitHub
  building blocks for accelerating ZK proofs over binary fields
  ☆48Jun 19, 2025Updated 7 months ago
• geometryxyz / secp256k1_hash_to_curve

  View on GitHub
  ☆33Sep 22, 2023Updated 2 years ago
• ingonyama-zk / smallfield-super-sumcheck

  View on GitHub
  Proof of concept implementation of sumcheck over fields of small characteristics.
  ☆19May 16, 2025Updated 8 months ago
• dmpierre / ark-superspartan

  View on GitHub
  An arkworks implementation of the superspartan PIOP
  ☆13Sep 10, 2024Updated last year
• dmpierre / plonky3-ccs

  View on GitHub
  ☆11Sep 10, 2024Updated last year
• lambdaclass / noir_backend_using_gnark

  View on GitHub
  A Noir's backend implementation using Gnark
  ☆35Mar 8, 2024Updated last year
• gballet / verkle-block-sample

  View on GitHub
  ☆39Nov 25, 2022Updated 3 years ago
• dmpierre / sonobe-btc

  View on GitHub
  Using folding schemes for a provable bitcoin light client
  ☆34May 22, 2024Updated last year
• maxgillett / halo2-fri-gadget

  View on GitHub
  A FRI verifier circuit for the Halo2 proof system
  ☆77Feb 22, 2023Updated 2 years ago
• privacy-ethereum / sonobe

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

  View on GitHub
  zero knowledge proof aggregator for general circuit
  ☆73May 20, 2024Updated last year
• Electron-Labs / starky_bls12_381

  View on GitHub
  Starky implementation of Bls12-381
  ☆13May 16, 2024Updated last year
• morgana-proofs / hashcaster

  View on GitHub
  Frobenius sumcheck for vectorized boolean ops
  ☆56Apr 12, 2025Updated 10 months ago
• argumentcomputer / sphinx

  View on GitHub
  An observatory fork of SP1
  ☆77Feb 11, 2025Updated last year
• caulk-crypto / caulk

  View on GitHub
  ☆113Feb 6, 2024Updated 2 years ago
• a16z / vectorized-fields

  View on GitHub
  Vectorized AVX-512 256-bit arithmetic library
  ☆34Sep 28, 2024Updated last year
• b-wagn / hash-sig

  View on GitHub
  Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf
  ☆47Dec 18, 2025Updated last month
• hadasz / plonkish_basefold

  View on GitHub
  ☆38Jul 30, 2025Updated 6 months ago
• 0xPolygonZero / hyperstark

  View on GitHub
  Early prototype.
  ☆23Mar 30, 2023Updated 2 years ago
• arnaucube / fri-commitment

  View on GitHub
  FRI low-degree-testing & polynomial commitment scheme
  ☆24Mar 26, 2023Updated 2 years ago
• laudiacay / barustenberg

  View on GitHub
  barretenburg in rust (here we go)
  ☆99Jan 10, 2024Updated 2 years ago
• arkworks-rs / spongefish

  View on GitHub
  Fiat-Shamir for the masses.
  ☆87Dec 27, 2025Updated last month
• yetanotherco / zkRust

  View on GitHub
  ☆43Oct 26, 2024Updated last year
• noir-lang / acvm

  View on GitHub
  ☆49Sep 20, 2023Updated 2 years ago
• nikkolasg / halo2-circuits

  View on GitHub
  ☆28Dec 8, 2021Updated 4 years ago
• leonardoalt / powdr-brainfuck

  View on GitHub
  ZK proofs for Brainfuck execution using powdr
  ☆17Aug 28, 2024Updated last year
• distributedstatemachine / eigenlayer-rs

  View on GitHub
  ☆19Apr 1, 2024Updated last year
• privacy-ethereum / rln

  View on GitHub
  ☆19Jan 20, 2023Updated 3 years ago
• brevis-network / zk-benchmark

  View on GitHub
  Benchmark of multiple zk implementations.
  ☆83Aug 3, 2023Updated 2 years ago
• PetraProver / PetraVM

  View on GitHub
  A verifiable supercomputer
  ☆77Jun 26, 2025Updated 7 months ago
• init4tech / trevm

  View on GitHub
  the EVM, simplified
  ☆99Updated this week
• DoHoonKim8 / halo2-lasso

  View on GitHub
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆37Mar 3, 2024Updated last year
• Orbis-Tertius / tiny-ram-halo2

  View on GitHub
  A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…
  ☆39Nov 18, 2022Updated 3 years ago
• privacy-ethereum / greco

  View on GitHub
  ☆82Jan 7, 2025Updated last year
• cryptonetlab / testudo

  View on GitHub
  Testudo: Spartan + Groth16
  ☆53Feb 21, 2024Updated last year
• ed255 / polyexen-demo

  View on GitHub
  Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits
  ☆31Feb 16, 2024Updated last year
• lurk-lang / arecibo

  View on GitHub
  An advanced fork of Nova (contact:@huitseeker)
  ☆88Mar 3, 2025Updated 11 months ago
• TomWambsgans / Whirlaway

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