Alternatives and similar repositories for zisk

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

• brevis-network / pico

  View on GitHub
  ☆97Updated this week
• TomWambsgans / Whirlaway

  View on GitHub
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆45Sep 11, 2025Updated 5 months ago
• crate-crypto / rust-eth-kzg

  View on GitHub
  ☆31Oct 27, 2025Updated 3 months ago
• scroll-tech / ceno

  View on GitHub
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆132Feb 10, 2026Updated last week
• openvm-org / openvm

  View on GitHub
  A performant and modular zkVM framework built for customization and extensibility.
  ☆309Updated this week
• succinctlabs / kzg-rs

  View on GitHub
  Rust implementation of KZG point evaluation
  ☆35Feb 5, 2026Updated last week
• PetraProver / PetraVM

  View on GitHub
  A verifiable supercomputer
  ☆77Jun 26, 2025Updated 7 months ago
• rkdud007 / awesome-zkvm

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

  View on GitHub
  Mozak RISC-V Virtual Machine
  ☆25Mar 24, 2025Updated 10 months ago
• tcoratger / whir-p3

  View on GitHub
  ☆58Feb 10, 2026Updated last week
• a16z / jolt

  View on GitHub
  The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
  ☆920Updated this week
• powdr-labs / powdr

  View on GitHub
  Performance and security acceleration for zkVMs.
  ☆483Updated this week
• argumentcomputer / sphinx

  View on GitHub
  An observatory fork of SP1
  ☆77Feb 11, 2025Updated last year
• Plonky3 / Plonky3

  View on GitHub
  A toolkit for polynomial IOPs (PIOPs)
  ☆750Updated this week
• 0xPolygonZero / zk_evm

  View on GitHub
  ☆100May 2, 2025Updated 9 months ago
• morgana-proofs / hashcaster

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

  View on GitHub
  Experimental folding schemes library
  ☆260Feb 6, 2026Updated last week
• valida-xyz / valida

  View on GitHub
  A STARK-based VM focused on code reuse, performance, and modularity
  ☆341Jul 31, 2025Updated 6 months ago
• b-wagn / hash-sig

  View on GitHub
  Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf
  ☆47Dec 18, 2025Updated last month
• lita-xyz / valida-vm

  View on GitHub
  The Valida execution engine, prover, and verifier
  ☆29Oct 6, 2025Updated 4 months ago
• ProjectZKM / zkm-prover

  View on GitHub
  A parallel proving service for ZKM.
  ☆22Dec 18, 2025Updated last month
• compsec-epfl / efficient-sumcheck

  View on GitHub
  ☆49Updated this week
• ingonyama-zk / open-binius

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

  View on GitHub
  ☆476Updated this week
• Lagrange-Labs / mapreduce-plonky2

  View on GitHub
  ☆23Jun 12, 2025Updated 8 months ago
• matter-labs / zksync-airbender

  View on GitHub
  RISC-V prover system for ZKsync OS
  ☆118Updated this week
• dmpierre / plonky3-ccs

  View on GitHub
  ☆11Sep 10, 2024Updated last year
• EspressoSystems / hyperplonk

  View on GitHub
  ☆335Feb 2, 2026Updated 2 weeks ago
• yetanotherco / zkvm_benchmarks

  View on GitHub
  ☆26Apr 15, 2025Updated 10 months ago
• privacy-ethereum / mpz

  View on GitHub
  Multi-party computation libraries written in Rust 🦀
  ☆284Updated this week
• ethproofs / ethproofs

  View on GitHub
  the race to mainnet-grade L1 zkEVMs
  ☆136Updated this week
• leanEthereum / leanMultisig

  View on GitHub
  Minimal zkVM, targeting aggregation of hash-based signatures.
  ☆69Updated this week
• Verified-zkEVM / ArkLib

  View on GitHub
  Formally Verified Arguments of Knowledge in Lean
  ☆158Updated this week
• 0xPolygonHermez / pil2-proofman

  View on GitHub
  Prover Manager
  ☆25Updated this week
• reclaimprotocol / zk-symmetric-crypto

  View on GitHub
  A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.
  ☆27Updated this week
• 0xPolygonZero / zero-bin

  View on GitHub
  plonky2 proving over paladin
  ☆22Jun 19, 2024Updated last year
• z-prize / 2023-entries

  View on GitHub
  Source code for all entries from the 2023 ZPrize competition
  ☆25Jan 29, 2026Updated 2 weeks ago
• a16z / vectorized-fields

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

  View on GitHub
  Benchmarks of popular zkVMs including Jolt
  ☆64Apr 19, 2024Updated last year