Zcash 無限印鈔漏洞揭秘：AI一天揪出，人類稽核卻四年視而不見

漏洞如何運作： 問題出在 Orchard 的「Action 電路」中，這是一套驗證隱私交易的零知識證明邏輯。其約束條件中的邏輯錯誤，意味著攻擊者可以偽造一個看起來完全合法的 Halo 2 證明，並被網路毫無疑問地接受。這個證明無需真實資金或有效價值銷毀作為後盾。可以說，這就像一個沉默的無限鑄幣按鈕，能讓攻擊者創造出無法偵測、數量無限的偽造 ZEC 。

Zcash 創辦人 Zooko Wilcox 證實了其嚴重性，表示該漏洞「可能被用來以無法偵測的方式，創造出數量無限的偽造 ZEC」。由於這是證明邏輯本身的缺陷，而非傳統的軟體臭蟲，因此偽造的代幣在區塊鏈上將與真實代幣別無二致。

看不見的危險：為何「相信我」式漏洞是隱私科技的最大惡夢

這個漏洞最令人膽寒之處，不僅在於它可能引發無限通膨，更在於整個網路對其完全無能為力的偵測能力。Orchard 協議的核心價值主張——完全的交易隱私——反倒成了它最大的致命傷。

Zcash 基金會確認，「沒有證據顯示該漏洞曾在野外被利用」，且 2100 萬枚的 ZEC 供給上限依然完好 。然而，正是因為 Orchard 的隱私特性，創辦人 Zooko Wilcox 不得不承認，要以密碼學方法去證明漏洞在修補前是否被利用過，是根本不可能的事。攻擊者可能在過去幾年間，一直悄悄地鑄造代幣，而整個帳本卻不會留下任何犯罪的蛛絲馬跡。

這個困境，精準地觸及了隱私幣長期以來的阿基里斯腱。以比特幣為例，任何人都能透過公開帳本即時審計其總供給量。但在 Zcash 的 Orchard 池中，外界觀察者完全無法獨立驗證池內代幣的真偽。當一個系統的安全性，最終只能訴諸於「請相信我們沒被攻擊」時，其信任基礎便顯得異常脆弱。

緊急止血：一場與時間賽跑的雙階段網路升級

漏洞揭露後，一場橫跨 Zcash 生態系的協同應變行動旋即展開，行動分為兩階段進行：

1. 緊急軟分岔（6 月 1 日至 2 日）： Zcash 開發者在短時間內發布了

   zcashd v6.12.5

   ，協同 Zebra 用戶端升級，暫時全面禁用所有 Orchard 隱私交易，以防止在問題根源被徹底釐清前，有任何潛在的利用行為發生 。
2. 硬分岔 NU 6.2（6 月 2 日至 3 日）： 一個永久性的修復方案，透過代號為 NU 6.2 的緊急網路升級正式部署。此升級修正了有缺陷的電路邏輯，並在零知識證明約束條件修復後，重新啟用了 Orchard 交易功能 。

市場海嘯：信任崩塌下的幣價與信心雙殺

即便漏洞已被修補，且未有證據顯示遭惡意利用，市場的信心卻已遭到重創。在 6 月 4 日至 5 日公開揭露後，ZEC 立刻遭遇劇烈拋售：

• ZEC 價格從揭露前的高點暴跌超過 40%，驅動主因是市場擔憂真實流通量可能比帳面數字大得多 。
• 跌勢因槓桿清算和大盤疲軟而進一步加劇 。
• 知名人物也做出激烈回應：BitMEX 共同創辦人 Arthur Hayes 公開證實，他在漏洞揭露後已清倉其持有的所有 Zcash 部位 。

餘波蕩漾：隱私幣的科技理想與現實考驗

Orchard 事件如同一面照妖鏡，將隱私幣乃至整個區塊鏈產業的幾個核心矛盾，再次攤在陽光下：

• 隱私幣能被完全信任嗎？ 一個建立在最先進密碼學上的核心隱私池，竟藏有長達四年的無聲偽造風險，大幅加深了外界對隱私區塊鏈可審計性的質疑 。當供給量的真實性無法被外界獨立驗證時，這種「相信我」機制就成了比特幣透明模型的反面教材。
• AI 輔助稽核 vs. 傳統安全審查 這個被專業稽核公司多年來多次錯過的漏洞，竟由一個 AI 模型在數小時內找到。此一驚人事實，點燃了關於是否該將形式化驗證與 AI 驅動的程式碼分析，強制納入零知識證明電路（尤其涉及資產價值時）的標準流程 的激烈辯論 。
• 零知識證明的複雜性風險 此事件凸顯了實作如 Halo 2 這類遞迴零知識證明電路的超高難度。已有評論家提出疑問：現代隱私協議的密碼學複雜度，是否已超越了業界透過常規審計方法來確保其安全性的能力？
• 去中心化網路的緊急治理困境 快速協調軟、硬分岔的應變能力，展現了擁有一個受信任、具備強大權限的開發團隊的價值——但同時也引發質疑：如果一小群人就能在一夜之間關閉其旗艦級的隱私功能，這樣的網路，還能被稱為無需許可（Permissionless）嗎？

這起事件最終可能成為一個轉捩點。它不僅僅是 Zcash 的一次壓力測試，更為所有仰賴複雜密碼學的區塊鏈專案，敲響了一記關於安全、信任與治理的警鐘。