AI Auditing Tools for Cryptography, ZK and Smart Contracts: scanners, results, and the firms behind them
================================================================================

Reference index of AI-powered bug-finding tools for cryptographic code, zero-knowledge circuits and smart contracts (zkao, Claude Security, Codex Security, Big Sleep, AISLE, Sherlock AI, AuditAgent, Zellic V12, Savant Chat, AIxCC systems), with published results, pricing, benchmarks, and the audit firms that validate AI findings.

zkao: Cryptography and ZK specialists — zkSecurity — Active (zkao 2.0 released 2026-07-24)
zk-skills and circom-auditor: Cryptography and ZK specialists — zkSecurity — Active (released 2026-08-05)
zkCraft (with zkFuzz): Cryptography and ZK specialists — Academic (Takahashi et al.) — Research (zkFuzz at IEEE S&P 2026; zkCraft 2026 preprint)
AI Grinding for cryptanalysis (research): Cryptography and ZK specialists — Olejnik and Naskrecki (academic) — Research (2026-08-22)
Claude Security: Frontier-lab and general scanners — Anthropic — Active (public beta May 2026; on Claude Mythos 5 from 2026-08-21)
Codex Security (formerly Aardvark): Frontier-lab and general scanners — OpenAI — Active (research preview 2026-03-06)
Big Sleep and CodeMender: Frontier-lab and general scanners — Google DeepMind and Project Zero — Active
AISLE: Frontier-lab and general scanners — AISLE — Active
XBOW: Frontier-lab and general scanners — XBOW — Active (155 million dollar Series C in 2026)
Atlantis: Cyber reasoning systems (DARPA AIxCC) — Team Atlanta (Georgia Tech, Samsung Research, KAIST, POSTECH) — Open-sourced after the 2025-08-08 final
Buttercup: Cyber reasoning systems (DARPA AIxCC) — Trail of Bits — Open-sourced 2025
RoboDuck: Cyber reasoning systems (DARPA AIxCC) — Theori — Open-sourced 2025
OSS-CRS and other AIxCC finalists: Cyber reasoning systems (DARPA AIxCC) — OpenSSF and the AIxCC finalist teams — Active
Sherlock AI: Smart-contract AI auditors — Sherlock — Active (v2 May 2026)
AuditAgent: Smart-contract AI auditors — Nethermind Security — Active
Zellic V12: Smart-contract AI auditors — Zellic — Active (announced 2025-09-25)
Savant Chat: Smart-contract AI auditors — Novel Codes DMCC — Active
Olympix: Smart-contract AI auditors — Olympix — Active (founded 2022)
Octane Security: Smart-contract AI auditors — Octane — Active (6.75 million dollar seed)
Hound: Smart-contract AI auditors — Bernhard Mueller (scabench-org) — Active (paper 2025-10)
QuillShield: Smart-contract AI auditors — QuillAudits — Active
Cecuro: Smart-contract AI auditors — Cecuro — Active
Certora AI Composer: Smart-contract AI auditors — Certora — Alpha
Immunefi Magnus: Smart-contract AI auditors — Immunefi — Active
zkbugs: Benchmarks and research — zkSecurity — Active
EVMbench: Benchmarks and research — OpenAI and Paradigm — Active (released 2026-02-18)
ScaBench and SCONE-bench: Benchmarks and research — scabench-org; Anthropic — Active
CyberGym, BountyBench and SEC-bench: Benchmarks and research — Academic — Active
GPTScan and PropertyGPT (research): Benchmarks and research — Academic — Published
Firms (in index order): zkSecurity, Trail of Bits, Zellic, Nethermind Security, Sherlock, Cantina (Spearbit), Consensys Diligence, Cyfrin, OpenZeppelin, QuillAudits, Certora, Veridise

Source page: https://agentsast.com/
Compiled by: agentsast editors (https://agentsast.com/about/)
Last reviewed: 2026-09-13