沉默嘅漏洞：一個零知識證明 Bug 點樣變成無限印鈔機

呢個漏洞，嚴格嚟講係一個**「健全性漏洞」**，出喺 Zcash 最先進嘅私隱層——Orchard 屏蔽池入面。Orchard 喺 2022 年 5 月上線，採用咗當時最尖端嘅 Halo 2 零知識證明系統，等用戶可以喺完全隱藏發送方、接收方同交易金額嘅情況下，都可以證明交易係有效嘅 。

漏洞喺 2026 年 5 月 29 日 被發現，發現者係獨立保安研究員 Taylor Hornby，佢當時正為 Zcash 生態系統組織 Shielded Labs 進行安全審計 。Hornby 嘅秘密武器，係 Anthropic 公司嘅 Claude Opus 4.8 AI 模型。呢個 AI 用咗短短一日時間，就搵出咗過去四年嚟多次專業人類審計都睇漏眼嘅致命缺陷 。

漏洞原理係點？ 問題出喺 Orchard 協議嘅「Action 電路」入面——呢個正係負責驗證私密交易嘅零知識證明邏輯核心。因為邏輯約束條件有錯漏，攻擊者可以偽造一個睇落完全有效嘅 Halo 2 證明，而呢個假證明竟然會被成個 Zcash 網絡當成正當交易去接納。換句話講，攻擊者唔需要有真金白銀嘅抵押，都可以透過偽造證明嚟創建無限數量嘅假 ZEC，而且絕對冇人會發現 。

Zcash 創辦人 Zooko Wilcox 親自確認咗件事有幾大鑊，佢話呢個漏洞「可能已被利用，去神不知鬼不覺咁創造無限數量嘅偽造 ZEC」。最得人驚嘅係，因為出事嘅係證明邏輯本身，而唔係一般嘅軟件 Bug，所以呢啲偽造出嚟嘅幣，喺區塊鏈上同真幣係完全冇分別，根本無法分辨。

隱形嘅危險：點解「信我啦」式漏洞係私隱科技嘅噩夢

呢次漏洞最令人心寒嘅，唔單止係通脹風險，而係網絡本身對呢種攻擊嘅絕對無能為力。Orchard 協議最核心嘅賣點——徹底嘅交易私隱——喺呢一刻，反而成為咗佢最大嘅負累。

Zcash 基金會已經確認，「冇證據顯示呢個漏洞曾經喺現實中被利用」，而 ZEC 嘅 2100 萬供應上限仍然完好無損 。但問題係，創辦人 Zooko Wilcox 都被迫要承認，由於 Orchard 嘅私隱特性，從密碼學角度去講，根本冇可能證明呢個漏洞喺修復之前到底有冇俾人利用過 。一個潛在嘅攻擊者，可能已經暗中印咗幾年銀紙，而帳本入面係唔會留低任何犯罪痕跡。

呢個就係私隱幣一直以嚟最棘手嘅「信任悖論」：

• 比特幣嘅透明度雖然低，但人人都可以隨時驗證總供應量，確保冇人偷偷加印。
• Zcash 用頂尖嘅密碼學換嚟絕對私隱，但代價就係連網絡自己都失去咗驗證總供應量是否完整嘅能力。最後只能靠「信我啦，團隊話未俾人攻擊過」呢一句說話，情況非常反諷。

緊急搶修：一次兵荒馬亂嘅「分叉」行動

發現漏洞之後，Zcash 嘅開發團隊用極快嘅速度展開咗分兩階段進行嘅「救災」行動：

1. 第一階段：緊急軟分叉（6 月 1-2 日）：開發團隊推出咗 zcashd v6.12.5 版本，暫時完全禁用咗所有 Orchard 屏蔽交易。呢一步係為咗爭取時間，防止喺分析根本原因期間，有人利用漏洞攻擊網絡 。
2. 第二階段：硬分叉升級（6 月 2-3 日）：透過一次名為 NU 6.2 嘅緊急網絡升級，團隊部署咗修復咗邏輯錯誤嘅全新零知識證明電路，然後重新開啟咗 Orchard 交易功能。呢次升級之後，漏洞先算係被徹底封死 。

雖然團隊反應迅速，前後只係用咗五日就搞掂晒，但呢次依靠中心化開發團隊快速叫停核心功能嚟「救火」嘅做法，亦都引發咗關於「去中心化網絡嘅治理權限」嘅激烈討論 。

市場大地震：信心崩潰同大佬跳船

漏洞公開之後，市場嘅反應嚟得好快，而且非常殘酷：

