Zcash 開發者於週二宣布，他們即將完成一項數學證明，證明該協議即將推出的 Ironwood 隱私池不包含無法偵測的偽造漏洞。Project Tachyon 公布了 Zcash Ironwood 隱私池驗證工作的新細節，創辦人 Zooko Wilcox 表示，該專案正處於為最新 Zcash 隱私池產出數學證明的邊緣，證明其中不存在無法偵測的偽造漏洞。這項公告是為了解決上月揭露的 Zcash Orchard 隱私池關鍵缺陷所引發的擔憂，該缺陷引發了對網路隱私系統完整性的質疑，以及以密碼學方式證明基於零知識證明架構中不存在隱藏漏洞的難度。
Zcash 的原生代幣 ZEC 在週二因這項消息上漲超過 12%，使該加密貨幣重新站回 500 美元以上。這是 ZEC 自 6 月初以來的最高水準，當時 Zcash Orchard 隱私池的關鍵缺陷曝光，導致這款注重隱私的加密貨幣在短短兩天內暴跌超過 40%。
Project Tachyon 概述 Ironwood 驗證方法
Project Tachyon 公布了 Zcash 即將推出的 Ironwood 隱私池驗證工作的新細節。該專案旨在證明 Ironwood 無法包含與 Orchard 池中相同的無法偵測偽造漏洞。Project Tachyon 表示，由於 AI 輔助證明生成的進展，這種方法已變得更加實用，將過去需要數年時間的工作縮短到數週。
6 月 Orchard 漏洞導致價格下跌 40%
6 月初揭露的漏洞可能允許攻擊者在 Orchard 隱私池內建立偽造的 ZEC 而不被偵測。開發者迅速修補了該缺陷，並表示他們相信該漏洞從未被利用。然而，Zcash 的隱私設計使得無法以密碼學方式證明漏洞未被利用。Zcash 的隱私池依賴於利用零知識證明（zero-knowledge proofs）隱藏交易金額，這意味著這些證明的缺陷可能允許偽造代幣被建立，而不留下公開可偵測的證據。
前 NEAR 貢獻者將 Zcash 與比特幣 2010 年的通膨漏洞相比
前 NEAR Protocol 貢獻者 Vadim Zacodil 將 Zcash 的情況與比特幣 2010 年的通膨漏洞相比，當時在區塊鏈回滾之前建立了 1840 億個假比特幣。由於比特幣交易是公開的，該漏洞立即被發現。然而，Zcash 的隱私池透過零知識證明（zero-knowledge proofs）隱藏交易金額，使得在沒有數學驗證方法的情況下，偵測類似漏洞更具挑戰性。
常見問題
Zcash 開發者在週二宣布了什麼？
Zcash 開發者宣布他們即將完成一項數學證明，證明該協議即將推出的 Ironwood 隱私池不包含無法偵測的偽造漏洞。Project Tachyon 公布了其驗證工作的新細節，創辦人 Zooko Wilcox 表示該專案正處於為最新 Zcash 隱私池產出數學證明的邊緣。
為什麼 ZEC 在 6 月初下跌了 40%？
ZEC 在 6 月初因 Zcash Orchard 隱私池的關鍵缺陷曝光，在短短兩天內暴跌超過 40%。該漏洞可能允許攻擊者在 Orchard 隱私池內建立偽造的 ZEC 而不被偵測，不過開發者迅速修補了該缺陷，並表示他們相信該漏洞從未被利用。
Zcash 的隱私設計與比特幣的透明性有何不同？
Zcash 的隱私池依賴於利用零知識證明（zero-knowledge proofs）隱藏交易金額的機制，這意味著這些證明的缺陷可能允許偽造代幣被建立，而不留下公開可偵測的證據。比特幣交易是公開的，因此像 2010 年建立 1840 億個假比特幣的通膨漏洞這類事件會立即被發現，並且區塊鏈被回滾。
