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
80Excellenthealth index
zcash/halo2
The Halo2 zero-knowledge proving system
Rust★ 918↓ 518.9K/moSep 12, 2026
Custom licenseSep 12, 2026 · metrics 2.10.0
crates.io
51Moderatehealth index
axiom-crypto/halo2
No repository description published.
Rust★ 16↓ 32.5K/moOct 20, 2026
Custom licenseOct 20, 2026 · metrics 2.10.0