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

Tin tức từ ChainCatcher, đội ngũ phát triển Zcash đã công bố kế hoạch giới thiệu xác minh hình thức thông qua bể riêng tư mới sắp ra mắt Ironwood, nhằm loại bỏ rủi ro "lỗ hổng phát hành không thể phát hiện" bằng cách chứng minh toán học.

Theo thông tin trước đó, mặc dù lỗ hổng của bể che Orchard đã được sửa chữa và không có bằng chứng cho thấy đã bị khai thác, nhưng do lý thuyết không thể xác nhận qua lịch sử chuỗi xem có từng xảy ra phát hành ẩn hay không, nên cộng đồng đã quyết định ra mắt bể che Ironwood hoàn toàn mới và tiến hành xác minh hình thức toàn diện cho giao thức của nó.