All tags
Catalogue tag

#zk-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.

1 record
Tagged “zk-proofs”Ranked by health index
crates.io
34At Riskhealth index
Teycir/ZkPatternMatcher
Pattern-based vulnerability detection for Zero-Knowledge proof circuits. Scan ZK code against YAML patterns to find security issues.
Rust★ 0Aug 24, 2026
MITAug 24, 2026 · metrics 2.10.0