SlowMist công bố phân tích về vụ trộm Cetus trị giá 230 triệu đô la: tin tặc đã sử dụng một lượng rất nhỏ token để đổi lấy một lượng lớn tài sản thanh khoản

Odaily Planet Daily đưa tin rằng SlowMist đã công bố một bản phân tích về vụ trộm Cetus trị giá 230 triệu đô la, trong đó chỉ ra rằng cốt lõi của sự cố này là kẻ tấn công đã cẩn thận xây dựng các tham số để gây tràn nhưng bỏ qua khả năng phát hiện và cuối cùng đã đổi một lượng lớn tài sản thanh khoản để lấy một lượng rất nhỏ token. Nguyên nhân chính là do có lỗ hổng phát hiện tràn bộ nhớ trong checked_shlw trong hàm get_delta_a. Kẻ tấn công đã lợi dụng điều này và gây ra sai lệch nghiêm trọng trong tính toán của hệ thống về lượng haSUI thực sự cần phải thêm vào. Do tình trạng tràn tiền không được phát hiện nên hệ thống đã đánh giá sai số lượng haSUI cần thiết, khiến kẻ tấn công có thể đổi một lượng lớn tài sản thanh khoản chỉ bằng một số lượng nhỏ mã thông báo, qua đó hoàn thành cuộc tấn công. Cuộc tấn công này chứng minh sức mạnh của lỗ hổng tràn toán học. Kẻ tấn công đã chọn các tham số cụ thể thông qua các tính toán chính xác và khai thác lỗ hổng trong hàm checked_shlw để lấy được hàng tỷ đô la thanh khoản với giá chỉ bằng 1 token. Đây là một cuộc tấn công toán học cực kỳ tinh vi và các nhà phát triển được khuyên nên xác minh chặt chẽ các điều kiện biên của tất cả các hàm toán học trong quá trình phát triển hợp đồng thông minh.