智能合约审计通常靠人工，时间长、成本高，还容易漏掉高危问题。V12 是一个自主 AI 安全代理，专门找智能合约和关键代码里的严重漏洞。 由区块链安全公司 Z… · @Crypto_JXuan · TwKit

@Crypto_JXuan

智能合约审计通常靠人工，时间长、成本高，还容易漏掉高危问题。V12 是一个自主 AI 安全代理，专门找智能合约和关键代码里的严重漏洞。 由区块链安全公司 Zellic 的创始人打造。系统做白盒分析，结合 AI 和传统静态分析，找出高危和关键漏洞，用可执行的利用代码证明问题，并生成自动补丁。官方称已在真实审计、比赛和公开环境中发现多处问题，内部基准测试表现接近或超过初级审计员。设计合作方包括 LayerZero、Starkware、Axiom 等。目前主要支持 Solidity，后续计划扩展到其他语言和链。 @v12sec 团队曾用 V12 自主发现一条主要区块链的漏洞，涉及超过 1 亿美元资金风险，获得 250 万美元漏洞赏金，是 AI 代理拿到的最大一笔。2026 年完成 1000 万美元种子轮，由 Electric Capital 领投，ZachXBT、samczsun 等参与。 用 AI 代理自动发现并证明代码漏洞。不能完全替代人工审计，结果需要验证

曝光 26 · 评论 1 · 点赞 0 · 书签 0