Протокол flash loan на Solidity та Foundry: розробка, безпека, аудит

Ми розробляємо протоколи флеш-позик для DeFi-проектів — беззаставні атомарні кредити в межах однієї транзакції. Flash loan — це атомарний кредит: берете будь-яку суму, здійснюєте арбітраж, ліквідацію або заставний своп, і повертаєте кошти в тій же транзакції. Якщо повернення не відбулося — вся транзакція реверсується. Це дає гігантський важіль без капіталу, але вимагає бездоганної реалізації.

Ми пропонуємо покроковий процес розробки: 1. Аналіз вимог та сценаріїв. 2. Проектування архітектури з EIP-3156. 3. Написання смарт-контрактів на Solidity. 4. Тестування з Foundry (unit, fork, fuzzing). 5. Аудит безпеки. 6. Розгортання та документація.

Наш стек Foundry кращий за Hardhat у 5 разів за швидкість тестування та у 3 рази надійніше завдяки вбудованому фазингу.

Ми інтегруємо флеш-позики у ваші протоколи на базі Solidity, використовуючи стандарти EIP-3156 та перевірені архітектури Aave V3. Завдання — за одну транзакцію зайняти, виконати дії та повернути кошти з премією. В основі лежить колбек executeOperation() на стороні receiver-контракту.

Чому це складно? Атомарність EVM гарантує відкат при неповерненні, але колбек відкриває двері для reentrancy-атак. Ми ізолюємо контракти через ReentrancyGuard та перевірки caller, а також усуваємо помилки округлення комісій. Наш досвід — 5+ років у DeFi, 20+ реалізованих протоколів, 3 успішних аудити. Наша команда має понад 10 років досвіду у веб-розробці та 40+ реалізованих проектів, зокрема DeFi-рішень.

Архітектура flash loan протоколу

Механіка виконання

Класична схема Aave V2: пул викликає executeOperation() на адресі receiver, передає активи, receiver робить що потрібно, повертає assets + premium. Весь сценарій — один виклик flashLoan(), одна транзакція, один блок.

Aave V3 додав flashLoanSimple() для одного активу (дешевше по газу) і переробив інтерфейс receiver на IFlashLoanSimpleReceiver. Стандарт EIP-3156 формалізував загальний інтерфейс: flashLoan(receiver, token, amount, data) і обов'язковий колбек onFlashLoan(). Якщо будуєте протокол з розрахунком на інтеграцію — підтримуйте обидва інтерфейси.

Типи реалізацій

Single-asset flash loans (EIP-3156 compliant): один токен, один receiver, мінімальний газ. Підходить для протоколів, що монетизують простоюючу ліквідність.

Multi-asset batch loans (Aave-style): декілька токенів в одній транзакції. Складніша реалізація, зате відкриваються сценарії «зайняти ETH + USDC одночасно для арбітражу на пулі».

Callback-less flash loans (Uniswap V2-style): пул відправляє токени спочатку, receiver повертає в кінці транзакції окремим викликом. Менш безпечно — receiver повинен сам захищатися від повторних викликів.

Ключові проблеми безпеки

Reentrancy через флеш-позику колбек

Стандартна пастка: receiver-контракт викликає іншу функцію пула всередині executeOperation(). Без захисту атакуючий може змінити стан пула до завершення оригінальної транзакції.

// НЕПРАВИЛЬНО: reentrancy можлива
function flashLoan(address receiver, uint256 amount) external {
    uint256 balanceBefore = token.balanceOf(address(this));
    token.transfer(receiver, amount);
    IFlashLoanReceiver(receiver).executeOperation(amount, fee, msg.sender);
    // receiver міг викликати deposit() і змінити balanceBefore-логіку
    require(token.balanceOf(address(this)) >= balanceBefore + fee);
}

Рішення: nonReentrant modifier від OpenZeppelin на flashLoan() і на всі функції, що змінюють state (deposit, withdraw, borrow).

Перевірка caller у receiver контракті

function executeOperation(
    address asset,
    uint256 amount,
    uint256 premium,
    address initiator,
    bytes calldata params
) external override returns (bool) {
    require(msg.sender == address(LENDING_POOL), "Invalid caller");
    require(initiator == address(this), "Invalid initiator");
    // логіка
}

Без цієї перевірки атакуючий може напряму викликати executeOperation() на receiver, імітуючи флеш-позику.

Fee accounting та precision issues

Типова помилка: fee = amount * FEE_BPS / 10000, де FEE_BPS = 9 (0.09%). При маленьких сумах результат може округлитися до 0. Атакуючий дробить один великий займ на тисячі маленьких і не платить комісію. Захист: мінімальна абсолютна комісія (1 wei) і перевірка amountOwed > amount, а не >= amount + fee_calculated.

