Zooko Wilcox 表示 Zcash（ZEC）供應量可驗證：Ironwood 區塊如何防止秘密通脹
2026/08/02 13:00:00
Zcash 的 Ironwood 升級已重塑了關於在退役的 Orchard 隱藏池中發現關鍵漏洞後，ZEC 供應量是否仍可驗證的爭議。儘管目前沒有已知的主網被利用的證據，但 Orchard 的隱私保護措施阻止了調查人員確鑿證明偽造鈔票從未被創建。Zcash 聯合創始人 Zooko Wilcox 表示，用戶現在可以獨立驗證協議所記載的供應量。通過將 Orchard 設為僅退出模式，追蹤池餘額並將提款路由至 Zcash 轉盤，Ironwood 防止了理論上的超额價值流通或逃逸至更廣泛的 Zcash 經濟中。然而，此升級強化了當前 ZEC 供應量的完整性，但並未證明 Orchard 漏洞從未被利用。
Zooko Wilcox 表示 Zcash 的供應量可本地驗證
Zcash 聯合創始人 Zooko Wilcox 表示，隨著於 2026 年 7 月 28 日啟用的 Ironwood 網路升級，使用者可在本地電腦上獨立驗證 ZEC 的供應量。他在 7 月 29 日於 X 上發文指出，一個完全同步的節點顯示出鏈上供應快照為 16,848,458 ZEC，約佔 Zcash 固定 2100 萬最大供應量的 80.23%。此數字並非永久不變，因為根據協議的發行時間表，挖礦獎勵仍會持續新增 ZEC。
Ironwood 將原始的 Orchard 隱蔽池設置為僅可提現，阻止了池內的新充幣和普通轉帳。離開 Orchard 的資金必須經過協議層的會計機制，該機制將提現限於可驗證的 ZEC 存入數量。通過運行完全同步的 Zcash 節點並使用 getblockchaininfo RPC，用戶無需依賴開發者、交易所或第三方區塊探索者，即可檢查 chainSupply 和 valuePools 欄位。
節點報告的鏈上供應量可能與市場流通供應量的估計不同，因為協議會計可能包括已發行但存放在受限或延期池中的 ZEC，而數據提供方可能排除他們認為無法交易的資產。因此，威爾科克斯的數據應被理解為一個可本地驗證的區塊鏈快照，而非市場中實際流通的 ZEC 數量。
Ironwood 與 Zcash 轉門塊如何隱藏 ZEC 通脹
Zcash Ironwood 升級解決了舊有 Orchard 設計所產生的特定弱點：即使網絡阻止了過多價值進入另一個池，偽造的註記理論上仍可存在，並在防護池內持續私下轉手。Ironwood 透過將對 Orchard 活動的嚴格限制與 Zcash 轉盤的公開會計規則相結合，解決了這一問題。結果是建立了一個協議邊界，阻止了假想的偽造 ZEC 在 Orchard 內保持經濟活性或進入更廣泛的 Zcash 經濟。
Ironwood 將果園盾牌池轉變為僅限退出系統
在 Ironwood 之前，Orchard 作為一個活躍的隱藏池，用戶可在其中接收資金、進行私密付款並轉移價值，而無需透露個別金額或地址。這種隱私依賴於 Orchard 的零知識電路的健全性，但後來發現該電路包含一個約束不足的元素，理論上可能接受偽造鈔票為有效。Ironwood 改變了 Orchard 在共識層級的角色，而非僅依賴修正後的電路。新資金已無法進入舊池，coinbase 奖勵無法產生 Orchard 輸出，且 Orchard 內部的普通跨地址付款已被禁用。合法持有者仍可將資金轉出，包括需要自訂找零的交易，但 Orchard 不再能作為一個獨立的私密經濟體，讓 ZEC 在不同用戶之間反覆流通。新的隱藏活動將導向獨立的 Ironwood 池，使 Orchard 的剩餘餘額隨時間逐漸減少，同時防止額外資金或新發行的 ZEC 進入已退役的系統。
Zcash 轉門如何限制 Orchard 提款
Zcash 的轉門是一種鏈上會計機制，用於追蹤進入和離開每個屏蔽池的總價值，而不洩露其內部進行的私密交易。個人的 Orchard 餘額、地址和轉帳仍保持隱藏，但跨越池邊界的資金流動會產生其總價值的公開可驗證變動。
每個完整節點都會維持此鏈上價值平衡，若交易試圖從 Orchard 提取超過透過已記錄的充幣和協議授權流動所合法進入的 ZEC 數量，則會拒絕該區塊。轉門無需識別哪些個別註記是合法或偽造的，而是對整個資金池實施累計提幣上限。如果透過先前的 Orchard 漏洞創建了假想的偽造 ZEC，則這些過量價值在公共賬目記錄中將沒有對應的充幣記錄，因此一旦達到合法的提取限額，便無法轉入 Ironwood、Sapling 或透明資金池。這一區分至關重要，因為轉門在 Ironwood 之前就已存在，但此前 Orchard 用戶仍可私下在資金池內轉移註記。Ironwood 封閉了這一內部流通路徑，使轉門成為唯一具有經濟意義的前進途徑。
為何 Ironwood 不要求每位果園持有者進行遷移
防止秘密 ZEC 通脹的保護機制並不依賴於所有合法的 Orchard 餘額都遷移至 Ironwood。一旦新的共識限制生效，Orchard 就無法再接受充幣或支援不同用戶之間的普通付款，而其唯一的退出途徑仍受轉門驗證提取限額的限制。任何因私鑰遺失、棄用錢包、測試資金或不經濟的小額資產而從未遷移的 ZEC，都將被孤立在一個無法擴張或作為活躍支付網絡運作的資金池中。因此，Orchard 至 Ironwood 的遷移可能永遠無法達到百分之百，但不完整的遷移並不會允許過剩價值流通。遷移進度仍可提供有關先前漏洞的有用證據：若在轉門未達限額的情況下，持續有合法提款流出，將強化「大規模偽造可能未發生」的評估。若最終提款申請超過資金池的驗證存款總額，網路將拒絕過剩部分並暴露可測量的不一致。這類證據固然重要，但與 Orchard 變為僅限退出時所建立的即時供應保護無關。
Ironwood 建立了一個獨立核算的隱私池
Ironwood 不繼承 Orchard 的內部狀態或隱藏筆記歷史。它作為一個獨立的隱藏池啟動，擁有自身的鏈上價值餘額、筆記承諾樹、空值集和交易歷史，從而在已退役的系統與未來的私有 ZEC 活動之間建立清晰的會計邊界。進入 Ironwood 的資金必須通過共識授權的交易到達，其價值會反映在公共池的會計中，從而防止未經驗證的 Orchard 價值悄然延續。新池使用經過修正的基於 Orchard 的電路，並結合額外的安全分析與專注於餘額完整性的形式化驗證。這種分層設計意味著 Zcash 網絡無需僅依賴於對早期漏洞是否被利用的假設。相反，Ironwood 限制舊池，對每一筆提款實施累計轉閘會計，並將新的隱藏價值記錄在一個獨立監控的系統中。根據網絡的共識規則和明確的密碼學假設，假想的偽造 Orchard 筆記無法在其他地方秘密變為可花費的 ZEC，這正是 Ironwood 保護 ZEC 供應完整性的核心機制。
Ironwood 證明了 Orchard 錯誤、ZEC 遷移與剩餘風險
Ironwood 對 Zcash 的供應完整性提供了前瞻性保障，但並未回溯重建每一筆私密的 Orchard 交易，也無法確定早期漏洞從未被利用。在評估 Orchard 漏洞、ZEC 遷移的目的以及通過形式化驗證引入的安全保護時，理解這一區別至關重要。最準確的結論是，Ironwood 可防止任何假設性的過量 Orchard 價值繼續成為可用 Zcash 經濟的一部分，而關於修復前是否創建了偽造鈔票的歷史問題仍懸而未決。
Zcash 的 Orchard 漏洞曾被利用嗎？
目前沒有已知證據表明 Orchard 漏洞曾在 Zcash 主網上被利用，參與調查的組織表示，此前被利用的可能性較低。安全研究員 Taylor Hornby 透過在本地 regtest 環境中創建一個可運行的利用程式，證明了該缺陷確實存在，但一次成功的測試並不能證明其他方曾發現或使用相同方法攻擊實時網絡。開發人員報告稱，未發現與該漏洞相關的任何確認的未授權價值創造、用戶損失或隱私洩露。觀察到的 Orchard 活動也未顯示加密貨幣漏洞常見的激進提款行為，即攻擊者試圖在漏洞修復前將偽造資產轉換為流動價值。這些觀察結果支持了「可能未被利用」的評估，但它們仍屬於間接證據，而非密碼學證明。由於 Orchard 隱藏了交易數量、發送者、接收者以及私有註記之間的關係，調查人員無法重放其完整的內部經濟歷史，因此無法確切判斷攻擊者是否創建了從未提取或未公開貨幣化的偽造註記。
Ironwood 的正式驗證實際證明了什麼
Project Tachyon 於 2026 年 7 月 28 日發布了對 Ironwood 餘額完整性的機器檢查形式化驗證。該工作包含超過 2,700 個 Lean 定理，並需要三支研究團隊和密碼學家團隊耗時一個多月完成。該驗證檢驗 Ironwood 的證明系統和帳本規則是否能強制執行防止無法檢測的偽造所需的條件，包括證明有效支出與先前創建的筆記相對應、數值保持在允許範圍內、空值防止同一筆記被重複支出，以及隱藏的輸入和輸出與公開聲明進入或離開資金池的價值保持平衡。該驗證還分析了 Ironwood 零知識證明系統的知識健全性，將被接受的證明與在既定密碼學假設下有效的底層證人相連接。這比普通的軟體審查強大得多，因為安全屬性以數學方式表達，並由證明助手檢查，而非僅依賴人工檢查或有限的測試案例。
儘管如此，正式驗證仍應根據其實際範圍進行描述。已完成的工作專注於餘額完整性與防偽能力，而非 Zcash 網絡的所有可能屬性。它並未證明 Ironwood 的隱私保障、消除錢包中的操作錯誤，或確保所有未來軟體都不會出現實現漏洞。該證明也依賴於公認的密碼學假設，包括離散對數、隨機神諭建模和簽名不可偽造性。Project Tachyon 認為，若實現與形式化分析的驗證器存在偏差，將會留下可公開重放的證據，因為被接受的證明會記錄在區塊鏈上，但這並不意味著所有安全風險都已消失。Ironwood 的 ZIP 2005 功能也應謹慎描述：它創建了量子可恢復的筆記記錄，旨在未來若當前密碼學被削弱時支援資金恢復，但這並不意味著 Zcash 現在已完全抵抗量子計算。
園林至鐵木遷移能揭示什麼
遷移活動可能提供額外證據，以判斷 Orchard 漏洞是否被利用，儘管它無法提供完美的歷史答案。在 Ironwood 首日，約有 176,000 ZEC（當時價值約 8100 萬美元）進入，相當於 Orchard 在啟用時餘額的大約 5%。合法持有者持續提款會減少 Orchard 中剩餘的數量，並測試已認可的申索能否在沒有會計衝突的情況下處理。如果大量餘額在一段時間內成功轉移，且沒有任何嘗試超過資金池允許的提款容量，則應能提高信心，認為未發生大規模偽造行為。相反，如果看似有效的提款申索最終超過了 Orchard 會計限額所允許的數量，則被拒絕的超出部分將提供公開可觀察的證據，表明存在比合法充幣所能支持的更多的私密申索。
遷移過程無法確鑿證明每個 Orchard 記錄都是合法的，因為部分餘額可能永遠不會被轉移。私鑰可能遺失、錢包可能被棄用，而極小額資產的轉帳可能仍不具經濟效益。假設的攻擊者也可能保留偽造的記錄而不冒險暴露不一致之處。因此，遷移數據應被視為一個持續發展的證據來源，而非倒數至歷史不確定性完全消失的單一時刻。文章應避免聲稱當遷移達到 100% 時，Zcash 社區將獲得明確結論，因為完全遷移可能永遠不會發生。更合理的解釋是，有序遷移可以縮小實際不確定性，並加強對合法 Orchard 餘額的信心，而不會重寫錢包的私密交易歷史。
園區持有者與錢包使用者的剩餘風險
最嚴重的剩餘理論風險在於，若在漏洞修復前發生偽造行為，則合法 Orchard 餘額的可恢復性會受到影響。Shielded Labs 認為此情境可能性低，但若偽造資金在合法使用者之前被提領，後續持有者最終可能遭遇資金池的提領上限。協議一旦兩種註記均在舊有漏洞電路下被接受，便無法根據所有權歷史區分偽造註記與合法註記；它只能強制執行允許退出的總數量。目前無任何證據顯示 Orchard 持有者正面臨此結果，且早期遷移活動也未發現會計缺口。然而，描述此尾部風險仍是必要的，因為「無利用證據」與「證明從未發生利用」是本質上不同的結論。
用戶還面臨與錢包相容性、服務可用性和隱私相關的實際遷移風險。在資金能夠安全轉移之前，錢包必須支援 Ironwood 網路規則以及 Orchard 到 Ironwood 的遷移過程。交易所、託管方和錢包供應商在升級其基礎設施時，可能會暫時停止 ZEC 充幣或提幣，這可能導致餘額暫時無法存取，但並未表明資金已遺失。遷移還會暴露池與池之間的資金數量和時間，儘管每個池內的隱藏交易活動仍保持私密。遠端錢包服務還可能將遷移請求與用戶的 IP 位址關聯，造成網路層級的隱私風險。用戶應驗證官方錢包支援情況，保護恢復資訊，保留安全備份，並在支援的情況下考慮使用隱私保護的網路工具，例如 Tor 或 Nym。Ironwood 大幅強化了 ZEC 供應的完整性，但安全遷移仍取決於可靠的錢包軟體、謹慎的用戶行為以及 Zcash 生態系統的透明支援。
結論
Zooko Wilcox 指出 Zcash 供應量已可驗證，這反映了 Ironwood 升級最重要的成果：用戶不再需要完全依賴開發者的保證，或等待所有 Orchard 餘額完成遷移後，才能評估可用 ZEC 供應量的健全性。Ironwood 建立了一個乾淨的隱藏池，將與 Orchard 相關的不確定性隔離，並應用共識規則，防止假設的過量價值繼續作為流通中的 ZEC。其經過形式驗證的餘額完整性特性，進一步確保了新池設計能防止在 Orchard 中發現的那種無法檢測的偽造漏洞。
準確的結論並非鐵木（Ironwood）證明了果園（Orchard）漏洞從未被利用。歷史上的利用情況仍未知，儘管目前沒有證據表明主網上曾產生偽造的 ZEC。鐵木所證明的是，任何假設的過量果園價值無法繼續秘密流通或自由流入 Zcash 生態系統的其他部分。遷移數據可能逐漸增強對合法餘額的信心，但錢包兼容性、隱私暴露以及晚期果園提款的理論性可恢復風險仍需關注。對於 ZEC 持有者而言，此次升級大幅提升了供應量的可驗證性，同時也說明了在注重隱私的加密貨幣系統中，精確的語言、獨立驗證和謹慎的安全實踐為何依然至關重要。
|
KuCoin 正慶祝成立 9 週年，推出專屬平台活動，提供獨家獎勵、交易活動和限時優惠。不要錯過參與並享受這家交易所邁入第九年成長與創新成果的機會。立即訪問官方活動頁面：
|
常見問題
Ironwood 是一種新的 Zcash 代幣，還是一種獨立的加密貨幣？
No. Ironwood 是透過 Zcash NU6.3 網路升級引入的新隱藏價值池，並非獨立的加密貨幣、區塊鏈或替代代幣。ZEC 仍是 Zcash 網路的原生資產，其代碼、貨幣政策和所有權規則均未改變。持有者無需將 ZEC 兌換為「Ironwood 代幣」、申領空投或將資金發送至代幣合約。任何提供特殊 Ironwood 幣兌換的網站或社交媒體帳戶都應謹慎對待，因為合法的遷移僅會透過相容的 Zcash 錢包軟體進行。
哪些 ZEC 持有者需要完成 Orchard 到 Ironwood 的遷移？
遷移主要適用於持有 ZEC 且位於已退役的 Orchard 隱藏池中的用戶。存放在透明池、Sapling、託管平台帳戶或已使用 Ironwood 的錢包中的 ZEC，無需進行相同的 Orchard 遷移程序。自行保管用戶在採取行動前應檢查其錢包的池級餘額細分，因為單一錢包可能包含多個 Zcash 價值池的資金。Orchard 資金仍與其合法所有者相關聯，但必須使用支援遷移交易的更新錢包，才能將這些資金移入 Ironwood。
使用託管平台的用戶需要手動遷移 ZEC 嗎？
透過中心化交易平台或託管服務持有 ZEC 的用戶通常不會自行執行 Orchard 至 Ironwood 的技術遷移，因為服務商控制底層錢包基礎設施。供應商負責更新其節點、錢包軟體以及充幣或提幣系統。然而，用戶在轉移資金前應檢查平台目前的 Zcash 網路狀態，因為在基礎設施升級期間，充幣和提幣可能會暫時中止。服務暫停並不代表資金遺失，但用戶應等待官方確認支援 Ironwood 交易後，再啟動提幣。
移出 Orchard 的 ZEC 有截止日期嗎？
Ironwood 設計不會設定一個統一的截止日期來自動沒收或過期合法的 Orchard 餘額。遷移是自願的，並可能延續一段較長時間，因為錢包提供商、託管方和個別持有者會以不同的速度進行遷移。部分資金可能會永久保留，因為其私鑰已遺失，或餘額過小而無法經濟地轉帳。然而，Orchard 不再是正常隱藏交易的現行目標，因此希望使用資金的持有者應最終透過支援的錢包軟體進行遷移，而非假設所有舊錢包都會永久運作。
用戶如何檢查 Zcash 錢包是否支援 Ironwood？
用戶應查閱錢包開發商的官方發行說明或支援文件，以確認是否明確支援 NU6.3、Ironwood 或 ZIP 318 Orchard 遷移。錢包應僅透過其經驗證的網站、官方應用程式商店頁面或經過認證的軟體儲存庫進行下載或更新。相容版本可能會顯示分開的 Orchard 和 Ironwood 餘額，或提供內建的遷移選項。在轉移 ZEC 之前，用戶應確認其恢復短語或錢包備份的安全性，並在可行的情況下，先以較小餘額測試該過程。現有的 Zcash 地址可能仍可使用，但正確路由至 Ironwood 取決於更新後的钱包實現。
Ironwood 會改變透明或 Sapling ZEC 餘額嗎？
No。透明、Sapling、Orchard 和 Ironwood 是同一條 Zcash 區塊鏈內的獨立價值池，而 Ironwood 升級不會自動轉換或作廢其他池中的 ZEC。透明餘額仍會保留公開可見的交易細節，而 Sapling 則為較舊的隱藏選項。然而，錢包和服務對各池的支持可能有所不同，因此用戶應確認其選擇的軟體支援哪些交易類型。將 ZEC 從一個池移動到另一個池是一筆鏈上交易，而非底層資產的變更。
免責聲明：本文僅供資訊參考，不構成財務或投資建議。加密貨幣價格波動劇烈，讀者應在做出財務決定前核實最新數據並進行獨立研究。
免責聲明: 本頁面經由 AI 技術翻譯，旨在方便您的閱讀。欲獲取最準確資訊，請以原始英文版本為準。