Zcash cho biết bằng chứng của Ironwood loại trừ các lỗi giả mạo không thể phát hiện được

Zcash cho biết bằng chứng của Ironwood loại trừ các lỗi giả mạo không thể phát hiện được

Các nhà nghiên cứu của Zcash đã xuất bản hơn 2.700 định lý được kiểm tra bằng máy được thiết kế để loại trừ các lỗi giả mạo không thể phát hiện được trong Ironwood.

Các nhà nghiên cứu của Zcash đã hoàn tất xác minh chính thức về Ironwood, xuất bản bằng chứng được kiểm tra bằng máy rằng nhóm được bảo vệ mới của mạng không chứa các lỗi giả mạo không thể phát hiện được theo các giả định về mật mã đã nêu.

Vào thứ ba, Dự án Tachyon nói rằng bằng chứng, được viết bằng ngôn ngữ lập trình Lean, bao gồm hơn 2.700 định lý và mất ba nhóm nhà nghiên cứu và nhà mật mã trong hơn một tháng để hoàn thành. Công việc thiết lập một thuộc tính bảo mật được gọi là tính toàn vẹn của số dư, được thiết kế để đảm bảo nhóm được bảo vệ không thể thanh toán nhiều giá trị hơn mức đã công khai nhập vào.

Các nhà nghiên cứu cho biết bằng chứng bao gồm các thành phần cần thiết cho tài sản đó, bao gồm hệ thống chứng minh không có kiến ​​thức của Ironwood, quy tắc mạch và kế toán cấp sổ cái. Nó không bao gồm các đảm bảo về quyền riêng tư riêng biệt của Ironwood.

Gỗ lim đã được giới thiệu thông qua bản nâng cấp NU6.3 của Zcash để đối phó với một lỗ hổng được phát hiện trong hồ bơi được bảo vệ Orchard mà về mặt lý thuyết có thể có cho phép làm giả ZEC không thể phát hiện được. Các nhà phát triển Zcash cho biết họ không tìm thấy bằng chứng nào cho thấy lỗ hổng này đã bị khai thác. Nhóm mới được thiết kế để khôi phục niềm tin vào tính toàn vẹn nguồn cung của Zcash.

Các quỹ di chuyển từ Orchard phải đi qua một trạm kiểm soát kế toán công cộng được gọi là cửa quay, được thiết kế để ngăn chặn bất kỳ đồng tiền dư thừa giả định nào xâm nhập vào Ironwood. Khi quỹ rời khỏi Orchard, quá trình này cũng có thể cung cấp bằng chứng ngày càng tăng về việc liệu nhóm cũ có bị khai thác hay không.

Có liên quan: Tại sao ZEC giảm 40% ngay cả sau khi Zcash vá lỗi pool được bảo vệ