ZkPatternMatcher: A Practical Security Scanner for ZK Circuits

· Dev.to