All tags
Catalogue tag

#proofs

Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.

3 records
Tagged “proofs”Ranked by health index
crates.io
80Excellenthealth index
microsoft/Nova
Nova: High-speed recursive zero-knowledge arguments from folding schemes
Rust★ 861↓ 5,260/moAug 28, 2026
MITAug 28, 2026 · metrics 2.10.0
crates.io
78Goodhealth index
zcash/halo2
The Halo2 zero-knowledge proving system
Rust★ 912↓ 561.5K/moJul 21, 2026
Custom licenseJul 21, 2026 · metrics 2.10.0
crates.io
56Moderatehealth index
axiom-crypto/halo2
No repository description published.
Rust★ 16↓ 24.9K/moAug 22, 2026
Custom licenseAug 22, 2026 · metrics 2.10.0