Blockaid đã cảnh báo vào ngày 5 tháng 11 rằng một lỗ hổng trong client thực thi reth và các phần mềm xây dựng trên nó, bao gồm op-reth, có thể khiến các nút mạng tính toán sai state roots. Công ty cho biết các nút mạng chưa được vá có thể bị đình trệ hoặc trả về bằng chứng trạng thái không chính xác.
“Đây là lỗi tính chính xác, không phải lỗ hổng,” Blockaid cho biết, đồng thời báo cáo không có thiệt hại vốn nào được biết đến. Cảnh báo của họ bao gồm các client dựa trên reth trên một số mạng tương thích Ethereum, bao gồm nhiều chuỗi OP Stack.
https://x.com/i/status/2118405438291198020
Rủi ro liên quan đến phần mềm thực hiện giao dịch và duy trì góc nhìn của nút mạng về blockchain. Tài liệu op-reth của Optimism cho biết client thực hiện các khối Layer 2, duy trì trạng thái chuỗi và trả lời các yêu cầu từ các ứng dụng. Các bằng chứng không chính xác có thể làm suy yếu quá trình xác minh mà các ứng dụng đó phụ thuộc vào.
Đã có sẵn các bản vá
Blockaid đã xác định ba phiên bản đã được vá:
Sửa lỗi upstream của reth đã được hợp nhất vào ngày 3 tháng 11. Ghi chú phát hành của Base rõ ràng nêu rằng bản cập nhật này ngăn chặn sự không khớp của state-root và khuyến nghị các nhà vận hành Base Mainnet và Sepolia nâng cấp ngay khi có thể.
Các nhà phát triển Celo và Mantle cũng đã hợp nhất các bản vá ngược, áp dụng sửa đổi vào các dòng phần mềm cũ hơn. Bản vá của Mantle nhắm đến dòng sản xuất v1.6.2 của nó. Cảnh báo của Blockaid không xác định đầy đủ phạm vi các phiên bản dễ bị tổn thương.
Blockaid kêu gọi các người vận hành nút mạng và nhà cung cấp RPC nâng cấp, đồng thời các giao thức và cầu nối xác minh rằng nhà cung cấp của họ đã được vá.
Tại sao các bằng chứng sai lại quan trọng
Giải thích bản vá của Celo mô tả cách lỗ hổng có thể bỏ qua một mục được chèn mới khi cập nhật cấu trúc dữ liệu được sử dụng để tính toán state root—tổng hợp mã hóa dùng để kiểm tra dữ liệu tài khoản và lưu trữ hợp đồng.
Thông số eth_getProof mô tả các bằng chứng cho phép các ứng dụng xác minh giá trị tài khoản và lưu trữ so với gốc trạng thái của khối. Điều này làm nổi bật sự khác biệt giữa phản hồi của nút mạng và gốc đáng tin cậy là vô cùng quan trọng đối với các cầu nối, client nhẹ và các hợp đồng phụ thuộc vào các bằng chứng này: một phản hồi sai không tự động được coi là sự ủy quyền hợp lệ để chuyển tiền.
Ví dụ, specification rút tiền của Optimism yêu cầu bằng chứng bao gồm cho tin nhắn rút tiền và cho biết giao dịch sẽ bị hoàn lại nếu việc xác minh bằng chứng thất bại. Dữ liệu bằng chứng sai có thể ngăn chặn việc xác minh thay vì thiết lập một vụ trộm thành công.
Các biện pháp phòng ngừa đã đến với người dùng DeFi. Gauntlet cho biết đang đóng các hàng đợi cung cấp vault phiên bản 1, tạm dừng phân bổ và giảm tiếp xúc với các tài sản được cầu nối qua LayerZero, như The Defiant đã báo cáo trước đó. Frax cho biết các tài sản và hợp đồng của họ không bị ảnh hưởng và đang hoạt động bình thường, trong khi một số tuyến đường LayerZero đã bị tạm dừng tạm thời.
Blockaid cho biết LayerZero đã tạm dừng cơ sở hạ tầng ngoại tuyến trên một số chuỗi bị ảnh hưởng cho đến khi mỗi chuỗi xác nhận đã được vá, mô tả các tin nhắn là “bị trì hoãn, không bị mất”.