ZkPatternMatcher: open-source CLI/library for circuit security pattern scanning (regex + semantic pass)

I’m sharing ZkPatternMatcher, my open-source Rust tool for detecting common security issues in ZK circuits.

YAML-defined pattern packs (regex, fancyregex, literal)

Optional semantic pass (--semantic) for cross-line checks

CLI + library API

SARIF/JSON/text outputs for CI workflows

Current integration matrix: 16 vulnerable fixtures + 10 safe controls

Repo: https://github.com/Teycir/ZkPatternMatcher