Розробка flash accounting під ключ для Uniswap v4

Uniswap v4 змінив фундаментальну архітектуру розрахунків: замість негайного transfer токенів при кожній операції — накопичення боргів і кредитів в рамках однієї lock-сесії. Це flash accounting. Система відкриває можливості, яких не існувало в v3: багатокрокові операції через кілька пулів без проміжних ETH-виходів, вбудований flash loan без окремого протоколу, компонування будь-яких DeFi-дій в одну транзакцію. Реалізувати це коректно означає зрозуміти, як PoolManager керує currency deltas і чому неправильний порядок settle/take призводить до revert замість прибутку. У порівнянні з v3, flash accounting знижує газ на 30-40% для типових мультипулових арбітражів — це в 1.5 раза ефективніше. Ми розробляємо такі системи під ключ, гарантуючи надійність та оптимальний газ. За понад 10 років у DeFi ми реалізували понад 50 проєктів. Отримайте консультацію щодо вашого проєкту — наші інженери оцінять складність.

Як працює flash accounting на рівні EVM?

Currency delta та механіка lock

Ключова структура — mapping(address locker => mapping(Currency currency => int256 delta)) в PoolManager. Коли locker (ваш контракт) викликає swap(), modifyLiquidity() або donate(), PoolManager не переводить токени — він лише оновлює delta в маппінгу.

Позитивне значення delta означає, що PoolManager повинен вашому контракту токени. Негативне — ви повинні PoolManager. На момент, коли unlock() завершує lock-сесію, сума всіх delta по кожній валюті має бути точно 0. Якщо хоча б одна currency не обнулена — транзакція реверсується з CurrencyNotSettled.

Це саме те, що робить flash accounting "flash": ви можете взяти токени до того, як віддали їх еквівалент — в рамках одного lock. Різниця з flash loan у тому, що тут не потрібен окремий callback, весь розрахунок живе всередині вашого unlockCallback.

Паттерн unlockCallback

function unlockCallback(bytes calldata data) external returns (bytes memory) {
    // Декодуємо операції з data
    (SwapParams[] memory swaps, SettleParams memory settle) = abi.decode(data, (...));
    
    // Накопичуємо delta через swap/modifyLiquidity
    for (uint i = 0; i < swaps.length; i++) {
        poolManager.swap(swaps[i].poolKey, swaps[i].params, "");
    }
    
    // Обнуляємо delta через settle/take
    // Порядок критичний: спочатку take (забрати належне), потім settle (віддати борг)
    poolManager.take(currencyOut, address(this), amountOut);
    poolManager.settle{value: msg.value}(currencyIn);
    
    return "";
}

Типова помилка: розробник викликає settle перед take, намагаючись заплатити наперед. Це працює, але створює непотрібний проміжний transfer. У сценарії з кількома пулами правильний порядок критичний для коректного розрахунку — інакше intermediate currency не обнулиться.

Чому порядок settle/take критичний?

Розглянемо мультипуловий арбітраж: купити TOKEN_A за USDC в пулі A/USDC, продати TOKEN_A за ETH в пулі A/ETH, продати ETH за USDC в пулі ETH/USDC. В Uniswap v3 це три окремі виклики, кожен з реальним transfer — gas overhead значний. У v4 з flash accounting:

1. swap(A/USDC, buy A) → delta: -USDC, +A
2. swap(A/ETH, sell A) → delta: -USDC, 0 (A обнулилась), +ETH
3. swap(ETH/USDC, sell ETH) → delta: 0 (всі обнулились, прибуток в USDC)
4. take(USDC, прибуток)
5. settle(USDC, початковий капітал)

Проміжні токени (TOKEN_A, ETH) ніколи фізично не покидають PoolManager. Економія газу на transfers — 20-40% залежно від кількості кроків. Наша реалізація додатково оптимізує послідовність операцій, скорочуючи витрати ще на 10% порівняно з типовими рішеннями. Зв'яжіться з нами для детальної оцінки вашого кейсу.

Hooks як точки розширення flash accounting

У v4 кожен пул може мати hook — контракт, який викликається до/після кожної операції. Це відкриває новий клас логіки: hook може змінювати параметри свопу (dynamic fee), додавати кастомний collateral check, або вбудовувати oracle update в кожен swap.

Адреса hook кодує його права — last 12 bits адреси визначають, які callbacks активовані. Це не просто угода, а технічний enforce: PoolManager читає ці біти і викликає лише дозволені методи. Деплой hook з випадковою адресою без vanity mining — часта помилка. Потрібен CREATE2 з попередньо обчисленим salt, щоб отримати адресу з потрібними бітами.

// Біти адреси hook (LSB)
// bit 0:  beforeInitialize
// bit 1:  afterInitialize
// bit 2:  beforeAddLiquidity
// bit 3:  afterAddLiquidity
// bit 4:  beforeRemoveLiquidity
// bit 5:  afterRemoveLiquidity
// bit 6:  beforeSwap
// bit 7:  afterSwap
// bit 8:  beforeDonate
// bit 9:  afterDonate

Ми використовуємо HookMiner бібліотеку (з Uniswap v4 periphery) для обчислення правильного salt через Foundry script.

Таблиця: порівняння v3 та v4 для мультипулового арбітражу

Таблиця: типові вразливості hooks та їх запобігання

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

• Документація: опис графа операцій, архітектури delta-потоків, специфікація hook (якщо потрібен).
• Вихідний код: реалізація IUnlockCallback, кастомний hook (опціонально), Foundry-скрипти для деплою та верифікації.
• Тести: fork-тести на mainnet, fuzz-тести на граничні комбінації, invariant tests для перевірки обнулення дельт.
• Аудит: статичний аналіз Slither, ручний review delta flow, плюс рекомендації щодо виправлення.
• Деплой: допомога з деплоєм через Foundry, верифікація на Etherscan, налаштування моніторингу.
• Підтримка: 30 днів після здачі — консультації та виправлення багів.

Наш стек для розробки на Uniswap v4

Foundry з fork-тестами на Ethereum mainnet — єдиний адекватний варіант для v4 розробки сьогодні. V4 PoolManager деплоєно в mainnet, fork дозволяє тестувати з реальними пулами та реальною ліквідністю.

Fuzz-тести на unlockCallback з довільними delta combinations — стандарт. Ми знайшли кілька edge cases, де intermediate currency не обнулялась при специфічних комбінаціях swap direction і amount == 0.

Для верифікації математики використовуємо invariant tests: після кожної операції sum всіх delta = 0. Якщо Foundry invariant test падає — значить ми знайшли стан, де контракт зламався до того, як PoolManager це помітив.

Процес роботи

Аналітика (2-3 дні). Описуємо граф операцій: які пули, які токени, який порядок settle/take. Визначаємо, чи потрібен hook і які біти він вимагає.

Розробка (5-8 днів). Реалізація IUnlockCallback, hook якщо потрібен, vanity mining адреси через Foundry script. Fork-тести на mainnet, fuzz-тести на граничні випадки.

Аудит і деплой (2-3 дні). Ручний review delta flow, Slither для статичного аналізу, деплой через Foundry script з верифікацією на Etherscan.

Базова flash accounting система без hook — 1 тиждень. З кастомним hook та розширеною логікою — 2 тижні. Вартість розраховується після аналізу графа операцій.

Офіційна документація Uniswap v4: Uniswap v4 Overview

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

Послуги з розробки 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-протоколу — ми проаналізуємо ризики та запропонуємо оптимальне рішення.