Zcash 的 ZEC 代幣上漲約 12%，原因是 Project Tachyon 背後的開發人員宣布他們即將正式證明該網路即將推出的 Ironwood 屏蔽池不存在無法偵測的偽造漏洞。此次價格上漲是在形式驗證工作取得進展之後，該工作旨在排除 Zcash 的 zk-SNARK 電路中可能允許隱藏 ZEC 鑄造的安全性漏洞。研究員 Taylor Hornby 發現的 Orchard 漏洞是 Zcash 用於屏蔽交易的電路中的一個弱點，不過開發人員認為並未發生任何利用行為。Ironwood 預計將於 7 月底啟用，並帶有一個轉閘機制，讓用戶可以將資金從即將接入網路的有漏洞 Orchard 池遷移出來，並有助於證明沒有發生偽造。
Orchard 漏洞可能導致隱藏偽造
Orchard 漏洞是 Zcash 用於屏蔽交易的 zk-SNARK 電路中的一個安全性漏洞。安全性漏洞允許不誠實的證明者說服網路接受一個虛假陳述，在這種情況下可能讓攻擊者在沒有鏈上痕跡的情況下鑄造偽造的 ZEC。由於任何利用行為都無法被察覺，開發人員可以修補這個漏洞，但無法證明它從未被使用過。Taylor Hornby 發現了這個弱點。
Ironwood 引入形式驗證與轉閘機制
Ironwood 是一個基於 Orchard 的全新屏蔽池，已修復漏洞並重建。Tachyon 團隊表示，他們「主要進行了全面的努力來對 Ironwood 進行形式驗證，排除了無法偵測的偽造漏洞」，並指出此類漏洞「只能存在於規格中」，因為實作錯誤會在帳本上留下可偵測的證據。
為了處理已經存在於有漏洞池中的幣，Ironwood 包含了一個轉閘機制。錢包將資金從 Orchard 遷移到 Ironwood，並停用舊池中的付款，這為 ZEC 的流通量設定了一個上限，有助於證明沒有發生偽造。開發人員表示他們相信沒有發生利用行為，而轉閘的設計就是將這種信念轉變為網路可以檢查的事項。
開發人員表示，他們預計在 7 月底啟用 Ironwood，而對新池的形式驗證將解決偽造漏洞是否曾經是一個實際風險的問題。
ZEC 價格已收復揭露後跌幅約一半
ZEC 在揭露後的兩天內從約 600 美元下跌至約 300 美元，隨後回升至約 457 美元。該代幣目前已收復約一半的跌幅。12% 的漲幅是在 Project Tachyon 開發人員宣布形式驗證進展之後出現的。
Ironwood 升級背後的開發團隊
此次升級由多個 Zcash 團隊共同建置，包括 Zcash Open Development Lab，這是一個由前 Electric Coin Company 工程師分拆出來的機構，今年籌集了 2500 萬美元用於資助隱私工作。發現 Orchard 漏洞的 Taylor Hornby 任職於 Shielded Labs。
常見問題
什麼是 Zcash 的 Orchard 漏洞？
Orchard 漏洞是 Zcash 的 zk-SNARK 電路中的一個安全性漏洞，可能讓攻擊者在沒有鏈上痕跡的情況下鑄造偽造的 ZEC。此漏洞由研究員 Taylor Hornby 發現，它允許不誠實的證明者說服網路接受一個虛假陳述，不過開發人員認為並未發生任何利用行為。
Ironwood 的轉閘機制是如何運作的？
轉閘允許錢包將資金從有漏洞的 Orchard 池遷移到新的 Ironwood 池。停用舊池中的付款為 ZEC 的流通量設定了一個上限，有助於證明在漏洞期間沒有發生偽造。
Zcash 將於何時啟用 Ironwood 升級？
開發人員預計在 7 月底啟用 Ironwood。對新池的形式驗證將解決偽造漏洞是否曾經是一個實際風險的問題。
