ZEC限制Orchard資金池 Ironwood強化供應驗證

Zcash(ZEC)為防止零知識證明系統一旦出現瑕疵、偽幣隨之擴散，決定限制既有的Orchard資金池，並導入新的Ironwood資金池。

核心裝置是設置在Orchard與Ironwood之間的「turnstile」（旋轉閘門）。turnstile為可從Orchard移往Ironwood的資金總量設下上限，防止流出金額超過過去實際流入Orchard的正常價值。

Tachyon 專案（Project Tachyon）說明，turnstile並非逐一辨識偽幣，而是限制舊資金池能夠流出的總量。即使Orchard內部仍殘留偽幣,也難以讓這些偽幣轉為可無限制對外流通的追加供給。

Zcash營運的實護（shielded）資金池不公開交易雙方與金額。交易是否正常由零知識證明負責驗證，但證明電路的健全性（soundness）一旦出現缺陷,未滿足實際條件的交易仍可能通過驗證。

如此一來，就有可能產生原本不該存在的ZEC。由於實護資金池難以透過公開帳本確認交易與餘額，就算過去曾產生偽幣，事後追蹤也相當困難。

Orchard的零知識證明電路正被發現存在具有上述偽造風險的漏洞。Tachyon 專案表示，該漏洞於2026年5月29日被發現，其後已完成修補，目前沒有證據顯示曾遭惡意利用。

此次因應的第一步，是限制Orchard的功能。既有的Orchard已無法建立新的實護輸出（shielded output），既有資金只能透過turnstile移往Ironwood，或提領至透明位址。

Ironwood是為降低既有Orchard風險而新增的實護資金池。設計上，Ironwood新發行的價值不會直接沿用Orchard過去的狀態。

turnstile在資金由Orchard轉往Ironwood的過程中，扮演會計裝置的角色。它以實際流入Orchard的正常價值總量為基準設定出口上限，藉此限制資金池內部額外產生的價值，透過這條路徑擴大對外供給。

這套機制並不會個別判斷真幣與偽幣，而是限制Orchard整體可流出的金額，避免摻雜偽幣的資金無限制地移往Ironwood。

Ironwood同時採用了「形式驗證」（formal verification）。形式驗證不僅止於由資安專家審查程式碼，而是把系統必須滿足的安全條件轉化為數學命題，再以機器方式加以證明。

Tachyon 專案已公開針對Ironwood供應健全性的機器驗證證明。這份公開資料的目標，在於證明Ironwood不存在無法偵測的偽幣漏洞。

Ironwood已於2026年7月28日隨NU6.3升級正式啟用。本網先前曾報導Zcash的Ironwood遷移工具已完成部署，說明既有Orchard資金的移轉流程。

Zcash的實護交易設計為在不公開交易金額與收付款人資訊的前提下，同時防止雙重支付與虛假資產發行。本網也曾在Zcash實護交易的驗證機制報導中說明，nullifier、零知識證明、價值承諾（value commitment）與綁定簽章（binding signature）分別如何確認交易的使用狀態、權限與價值平衡。

Zcash的最大供應量與比特幣(BTC)相同，同為2100萬顆ZEC。此次措施在維持隱私功能的同時，透過turnstile等會計裝置與Ironwood的數學驗證，補強了供應量的健全性。