Alternatives and similar repositories for 2022-entries

Users that are interested in 2022-entries are comparing it to the libraries listed below

• filecoin-project / ec-gpu
  OpenCL code generator for finite-field arithmetic over arbitrary prime fields
  ☆99Updated last month
• ingonyama-zk / poseidon-hash
  Reference implementation in Python of Poseidon and optimized Poseidon (Neptune) hash functions
  ☆84Updated last year
• arkworks-rs / gemini
  An elastic proof system based on arkworks
  ☆85Updated last year
• bsdevlin / fpga_snark_prover
  An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs
  ☆57Updated 5 years ago
• supranational / sppark
  Zero-knowledge template library
  ☆202Updated last week
• ingonyama-zk / blaze
  blaze is a Rust library for ZK acceleration on Xilinx FPGAs.
  ☆144Updated 10 months ago
• gbotrel / zprize-mobile-harness
  ☆20Updated 2 years ago
• han0110 / plonkish
  ☆108Updated last year
• brevis-network / zk-benchmark
  Benchmark of multiple zk implementations.
  ☆83Updated 2 years ago
• sunblaze-ucb / Orion
  ☆28Updated 2 years ago
• PolyhedraZK / Expander-cpp
  Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
  ☆64Updated 6 months ago
• gy001 / hypercube
  ☆41Updated last year
• speakspeak / cuZK
  cuZK: An Efficient GPU Implemetation of zkSNARK
  ☆32Updated last year
• privacy-ethereum / greco
  ☆79Updated 8 months ago
• NethermindEth / latticefold
  A lattice-based non-interactive folding scheme written in Rust
  ☆103Updated 2 weeks ago
• ingonyama-zk / open-binius
  building blocks for accelerating ZK proofs over binary fields
  ☆45Updated 2 months ago
• kevaundray / plookup
  ☆40Updated 2 years ago
• zkFHE / ringSNARK
  An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements
  ☆38Updated last year
• alex-ozdemir / collaborative-zksnark
  Prototype implementations of various Collaborative zkSNARKs.
  ☆127Updated 3 months ago
• snarkify / sirius
  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
  ☆174Updated 5 months ago
• HorizenLabs / poseidon2
  ☆69Updated 9 months ago
• lattice-complete / Lazarus
  A Framework of Lattice-based Zero-knowledge Arguments in Rust
  ☆66Updated 8 months ago
• arkworks-rs / spartan
  Spartan on Arkworks
  ☆42Updated 3 weeks ago
• lucasgleba / zkRiscV
  A Risc-V CPU implemented as a zk-SNARK
  ☆49Updated 3 years ago
• emilianobonassi / zkFHE
  Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.
  ☆83Updated 2 years ago
• aszepieniec / stark-brainfuck
  Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…
  ☆56Updated last year
• zkFHE / circomlib-fhe
  Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption
  ☆44Updated 4 months ago
• geometryxyz / protostar
  ☆51Updated last year
• daira / halographs
  Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"
  ☆49Updated 3 years ago
• EspressoSystems / veri-zexe
  DPC with Universal Setup
  ☆46Updated 2 years ago