• 幣價暴跌超過 40%：消息喺 6 月 4-5 號全面公開之後，ZEC 嘅價格由公佈前嘅價位急插超過四成。市場陷入極度恐慌，因為大家都擔心真實嘅流通量可能遠超想像，自己手上嘅貨隨時變廢紙 。
• 大佬果斷跳船：加密貨幣界嘅傳奇人物、BitMEX 共同創辦人 Arthur Hayes 公開證實，佢已經喺漏洞消息爆出之後，清倉咗手上所有嘅 ZEC 持倉 。連呢類極有影響力嘅 OG 都走得咁決絕，進一步打擊咗市場僅餘嘅信心。
• 槓桿清算加劇跌勢：CoinMarketCap 嘅報告指出，恐慌引發嘅拋售潮，再加上大量高槓桿倉位被強制平倉，令到跌勢進一步加劇，形成惡性循環 。

重燃嘅辯論：私隱幣嘅未來仲有冇運行？

今次嘅 Orchard 漏洞事件，就好似喺加密貨幣社群入面引爆咗一個炸彈，重新掀起幾場關乎私隱幣生死嘅大辯論。

1. 私隱幣仲信唔信得過？
一個基於最尖端零知識密碼學、被視為私隱幣標杆嘅項目，其心臟地帶竟然收埋咗一個可以隨時引爆嘅計時炸彈，而且一瞓就係四年。反對派嘅批評不嬲都認為，當外界連總供應量都無法驗證嗰陣，「信得過我」嘅風險就取代咗比特幣嗰種透明、可審計嘅信任模型，而呢次事件似乎正正印證咗呢個憂慮 。

2. AI 審計 vs 人類專家：新時代已經降臨？
一個 AI 模型用一日時間搵出嚟嘅漏洞，頂尖嘅人類審計團隊用咗四年時間都睇唔到。呢個強烈對比引發咗業界熱議：對於零知識證明電路呢類極度複雜、處理真金白銀嘅邏輯，AI 輔助甚至主導嘅形式化驗證（Formal Verification），係咪應該由「選項」變成「必選項」？

3. 密碼學複雜性嘅風險
今次事故充分反映咗，實作遞歸 zk-SNARK 電路（例如 Halo 2）嘅難度極高，係咪已經超出咗現時業界透過傳統審計方式去保障安全嘅能力？當技術複雜到一個地步，連最聰明嘅人腦都可能犯錯，係咪需要一啲更根本性嘅方法去確保安全 ？

今次 Zcash 有驚無險，計時炸彈最終冇爆炸，靠嘅係研究員嘅努力同 AI 嘅助力。但呢次事件留低嘅最大陰影係：喺絕對嘅私隱之下，我哋點樣去證明下次都會咁好彩？呢個問題，恐怕唔係一次簡單嘅升級就可以解答得到。

沉默嘅漏洞：一個零知識證明 Bug 點樣變成無限印鈔機

呢個漏洞，嚴格嚟講係一個**「健全性漏洞」**，出喺 Zcash 最先進嘅私隱層——Orchard 屏蔽池入面。Orchard 喺 2022 年 5 月上線，採用咗當時最尖端嘅 Halo 2 零知識證明系統，等用戶可以喺完全隱藏發送方、接收方同交易金額嘅情況下，都可以證明交易係有效嘅 。

漏洞喺 2026 年 5 月 29 日 被發現，發現者係獨立保安研究員 Taylor Hornby，佢當時正為 Zcash 生態系統組織 Shielded Labs 進行安全審計 。Hornby 嘅秘密武器，係 Anthropic 公司嘅 Claude Opus 4.8 AI 模型。呢個 AI 用咗短短一日時間，就搵出咗過去四年嚟多次專業人類審計都睇漏眼嘅致命缺陷 。

漏洞原理係點？ 問題出喺 Orchard 協議嘅「Action 電路」入面——呢個正係負責驗證私密交易嘅零知識證明邏輯核心。因為邏輯約束條件有錯漏，攻擊者可以偽造一個睇落完全有效嘅 Halo 2 證明，而呢個假證明竟然會被成個 Zcash 網絡當成正當交易去接納。換句話講，攻擊者唔需要有真金白銀嘅抵押，都可以透過偽造證明嚟創建無限數量嘅假 ZEC，而且絕對冇人會發現 。

Zcash 創辦人 Zooko Wilcox 親自確認咗件事有幾大鑊，佢話呢個漏洞「可能已被利用，去神不知鬼不覺咁創造無限數量嘅偽造 ZEC」。最得人驚嘅係，因為出事嘅係證明邏輯本身，而唔係一般嘅軟件 Bug，所以呢啲偽造出嚟嘅幣，喺區塊鏈上同真幣係完全冇分別，根本無法分辨。

隱形嘅危險：點解「信我啦」式漏洞係私隱科技嘅噩夢

呢次漏洞最令人心寒嘅，唔單止係通脹風險，而係網絡本身對呢種攻擊嘅絕對無能為力。Orchard 協議最核心嘅賣點——徹底嘅交易私隱——喺呢一刻，反而成為咗佢最大嘅負累。

