argumentcomputer/zk-light-clients external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

argumentcomputer/zk-light-clients

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/argumentcomputer/zk-light-clients)

Close

argumentcomputer / zk-light-clientsView on GitHubMore

• External links
• Readme badge

A collection of ZK light client libraries for various blockchains

☆67Dec 4, 2024Updated last year

Alternatives and similar repositories for zk-light-clients

Users that are interested in zk-light-clients are comparing it to the libraries listed below

• argumentcomputer / sphinx

  View on GitHub
  An observatory fork of SP1
  ☆77Feb 11, 2025Updated last year
• lurk-lang / arecibo

  View on GitHub
  An advanced fork of Nova (contact:@huitseeker)
  ☆88Mar 3, 2025Updated last year
• NP-Eng / gkr_tutorial

  View on GitHub
  ☆12Oct 4, 2023Updated 2 years ago
• risc0 / risc0-ethereum

  View on GitHub
  Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
  ☆216Feb 23, 2026Updated last week
• snarkify / sirius

  View on GitHub
  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
  ☆177Mar 24, 2025Updated 11 months ago
• scroll-tech / ceno

  View on GitHub
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆136Updated this week
• dmpierre / ark-superspartan

  View on GitHub
  An arkworks implementation of the superspartan PIOP
  ☆13Sep 10, 2024Updated last year
• dmpierre / plonky3-ccs

  View on GitHub
  ☆11Sep 10, 2024Updated last year
• privacy-ethereum / sonobe

  View on GitHub
  Experimental folding schemes library
  ☆261Feb 23, 2026Updated last week
• crate-crypto / rust-eth-kzg

  View on GitHub
  ☆31Oct 27, 2025Updated 4 months ago
• pluto / web-prover-circuits

  View on GitHub
  Circuits for Pluto's `web-prover`
  ☆25Apr 25, 2025Updated 10 months ago
• flashbots / builder-hub

  View on GitHub
  BuilderHub service for provisioning and permissioning BuilderNet instances
  ☆16Feb 19, 2026Updated last week
• 0xfuturistic / plonkish-solidity

  View on GitHub
  ⚙️ A library for proving PLONKish circuits (halo2) in the EVM.
  ☆11Aug 14, 2023Updated 2 years ago
• pluto / aes-circuits

  View on GitHub
  Circom AES-GCM circuits
  ☆35Feb 12, 2026Updated 2 weeks ago
• PetraProver / PetraVM

  View on GitHub
  A verifiable supercomputer
  ☆77Jun 26, 2025Updated 8 months ago
• IrreducibleOSS / binius

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

  View on GitHub
  Zig EVM
  ☆34Nov 22, 2025Updated 3 months ago
• nooma-42 / pylookup

  View on GitHub
  Educational Version of Lookup Argument
  ☆12Apr 10, 2025Updated 10 months ago
• geometryxyz / protostar

  View on GitHub
  ☆52Oct 10, 2023Updated 2 years ago
• compsec-epfl / efficient-sumcheck

  View on GitHub
  ☆49Feb 12, 2026Updated 2 weeks ago
• pseXperiments / cuda-sumcheck

  View on GitHub
  Experimental implementation of Sumcheck protocol using CUDA
  ☆23Nov 14, 2024Updated last year
• pluto / ronkathon

  View on GitHub
  Cryptography Educational Foundations
  ☆339Nov 24, 2025Updated 3 months ago
• arnaucube / protogalaxy-poc

  View on GitHub
  ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf
  ☆41Sep 14, 2023Updated 2 years ago
• gy001 / hypercube

  View on GitHub
  ☆41Jan 7, 2024Updated 2 years ago
• hadasz / plonkish_basefold

  View on GitHub
  ☆38Jul 30, 2025Updated 7 months ago
• arnaucube / fri-commitment

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

  View on GitHub
  ☆51Mar 7, 2024Updated last year
• dmpierre / sonobe-btc

  View on GitHub
  Using folding schemes for a provable bitcoin light client
  ☆34May 22, 2024Updated last year
• kkrt-labs / stwo-brainfuck

  View on GitHub
  A ZK-VM for the Brainfuck language, based on Stwo
  ☆34Apr 3, 2025Updated 11 months ago
• alloy-rs / trie

  View on GitHub
  Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
  ☆155Feb 24, 2026Updated last week
• PayneJoe / PNova

  View on GitHub
  Plonkish Nova implementation along with advanced features
  ☆16Dec 16, 2023Updated 2 years ago
• z-prize / 2023-entries

  View on GitHub
  Source code for all entries from the 2023 ZPrize competition
  ☆25Jan 29, 2026Updated last month
• privacy-ethereum / zkvm-ideas

  View on GitHub
  A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team
  ☆36Apr 6, 2023Updated 2 years 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 7 months ago
• crema-labs / sxg-sp1

  View on GitHub
  Web Proofs using zk-SXG
  ☆30Nov 16, 2024Updated last year
• worldfnd / provekit

  View on GitHub
  Client side zero-knowledge proving.
  ☆101Feb 24, 2026Updated last week
• succinctlabs / starkyx

  View on GitHub
  ☆65May 2, 2024Updated last year
• DoHoonKim8 / halo2-lasso

  View on GitHub
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆37Mar 3, 2024Updated 2 years ago
• succinctlabs / succinctx

  View on GitHub
  The schelling point for ZK applications.
  ☆144May 2, 2024Updated last year