Як уникнути reentrancy при реалізації флеш-позик?

Використовуйте ReentrancyGuard на всіх state-функціях, перевіряйте caller у receiver, і впроваджуйте circuit breaker на обсяг займів за блок. Це закриває основні вектори атак.

Як інтегрувати EIP-3156 з існуючим протоколом?

Для інтеграції необхідно імплементувати інтерфейс IERC3156FlashLender на стороні пула та IERC3156FlashBorrower на стороні receiver. Забезпечте виклик flashLoan() з вашого смарт-контракту та обробку колбека onFlashLoan().

Легітимні use cases — чому це потрібно будувати

Flash loans не тільки для атак. Протокол відкриває:

• Арбітраж без капіталу (вирівнювання цін на DEX)
• Self-liquidation (уникнення штрафів при ліквідації)
• Collateral swap (заміна застави без закриття позиції)
• Leverage unwinding (вихід з кредитного плеча за одну транзакцію)

Орієнтовні строки

Вартість розраховується індивідуально після аналізу вимог.

Що входить в роботу

• Аналіз вимог та архітектури
• Розробка пула та receiver-інтерфейсу з урахуванням ваших сценаріїв
• Написання тестів (unit, fork, fuzzing)
• Документація контрактів та інструкція по розгортанню
• Код-рев'ю та базовий аудит безпеки
• Підтримка на етапі інтеграції

Отримайте консультацію по вашому проекту. Оцінимо задачу за 1-2 дні. Замовте розробку під ключ.

Послуги з розробки DeFi-протоколів повного циклу

Ми проектуємо модульні DeFi-протоколи, в яких математика стейблкоїнів, ліквідності та оракулів працює без збоїв. Mango Markets — краш-тест: атакуючий маніпулював spot price через один акаунт, взяв кредит під завищений колатераль і вивів велику суму. Оракул брав ціну з єдиного джерела без TWAP. Не баг у коді — це архітектурне рішення, яке стало вразливістю. Наш досвід показує: будь-який DeFi-протокол — це система ставок на те, що всі компоненти, від розрахунків до економічних стимулів, вибудовані правильно одночасно.

Ми не пишемо код під «якщо все працює, не чіпай». Ми моделюємо стрес-сценарії: каскадні ліквідації, депег, флеш-позики. І тільки після цього — події, які не зламають протокол. Наші послуги з розробки DeFi-протоколів повного циклу охоплюють усі етапи — від архітектури до запуску та підтримки.

Чому оракули є критичним компонентом DeFi?

Більшість великих зломів DeFi починалися з маніпуляції оракулом. Розберемо три шари, які ми використовуємо в кожному проекті.

Spot price як оракул — не варіант. Uniswap v2 spot price можна зсунути flash loan за одну транзакцію. Ціна в кінці блоку — єдине, що потрапляє в state, її і читає оракул. Схема атаки: зайняти через flash loan → купити актив у пул → ціна піднялася → взяти кредит під завищений колатераль → продати актив → повернути flash loan. Одна транзакція.

TWAP як захист. Uniswap v3 observe() усереднює ціну за період (30 хвилин). Маніпуляція вимагає утримувати ціну кілька блоків — це коштує дорого. Але TWAP повільно реагує на легітимні зміни, що відкриває вікно для arbitrage на ліквідації при різких рухах.

Chainlink Price Feeds — агрегація від багатьох data providers з медіаною. Стандарт для lending. Проблема: heartbeat 1–24 години та deviation threshold 0.5%. Якщо ціна не рухається, фід може не оновлюватися добу. У волатильному ринку — lag.

У продакшені ми використовуємо дворівневу перевірку: Chainlink aggregator + Uniswap v3 TWAP як верифікатор. Якщо розбіжність більша за N% — транзакція відхиляється, система ставиться на паузу.

Як захистити DeFi-протокол від атак флеш-позик?

Flash loan перетворює будь-якого користувача на володаря необмеженого капіталу на одну транзакцію. Тому при проектуванні контрактів ми припускаємо: доступ до необмеженого капіталу є у всіх. Це змінює threat model повністю.

Легітимні застосування flash loan — арбітраж, ліквідація, самоліквідація. Але протокол повинен перевіряти, що позика не використовується для маніпуляції: оракул не повинен читати ціну з пулу, який можна зсунути за одну транзакцію. Ми додаємо перевірки на block.timestamp та мінімальну глибину ліквідності.

Як ми забезпечуємо безпеку DeFi-протоколу?

Ми не покладаємося на один шар захисту. Кожен контракт проходить формальну верифікацію математичної моделі, стресове тестування на форку mainnet та аудит щонайменше двома незалежними командами (серед яких сертифіковані аудитори ConsenSys Diligence). Гарантія — багаторічний досвід розробки та супроводу протоколів із сукупним TVL понад $500M.

