糟糕的審計師會錯過明顯的漏洞。我們開發了一個能夠找到它們的 AI 工具。 介紹 V12：唯一能夠自動審計 Solidity 的工具，實際上能找到高風險和關鍵風險。 我們將免費發布它。 V12 能在 Zellic 審計中找到關鍵風險，在 Cantina 中找到高/中風險，並在 Pendle 中找到一個漏洞。

首先，為什麼要建立 V12？ 1. LLM 現在的表現超過了平庸的審計公司。 糟糕的審計師 (1) 糟糕且錯過明顯的錯誤，(2) 造成延遲，(3) 小型審查的費用為 10,000 美元。 2. 70% 的高風險/關鍵問題都是簡單的編碼錯誤。 LLM 在發現這些表面級錯誤方面表現出色。 因此...

我們的目標是建立一個 AI 工具，能夠超越最差的審計師，找到簡單但重要的錯誤。 我們做得怎麼樣？V12 找到了審計公司錯過的錯誤：

在競賽中，歷史上人類研究者提交的錯誤大多與 V12 發現的相同：

V12 在公開的現場比賽中發現高點和中點：

V12 找到了如果早些被發現，將能避免數百萬美元黑客攻擊的漏洞：

V12 的報告撰寫質量可與頂尖人類相媲美：

V12 不僅僅是一個強大的錯誤檢測引擎。它擁有一個功能齊全、直觀的前端，便於輕鬆審查。

V12 是自助服務。使用 Google 登入，連接您的 Github 倉庫，選擇範圍，然後點擊運行。沒有 "預約演示"，也沒有 "聯繫我們" 的定價。

與許多試圖利用您的數據來鎖定您的應用程式不同，V12 讓您可以自由導出為 PDF、CSV、JSON 和 Markdown。 此外，我們不按座位或訂閱收費。我們允許您邀請任意數量的人參加您的審計。

我們計劃在以下方面部署 V12： - 一個任何人都可以使用的獨立應用程式 - Zellic 和 Zenith 的審計 - Code4rena 的比賽，所有 V12 問題將自動標記為 OOS - Code4rena 的漏洞獎勵，類似於漏洞獎勵 - 用於 CI/CD 整合的 GitHub 行動

期待嘗試 V12 嗎？ 在這裡查看完整公告：