Lỗ hổng trong giao thức Truebit tiết lộ rủi ro tràn số nguyên: Mất 26,4 triệu USD bằng ETH

Vào ngày 12 tháng 1, công ty an ninh SlowMist đã tiết lộ một sự cố nghiêm trọng liên quan đến giao thức Truebit, làm nổi bật cách các lỗ hổng tràn số nguyên có thể dẫn đến thiệt hại tài chính thảm khốc trong các hệ thống phi tập trung. Cuộc tấn công, diễn ra vào ngày 8 tháng 1, đã dẫn đến việc trộm 8.535 ETH (tương đương khoảng 26,44 triệu đô la) thông qua việc khai thác tinh vi logic hợp đồng thông minh của giao thức.

Cách tràn số nguyên đã cho phép cuộc tấn công xảy ra

Lỗ hổng cốt lõi bắt nguồn từ hợp đồng Mua của giao thức Truebit, vốn thiếu các biện pháp bảo vệ phù hợp chống lại các điều kiện tràn số nguyên. Một kẻ tấn công đã lợi dụng điểm yếu này để thao túng các phép tính giá trong hợp đồng, cho phép họ tạo ra token @TRU@ với chi phí gần như bằng không. Đây là một ví dụ điển hình về cách tràn số nguyên—khi các phép toán số vượt quá giá trị tối đa mà kiểu dữ liệu có thể chứa, gây ra hiện tượng wrap-around—có thể bị lợi dụng để rút hết quỹ của giao thức.

Hiểu rõ về Phân tích kỹ thuật

Nguyên nhân gốc rễ của lỗ hổng là do thiếu các biện pháp bảo vệ tràn trong các phép cộng số nguyên. Khi hợp đồng Mua thực hiện các phép tính toán học mà không có xác thực phù hợp, nó tạo ra cơ hội cho kẻ tấn công tạo ra các giao dịch vượt qua các cơ chế định giá token bình thường. Các phép tính giá sai lệch này cho phép tạo ra token với giá thấp hơn nhiều so với giá trị thị trường hợp pháp của chúng, về cơ bản in tiền ra khỏi không khí trong khi các cơ chế bảo mật của giao thức vẫn không nhận thức được.

Ngăn chặn tràn số nguyên: Các Thực hành Tốt nhất cho Hợp đồng Thông minh

SlowMist nhấn mạnh rằng các nhà phát triển sử dụng Solidity phiên bản trước 0.8.0 phải triển khai thư viện SafeMath trên tất cả các phép toán số học. SafeMath cung cấp các biện pháp bảo vệ tích hợp tự động hoàn nguyên các giao dịch khi phát hiện tràn hoặc underflow, ngăn chặn các tác nhân độc hại khai thác các lỗ hổng này. Đối với các hợp đồng được xây dựng bằng các phiên bản Solidity mới hơn (0.8.0 trở lên), ngôn ngữ đã bao gồm tính toán kiểm tra theo mặc định, loại bỏ nhiều—mặc dù không phải tất cả—rủi ro tràn số nguyên. Sự cố này nhấn mạnh tầm quan trọng của các thực hành lập trình phòng thủ và các cuộc kiểm tra bảo mật kỹ lưỡng trước khi triển khai bất kỳ hợp đồng thông minh nào vào môi trường sản xuất.