Alternatives and similar repositories for boo-hoo

Users that are interested in boo-hoo are comparing it to the libraries listed below

• arkworks-rs / spongefish
  Fiat-Shamir for the masses.
  ☆73Updated last month
• lambdaclass / AES_zero_knowledge_proof_circuit
  ☆73Updated 2 years ago
• cryptonetlab / testudo
  Testudo: Spartan + Groth16
  ☆52Updated last year
• a16z / vectorized-fields
  Vectorized AVX-512 256-bit arithmetic library
  ☆31Updated 11 months ago
• mmaker / tinybear
  ☆26Updated 6 months ago
• clvv / rcc
  ☆24Updated last year
• wborgeaud / ecfft-bn254
  ECFFT in Rust
  ☆58Updated last year
• halo2-ce / halo2
  ☆30Updated 2 years ago
• CPerezz / caulk_plus
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Updated 2 years ago
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆29Updated 6 months ago
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆50Updated 2 years ago
• andrewmilson / ecfft
  Elliptic Curve Fast Fourier Transform built on @arkworks-rs
  ☆67Updated 2 years ago
• arkworks-rs / accumulation
  Rust library for accumulation schemes
  ☆24Updated 2 years ago
• lucasgleba / zkRiscV
  A Risc-V CPU implemented as a zk-SNARK
  ☆49Updated 2 years ago
• ed255 / riscu-jolt
  RISCU emulator and zk circuit simulator as a reference for a Jolt implementation
  ☆23Updated last year
• zhenfeizhang / origami
  [wip] implementing origami VDF
  ☆13Updated 2 years ago
• Wassasin / ibe
  Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve
  ☆20Updated 3 years ago
• supranational / pasta-msm
  High-performance Multi-scalar Multiplication for Pasta curves
  ☆23Updated last year
• cronokirby / yao-gc
  A basic implementation of Yao's Garbled Circuits
  ☆29Updated 3 years ago
• greenhat / omnizk
  Compiler framework for ZK VMs
  ☆33Updated 2 years ago
• privacy-scaling-explorations / nova-bench
  A collection of comparison-benchmarks for Nova & related Proving systems
  ☆44Updated 2 years ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• conroi / lcpc
  polynomial commitments from linear codes
  ☆46Updated 8 months ago
• joshbeal / derecho
  A Rust library for proof-carrying disclosures
  ☆21Updated last year
• zkcrypto / merlin
  Composable proof transcripts for public-coin arguments of knowledge
  ☆49Updated last year
• zhenfeizhang / squirrel
  Reference implementation of Squirrel, an Efficient Synchronized Multi-Signatures from Lattices
  ☆24Updated last year
• h-hafezi / kzh_fold
  ☆24Updated last month
• geometryxyz / functional-commitment
  Implementation of efficient function-hiding functional commitments https://eprint.iacr.org/2021/1342
  ☆16Updated 2 years ago
• arkworks-rs / gemini
  An elastic proof system based on arkworks
  ☆85Updated last year
• TomWambsgans / Whirlaway
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆29Updated this week