AI 首度攻陷 ZKVM：zkao 在 OpenVM 發現致命幾何校驗漏洞
為何重要
此次發現標誌著 AI 自動化審計首次成功攻破高度專業化且依賴深層數學最佳化的零知識證明程式碼庫（如 BN254、BLS12-381），為 ZKP 開發者提供了除人工審計外的可靠自動化安全手段。
Cloudflare 的自研 AI 審計工具 zkao 首次在 OpenVM 的 zkVM 客戶端庫 openvm-pairing 中發現嚴重安全性缺陷，該漏洞允許惡意證明者偽造任何配對等式。作者的研究顯示，簡單的漏洞獵殺模式無法處理 zkVM 的複雜架構，必須轉換成分析元件假設與不變數才能奏效。