Alternatives and similar repositories for ArkLib

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

• Verified-zkEVM / VCV-io

  View on GitHub
  Formalized Cryptography Proofs in Lean 4
  ☆65Updated this week
• Verified-zkEVM / clean

  View on GitHub
  Lean circuit DSL
  ☆121Updated this week
• compsec-epfl / efficient-sumcheck

  View on GitHub
  ☆49Updated this week
• scroll-tech / ceno

  View on GitHub
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆132Updated this week
• argumentcomputer / sphinx

  View on GitHub
  An observatory fork of SP1
  ☆77Feb 11, 2025Updated last year
• morgana-proofs / GKR-MSM

  View on GitHub
  ☆14Dec 26, 2024Updated last year
• tcoratger / whir-p3

  View on GitHub
  ☆58Feb 6, 2026Updated last week
• openvm-org / openvm

  View on GitHub
  A performant and modular zkVM framework built for customization and extensibility.
  ☆307Updated this week
• Lagrange-Labs / mapreduce-plonky2

  View on GitHub
  ☆23Jun 12, 2025Updated 8 months ago
• dmpierre / plonky3-ccs

  View on GitHub
  ☆11Sep 10, 2024Updated last year
• arkworks-rs / spongefish

  View on GitHub
  Fiat-Shamir for the masses.
  ☆87Dec 27, 2025Updated last month
• NethermindEth / latticefold

  View on GitHub
  A lattice-based non-interactive folding scheme written in Rust
  ☆121Dec 17, 2025Updated last month
• openvm-org / stark-backend

  View on GitHub
  Proof system backends for OpenVM.
  ☆34Updated this week
• valida-xyz / valida

  View on GitHub
  A STARK-based VM focused on code reuse, performance, and modularity
  ☆338Jul 31, 2025Updated 6 months ago
• z-prize / 2023-entries

  View on GitHub
  Source code for all entries from the 2023 ZPrize competition
  ☆25Jan 29, 2026Updated 2 weeks ago
• ingonyama-zk / open-binius

  View on GitHub
  building blocks for accelerating ZK proofs over binary fields
  ☆48Jun 19, 2025Updated 7 months ago
• a16z / vectorized-fields

  View on GitHub
  Vectorized AVX-512 256-bit arithmetic library
  ☆34Sep 28, 2024Updated last year
• NethermindEth / Clear

  View on GitHub
  Interactive formal verification tool for Yul programs
  ☆77Nov 19, 2025Updated 2 months ago
• reilabs / proven-zk

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

  View on GitHub
  A SNARK using towers of binary fields, implemented in Rust .
  ☆128Sep 9, 2025Updated 5 months ago
• CertiKProject / zkwasm-fv

  View on GitHub
  Formal verification of the zkWasm project
  ☆16Aug 13, 2024Updated last year
• privacy-ethereum / sonobe

  View on GitHub
  Experimental folding schemes library
  ☆260Feb 6, 2026Updated last week
• morgana-proofs / hashcaster

  View on GitHub
  Frobenius sumcheck for vectorized boolean ops
  ☆56Apr 12, 2025Updated 10 months ago
• powdr-labs / powdr

  View on GitHub
  Performance and security acceleration for zkVMs.
  ☆483Updated this week
• hash-based-snargs-book / hash-based-snargs-book

  View on GitHub
  Source code for "Building Cryptographic Proofs from Hash Functions"
  ☆224Dec 4, 2025Updated 2 months ago
• WizardOfMenlo / whir

  View on GitHub
  WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
  ☆188Feb 6, 2026Updated last week
• TomWambsgans / Whirlaway

  View on GitHub
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆45Sep 11, 2025Updated 5 months ago
• risc0 / risc0-lean4

  View on GitHub
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆76Feb 14, 2023Updated 2 years ago
• argumentcomputer / FFaCiL.lean

  View on GitHub
  Finite Fields and Curves in Lean
  ☆14Apr 6, 2023Updated 2 years ago
• rkdud007 / awesome-zkvm

  View on GitHub
  A curated list of zkVM, zero-knowledge virtual machine
  ☆301Sep 29, 2025Updated 4 months ago
• 0xPolygonHermez / zisk

  View on GitHub
  ☆175Updated this week
• 0xmozak / mozak-vm

  View on GitHub
  Mozak RISC-V Virtual Machine
  ☆25Mar 24, 2025Updated 10 months ago
• lurk-lab / bellpepper-gadgets

  View on GitHub
  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
  ☆18Mar 3, 2025Updated 11 months ago
• yetanotherco / zkvm_benchmarks

  View on GitHub
  ☆26Apr 15, 2025Updated 9 months ago
• MachinaIO / diamond-io

  View on GitHub
  Diamond iO implementation https://eprint.iacr.org/2025/236
  ☆91Sep 19, 2025Updated 4 months ago
• Veridise / Picus

  View on GitHub
  Automated verification of uniqueness property for ZKP circuits
  ☆93Mar 13, 2024Updated last year
• pseXperiments / cuda-sumcheck

  View on GitHub
  Experimental implementation of Sumcheck protocol using CUDA
  ☆22Nov 14, 2024Updated last year
• h-hafezi / kzh_fold

  View on GitHub
  ☆28Oct 31, 2025Updated 3 months ago
• dmpierre / ark-superspartan

  View on GitHub
  An arkworks implementation of the superspartan PIOP
  ☆13Sep 10, 2024Updated last year