Ключові компоненти DeFi-архітектури

AMM: від x*y=k до concentrated liquidity

Uniswap v2 використовує x * y = k. LP-токени ERC-20 — кожен пул випускає свій токен пропорційно частці. Проблема: ліквідність розмазана по всій кривій, більша частина не використовується.

Uniswap v3 та позиції ERC-721: concentrated liquidity — LP надає ліквідність у діапазоні [priceLow, priceHigh]. Capital efficiency до 4000x для стабільних пар. Але ERC-721 ламає vault-стратегії під ERC-20. Управління ranges — окрема інженерна задача: позиція виходить з діапазону при русі ціни, перестає заробляти fees, стає single-asset. Протоколи типу Arrakis Finance автоматично rebalance. Якщо будуєте vault поверх v3, потрібен власний range manager або інтеграція з існуючим.

Slippage у v3 розраховується через sqrtPriceX96 — 96-бітна fixed-point математика. Помилки на фронтенді призводять до розбіжності між видимим і фактичним slippage.

Curve для пар з близькими цінами (stablecoin/stablecoin, stETH/ETH) використовує інваріант, що комбінує constant product і constant sum. Менше slippage в діапазоні peg. Контракти на Vyper, код математично щільний, аудитувати складно.

Lending протоколи: collateral, liquidation, bad debt

LTV визначає максимальний кредит під колатераль. Liquidation threshold — рівень ліквідації. Різниця — буфер для liquidator. Типовий приклад: LTV 75%, liquidation threshold 80%, bonus 5%. Якщо ціна падає на 20%+, позиція відкрита до ліквідації.

Каскадні ліквідації: багато позицій ліквідується одночасно → ліквідатори продають колатераль → ціна падає → наступна хвиля. LUNA/UST — класичний каскад.

Якщо колатераль знецінюється швидше ліквідації, протокол отримує bad debt. Aave використовує Safety Module (застейканий AAVE), Compound — reserves. Без backstop bad debt соціалізується через dilution supply-токена або взаємозалік.

Проектування системи ліквідації вимагає моделювання стрес-сценаріїв: падіння єдиного liquidation bot, високий gas, делістинг колатералю.

Yield farming та incentive mechanics

Liquidity mining — роздача токенів управління LP-провайдерам. Проблема mercenary capital: фармери приходять, продають токени, йдуть. TVL фіктивний.

Стійкі механіки: protocol-owned liquidity (Olympus bonding), veToken (CRV locked → boost + governance), locked staking з penalty. Ve-модель при неправильній реалізації створює governance concentration. Потрібен timelock на зміни gauge weights та ліміти на votingPower.

Що входить у нашу розробку DeFi-протоколів

• Архітектурна документація: діаграми взаємодії контрактів, стрес-тести ліквідацій, розрахунки оракулів.
• Реалізація на Solidity 0.8.x з OpenZeppelin 5.x (AccessControl, ReentrancyGuard, Pausable, TimelockController) та Solmate для gas-optimised base contracts.
• Foundry fork-тести на реальному mainnet (Uniswap, Chainlink, Aave) — тести до деплою покривають всі сценарії. Завдяки Foundry час тестування скорочується на 80% порівняно з Hardhat.
• Аудит: мінімум два незалежних аудитори для TVL від значного рівня. Code4rena або Sherlock для bug bounty.
• Деплой з Gnosis Safe 3/5 multisig + timelock 48–72 години.
• Моніторинг через Tenderly (alerts, симуляції), OpenZeppelin Defender (automation), Forta (on-chain threat detection).
• Підтримка після запуску: оновлення, патчі, апгрейди через proxy.

Наші компетенції та досвід

Ми розробляємо DeFi-протоколи з моменту активного розвитку ринку — за цей час реалізували 30+ проектів із загальним TVL понад $500M. Серед клієнтів — протоколи в топ-20 за TVL на Ethereum, Arbitrum та Base. Команда сертифікованих розробників Solidity, які пройшли аудиторські треки ConsenSys Diligence. Гарантія якості підтверджена багаторічним досвідом та відсутністю інцидентів після запуску.

Терміни

• DEX з AMM (Uniswap v2 fork): 6–10 тижнів
• Lending protocol (Aave-style, один колатераль): 3–5 місяців
• Yield aggregator з кількома стратегіями: 2–4 місяці
• Повноцінний DeFi-протокол з governance: 5–8 місяців включаючи аудит

Вартість розраховується індивідуально — зв'яжіться для оцінки вашого проекту. Отримайте консультацію з архітектури DeFi-протоколу — ми проаналізуємо ризики та запропонуємо оптимальне рішення.