SuccinctPaul/awesome-zk-verifier external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

SuccinctPaul/awesome-zk-verifier

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/SuccinctPaul/awesome-zk-verifier)

Close

SuccinctPaul / awesome-zk-verifierView on GitHubMore

• External links
• Readme badge

☆18Mar 9, 2025Updated last year

Alternatives and similar repositories for awesome-zk-verifier

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

• 0xPolygonZero / plonky2-ecdsa

  View on GitHub
  ECDSA gadgets for plonky2
  ☆19Oct 20, 2023Updated 2 years ago
• zypher-game / uzkge

  View on GitHub
  Universal zero knowledge game engine based on PLONK
  ☆13Feb 7, 2025Updated last year
• alinush / asvc-paper

  View on GitHub
  Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters
  ☆11Jun 3, 2021Updated 4 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
• tobias-rothmann / Polynomial-Commitment-Schemes

  View on GitHub
  Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.
  ☆10Jan 24, 2026Updated last month
• 0xEigenLabs / eigen-zeth

  View on GitHub
  A "Type 0" zkEVM
  ☆12Jul 16, 2025Updated 7 months ago
• zero-over-k / zero-over-k

  View on GitHub
  Batching zero over k checks
  ☆11Feb 11, 2023Updated 3 years ago
• 0xPolygon / goldilocks

  View on GitHub
  ☆15Nov 18, 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
• ed255 / polyexen-demo

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

  View on GitHub
  ☆15Nov 22, 2025Updated 3 months ago
• kilic / cyclone-msm-expreriment

  View on GitHub
  ☆11Feb 6, 2024Updated 2 years ago
• ZenGo-X / tss-bugs

  View on GitHub
  supplement material for BlackHat2020 talk: Multiple Bugs in Multi-Party Computation: Breaking Cryptocurrency's Strongest Wallets
  ☆12Aug 13, 2020Updated 5 years ago
• rust-blockchain / verkle

  View on GitHub
  ☆15Jul 8, 2021Updated 4 years ago
• paritytech / fflonk

  View on GitHub
  ☆31Feb 19, 2026Updated 2 weeks ago
• Electron-Labs / starky_bls12_381

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

  View on GitHub
  ☆13Jan 18, 2021Updated 5 years ago
• nullcopy / arcturus

  View on GitHub
  A pure rust implementation of Arcturus proofs for confidential transactions.
  ☆12Sep 28, 2025Updated 5 months ago
• td-kwj-zp2023 / webgpu-msm-bls12-377

  View on GitHub
  WebGPU MSM Implementation (BLS12-377 Curve) for ZPrize 2023
  ☆14Nov 18, 2024Updated last year
• kwantam / fffft

  View on GitHub
  fft impl for ff::Field
  ☆17May 9, 2024Updated last year
• CharmsDev / polymath

  View on GitHub
  Polymath: Groth16 Is Not The Limit
  ☆31Feb 6, 2025Updated last year
• avras / nova-sha256

  View on GitHub
  Nova-based SHA256 benchmarks
  ☆31Jun 7, 2025Updated 9 months ago
• geometryxyz / cq

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

  View on GitHub
  Compiler framework for ZK VMs
  ☆35Aug 2, 2023Updated 2 years ago
• Crypt0-Bear / xmr-eth-swap-playground

  View on GitHub
  Cross-chain atomic swap protocol between Monero and Ethereum
  ☆14Nov 21, 2021Updated 4 years ago
• vocdoni / gnark-prover-tinygo

  View on GitHub
  Experimental gnark prover compatible with tinygo
  ☆15Jun 19, 2023Updated 2 years ago
• CPerezz / caulk_plus

  View on GitHub
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Dec 18, 2022Updated 3 years ago
• GregVardz / LessRekt

  View on GitHub
  ☆16Jun 21, 2021Updated 4 years ago
• halo2-ce / halo2

  View on GitHub
  ☆30Feb 1, 2023Updated 3 years ago
• geometryxyz / sangria_impl

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

  View on GitHub
  Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions
  ☆14Jul 9, 2023Updated 2 years ago
• privacy-ethereum / rln

  View on GitHub
  ☆19Jan 20, 2023Updated 3 years ago
• lyronctk / treasure-house

  View on GitHub
  Private treasuries enabled by ECDH and ZKPs
  ☆17Mar 31, 2023Updated 2 years ago
• EDGDrummond / DeVo

  View on GitHub
  Decentralised Voting Scheme
  ☆16Dec 5, 2021Updated 4 years ago
• powdr-labs / powdr-revme

  View on GitHub
  powdr application running Ethereum tests via revm
  ☆17Jun 24, 2024Updated last year
• nikkolasg / snarkpack

  View on GitHub
  snarkpack for arkwork
  ☆22Jun 11, 2023Updated 2 years ago
• geometryxyz / proof-toolbox

  View on GitHub
  Cryptographic protocols
  ☆38Apr 19, 2023Updated 2 years ago
• lambdaclass / aleo_lambda_vm

  View on GitHub
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21May 9, 2023Updated 2 years ago
• Sindri-Labs / sindri-resources

  View on GitHub
  Sample data for Sindri Labs' Forge API
  ☆22Mar 11, 2025Updated 11 months ago