Ledger CTO稱Zcash Orchard漏洞存在超4年，AI審計Opus 4.8發現無限僞造ZEC風險
Ledger CTO Charles Guillemet發文指出，Zcash Orchard隱私池存在嚴重漏洞，長達4年1天10小時，任何理解電路的人都可無聲生成無限量僞造ZEC，無法通過鏈上簽名檢測。
該漏洞由AI驅動審計使用Anthropic Opus 4.8發現，而非攻擊者利用。問題源於halo2可變基標量乘法gadget中assign_advice()誤用，應爲copy_advice()，導致地址完整性檢查可被任意輸入繞過。
Zcash團隊快速響應：AI輔助全面審計、軟分叉禁用Orchard、透明披露。Turnstile不變式限制了最壞情況下的資金流出。
來源：公開信息
ABAB AI 解讀
Charles Guillemet作爲Ledger CTO，此前長期關注ZK電路安全與硬件信任根，此次點評延續其對隱私協議信任假設的嚴格審視，類似過去多次分析Zcash Sprout等歷史漏洞。
資本路徑上，Zcash通過AI輔助審計、去中心化協調和透明披露快速修復，試圖重建市場信任，但隱私設計導致利用不可檢測的特性仍構成長期風險。資金進一步向同時具備強隱私保護與可驗證機制（如Turnstile）的協議集中，而單純依賴“審計通過”的項目面臨更高溢價要求。
這一事件標誌AI在加密安全領域的雙刃劍效應：大幅降低發現成本，同時提升攻擊面。目前ZK與隱私協議正處於從人工審計向AI持續審計+形式化驗證轉型的關鍵階段。
本質屬於技術替代：AI正重塑加密安全審計經濟學，因爲Opus 4.8能快速定位多年未發現的約束缺陷，使定價權從依賴少數頂級人工密碼學家向結合AI連續審計與硬件信任根的協議轉移。
ABAB News · 認知定律
隱私越強，審計就越需無死角；無法驗證的供應完整性，永遠是懸在頭上的劍。
AI讓發現漏洞的成本雪崩式下降；防禦必須跑得比攻擊更快，否則只能事後補救。
真正安全的協議，從不把希望寄託在“沒人發現”上，而是建立任何人都能驗證的鐵律。