AI bug-finding and auditing tools for cryptography, ZK and smart contracts, compared
================================================================================

Every tool on this index in one place, grouped by what it targets: cryptography and ZK specialists, frontier-lab general scanners, the DARPA AIxCC cyber reasoning systems, smart-contract auditors, and the benchmarks used to measure them. Each row links to a page with approach, access model, published results and limits.

zkao: Cryptography and ZK specialists — zkSecurity — Circom, Leo (Aleo), Rust crypto, Go crypto, MPC, FHE, Post-quantum, TLS / E2EE — Active (zkao 2.0 released 2026-07-24)
zk-skills and circom-auditor: Cryptography and ZK specialists — zkSecurity — Circom, Claude Code, Codex, Cursor — Active (released 2026-08-05)
zkCraft (with zkFuzz): Cryptography and ZK specialists — Academic (Takahashi et al.) — Circom, Noir (preliminary) — Research (zkFuzz at IEEE S&P 2026; zkCraft 2026 preprint)
AI Grinding for cryptanalysis (research): Cryptography and ZK specialists — Olejnik and Naskrecki (academic) — Published cryptographic constructions, Cryptanalysis — Research (2026-08-22)
Claude Security: Frontier-lab and general scanners — Anthropic — General code, Enterprise repositories, Claude Code plugin — Active (public beta May 2026; on Claude Mythos 5 from 2026-08-21)
Codex Security (formerly Aardvark): Frontier-lab and general scanners — OpenAI — General code, Commits and pull requests — Active (research preview 2026-03-06)
Big Sleep and CodeMender: Frontier-lab and general scanners — Google DeepMind and Project Zero — C / C++ open source, V8, SQLite, FFmpeg — Active
AISLE: Frontier-lab and general scanners — AISLE — C source, OpenSSL, curl — Active
XBOW: Frontier-lab and general scanners — XBOW — Web applications, Deployed services — Active (155 million dollar Series C in 2026)
Atlantis: Cyber reasoning systems (DARPA AIxCC) — Team Atlanta (Georgia Tech, Samsung Research, KAIST, POSTECH) — C, Java — Open-sourced after the 2025-08-08 final
Buttercup: Cyber reasoning systems (DARPA AIxCC) — Trail of Bits — C, Java — Open-sourced 2025
RoboDuck: Cyber reasoning systems (DARPA AIxCC) — Theori — C, Java — Open-sourced 2025
OSS-CRS and other AIxCC finalists: Cyber reasoning systems (DARPA AIxCC) — OpenSSF and the AIxCC finalist teams — C, Java, OSS-Fuzz projects — Active
Sherlock AI: Smart-contract AI auditors — Sherlock — Solidity, EVM — Active (v2 May 2026)
AuditAgent: Smart-contract AI auditors — Nethermind Security — EVM, Solana, Starknet — Active
Zellic V12: Smart-contract AI auditors — Zellic — Solidity — Active (announced 2025-09-25)
Savant Chat: Smart-contract AI auditors — Novel Codes DMCC — Solidity, Vyper, Rust, Move, Cairo, FunC, Circom, Halo2, Noir, arkworks — Active
Olympix: Smart-contract AI auditors — Olympix — Solidity — Active (founded 2022)
Octane Security: Smart-contract AI auditors — Octane — EVM, Solana, Aptos, Sui, Cosmos — Active (6.75 million dollar seed)
Hound: Smart-contract AI auditors — Bernhard Mueller (scabench-org) — Language-agnostic, Solidity — Active (paper 2025-10)
QuillShield: Smart-contract AI auditors — QuillAudits — Solidity — Active
Cecuro: Smart-contract AI auditors — Cecuro — DeFi contracts — Active
Certora AI Composer: Smart-contract AI auditors — Certora — Solidity — Alpha
Immunefi Magnus: Smart-contract AI auditors — Immunefi — Smart contracts, Bounty programs — Active
zkbugs: Benchmarks and research — zkSecurity — Circom, ZK DSLs, 139 catalogued vulnerabilities — Active
EVMbench: Benchmarks and research — OpenAI and Paradigm — Solidity, 117 vulnerabilities from 40 audits — Active (released 2026-02-18)
ScaBench and SCONE-bench: Benchmarks and research — scabench-org; Anthropic — Solidity, 31 projects from Code4rena, Cantina, Sherlock — Active
CyberGym, BountyBench and SEC-bench: Benchmarks and research — Academic — General software, 1,507 CyberGym instances from 188 projects, 40 BountyBench tasks — Active
GPTScan and PropertyGPT (research): Benchmarks and research — Academic — Solidity — Published

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