Alternatives and similar repositories for crypto3-zk

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

• kwantam / eccons
  elliptic curve construction tool
  ☆17Updated 2 years ago
• halo2-ce / halo2
  ☆30Updated 2 years ago
• proxima-one / keccak-circuit-benchmarks
  Benchmarks of all public available SNARK/STARK keccak circuits
  ☆13Updated 2 years ago
• Consensys / gkr-mimc
  gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation
  ☆25Updated last year
• kevaundray / plookup
  ☆40Updated 2 years ago
• arkworks-rs / gemini
  An elastic proof system based on arkworks
  ☆85Updated last year
• a16z / vectorized-fields
  Vectorized AVX-512 256-bit arithmetic library
  ☆34Updated last year
• kobigurk / legogro16
  LegoGroth16 implementation on top of Zexe
  ☆24Updated 3 years ago
• NilFoundation / crypto3
  Modern Cryptography Suite in C++17
  ☆84Updated last year
• arkworks-rs / accumulation
  Rust library for accumulation schemes
  ☆24Updated 2 years ago
• CPerezz / caulk_plus
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Updated 2 years ago
• kwantam / fffft
  fft impl for ff::Field
  ☆17Updated last year
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆52Updated 3 years ago
• w3f / fflonk
  ☆31Updated 6 months ago
• ed255 / riscu-jolt
  RISCU emulator and zk circuit simulator as a reference for a Jolt implementation
  ☆23Updated last year
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated 2 years ago
• zkpstandard / wg-sigma-protocols
  ☆15Updated 3 weeks ago
• DrPeterVanNostrand / halo2-merkle
  Halo2 Merkle tree circuits
  ☆33Updated 4 years ago
• iden3 / ffiasm-old
  Intel assembly finite field library generator
  ☆13Updated last year
• matter-labs / pairing
  Pairing-friendly elliptic curve library
  ☆24Updated last year
• EDGDrummond / DeVo
  Decentralised Voting Scheme
  ☆15Updated 3 years ago
• lita-xyz / valida-vm
  The Valida execution engine, prover, and verifier
  ☆26Updated last week
• QEDProtocol / plonky2.5
  🪩 verify plonky3 proofs in plonky2
  ☆19Updated last year
• conroi / lcpc
  polynomial commitments from linear codes
  ☆46Updated 10 months ago
• EspressoSystems / veri-zexe
  DPC with Universal Setup
  ☆46Updated 2 years ago
• Electron-Labs / starky_bls12_381
  Starky implementation of Bls12-381
  ☆13Updated last year
• NilFoundation / zkllvm-blueprint
  Circuit components definition library for zkLLVM circuit compiler
  ☆42Updated last year
• supranational / pasta-msm
  High-performance Multi-scalar Multiplication for Pasta curves
  ☆24Updated last month
• sunblaze-ucb / Orion
  ☆30Updated 3 years ago
• lurk-lab / bellpepper-gadgets
  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
  ☆18Updated 7 months ago