Alternatives and similar repositories for Nova

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

• geometryxyz / sangria_impl

  View on GitHub
  An implementation of Sangria
  ☆17Jun 1, 2023Updated 2 years ago
• hero78119 / risc0-nova

  View on GitHub
  RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme
  ☆28Jun 27, 2023Updated 2 years ago
• privacy-ethereum / multifolding-poc

  View on GitHub
  A PoC repo for a HyperNova impl
  ☆83Aug 23, 2023Updated 2 years ago
• privacy-ethereum / nova-bench

  View on GitHub
  A collection of comparison-benchmarks for Nova & related Proving systems
  ☆44Apr 6, 2023Updated 2 years ago
• privacy-ethereum / zkvm-ideas

  View on GitHub
  A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team
  ☆36Apr 6, 2023Updated 2 years ago
• jules / supernova

  View on GitHub
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆122Feb 25, 2023Updated 2 years ago
• qope / plonky2-bn254-pairing

  View on GitHub
  plonky2 implementation of bn254 pairing
  ☆19Feb 1, 2024Updated 2 years ago
• maxgillett / halo2-fri-gadget

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

  View on GitHub
  zero knowledge proof aggregator for general circuit
  ☆73May 20, 2024Updated last year
• han0110 / halo2-kzg-srs

  View on GitHub
  ☆33Jan 4, 2024Updated 2 years ago
• nalinbhardwaj / Nova-Scotia

  View on GitHub
  Middleware to compile Circom circuits to Nova prover
  ☆244Mar 1, 2024Updated last year
• avras / nova-sha256

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

  View on GitHub
  [wip] implementing origami VDF
  ☆13Mar 1, 2023Updated 2 years ago
• lyronctk / kzg-blob

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

  View on GitHub
  Implementation of the Grumpkin curve in Rust.
  ☆29Jul 5, 2023Updated 2 years ago
• zkemail / halo2-regex

  View on GitHub
  Library and gadget to do regex string matches in halo2
  ☆35Jul 25, 2024Updated last year
• adria0 / awesome-halo2

  View on GitHub
  List of halo2-related resources
  ☆203Jan 30, 2025Updated last year
• lyronctk / zator

  View on GitHub
  Verifying a 512-layer CNN w/ Nova
  ☆171May 5, 2023Updated 2 years ago
• daira / plonk-standard

  View on GitHub
  Draft documents for standardization of Plonkish arithmetization
  ☆23Mar 15, 2024Updated last year
• JumpCrypto / plonky2-crypto

  View on GitHub
  Crypto Gadgets for Plonky2
  ☆77May 16, 2024Updated last year
• Schaeff / pilspector

  View on GitHub
  👓
  ☆15Jan 20, 2023Updated 3 years ago
• dmpierre / sonobe-btc

  View on GitHub
  Using folding schemes for a provable bitcoin light client
  ☆34May 22, 2024Updated last year
• privacy-ethereum / halo2wrong

  View on GitHub
  ☆124Nov 30, 2024Updated last year
• ed255 / polyexen-demo

  View on GitHub
  Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits
  ☆31Feb 16, 2024Updated 2 years ago
• crate-crypto / rust-eth-kzg

  View on GitHub
  ☆31Oct 27, 2025Updated 3 months 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
• zhenfeizhang / pasta-solidity

  View on GitHub
  A Solidity implementation of Halo2's Pasta curves
  ☆50Mar 30, 2023Updated 2 years ago
• DoHoonKim8 / stark-verifier

  View on GitHub
  ☆50Mar 7, 2024Updated last year
• Lagrange-Labs / plonky2-recursion

  View on GitHub
  plonky2 recursion framework handling different circuits in unified way.
  ☆16Mar 22, 2024Updated last year
• conroi / lcpc

  View on GitHub
  polynomial commitments from linear codes
  ☆50Dec 13, 2024Updated last year
• DoHoonKim8 / halo2-lasso

  View on GitHub
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆37Mar 3, 2024Updated last year
• succinctlabs / gnark-plonky2-verifier

  View on GitHub
  ☆107Aug 6, 2024Updated last year
• matter-labs / rescue-poseidon

  View on GitHub
  Rescue and Poseidon hash function implementations
  ☆43Aug 15, 2024Updated last year
• DelphinusLab / continuation-batcher

  View on GitHub
  customizable halo2 circuits batcher
  ☆31Oct 25, 2025Updated 3 months ago
• qope / SIPP

  View on GitHub
  SIPP(Statistically sound Inner Pairing Product) verification in SNARK
  ☆17Oct 8, 2023Updated 2 years ago
• asn-d6 / curdleproofs

  View on GitHub
  Curdleproofs is a zero-knowledge shuffle argument
  ☆70Oct 16, 2023Updated 2 years ago
• privacy-ethereum / rln

  View on GitHub
  ☆19Jan 20, 2023Updated 3 years ago
• microsoft / Spartan2

  View on GitHub
  Spartan: High-speed zkSNARKs without trusted setup
  ☆126Jan 30, 2026Updated 2 weeks ago
• geometryxyz / proof-toolbox

  View on GitHub
  Cryptographic protocols
  ☆38Apr 19, 2023Updated 2 years ago