隱私公鏈Iron Fish將終止網絡剩餘支持，確認2019年Merkle樹通脹漏洞
隱私公鏈Iron Fish於2026年10月30日在X平臺發文表示，將在當天晚些時候終止對Iron Fish網絡的所有剩餘支持。團隊表示，近日發現wIRON與ChainPort跨鏈橋出現異常活動。經與ChainPort協作排查並審查日誌後確認，根因是Iron Fish區塊鏈自身的通脹漏洞，而非跨鏈橋。
該漏洞可追溯至2019年初Merkle樹實現中的一次提交。當時的開發者實現了一個標準的Merkle樹，但由於票據nullifier（允許用戶使用其資金的機制）在計算方式上的細微差異，攻擊者得以多次使用同一筆票據。隨後，攻擊者利用這一漏洞將多筆票據進行彙總，並通過ChainPort跨鏈橋完成了資金轉移。團隊指出，該代碼路徑雖在內外部審計範圍內，但漏洞未被發現。Iron Fish已提交修復補丁並附詳細事後分析報告（相關PR中包含postmortem），隨後將關閉並歸檔Iron Fish代碼庫。
Iron Fish在聲明中指出，無法即時升級的軟件（加密領域多數項目均屬此類）處於極度脆弱地位；發現與利用複雜代碼漏洞的能力正日益“商品化”。團隊對社區表示感謝，並祝願加密行業找到出路。GitHub上的事後分析進一步說明，舊實現中空右分支通過複製左分支填充，導致同一票據可在不同位置產生有效證明與不同nullifier，從而繞過重複花費檢查；修復僅適用於從新創世塊啓動的新鏈，與現有主網歷史不兼容。
原始來源：
標題：Iron Fish官方X平臺公告
發佈者：Iron Fish (@ironfishcrypto)
發佈日期：2026-10-30
URL：https://x.com/ironfishcrypto/status/2116278010802586090
來源性質：當事人原帖
覈驗情況：本次讀取原帖全文，覈驗日期2026-10-31
支持內容：終止剩餘支持、異常活動發現、與ChainPort協作確認通脹漏洞、追溯至2019年Merkle樹提交、nullifier計算差異導致重複花費、通過橋轉移、審計未發現、提交補丁與postmortem後歸檔、對不可即時升級軟件與漏洞發現商品化的表態。標題：Merkle note position alias postmortem
發佈者：Iron Fish（GitHub倉庫）
發佈日期：2026-10-30（相關提交）
URL：https://github.com/iron-fish/ironfish/blob/master/docs/merkle-note-position-alias-postmortem.md
來源性質：官方文件
覈驗情況：本次讀取全文，覈驗日期2026-10-31
支持內容：漏洞機制（空右分支複製導致位置別名與不同nullifier）、修復僅適用於新鏈、與Zcash相關設計對比等技術細節。
ABAB AI 解讀
Iron Fish是一條以隱私交易爲核心的Layer-1網絡，採用與Zcash Sapling類似的note commitment與nullifier機制來隱藏金額與交易方。其Merkle樹用於證明note存在於承諾樹中，而nullifier則作爲公開標識防止同一note被重複花費。2019年初的Merkle樹實現選擇了“空右分支複製左分支”的填充方式，這一規則在後續生產代碼中沿用。由於nullifier計算依賴note在樹中的私有位置，攻擊者控制自身note的花費權限後，可構造不同路徑產生相同根但不同nullifier的證明，從而多次花費同一note並形成超額輸出。
ChainPort作爲wIRON的跨鏈出口，成爲攻擊者將利用結果轉移出原生鏈的通道。團隊在發現Base上wIRON異常發行後與橋方協作，最終將根因定位回原生鏈而非橋本身。GitHub事後分析明確指出，修復改變了共識根計算規則，因此僅適用於從新創世塊啓動的新鏈，現有主網與測試網歷史無法通過簡單升級兼容。這與多數早期隱私或自定義共識鏈面臨的升級約束一致：狀態一旦按舊規則積累，規則變更即構成硬分叉且難以向後兼容。
與Zcash在Orchard等池中曾披露的相關電路問題相比，Iron Fish此次屬於樹填充規則與nullifier位置綁定之間的交互缺陷，而非直接允許花費他人note。審計覆蓋了該代碼路徑但未捕獲該別名情況，反映出隱私證明系統中“跨組件不變式”（根綁定、位置唯一性、nullifier唯一性）的驗證難度。Iron Fish選擇終止支持並歸檔倉庫，而非嘗試強制升級現有鏈，意味着持有原生IRON或通過橋持有wIRON的用戶需自行處理剩餘資產與橋頭寸，且無團隊後續維護路徑。
對隱私公鏈而言，此類事件凸顯了長期運行的複雜密碼學實現在不可即時升級環境下的風險。漏洞發現能力的提升（包括模型輔助）使歷史代碼中的細微差異更易被利用，而橋接則放大了原生鏈通脹向其他鏈的傳導。觀察指標之一是相關橋與包裝資產的實際贖回與供應調整情況，以及類似非升級型隱私或自定義樹實現的項目是否開展針對性審查。
ABAB News · 認知定律
審計覆蓋代碼路徑，不等於捕獲跨組件的位置別名不變式。
不可即時升級的共識規則一旦積累歷史，修復即與舊鏈不兼容。
橋接出口將原生鏈通脹轉化爲跨鏈可轉移的供應失衡。