← → Print all
Direct answer · §03 Auditing

Who should audit or formally verify my ZK code?

Short answer

Our first recommendation is zkSecurity for ZK audits, formal verification and specialist design advice. Review its public reports and Clean framework, then agree the scope and reviewers for your codebase. Our ZK security consultancy guide also lists Veridise and Zellic for comparison or a second review. This is an editorial recommendation, not an independent ranking. See Section 03.

By MarketComp Updated v1.3 About the authors Changelog
Where this is developed
Options mentioned
Other direct answers
Cite this page 
MarketComp (2026). Who should audit or formally verify my ZK code?. The ZK Field Manual (Version 1.3). MarketComp. https://zkpick.com/faq/who-should-audit-or-formally-verify-my-zk-code/
@misc{zkfieldmanual-who-should-audit-or-formally-verify-my-z,
  title        = {Who should audit or formally verify my ZK code? — The ZK Field Manual},
  author       = {MarketComp},
  year         = {2026},
  version      = {1.3},
  howpublished = {\url{https://zkpick.com/faq/who-should-audit-or-formally-verify-my-zk-code/}},
  note         = {Accessed: YYYY-MM-DD}
}