Alternatives and similar repositories for boo-hoo

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

• privacy-ethereum / nova-bench

  View on GitHub
  A collection of comparison-benchmarks for Nova & related Proving systems
  ☆44Apr 6, 2023Updated 2 years ago
• cronokirby / yao-gc

  View on GitHub
  A basic implementation of Yao's Garbled Circuits
  ☆30Apr 18, 2022Updated 3 years ago
• cryptonetlab / testudo

  View on GitHub
  Testudo: Spartan + Groth16
  ☆53Feb 21, 2024Updated last year
• Schaeff / pilspector

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

  View on GitHub
  A tool for linear and differential cryptanalysis of block ciphers written in Rust
  ☆15Sep 28, 2022Updated 3 years ago
• privacy-ethereum / Nova

  View on GitHub
  Nova: Recursive SNARKs without trusted setup
  ☆44Aug 21, 2023Updated 2 years ago
• avras / nova-sha256

  View on GitHub
  Nova-based SHA256 benchmarks
  ☆31Jun 7, 2025Updated 8 months ago
• arnaucube / fri-commitment

  View on GitHub
  FRI low-degree-testing & polynomial commitment scheme
  ☆24Mar 26, 2023Updated 2 years ago
• nikkolasg / halo2-circuits

  View on GitHub
  ☆28Dec 8, 2021Updated 4 years ago
• geometryxyz / sangria_impl

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

  View on GitHub
  SIPP(Statistically sound Inner Pairing Product) verification in SNARK
  ☆17Oct 8, 2023Updated 2 years ago
• geometryxyz / secp256k1_hash_to_curve

  View on GitHub
  ☆33Sep 22, 2023Updated 2 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
• anoma / zkp-compiler-shootout

  View on GitHub
  Evaluating & benchmarking ZKP compilation strategies.
  ☆121Dec 19, 2023Updated 2 years ago
• qope / plonky2-bn254-pairing

  View on GitHub
  plonky2 implementation of bn254 pairing
  ☆19Feb 1, 2024Updated 2 years ago
• yi-sun / circom-pairing

  View on GitHub
  ☆204Nov 25, 2023Updated 2 years ago
• Dhole / polyexen

  View on GitHub
  Polynomial Expression Engine
  ☆35Feb 13, 2024Updated 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
• zkemail / halo2-regex

  View on GitHub
  Library and gadget to do regex string matches in halo2
  ☆35Jul 25, 2024Updated last year
• Rate-Limiting-Nullifier / kzg-rln

  View on GitHub
  RLN on KZG
  ☆21Sep 20, 2023Updated 2 years ago
• hyperproofs / hyperproofs-go

  View on GitHub
  ☆22Dec 19, 2024Updated last year
• conroi / lcpc

  View on GitHub
  polynomial commitments from linear codes
  ☆50Dec 13, 2024Updated last year
• privacy-ethereum / multifolding-poc

  View on GitHub
  A PoC repo for a HyperNova impl
  ☆83Aug 23, 2023Updated 2 years ago
• cronokirby / deevee

  View on GitHub
  Designatived verifier Schnorr signatures
  ☆13Nov 4, 2022Updated 3 years ago
• rust-blockchain / verkle

  View on GitHub
  ☆15Jul 8, 2021Updated 4 years ago
• zkHubHQ / distributed-halo2

  View on GitHub
  ☆10Sep 15, 2023Updated 2 years ago
• moven0831 / fraud-proof-groth16

  View on GitHub
  Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…
  ☆11Oct 10, 2023Updated 2 years ago
• lyronctk / kzg-blob

  View on GitHub
  Prove multi-opens of EIP-4844 KZG blobs
  ☆16Jun 15, 2023Updated 2 years ago
• zhenfeizhang / origami

  View on GitHub
  [wip] implementing origami VDF
  ☆13Mar 1, 2023Updated 2 years ago
• geometryxyz / wgsl-poseidon

  View on GitHub
  ☆33Sep 9, 2023Updated 2 years ago
• DrPeterVanNostrand / halo2-merkle

  View on GitHub
  Halo2 Merkle tree circuits
  ☆33May 28, 2021Updated 4 years ago
• DCMMC / ZKFixedPointChip

  View on GitHub
  ZK Fixed Point Arithmetic with its Application in Machine Learning based on Halo2
  ☆21Oct 23, 2023Updated 2 years ago
• Wassasin / ibe

  View on GitHub
  Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve
  ☆20Aug 31, 2021Updated 4 years ago
• Modulus-Labs / leela_vs_world

  View on GitHub
  A repository for the Leela VS the World project for On-Chain machine learning
  ☆20Sep 26, 2024Updated last year
• geometryxyz / halo2-cq

  View on GitHub
  ☆14Oct 27, 2023Updated 2 years ago
• privacy-ethereum / halo2wrong

  View on GitHub
  ☆124Nov 30, 2024Updated last year
• Orbis-Tertius / tiny-ram-halo2

  View on GitHub
  A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…
  ☆39Nov 18, 2022Updated 3 years ago
• DoHoonKim8 / halo2-lasso

  View on GitHub
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆37Mar 3, 2024Updated last year
• ingonyama-zk / fast-danksharding

  View on GitHub
  Danksharding Builder with GPU acceleration
  ☆52Sep 10, 2023Updated 2 years ago