Alternatives and similar repositories for sparkworks

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

• vicsn / witness-encryption-functional-commitment

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

  View on GitHub
  Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf
  ☆12Jun 29, 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
• CPerezz / caulk_plus

  View on GitHub
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Dec 18, 2022Updated 3 years ago
• geometryxyz / functional-commitment

  View on GitHub
  Implementation of efficient function-hiding functional commitments https://eprint.iacr.org/2021/1342
  ☆16Jan 5, 2023Updated 3 years ago
• daira / describe-curve

  View on GitHub
  Describe elliptic curves
  ☆35May 10, 2021Updated 4 years ago
• conroi / lcpc

  View on GitHub
  polynomial commitments from linear codes
  ☆50Dec 13, 2024Updated last year
• 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
• Lagrange-Labs / lgn-coprocessor

  View on GitHub
  Hyper-parallel ZK coprocessing.
  ☆17Aug 29, 2025Updated 5 months ago
• AmanGotchu / RandaoZKP

  View on GitHub
  ☆22Oct 11, 2022Updated 3 years ago
• Lagrange-Labs / mapreduce-plonky2

  View on GitHub
  ☆23Jun 12, 2025Updated 8 months ago
• arkworks-rs / accumulation

  View on GitHub
  Rust library for accumulation schemes
  ☆25Jan 24, 2023Updated 3 years ago
• compsec-epfl / efficient-sumcheck

  View on GitHub
  ☆49Updated this week
• 0xPolygonZero / hyperstark

  View on GitHub
  Early prototype.
  ☆23Mar 30, 2023Updated 2 years ago
• jeong0982 / gkr

  View on GitHub
  zero knowledge proof aggregator for general circuit
  ☆73May 20, 2024Updated last year
• reilabs / proven-zk

  View on GitHub
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆48Aug 27, 2025Updated 5 months ago
• lurk-lab / circom-scotia

  View on GitHub
  ☆23Mar 8, 2024Updated last year
• GottfriedHerold / Chipmunk

  View on GitHub
  ☆11Aug 20, 2024Updated last year
• xJonathanLEI / pedersen-bench

  View on GitHub
  Benchmarks for Pedersen hash implementations
  ☆12Nov 22, 2022Updated 3 years ago
• gy001 / hypercube

  View on GitHub
  ☆41Jan 7, 2024Updated 2 years ago
• zero-over-k / zero-over-k

  View on GitHub
  Batching zero over k checks
  ☆11Feb 11, 2023Updated 3 years ago
• arnaucube / sigmabus-poc

  View on GitHub
  Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406
  ☆10Dec 20, 2023Updated 2 years ago
• daira / plonk-standard

  View on GitHub
  Draft documents for standardization of Plonkish arithmetization
  ☆23Mar 15, 2024Updated last year
• DoHoonKim8 / stark-verifier

  View on GitHub
  ☆50Mar 7, 2024Updated last year
• Veridise / Coda

  View on GitHub
  ☆47Aug 31, 2023Updated 2 years ago
• VictorColomb / stark-snark-recursive-proofs

  View on GitHub
  STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
  ☆103Sep 12, 2023Updated 2 years ago
• kilic / cyclone-msm-expreriment

  View on GitHub
  ☆11Feb 6, 2024Updated 2 years ago
• Layr-Labs / rust-kzg-bn254

  View on GitHub
  ☆15Nov 22, 2025Updated 2 months ago
• automata-network / multi-prover-avs

  View on GitHub
  Automata Multi-Prover AVS
  ☆12Jan 17, 2025Updated last year
• 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
• penumbra-zone / poseidon377

  View on GitHub
  An instantiation of the Poseidon hash for use with decaf377
  ☆29Mar 6, 2025Updated 11 months ago
• LBruyne / Scalable-Collaborative-zkSNARK

  View on GitHub
  Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.
  ☆58Aug 2, 2025Updated 6 months ago
• mmaker / anonymous-tokens

  View on GitHub
  Efficient Anonymous Tokens with Private Metadata Bit
  ☆15Mar 7, 2023Updated 2 years ago
• Trapdoor-Tech / halo2-book-chinese

  View on GitHub
  ☆10Jan 11, 2022Updated 4 years ago
• SeismicSystems / enclave

  View on GitHub
  TEE stack for Seismic
  ☆17Jan 13, 2026Updated last month
• oana-barbu / mev-bootee

  View on GitHub
  Partial Block Building with TEEs
  ☆17Mar 27, 2024Updated last year
• delendum-xyz / starkvm-compiler

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

  View on GitHub
  Starky implementation of Bls12-381
  ☆13May 16, 2024Updated last year
• BoltonBailey / formal-snarks-project

  View on GitHub
  A formal verification of Linear PCP SNARKs.
  ☆60Jul 20, 2024Updated last year