如果你在詢問關於鐵木提案下Zcash流通供應的驗證，關鍵思想是：

背景

在Zcash的果園隱蔽池中發現了一個關鍵的僞造漏洞，並在緊急升級中修復。雖然目前沒有證據表明該漏洞被利用，但果園的隱私特性意味着用戶無法獨立證明沒有非法的$ZEC 被創建。

鐵木的變化

ZEC

408.25

+10.17%

提議的鐵木升級創建了一個新的隱蔽池，並有效地凍結了舊的果園池，阻止其創建新的內部輸出。資金只能通過Zcash現有的旋轉門會計機制離開果園，並轉入鐵木。

流通供應驗證的工作原理

在Ironwood下：

用戶可以運行一個節點並彙總活躍池的餘額。

Turnstile機制強制執行，確保從Orchard流出的ZEC不超過合法進入的數量。

因此，一旦Ironwood激活，協議本身提供了流通供應的可驗證上限。

用戶不再需要相信開發者關於Orchard漏洞是否被利用的說法；他們可以通過共識規則和池餘額來驗證供應的一致性。

這爲什麼重要

修復Orchard後的未解決問題不是漏洞本身，而是無法獨立驗證流通供應是否正確。Ironwood專門設計用於恢復這一屬性。

過去被利用的潛在證據

Ironwood還可能揭示假冒ZEC是否曾經存在：

如果遷移順利且沒有多餘的ZEC試圖退出Orchard，那將是沒有發生假冒的強有力證據。

如果多餘的ZEC確實嘗試遷移，Turnstile機制將阻止其進入新的池，從而產生可觀察的鏈上證據，證明發生了利用。

簡明驗證聲明

Ironwood提案通過強制所有Orchard資金通過共識強制的Turnstile進入新的隱蔽池，恢復了流通供應驗證，允許任何運行節點的用戶驗證流通中的ZEC數量不超過協議合法記賬的數量。

如果你想要對供應會計模型進行正式的審計風格驗證，或者想要了解Turnstile機制的數學推導，我可以詳細分解這些會計方程。