Zcash tuyên bố bằng chứng Ironwood loại trừ các lỗi làm giả không thể phát hiện
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 tính chứng minh rằng shielded pool (bể chắn) mới của mạng lưới không chứa lỗi làm giả tiền không thể phát hiện dưới các giả định mật mã đã nêu. 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à cần hơn một tháng để ba nhóm nghiên cứu hoàn thành. Công trình này thiết lập một thuộc tính bảo mật gọi là tính toàn vẹn số dư, nhằm đảm bảo shielded pool không thể chi trả giá trị lớn hơn lượng đã được công khai đưa vào.
Ironwood được giới thiệu 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 tiềm tàng đã được phát hiện trong shielded pool Orchard trước đó, vốn trên lý thuyết có thể cho phép làm giả ZEC không thể phát hiện. Nhóm phát triển Zcash cho biết không có bằng chứng nào cho thấy lỗ hổng này bị khai thác. Bể chắn 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.
cointelegraph21 giờ trước
