Alternatives and similar repositories for veri-zexe

Users that are interested in veri-zexe are comparing it to the libraries listed below

• zhenfeizhang / pasta-solidity

  View on GitHub
  A Solidity implementation of Halo2's Pasta curves
  ☆50Mar 30, 2023Updated 2 years ago
• 0xPolygonZero / r1cs-workshop

  View on GitHub
  Notes for the R1CS programming workshop at ZK0x04
  ☆31Oct 26, 2019Updated 6 years 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
• kobigurk / legogro16

  View on GitHub
  LegoGroth16 implementation on top of Zexe
  ☆25Dec 3, 2021Updated 4 years ago
• jules / grumpkin

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

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

  View on GitHub
  Reference implementation of Squirrel, an Efficient Synchronized Multi-Signatures from Lattices
  ☆24Dec 13, 2023Updated 2 years ago
• CPerezz / caulk_plus

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

  View on GitHub
  Benchmarking Polynomial Commitments
  ☆51Jul 3, 2023Updated 2 years ago
• conroi / lcpc

  View on GitHub
  polynomial commitments from linear codes
  ☆50Dec 13, 2024Updated last year
• PayneJoe / PNova

  View on GitHub
  Plonkish Nova implementation along with advanced features
  ☆16Dec 16, 2023Updated 2 years ago
• cryptonetlab / testudo

  View on GitHub
  Testudo: Spartan + Groth16
  ☆53Feb 21, 2024Updated last year
• 0xPolygonZero / hyperstark

  View on GitHub
  Early prototype.
  ☆23Mar 30, 2023Updated 2 years ago
• AztecProtocol / plonk-with-lookups

  View on GitHub
  ☆19May 5, 2020Updated 5 years ago
• crate-crypto / CLSAG

  View on GitHub
  Compact linkable ring signatures. A modification on MLSAG.
  ☆20May 10, 2020Updated 5 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
• burdges / isogenies_vdf_uses

  View on GitHub
  Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves
  ☆15Oct 19, 2021Updated 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 / tweedle

  View on GitHub
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Oct 25, 2022Updated 3 years ago
• geometryxyz / fk

  View on GitHub
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Jan 2, 2023Updated 3 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
• caulk-crypto / caulk

  View on GitHub
  ☆113Feb 6, 2024Updated 2 years ago
• khovratovich / Kate

  View on GitHub
  ☆27Oct 18, 2022Updated 3 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
• 0xPolygonZero / r1cs

  View on GitHub
  A Rust library for building R1CS gadgets
  ☆93Oct 14, 2021Updated 4 years ago
• zhenfeizhang / origami

  View on GitHub
  [wip] implementing origami VDF
  ☆13Mar 1, 2023Updated 2 years ago
• rust-blockchain / verkle

  View on GitHub
  ☆15Jul 8, 2021Updated 4 years ago
• kilic / cyclone-msm-expreriment

  View on GitHub
  ☆11Feb 6, 2024Updated 2 years ago
• arkworks-rs / pcd

  View on GitHub
  Implementations of proof-carrying data
  ☆37Jun 5, 2022Updated 3 years ago
• penumbra-zone / poseidon377

  View on GitHub
  An instantiation of the Poseidon hash for use with decaf377
  ☆29Mar 6, 2025Updated 11 months ago
• arkworks-rs / gemini

  View on GitHub
  An elastic proof system based on arkworks
  ☆85Dec 21, 2023Updated 2 years ago
• abdk-consulting / abdk-libraries-circom

  View on GitHub
  Open-Source Libraries for Circom by ABDK Consulting
  ☆19Dec 22, 2019Updated 6 years ago
• alinush / libvectcom

  View on GitHub
  An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…
  ☆13Dec 3, 2020Updated 5 years ago
• paritytech / fflonk

  View on GitHub
  ☆31Jan 30, 2026Updated 2 weeks ago
• privacy-ethereum / Nova

  View on GitHub
  Nova: Recursive SNARKs without trusted setup
  ☆44Aug 21, 2023Updated 2 years ago
• privacy-ethereum / multifolding-poc

  View on GitHub
  A PoC repo for a HyperNova impl
  ☆83Aug 23, 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
• han0110 / plonkish

  View on GitHub
  ☆111Nov 27, 2025Updated 2 months ago
• zeropoolnetwork / fawkes-crypto

  View on GitHub
  Fawkes-Crypto - zkSNARKs framework
  ☆22Feb 6, 2024Updated 2 years ago