Zcash 擬推新加密池修復 Orchard 漏洞信任危機

Zcash 開發者與研究人員正緊急探討一項網絡升級方案，旨在通過引入新的加密池機制，修復近期 Orchard 漏洞對資金流動完整性造成的信任衝擊。總部位於瑞士的獨立支持組織 Shielded Labs 在週五發佈的安全更新中披露，該提案計劃部署全新的加密池，並對從 Orchard 加密池流出的 Zcash 實施'門禁式會計處理'，使用戶能夠更清晰地驗證資金去向。午方 AI 梳理發現，這一技術方案目前仍處於提案階段，需要進一步的技術說明並接受社區審查，Shielded Labs 計劃於下週發佈詳細帖子，闡述升級的具體運作邏輯及潛在權衡。

關於實施路徑，Zcash 開放開發實驗室創始人 Josh Swihart 在社交媒體上指出，原則上可在 7 月底的 NU7 網絡升級中針對 Orchard 加密池進行調整。但他明確反對社區必須建立第二個 Orchard 加密池的激進方案。此次討論的緊迫性源於 Zcash 剛剛完成的一次緊急升級，該升級成功修復了 Orchard 漏洞。Shielded Labs 強調，該漏洞理論上允許惡意行爲者在加密池中僞造無限數量的 ZEC，但截至目前，尚無證據表明該漏洞已被實際利用，儘管目前缺乏加密學方法能完全證僞修復前的利用可能性。

市場對該安全事件的反應極爲劇烈。在團隊公開披露漏洞後，ZEC 價格從當日最高點的 550.30 美元驟降至 264.80 美元，跌幅接近 50%。午方 AI 監測數據顯示，截至報道撰寫時，ZEC 價格已回升至 308.07 美元，但仍顯著低於週五高點。儘管價格波動劇烈，部分行業領袖對團隊的應對措施表示支持。CyberCapital 創始人 Justin Bons 認爲市場反應過度，因爲漏洞已被修復且由善意研究者率先發現；Gemini 聯合創始人 Cameron Winklevoss 則指出，漏洞的出現恰恰證明了 Zcash 對安全研究的重視，關鍵在於團隊能否在攻擊者之前發現並修復問題。

這一事件再次將'形式化驗證'推向了行業討論的中心。形式化驗證是一種利用數學證明來檢查軟件或加密電路是否符合設計初衷的方法。Zcash 開發者 Sean Bowe 指出，加密池的隱私保護依賴於特定的密碼學假設，長遠來看必須實現形式化驗證。Swihart 進一步分析認爲，Orchard 漏洞源於加密機制的設計缺陷而非底層密碼學原理，形式化驗證能將人工審覈簡化爲對規範文檔的核查，使計算機自動判斷合規性。午方 AI 注意到，區塊鏈創業公司 1kx 研究合夥人 Wei Dai 也表達了類似觀點，他認爲回顧來看該漏洞'相當明顯'，擴大形式化驗證的應用範圍可能是解決此類問題的唯一長期方案。