Zcash Orchard 漏洞修完才公開：隱私池四年無法證明有沒有被鑄出假 ZEC

Zcash 的賣點是隱私，但這次問題剛好卡在隱私本身。Orchard 護盾池 2022 年 5 月上線，讓交易內容藏在零知識證明裡。Taylor Hornby 5 月 29 日用自建 AI 審計流程搭配 Anthropic Opus 4.8，找到一個 soundness 漏洞。它可能讓無效狀態轉換被接受，甚至在池內製造無法辨識的假 ZEC。

Zcash 開發者已在 6 月 2 日完成緊急升級，Shielded Labs 6 月 4 日公開揭露，並說目前沒有證據顯示漏洞被利用。不過 Orchard 的隱私設計也代表：沒辦法用密碼學方式證明供給從未被污染。ZEC 消息後一度跌 38%，Arthur Hayes 隨後說已清掉全部 ZEC，理由正是「無法形式化證明不可能」。