Alternatives and similar repositories for ultraplonk-workshop

Users that are interested in ultraplonk-workshop are comparing it to the libraries listed below

• rust-blockchain / verkle

  View on GitHub
  ☆15Jul 8, 2021Updated 4 years ago
• nikkolasg / snarkpack

  View on GitHub
  snarkpack for arkwork
  ☆22Jun 11, 2023Updated 2 years ago
• zero-over-k / zero-over-k

  View on GitHub
  Batching zero over k checks
  ☆11Feb 11, 2023Updated 3 years ago
• CPerezz / caulk_plus

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

  View on GitHub
  ☆31Jan 30, 2026Updated 2 weeks ago
• geometryxyz / baloo

  View on GitHub
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Jan 1, 2023Updated 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
• mmaker / tinybear

  View on GitHub
  ☆26Feb 20, 2025Updated 11 months ago
• 0xPolygonZero / hyperstark

  View on GitHub
  Early prototype.
  ☆23Mar 30, 2023Updated 2 years ago
• kobigurk / legogro16

  View on GitHub
  LegoGroth16 implementation on top of Zexe
  ☆25Dec 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
• alinush / asvc-paper

  View on GitHub
  Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters
  ☆11Jun 3, 2021Updated 4 years ago
• celo-org / plumo-prover

  View on GitHub
  Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf
  ☆14Jan 4, 2022Updated 4 years ago
• arnaucube / sigmabus-poc

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

  View on GitHub
  Draft documents for standardization of Plonkish arithmetization
  ☆23Mar 15, 2024Updated last year
• lopeetall / caulk

  View on GitHub
  Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf
  ☆12Jun 29, 2022Updated 3 years ago
• sragss / gpu-sumcheck

  View on GitHub
  ☆12Sep 11, 2024Updated last year
• zhenfeizhang / origami

  View on GitHub
  [wip] implementing origami VDF
  ☆13Mar 1, 2023Updated 2 years ago
• kilic / cyclone-msm-expreriment

  View on GitHub
  ☆11Feb 6, 2024Updated 2 years ago
• 0xPolygonID / witnesscalc

  View on GitHub
  cpp witness calculator for mobile and desktop for iden3 circuits
  ☆17Aug 22, 2025Updated 5 months ago
• Electron-Labs / starky_bls12_381

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

  View on GitHub
  libsnark: a C++ library for zkSNARK proofs [+ interface for jsnark/Pinocchio ]
  ☆11Dec 17, 2022Updated 3 years ago
• Schaeff / pilspector

  View on GitHub
  👓
  ☆15Jan 20, 2023Updated 3 years ago
• CharmsDev / polymath

  View on GitHub
  Polymath: Groth16 Is Not The Limit
  ☆31Feb 6, 2025Updated last year
• o1-labs / verkle-tree

  View on GitHub
  ☆27Jan 12, 2022Updated 4 years ago
• geometryxyz / cq

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

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

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

  View on GitHub
  ☆80Feb 14, 2025Updated last year
• geometryxyz / wgsl-poseidon

  View on GitHub
  ☆33Sep 9, 2023Updated 2 years ago
• dmpierre / sonobe-btc

  View on GitHub
  Using folding schemes for a provable bitcoin light client
  ☆34May 22, 2024Updated last year
• qope / SIPP

  View on GitHub
  SIPP(Statistically sound Inner Pairing Product) verification in SNARK
  ☆17Oct 8, 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
• Dhole / CopperBoy

  View on GitHub
  CopperBoy is a portable fully working Arduboy emulator written in Rust.
  ☆19May 21, 2024Updated last year
• geometryxyz / sangria_impl

  View on GitHub
  An implementation of Sangria
  ☆17Jun 1, 2023Updated 2 years ago
• coinstudent2048 / verklebp

  View on GitHub
  Verkle trees with inner product argument (IPA) based polynomial commitment [Prototype]
  ☆15Mar 26, 2022Updated 3 years ago
• arkworks-rs / spartan

  View on GitHub
  Spartan on Arkworks
  ☆47Aug 19, 2025Updated 5 months 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
• zkpstandard / wg-sigma-protocols

  View on GitHub
  ☆15Sep 20, 2025Updated 4 months ago