Alternatives and similar repositories for zkRiscV

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

• lucasgleba / zkSubleq

  View on GitHub
  A zero-knowledge virtual machine with only one instruction
  ☆13Mar 3, 2022Updated 3 years ago
• geometryxyz / sparkworks

  View on GitHub
  Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama
  ☆10Nov 23, 2022Updated 3 years ago
• ingonyama-zk / smallfield-super-sumcheck

  View on GitHub
  Proof of concept implementation of sumcheck over fields of small characteristics.
  ☆19May 16, 2025Updated 9 months ago
• vocdoni / smtverifier-noir

  View on GitHub
  Port of Circom Sparse Merkle Tree verifier to Noir.
  ☆14Jan 26, 2024Updated 2 years ago
• ICME-Lab / zkEngine_dev

  View on GitHub
  A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
  ☆40Oct 28, 2025Updated 3 months ago
• jbaylina / nova-circom-verifier

  View on GitHub
  Nova Verifier in Circom so it can be verified onChain
  ☆59Jun 9, 2023Updated 2 years ago
• nalinbhardwaj / Nova-Scotia

  View on GitHub
  Middleware to compile Circom circuits to Nova prover
  ☆244Mar 1, 2024Updated last year
• lurk-lab / solidity-verifier

  View on GitHub
  Solidity implementation of Nova proving system verifier
  ☆66Mar 17, 2024Updated last year
• aragonzkresearch / nouns-anonymous-voting

  View on GitHub
  The anonymous voting application implementation for Nouns project.
  ☆15Sep 22, 2023Updated 2 years ago
• emmaguo13 / zk-blind

  View on GitHub
  JWT verification with zero knowledge proofs
  ☆49Dec 2, 2023Updated 2 years ago
• nulltea / zk-SQL

  View on GitHub
  ZK-based engine for self-sovereign SQL queries
  ☆90Jul 28, 2022Updated 3 years ago
• franklynwang / EcneProject

  View on GitHub
  Ecne: An engine for verifying the soundness of R1CS constraints
  ☆114Aug 2, 2022Updated 3 years ago
• YtzBeno / elliptic-curve-noir

  View on GitHub
  Elliptic Curve arithmetic operations written in Noir
  ☆16Dec 31, 2022Updated 3 years ago
• horsefacts / huff-test

  View on GitHub
  Better assertion macros for pure Huff tests.
  ☆19Oct 2, 2023Updated 2 years ago
• 0xPolygonZero / r1cs-workshop

  View on GitHub
  Notes for the R1CS programming workshop at ZK0x04
  ☆31Oct 26, 2019Updated 6 years ago
• doubleblind-xyz / double-blind

  View on GitHub
  wipppp
  ☆18May 15, 2022Updated 3 years ago
• ArcPay / ArcPay

  View on GitHub
  ☆17Dec 29, 2023Updated 2 years ago
• aragonzkresearch / noir-trie-proofs

  View on GitHub
  ☆71Jul 22, 2024Updated last year
• emilianobonassi / zkml-community-calls

  View on GitHub
  notes for community call for ZKML Community
  ☆19Nov 9, 2022Updated 3 years ago
• tommymsz006 / zkbattleship-circuit

  View on GitHub
  Zero-knowledge arithmetic circuit implementation for web-based Battleship game
  ☆16Feb 15, 2022Updated 4 years ago
• poma / zkutil

  View on GitHub
  A tool to work with zkSNARK circuits generated by Circom compiler
  ☆103Nov 16, 2021Updated 4 years ago
• guangyuz / arkworks-gadgets

  View on GitHub
  Zero-knowledge gadget for Sparse Merkle Tree.
  ☆19Jun 14, 2022Updated 3 years ago
• DrPeterVanNostrand / halo2-merkle

  View on GitHub
  Halo2 Merkle tree circuits
  ☆33May 28, 2021Updated 4 years ago
• AmanGotchu / RandaoZKP

  View on GitHub
  ☆22Oct 11, 2022Updated 3 years ago
• personaelabs / heyanon-circuits

  View on GitHub
  Circuits used by heyanon
  ☆21Sep 14, 2022Updated 3 years ago
• cursive-team / 2P-PSI

  View on GitHub
  Production build of Gauss Labs' MP-PSI API using 2PC and FHE
  ☆17Apr 16, 2024Updated last year
• arkworks-rs / nonnative

  View on GitHub
  R1CS constraints for non-native field arithmetic
  ☆21Aug 7, 2021Updated 4 years ago
• porco-rosso-j / zk-ecdsAA

  View on GitHub
  ERC4337-based social recovery wallet with Noir zk-ecdsa
  ☆21Jul 6, 2023Updated 2 years ago
• JernKunpittaya / zk-github

  View on GitHub
  Proof contribute to github using zk
  ☆26Jul 17, 2023Updated 2 years ago
• Lev-Stambler / bulletproof-cairo

  View on GitHub
  ☆40Sep 23, 2022Updated 3 years ago
• hermeznetwork / circuits

  View on GitHub
  Implements hermez network zk-Snarks circuits
  ☆56Jun 29, 2023Updated 2 years ago
• dmpierre / eth-private-market

  View on GitHub
  Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.
  ☆93Jul 11, 2023Updated 2 years ago
• shuklaayush / chip0

  View on GitHub
  The first CHIP-8 zkvm
  ☆21Jun 4, 2024Updated last year
• namnc / circom-2-arithc

  View on GitHub
  Circom interpreter to arithmetic circuit description
  ☆58Sep 12, 2024Updated last year
• mmaker / tinybear

  View on GitHub
  ☆26Feb 20, 2025Updated 11 months ago
• yi-sun / circom-pairing

  View on GitHub
  ☆204Nov 25, 2023Updated 2 years ago
• ingonyama-zk / super-sumcheck

  View on GitHub
  In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU
  ☆40Feb 17, 2025Updated 11 months ago
• protolambda / go-kzg

  View on GitHub
  FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*
  ☆94Nov 29, 2023Updated 2 years ago
• privacy-ethereum / halo2curves

  View on GitHub
  ☆221Jul 29, 2025Updated 6 months ago