Các nhà nghiên cứu Zcash đã hoàn tất xác minh chính thức cho Ironwood, công bố một 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 lưới không chứa các lỗi làm giả không thể phát hiện dưới các giả định mật mã đã được nêu ra.
Vào thứ Ba, Dự án Tachyon cho biết rằng bằng chứng này, đượ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 hơn một tháng để ba nhóm nhà nghiên cứu và chuyên gia mật mã hoàn thành. Công trình này thiết lập một thuộc tính bảo mật được gọi là tính toàn vẹn số dư, được thiết kế để đảm bảo nhóm được bảo vệ không thể chi trả giá trị nhiều hơn giá trị đã được công khai đưa 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 thuộc tính đó, bao gồm hệ thống bằng chứng không tiết lộ thông tin (zero-knowledge proof) của Ironwood, các 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 riêng tư riêng biệt của Ironwood.
Ironwood đượ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 bảo mật được phát hiện trong nhóm được bảo vệ Orchard của nó, về lý thuyết có thể cho phép làm giả ZEC không thể phát hiện. 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ỗi 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 điểm kiểm tra kế toán công khai được gọi là cửa quay, được thiết kế để ngăn chặn bất kỳ đồng coin dư thừa giả định nào xâm nhập vào Ironwood. Khi các 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.
Liên quan: Tại sao ZEC giảm 40% ngay cả sau khi Zcash vá lỗi nhóm được bảo vệ
