Skip to content

Built something? We create video reels & spotlights for GitHub projects.Promote your project →

Home / Topics / snark

Topic Catalog

Top SNARK GitHub Repositories & Tools (2026)

Discover the most starred and trending open source tools tagged with #snark.

SPONSORED BY

Kishan Kanani

Design & product building

Interviewly

Job search tools for developers

+ Advertise here

Your product in front of developers

+ Promote project

Get a video reel for your repo

4 matching projects · updated Sep 28, 2026 How we rank ↗

#1 TRENDING ProvableHQ/snarkOS Rust 2020

A Decentralized Operating System for ZK Applications

◇ aleo ◇ blockchain ◇ cryptography ◇ rust

2.7K ↑ +1 today

#2 TRENDING a16z/jolt Rust 2023

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

◇ arkworks ◇ crypto ◇ cryptography ◇ snark

338 ↑ +1 today

#3 TRENDING Verified-zkEVM/ArkLib Lean 2024

Formally Verified Arguments of Knowledge in Lean

◇ formal-verification ◇ lean ◇ lean4 ◇ snark

113 ↑ +1 today

#4 TRENDING RingsNetwork/rings Rust 2021

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

◇ dht ◇ dht-network ◇ end-to-end-encryption ◇ nova

24 ↑ +1 today

From our network

FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.

Promote your project