Alternatives and similar repositories for caulk

Users that are interested in caulk are comparing it to the libraries listed below

• 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
• CPerezz / caulk_plus

  View on GitHub
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Dec 18, 2022Updated 3 years ago
• 0xPolygonZero / hyperstark

  View on GitHub
  Early prototype.
  ☆23Mar 30, 2023Updated 2 years ago
• matter-labs / z-prize-msm-gpu-combined

  View on GitHub
  Combined solution from Matter Labs and Yrrid based on their respective submissions for the Z-Prize category Accelerating MSM Operations o…
  ☆16Oct 30, 2023Updated 2 years ago
• geometryxyz / sparkworks

  View on GitHub
  Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama
  ☆10Nov 23, 2022Updated 3 years ago
• 0xPolygonID / witnesscalc

  View on GitHub
  cpp witness calculator for mobile and desktop for iden3 circuits
  ☆17Aug 22, 2025Updated 5 months ago
• Lev-Stambler / bulletproof-cairo

  View on GitHub
  ☆40Sep 23, 2022Updated 3 years ago
• delendum-xyz / starkvm-compiler

  View on GitHub
  compiler tooling for Stark-based zkVMs
  ☆16Feb 6, 2023Updated 3 years ago
• lambdaclass / simpleworks

  View on GitHub
  Arkworks made simple for us: the non cryptographer software plumbers
  ☆25Feb 8, 2023Updated 3 years ago
• geometryxyz / cq

  View on GitHub
  Let's go https://eprint.iacr.org/2022/1763.pdf
  ☆61May 22, 2023Updated 2 years ago
• jbaylina / nova-circom-verifier

  View on GitHub
  Nova Verifier in Circom so it can be verified onChain
  ☆59Jun 9, 2023Updated 2 years ago
• caulk-crypto / caulk

  View on GitHub
  ☆113Feb 6, 2024Updated 2 years ago
• ingonyama-zk / modular_multiplication

  View on GitHub
  efficient modular multiplication research
  ☆15Feb 8, 2023Updated 3 years ago
• maxgillett / stark-attestations

  View on GitHub
  Share private EVM state attestations using STARK proofs
  ☆73Aug 4, 2022Updated 3 years ago
• morgana-proofs / plonky2-hashchain

  View on GitHub
  ☆14Feb 7, 2023Updated 3 years ago
• zkpstandard / wg-sigma-protocols

  View on GitHub
  ☆15Sep 20, 2025Updated 4 months 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
• zkemail / halo2-regex

  View on GitHub
  Library and gadget to do regex string matches in halo2
  ☆35Jul 25, 2024Updated last year
• cryptonetlab / testudo

  View on GitHub
  Testudo: Spartan + Groth16
  ☆53Feb 21, 2024Updated last year
• personaelabs / heyanon-circuits

  View on GitHub
  Circuits used by heyanon
  ☆21Sep 14, 2022Updated 3 years ago
• bsdevlin / fpga_snark_prover

  View on GitHub
  An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs
  ☆59May 21, 2020Updated 5 years ago
• arkworks-rs / accumulation

  View on GitHub
  Rust library for accumulation schemes
  ☆25Jan 24, 2023Updated 3 years ago
• asn-d6 / curdleproofs

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

  View on GitHub
  linear-time sumcheck protocol for multilinear polynomials and related addends
  ☆86Nov 21, 2025Updated 2 months ago
• tekkac / cairo-alt_bn128

  View on GitHub
  bn254 pairing library for Cairo Zero
  ☆26Dec 15, 2022Updated 3 years ago
• kobigurk / legogro16

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

  View on GitHub
  I like to learn new things
  ☆10Dec 10, 2022Updated 3 years ago
• kariy / starkmint

  View on GitHub
  ☆13Mar 6, 2023Updated 2 years ago
• zero-over-k / zero-over-k

  View on GitHub
  Batching zero over k checks
  ☆11Feb 11, 2023Updated 3 years ago
• kaushik-himself / winterfell-boilerplate

  View on GitHub
  ☆13Dec 3, 2022Updated 3 years ago
• zk-VerITAS / VerITAS

  View on GitHub
  ☆13Oct 9, 2024Updated last year
• arnaucube / sigmabus-poc

  View on GitHub
  Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406
  ☆10Dec 20, 2023Updated 2 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
• therealyingtong / ultraplonk-workshop

  View on GitHub
  ☆10Aug 21, 2022Updated 3 years ago
• Trapdoor-Tech / Halo2-Book

  View on GitHub
  ☆10Sep 20, 2022Updated 3 years ago
• lambdaclass / AES_zero_knowledge_proof_circuit

  View on GitHub
  ☆76Mar 30, 2023Updated 2 years ago
• khovratovich / Kate

  View on GitHub
  ☆27Oct 18, 2022Updated 3 years ago
• geometryxyz / secp256k1_hash_to_curve

  View on GitHub
  ☆33Sep 22, 2023Updated 2 years ago
• vicsn / witness-encryption-functional-commitment

  View on GitHub
  Based on https://eprint.iacr.org/2022/1510
  ☆26Oct 20, 2024Updated last year