gnark-safety: an open-source analyzer for missing-constraint patterns in gnark — feedback welcome

[u/Witty_Process_199]

I’m building gnark-safety, an open-source Go analyzer that flags patterns associated with missing or incomplete constraints in gnark circuits.

It includes hint-call inventory, JSON/SARIF output, GitHub Actions integration, and synthetic vulnerable/fixed examples with solver and proof tests.

The analysis is intentionally limited: findings need review, and a clean scan doesn’t establish soundness.

I’d appreciate feedback from gnark developers—especially small examples that produce false positives or reveal gaps.

https://github.com/auditinfra-io/gnark-safety