廣場
最新
熱門
新聞
我的主頁
發布
Zcash 新隱私池 Ironwood 將採用形式化驗證,擬根除無法檢測的增發漏洞
MarsBit News
2026-07-07 12:38:30
關注
火星財經消息,Zcash 開發團隊宣布計劃透過即將推出的新隱私池 Ironwood 引入形式化驗證,以數學證明方式消除「無法檢測的增發漏洞」風險。此前消息,Orchard 屏蔽池存在的漏洞雖已完成修復且暫無證據顯示遭利用,但由於理論上無法透過鏈上歷史確認是否曾發生隱蔽增發,因此社群決定推出全新的 Ironwood 屏蔽池,並對其協議進行全面形式化驗證。
ZEC
5.13%
查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見
聲明
。
打賞
按讚
回覆
轉發
分享
回覆
請輸入回覆內容
請輸入回覆內容
回覆
暫無回覆
熱門話題
查看更多
#
預測世界盃阿根廷VS埃及
23.03萬 熱度
#
Strategy上週減持3588枚BTC
799.2萬 熱度
#
GT二季度銷毀257萬枚
11.71萬 熱度
#
SK海力士ADR獲超額認購
48.55萬 熱度
#
USD1鏈上質押享年化8.88%
99.26萬 熱度
已置頂
網站地圖
Zcash 新隱私池 Ironwood 將採用形式化驗證,擬根除無法檢測的增發漏洞