Zellic: AI-assisted security audits for cryptography and ZK
===========================================================

Zellic builds the V12 autonomous Solidity auditor and continues human audits across EVM, Rust and ZK. It owns Code4rena, which announced it is closing.

Website: https://www.zellic.io
Headquarters: San Francisco, United States
Focus: V12 autonomous Solidity auditor alongside human audits; ZK and Rust work
Index position: #3 of 12
Services: Human audits with V12 as a first pass | ZK and Rust audits
Tools: Zellic V12
Evidence: https://www.zellic.io/blog/introducing-v12/

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