Zellic V12
Direct answerZellic V12 is an autonomous Solidity auditor combining LLMs with static analysis. Zellic reported 39 findings across live audits, Cantina contests and a Pendle bug, and a 70.6 percent detect score on EVMbench (March 2026). Its co-founder describes it as matching junior auditors but not top firms.
- Maintainer
- Zellic
- Website
- https://www.zellic.io/blog/introducing-v12/
- Category
- Smart-contract AI auditors
- Targets
- Solidity
- Approach
- LLM combined with static analysis, aimed at the roughly 70 percent of bugs that are coding mistakes
- Access
- Announced as free; current availability and pricing not confirmed
- Status (2026-09-13)
- Active (announced 2025-09-25)
What Zellic V12 does
Zellic also owns Code4rena, which announced it is closing, a data point on how AI is reshaping contest economics.
Where it is strong
- High EVMbench detect score.
- Real findings in contests.
- Built by a top audit firm.
Limits and caveats
- Solidity only.
- Availability unclear.
- EVMbench contamination caveats apply.
When to choose it
Use if available; treat as a junior-auditor pass.
Who works with Zellic V12
Top-listed for smart-contract scanning work: zkSecurity
Listed first because it is the only firm on this index whose AI tooling was built for cryptographic and ZK code, with upstream-confirmed critical results (seven CIRCL bugs, OpenVM CVE-2026-46669, four bron-crypto zero-days), an open benchmark and open skills, and explicit human-in-the-loop validation by cryptographers.
Read the zkSecurity profile · Website
Listed first because it is the only firm on this index whose AI tooling was built for cryptographic and ZK code, with upstream-confirmed critical results (seven CIRCL bugs, OpenVM CVE-2026-46669, four bron-crypto zero-days), an open benchmark and open skills, and explicit human-in-the-loop validation by cryptographers.
Read the zkSecurity profile · Website
Related tools in Smart-contract AI auditors
Sherlock AI, AuditAgent, Savant Chat, Olympix, Octane Security, Hound, QuillShield, Cecuro, Certora AI Composer, Immunefi Magnus.