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

ZEC10,02%
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
  • 4
  • 1
  • Retweed
Bình luận
Thêm một bình luận
Thêm một bình luận
NekoValidator
· 12phút trước
Mối nguy hiểm tiềm ẩn của Orchard cuối cùng cũng có người dám đối mặt, Ironwood coi như bắt đầu lại từ đầu, mong chờ báo cáo kiểm toán sau khi mã nguồn được mở.
Xem bản gốcTrả lời0
GateUser-a9315d81
· 3giờ trước
Chứng minh toán học làm nền tảng, nghe có vẻ hay, nhưng chi phí và độ phức tạp của việc xác minh hình thức cũng không thấp, đội ngũ có đủ kinh phí để chịu đựng không?
Xem bản gốcTrả lời0
MildlyRugged
· 3giờ trước
Từ "không thể phát hiện" đến "có thể được chứng minh", con đường này tự nó cần tái thiết lập lòng tin cộng đồng, hãy từ từ xem.
Xem bản gốcTrả lời0
VolatilityOfToastingBread
· 3giờ trước
Xác minh hình thức trên chuỗi, lần này Zcash sẽ hàn chặt quyền riêng tư và tính xác định lại với nhau, khá cứng rắn.
Xem bản gốcTrả lời0
  • Đã ghim