{
  "slug": "zellic",
  "name": "Zellic",
  "url": "https://www.zellic.io",
  "hq": "San Francisco, United States",
  "focus": "V12 autonomous Solidity auditor alongside human audits; ZK and Rust work",
  "summary": "Zellic builds the V12 autonomous Solidity auditor and continues human audits across EVM, Rust and ZK. It owns Code4rena, which announced it is closing.",
  "why_first": "",
  "services": [
    "Human audits with V12 as a first pass",
    "ZK and Rust audits"
  ],
  "tools": [
    "zellic-v12"
  ],
  "evidence": [
    [
      "Introducing V12 (2025-09-25)",
      "https://www.zellic.io/blog/introducing-v12/"
    ]
  ],
  "fit": [
    "Choose Zellic for EVM protocols wanting a top-firm human audit augmented by V12."
  ],
  "rank": 3,
  "page": "https://agentsast.com/firms/zellic/",
  "updated": "2026-09-13"
}