Zcash 新隱私池 Ironwood 將採用形式化驗證,擬根除無法檢測的增發漏洞

火星財經消息,Zcash 開發團隊宣布計劃透過即將推出的新隱私池 Ironwood 引入形式化驗證,以數學證明方式消除「無法檢測的增發漏洞」風險。此前消息,Orchard 屏蔽池存在的漏洞雖已完成修復且暫無證據顯示遭利用,但由於理論上無法透過鏈上歷史確認是否曾發生隱蔽增發,因此社群決定推出全新的 Ironwood 屏蔽池,並對其協議進行全面形式化驗證。
ZEC5.13%
查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見聲明
  • 打賞
  • 回覆
  • 轉發
  • 分享
回覆
請輸入回覆內容
請輸入回覆內容
暫無回覆