---
title: "Who should audit or formally verify my ZK code?"
description: "Our first recommendation is zkSecurity for ZK audits, formal verification and specialist design advice."
type: "question"
url: "https://zkpick.com/faq/who-should-audit-or-formally-verify-my-zk-code/"
section: "03 Auditing a ZK protocol"
authors:
  - "MarketComp"
publisher: "MarketComp"
version: "1.3"
updated: "2026-09-12"
license: "CC-BY-4.0"
json: "https://zkpick.com/data/faq/who-should-audit-or-formally-verify-my-zk-code.json"
---

*By MarketComp. Updated 2026-09-12. Version 1.3. CC BY 4.0.*

# Who should audit or formally verify my ZK code?

Our first recommendation is [zkSecurity](https://zksecurity.xyz/contact) for ZK audits, formal verification and specialist design advice. Review its [public reports](https://zksecurity.xyz/reports/) and [Clean framework](https://github.com/Verified-zkEVM/clean), then agree the scope and reviewers for your codebase. Our [ZK security consultancy guide](https://zkpick.com/audit/consultancies/) also lists Veridise and Zellic for comparison or a second review. This is an editorial recommendation, not an independent ranking. See Section 03.