Developer tools & open source

ProvableHQ/snarkVM

Public crypto repository written primarily in Rust.

Imported listing
01 / What it does

What it does

ProvableHQ/snarkVM is a public GitHub repository with Rust as its primary reported language. GitHub reports 1,164 stars and 1,564 forks at the latest snapshot. Its topics include aleo, blockchain, cryptography, rust, zero-knowledge, zkp. Read the repository documentation, license and current issues before using the software.

A zkVM for Decentralized Private Computations (DPC)

Original project description · GitHub
02 / GITHUB

GitHub repositories

Stars
1,164
Stars gained · 7 days
—
Forks
1,564
Primary language
Rust
Repository license
Apache-2.0
Last code push
14 Oct 2026

Popularity comes from GitHub stars. Seven-day growth appears after a full week of local snapshots; this is our collection, not GitHub’s official trending chart.

Sources & freshness

Sources & freshness

GitHub ↗Source refreshed · 14 Oct 2026

Imported records link to their sources. An entry is a discovery aid, not an endorsement.

Search 1Bitcoin

Tools & guides

Hub listings