緊急修補關閉 ZEC 偽造風險窗口

Zcash 開發者於 6 月 2 日完成一項緊急修補，修復隱私協議 Orchard 電路中的一項缺陷——若未及時處理，可能讓攻擊者在未被偵測的情況下鑄造無限量偽造 ZEC，這是該協議有紀錄以來最重大的理論性供應風險之一。此發現於 5 月 29 日由 SeedLabs 公布，並指出該缺陷是在 AI 輔助安全審計中浮現，而非傳統人工審查。

該審計將 Anthropic 的 Claude Opus 4.8 模型與客製化審計代理搭配使用，此缺陷被歸類為「健全性失效」：零知識證明內部的驗證條件約束不足，意味著攻擊者可建構出偽裝成有效證明的資料，並在不觸發網路驗證規則的情況下生成偽造 ZEC。

這個區別對於評估事件規模至關重要。零知識證明讓網路能夠確認隱藏交易遵循其規則，同時不暴露交易內容，因此證明電路內的缺陷屬於規則本身的錯誤，而非建構在其上的程式碼錯誤——在這一層，缺陷可能持續多年未被發現。

團隊的回應與已展示的風險相符。SeedLabs 的研究人員並未停留在理論階段——他們在本地測試環境中撰寫了可運作的攻擊程式碼，並證實確實能生成偽造 ZEC，將此發現從紙面漏洞轉化為已驗證的攻擊路徑。Zcash 開發團隊隨後將此問題視為緊急事項，揭露文件指出修復工作於 6 月 2 日完成。

Orchard 是 Zcash 私交易所在的屏蔽池，因此該處的證明缺陷直接衝擊貨幣發行保證的核心。對於以隱私為核心的資產而言，發行完整性是最關鍵的屬性，而此缺陷直接觸及了這一點。

該修補未能解答的是利用問題。偽造生成路徑僅在本地測試環境中獲得驗證，公開紀錄中沒有任何資料證實該漏洞曾在主網上被利用。「發現漏洞、本地展示攻擊、主網利用未經證實」——這是解讀本事件中所有數據時應依循的框架。

Orchard 健全性缺陷的運作方式

所涉及的機制範圍狹窄但屬根本性。零知識證明系統中的健全性失效，意味著驗證證明的檢查過於寬鬆：本應為假的陳述可以被包裝成已被證明的樣子。在 Zcash 的 Orchard 電路中，這種寬鬆轉化為直接的發行威脅，因為池子接受為有效的票據會直接流入每個網路節點都會重新驗證的流通供應會計中。無限量的偽造 ZEC 將不是市場小故障；它會悄然破壞 Layer 1 協議存在的目的——發行保證。

有兩項結構性防護值得注意。Orchard 池設有發行上限，即鑄造上限；而 Ironwood 池的導入設計確保即使發生零知識證明錯誤，能夠逃離屏蔽區的資金總額也受到限制——供應驗證早已針對這一類失效進行強化。

根據揭露文件本身的詮釋，AI 並未破解密碼學：它快速鎖定了一個公開程式碼中存在多年、卻始終未被人類研究人員發現的邏輯錯誤，然後驗證該錯誤可以被攻擊。因此，這不是密碼學被破解的案例，而是一個長期被忽略的邏輯錯誤被快速發現並驗證。這才是此事件真正的意義——公開程式碼庫與交易自動化系統現在已成為這類自動化攻擊分析的合法目標。

截至本文撰寫時，現貨 ZEC 在過去 24 小時內下跌 8.0%，鏈上紀錄中沒有任何資料將此走勢與該揭露事件連結。

修補帶來的改變

6 月 2 日的修補改變了技術層面的事實，但證據清單依然刻意稀薄。沒有可引用的攻擊者交易雜湊，也沒有可在鏈上驗證的被盜金額，因為鏈上數據顯示沒有已證實的主網利用行為。SeedLabs 的揭露文件本身即扮演事後分析的 角色，將 Orchard 電路中一項未受約束的驗證條件列為根本原因，並將已完成的緊急修補列為補救措施。

尚未解答的問題同樣明確：目前尚未發布任何關於主網偽造嘗試的獨立時間線。

在缺乏此類紀錄的情況下，機構關注持續累積Grayscale 的 ZCSH 3 比 1 拆分與 Garret Jin 持有的 3.2 億美元 ZEC 倉位，勾勒出一個將此事件視為已受控的市場格局。