Zcash 基金會已經確認，「冇證據顯示呢個漏洞曾經喺現實中被利用」，而 ZEC 嘅 2100 萬供應上限仍然完好無損 。但問題係，創辦人 Zooko Wilcox 都被迫要承認，由於 Orchard 嘅私隱特性，從密碼學角度去講，根本冇可能證明呢個漏洞喺修復之前到底有冇俾人利用過 。一個潛在嘅攻擊者，可能已經暗中印咗幾年銀紙，而帳本入面係唔會留低任何犯罪痕跡。

呢個就係私隱幣一直以嚟最棘手嘅「信任悖論」：

• 比特幣嘅透明度雖然低，但人人都可以隨時驗證總供應量，確保冇人偷偷加印。
• Zcash 用頂尖嘅密碼學換嚟絕對私隱，但代價就係連網絡自己都失去咗驗證總供應量是否完整嘅能力。最後只能靠「信我啦，團隊話未俾人攻擊過」呢一句說話，情況非常反諷。

緊急搶修：一次兵荒馬亂嘅「分叉」行動

發現漏洞之後，Zcash 嘅開發團隊用極快嘅速度展開咗分兩階段進行嘅「救災」行動：

1. 第一階段：緊急軟分叉（6 月 1-2 日）：開發團隊推出咗 zcashd v6.12.5 版本，暫時完全禁用咗所有 Orchard 屏蔽交易。呢一步係為咗爭取時間，防止喺分析根本原因期間，有人利用漏洞攻擊網絡 。
2. 第二階段：硬分叉升級（6 月 2-3 日）：透過一次名為 NU 6.2 嘅緊急網絡升級，團隊部署咗修復咗邏輯錯誤嘅全新零知識證明電路，然後重新開啟咗 Orchard 交易功能。呢次升級之後，漏洞先算係被徹底封死 。

雖然團隊反應迅速，前後只係用咗五日就搞掂晒，但呢次依靠中心化開發團隊快速叫停核心功能嚟「救火」嘅做法，亦都引發咗關於「去中心化網絡嘅治理權限」嘅激烈討論 。

市場大地震：信心崩潰同大佬跳船

漏洞公開之後，市場嘅反應嚟得好快，而且非常殘酷：

• 幣價暴跌超過 40%：消息喺 6 月 4-5 號全面公開之後，ZEC 嘅價格由公佈前嘅價位急插超過四成。市場陷入極度恐慌，因為大家都擔心真實嘅流通量可能遠超想像，自己手上嘅貨隨時變廢紙 。
• 大佬果斷跳船：加密貨幣界嘅傳奇人物、BitMEX 共同創辦人 Arthur Hayes 公開證實，佢已經喺漏洞消息爆出之後，清倉咗手上所有嘅 ZEC 持倉 。連呢類極有影響力嘅 OG 都走得咁決絕，進一步打擊咗市場僅餘嘅信心。
• 槓桿清算加劇跌勢：CoinMarketCap 嘅報告指出，恐慌引發嘅拋售潮，再加上大量高槓桿倉位被強制平倉，令到跌勢進一步加劇，形成惡性循環 。

重燃嘅辯論：私隱幣嘅未來仲有冇運行？

今次嘅 Orchard 漏洞事件，就好似喺加密貨幣社群入面引爆咗一個炸彈，重新掀起幾場關乎私隱幣生死嘅大辯論。

1. 私隱幣仲信唔信得過？
一個基於最尖端零知識密碼學、被視為私隱幣標杆嘅項目，其心臟地帶竟然收埋咗一個可以隨時引爆嘅計時炸彈，而且一瞓就係四年。反對派嘅批評不嬲都認為，當外界連總供應量都無法驗證嗰陣，「信得過我」嘅風險就取代咗比特幣嗰種透明、可審計嘅信任模型，而呢次事件似乎正正印證咗呢個憂慮 。

2. AI 審計 vs 人類專家：新時代已經降臨？
一個 AI 模型用一日時間搵出嚟嘅漏洞，頂尖嘅人類審計團隊用咗四年時間都睇唔到。呢個強烈對比引發咗業界熱議：對於零知識證明電路呢類極度複雜、處理真金白銀嘅邏輯，AI 輔助甚至主導嘅形式化驗證（Formal Verification），係咪應該由「選項」變成「必選項」？

3. 密碼學複雜性嘅風險
今次事故充分反映咗，實作遞歸 zk-SNARK 電路（例如 Halo 2）嘅難度極高，係咪已經超出咗現時業界透過傳統審計方式去保障安全嘅能力？當技術複雜到一個地步，連最聰明嘅人腦都可能犯錯，係咪需要一啲更根本性嘅方法去確保安全 ？

今次 Zcash 有驚無險，計時炸彈最終冇爆炸，靠嘅係研究員嘅努力同 AI 嘅助力。但呢次事件留低嘅最大陰影係：喺絕對嘅私隱之下，我哋點樣去證明下次都會咁好彩？呢個問題，恐怕唔係一次簡單嘅升級就可以解答得到。