吴说获悉,Zcash 开发团队表示,计划通过即将推出的新隐私池 Ironwood 引入形式化验证(Formal Verification),以数学证明方式消除“无法检测的增发漏洞(Undetectable Counterfeiting)”风险。团队称,此前 Orchard 屏蔽池存在的漏洞虽已完成修复且暂无证据显示遭利用,但由于理论上无法通过链上历史确认是否曾发生隐蔽增发,因此社区决定推出全新的 Ironwood 屏蔽池,并对其协议进行全面形式化验证。

ZEC9,56%
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
  • Phần thưởng
  • Bình luận
  • Đăng lại
  • Retweed
Bình luận
Thêm một bình luận
Thêm một bình luận
Không có bình luận
  • Đã ghim