Ironwood, nhóm hồ bơi riêng tư mới của Zcash, sẽ áp dụng xác minh hình thức nhằm loại bỏ các lỗ hổng phát hành không thể phát hiện.

Odaily đưa tin, nhóm phát triển Zcash thông báo kế hoạch đưa xác minh hình thức vào pool bảo mật mới mang tên Ironwood sắp ra mắt, nhằm loại bỏ nguy cơ “lỗ hổng phát hành không thể phát hiện (Undetectable Counterfeiting)” bằng phương pháp chứng minh toán học.

Theo thông tin trước đó, lỗ hổng tồn tại ở pool Orchard đã được sửa chữa và hiện chưa có bằng chứng bị khai thác, nhưng về mặt lý thuyết không thể xác nhận qua lịch sử trên chuỗi xem có xuất hiện phát hành ẩn hay không. Vì vậy, cộng đồng đã quyết định triển khai pool bảo mật Ironwood mới, đồng thời thực hiện xác minh hình thức toàn diện cho giao thức của nó.