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

☆68Dec 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. We may earn a commission when you buy through links labeled 'Ad' on this page.

• argumentcomputer / sphinx

  View on GitHub
  An observatory fork of SP1
  ☆77Feb 11, 2025Updated last year
• NP-Eng / gkr_tutorial

  View on GitHub
  ☆12Oct 4, 2023Updated 2 years ago
• lurk-lang / arecibo

  View on GitHub
  An advanced fork of Nova (contact:@huitseeker)
  ☆89Mar 3, 2025Updated last year
• dmpierre / ark-superspartan

  View on GitHub
  An arkworks implementation of the superspartan PIOP
  ☆13Sep 10, 2024Updated last year
• 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
  ☆139Updated this week
• risc0 / risc0-ethereum

  View on GitHub
  Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
  ☆220Feb 23, 2026Updated last month
• dmpierre / plonky3-ccs

  View on GitHub
  ☆11Sep 10, 2024Updated last year
• 0xfuturistic / plonkish-solidity

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

  View on GitHub
  A verifiable supercomputer
  ☆78Jun 26, 2025Updated 8 months ago
• pluto / aes-circuits

  View on GitHub
  Circom AES-GCM circuits
  ☆35Feb 12, 2026Updated last month
• IrreducibleOSS / binius

  View on GitHub
  A SNARK using towers of binary fields, implemented in Rust .
  ☆132Sep 9, 2025Updated 6 months ago
• privacy-ethereum / sonobe

  View on GitHub
  Experimental folding schemes library
  ☆264Feb 23, 2026Updated last month
• DoHoonKim8 / stark-verifier

  View on GitHub
  ☆51Mar 7, 2024Updated 2 years ago
• worldfnd / provekit

  View on GitHub
  Client side zero-knowledge proving.
  ☆102Updated this week
• crate-crypto / rust-eth-kzg

  View on GitHub
  ☆31Oct 27, 2025Updated 4 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
• pluto / ronkathon

  View on GitHub
  Cryptography Educational Foundations
  ☆340Nov 24, 2025Updated 3 months ago
• flashbots / builder-hub

  View on GitHub
  BuilderHub service for provisioning and permissioning BuilderNet instances
  ☆16Updated this week
• gy001 / hypercube

  View on GitHub
  ☆41Jan 7, 2024Updated 2 years ago
• succinctlabs / hypercube-verifier

  View on GitHub
  ☆46Dec 10, 2025Updated 3 months ago
• pseXperiments / cuda-sumcheck

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

  View on GitHub
  Circuits for Pluto's `web-prover`
  ☆25Apr 25, 2025Updated 10 months ago
• compsec-epfl / efficient-sumcheck

  View on GitHub
  ☆49Mar 13, 2026Updated last week
• alloy-rs / trie

  View on GitHub
  Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
  ☆158Mar 9, 2026Updated 2 weeks ago
• DaniPopes / zevm

  View on GitHub
  Zig EVM
  ☆34Nov 22, 2025Updated 4 months ago
• succinctlabs / kzg-rs

  View on GitHub
  Rust implementation of KZG point evaluation
  ☆35Feb 16, 2026Updated last month
• succinctlabs / rsp-subblock

  View on GitHub
  ☆31May 21, 2025Updated 10 months ago
• privacy-ethereum / researches

  View on GitHub
  ☆10Oct 24, 2022Updated 3 years ago
• sragss / gpu-sumcheck

  View on GitHub
  ☆12Sep 11, 2024Updated last year
• z-prize / 2023-entries

  View on GitHub
  Source code for all entries from the 2023 ZPrize competition
  ☆25Jan 29, 2026Updated last month
• kobigurk / legogro16

  View on GitHub
  LegoGroth16 implementation on top of Zexe
  ☆25Dec 3, 2021Updated 4 years ago
• crema-labs / sxg-sp1

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

  View on GitHub
  ☆20May 31, 2024Updated last year
• succinctlabs / rsp

  View on GitHub
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆157Mar 6, 2026Updated 2 weeks ago
• geometryxyz / protostar

  View on GitHub
  ☆52Oct 10, 2023Updated 2 years ago
• kkrt-labs / stwo-brainfuck

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

  View on GitHub
  Using folding schemes for a provable bitcoin light client
  ☆34May 22, 2024Updated last year
• rot256 / research-we-kzg

  View on GitHub
  Witness encryption for KZG openings
  ☆33Nov 6, 2024Updated last year