Медленний туман опублікував аналіз інциденту з викраденням 230 мільйонів доларів у Cetus: Хакер обмінював мізерні суми токенів на величезні ліквідні активи

Odaily Planet Daily News Slowfog опублікував аналіз крадіжки Cetus на $230 мільйонів, в якому вказав, що суть цього інциденту полягає в тому, що зловмисник ретельно конструює параметри, щоб сталося переповнення, але може обійти виявлення, і, нарешті, обміняти дуже невелику кількість токенів на величезну кількість ліквідних активів, основна причина полягає в тому, що в checkedshlw у функції getdeltaa є вразливість обходу виявлення переповнення. Саме тут зловмисники використовують це, спричиняючи серйозні перекоси системи при розрахунку того, скільки haSUI насправді потрібно додати. Оскільки переповнення не було виявлено, система неправильно оцінила необхідну кількість haSUI, в результаті чого зловмисник зміг обміняти велику кількість ліквідних активів лише на невелику кількість токенів, таким чином досягнувши атаки. Ця атака демонструє силу вразливості математичного побічного ефекту. Зловмисник вибирає конкретні параметри за допомогою точних розрахунків, використовуючи недоліки функції checkedshlw, щоб отримати ліквідність на мільярди доларів за рахунок 1 токена. Це надзвичайно складна математична атака, і розробникам рекомендується суворо перевіряти граничні умови всіх математичних функцій при розробці смарт-контрактів.