Ціна Movement

Перш за все, мої найбільші співчуття команді @Balancer, а також усім, кого торкнувся цей подвиг. Це завжди важкий день, коли є такий значний злом DeFi, не кажучи вже про протокол OG. Більше, ніж доларова вартість вкрадених коштів, це справді боляче б'є по всій криптовалюті та іміджу DeFi в цілому та відкидає нашу галузь на кілька місяців назад. Річ у тім, що Solidity – це надто ненадійна мова, щоб вона справді була тією, яка визначає майбутнє фінансів. Solidity має занадто велику площу поверхні, що робить його вразливим до хакерських атак, оскільки розробники покладаються на ручні перевірки всього, від контролю доступу до точної математики, і саме тому такі мови, як Move, були винайдені з самого початку. Провівши невелике копання, Balancer був зламаний таким чином: зловмисники використовували помилки округлення в стабільних свопах пулів, щоб спотворити інваріант пулу, ключову математичну константу, яка представляє збалансовану ліквідність. Вони почали зі швидких свопів BPT (Balancer Pool Tokens) на базовий актив, такий як cbETH, розширюючи баланси до точних меж округлення (наприклад, масштабуючи до 9). Потім вони обмінювалися між активами на кшталт wstETH на cbETH з крафтовими сумами (наприклад, ~8,918 з округленням до 8 через масштабування з фіксованою точкою), недооцінюючи зміни резервів і штучно знижуючи інваріант (D). Це обвалило ціну BPT (D / totalSupply), дозволивши зловмисникам здійснювати зворотний своп, щоб дешево карбувати надлишки BPT, спалювати їх, щоб вивести базові активи за «нормальними» курсами, і привласнювати різницю, по суті, крадучи у постачальників ліквідності. Прибуток накопичувався на внутрішніх балансах Сховища і виводився через manageUserBalance за допомогою WITHDRAW_INTERNAL, без необхідності прямого обходу авторизації, оскільки математичний недолік субсидував крадіжку. Це втрата точності в ручних бібліотеках Solidity з фіксованою точкою, яка каскадом призводить до величезних стоків. Спосіб, яким Move взагалі обійшов би цей хак, полягає в тому, що в основі лежить безпека: активи розглядаються як ресурси з лінійними типами, які забезпечують суворе збереження (без ненавмисних обманів, падінь або втрат), а математика використовує точні цілі числа u64/u128 з вбудованими переливаннями, без плаваючих елементів, без експлойтованих пробуксовок округлення в складних розрахунках. У DEX на основі Move функції обміну будуть атомарно перевіряти та оновлювати інваріанти через віртуальну машину, перериваючи будь-який дисбаланс, такий як: веселий своп з публічним входом (pool: &mut LiquidityPool, in: Coin, out_amt: u64): Coin { стверджувати! (монета::value(&in) >= calculate_required_in(пул, out_amt), E_INSUFFICIENT_INPUT); coin::merge(&mut pool.coin_x_reserve, in); let out = coin::extract(&mut pool.coin_y_reserve, out_amt); стверджувати! (check_invariant(басейн), E_INVARIANT_VIOLATION); з } Крім того, атомарні транзакції знижують ризики повторного входу. Ось чому екосистеми Move мають набагато менше експлойтів порівняно з EVM. Настав час для розробників DeFi прийняти такі мови, як Move, які надають пріоритет безпеці з нуля, щоб ми нарешті могли побудувати стійке фінансове майбутнє без таких невдач, яким можна запобігти.