Optimism Stack không phải là một dApp, nhưng nó là cơ sở hạ tầng quan trọng bảo vệ hàng tỷ đô la trong TVL. Khi cơ sở hạ tầng gặp sự cố, toàn bộ hệ sinh thái sẽ sụp đổ. Đó là lý do tại sao @_czepluch đã dịch một số FMA của Optimism thành các khẳng định nhằm ngăn chặn những sự cố này ở cấp độ giao dịch. 🧵

Đọc thêm: Optimism sử dụng Phân tích Chế độ Thất bại để xác định một cách hệ thống các kịch bản thất bại tiềm năng trước khi chúng trở thành lỗ hổng. FMAs ghi lại những gì có thể sai, nhưng chúng không ngăn chặn điều đó xảy ra. Đó là điều mà chúng tôi muốn làm với các khẳng định.

ETH Lockbox FMA xác định: "Truy cập trái phép vào lockETH/unlockETH có thể làm cạn kiệt hợp đồng." Khẳng định của chúng tôi: Chỉ các cổng được ủy quyền mới có thể gọi những chức năng này. Kết quả: Bất kỳ giao dịch trái phép nào đều bị từ chối trước khi thực hiện.

Message Passing FMA xác định: "Các cuộc tấn công phát lại có thể cho phép thực thi tin nhắn trùng lặp." Khẳng định của chúng tôi: Kiểm tra ánh xạ successfulMessages trước bất kỳ sự chuyển tiếp nào. Kết quả: Loại bỏ hoàn toàn các cuộc tấn công phát lại.

Cổng Interop FMA xác định: "Báo cáo trạng thái không chính xác có thể dẫn đến thất bại trong việc rút tiền." Khẳng định của chúng tôi: Xác thực sự tiến triển của dấu thời gian trong các cập nhật trạng thái. Kết quả: Ngăn chặn những bất nhất trong trạng thái gây ra vấn đề rút tiền.

Và điều này không thêm bất kỳ giả định tin cậy mới nào. Optimism đã kiểm soát trình sắp xếp của họ. Các khẳng định chỉ cung cấp cho họ một khung hệ thống để xác thực giao dịch dựa trên phân tích bảo mật của chính họ. Gốc từ giao thức, không bị lộ ra bên ngoài. Đối với mọi dApp và phần hạ tầng.

FMAs → Khẳng định = Phân tích → Ngăn chặn Điều này cho thấy các khẳng định hoạt động vượt ra ngoài từng dApp. Chúng rất mạnh mẽ cho bất kỳ cơ sở hạ tầng quan trọng nào nơi mà sự cố hệ thống có thể xảy ra (tất cả).