Aave Labs зазначила, що запропонований безпековий оновлення V3.8 збереже ліквідації через флаш-позики. Відповідь від 23 жовтня пояснює, як захист від повторного виклику взаємодіятиме з існуючими інтеграціями.
TL;DR: Запропонований V3.8 guard Aave виключає точки входу для флаш-позик. Схвалення громадськістю та аудити безпеки залишаються очікуваними.
Пропозиція, опублікована 21 жовтня додає захист до операцій Pool. Такі захисти обмежують можливість зовнішнього зворотного виклику повторно входити в захищені функції контракту до завершення попереднього виклику. Aave Labs повідомляє, що flashLoan() і flashLoanSimple() будуть виключені, що дозволить їх зворотним викликам продовжувати викликати дії Pool, включаючи ліквідації.
Чому важливо виклик зворотного виклику
Смартконтракт, який отримує флеш-позику, потребує часу в межах транзакції, щоб щось зробити з позиченими активами. Керівництво розробника Aave описує послідовність, в якій Pool переказує активи, викликає смартконтракт отримувача, а потім перевіряє умови розрахунку.
Для простого флеш-позичання отримувач повинен мати доступ до суми, що була позичена, плюс необхідна комісія для повернення. Якщо транзакція не може виконати свої умови, вона відміняється. Більш широкий інтерфейс флеш-позичання може охоплювати кілька активів і, за дозволених умов, відкривати позицію з боргом, забезпеченим колатералом.
Ці механізми пояснюють, чому важливою є область дії захисника. Інтеграція ліквідації може потребувати позичити актив, погасити нездорову позицію та завершити решту своєї транзакції до розрахунку. Блокування кожної наступної взаємодії з Pool без розбору порушить цю послідовність.
Важливим проектним питанням є те, які маршрути назад у протокол є цілеспрямованими. Корисна межа безпеки повинна враховувати шаблони транзакцій, від яких залежать інтеграції, включаючи виклики, які відбуваються після того, як активи покинули Пул, але до перевірки повернення.
Блокування за довжиною транзакції
Запропонована реалізація використовує тимчасове сховище, введене через Ethereum’s EIP-1153. Це сховище залишається доступним протягом транзакції і видаляється після її завершення. Воно може зберігати тимчасовий стан блокування для відстеження того, чи вже запущена захищена операція.
Специфікація визначає повторні блокування як випадок використання та пояснює, чому тимчасове сховище може коштувати менше, ніж запис тимчасового стану у постійне сховище. Для інтенсивно використовуваного протоколу DeFi питання дизайну включає витрати, що накладаються на звичайні транзакції, а також захист, що надається захисником.
Запропонований шлях Aave включає зворотний зв’язок, голосування через Snapshot, перевірку безпеки та пропозицію покращення на ланцюзі. Certora та додаткові рецензенти мають оцінити зміни до цього остаточного етапу.
Для інтеграторів на Ethereum та інших вплинутих мережах ця уточнення надає конкретну точку сумісності для перевірки щодо остаточного коду. Розглянута реалізація повинна зберігати передбачуваний порядок транзакцій, одночасно забезпечуючи нову межу. Заява про проектний намір корисна під час цієї роботи; робоча поведінка залежатиме від того, яку управлінську прийме реалізація.
Написано редакційною командою та відредаговано Самуелем Реєм.