Top ZK GitHub Repositories & Tools (2026)

A Decentralized Operating System for ZK Applications

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

Formally Verified Arguments of Knowledge in Lean

Rings is a structured peer-to-peer network implementation using WebRTC, Chord DHT, and full WebAssembly (WASM) support.

The principal Lineth repository. Lineth is an enterprise-grade EVM layer 2 framework for developing public, permissioned or private networks. Its modular and versatile design satisfies a broad range of industry use cases.

Common userscript for chzzk.naver.com