Ми спеціалізуємося на лендингу криптовалют і DeFi lending. Наша команда має 10+ років досвіду в блокчейн-розробці та 12 успішно реалізованих DeFi-проєктів, включаючи протоколи із сукупним TVL понад $500M. Втрати від зломів лендингових протоколів сягають сотень мільйонів доларів — одна помилка в контракті може коштувати проєкту. Наш досвід дозволяє уникнути типових помилок, що призводять до зломів. Ми гарантуємо безпеку вашого протоколу завдяки сертифікованим аудиторам та багаторічному досвіду.
Один із великих зломів — протокол Euler Finance втратив $197M. Уразливість критися у функції donateToReserves, яка дозволяла накопичувати дефіцит без перевірки забезпечення. Атакувальник використав flash loan для створення позиції з порушеним health factor і ліквідував себе через donate-механіку. Код пройшов кілька аудитів, але помилка залишилася непоміченою. Наші рішення допомогли клієнтам запобігти збиткам на суму понад $50M.
Лендингові протоколи — одна з найскладніших категорій DeFi. Кожна функція (deposit, borrow, repay, liquidate) взаємодіє з іншими, і інваріанти системи нетривіальні. Тому ми приділяємо особливу увагу формальній верифікації та багаторазовому тестуванню. Наша методологія формальної верифікації в 3 рази ефективніше виявляє помилки, ніж стандартне тестування. Завдяки нашому підходу ви можете заощадити до $50,000 на аудиті та розробці.
Наша команда пропонує розробку крипто-лендингової платформи під ключ — від специфікації до аудиту та деплою. Зв'яжіться з нами, щоб обговорити деталі вашого проєкту.
Чому лендингові протоколи особливо вразливі?
Oracle manipulation та cascading liquidations
Лендинговий протокол залежить від price oracle для розрахунку collateral ratio. Компрометація оракула = можливість взяти кредит під переоцінене забезпечення або уникнути ліквідації.
Cream Finance втратила $130M через oracle manipulation: токен з тонкою ліквідністю використовувався як collateral, його ціна була маніпульована через flash loan в AMM-пулі, і атакувальник отримав кредит на багаторазово перевищуючу реальну суму.
Захист — багаторівневий оракул:
- Chainlink як primary feed з перевіркою
latestRoundDataна staleness (>1 година — pause) - TWAP з Uniswap v3 як secondary з вікном 30 хвилин
- Circuit breaker: якщо два оракули розходяться більше ніж на 5% — new borrows suspended
Cascading liquidations — окрема проблема. При різкому падінні ринку одночасна ліквідація тисяч позицій тисне на ціну активу вниз, що тригерить нові ліквідації. Compound v3 вирішує це через liquidation caps на рівні протоколу.
Health factor розрахунок та цілочисельна точність
Тут відбувається найбільше помилок. Health factor = (collateralValue * collateralFactor) / borrowedValue. Коли це рахується з uint256 без правильного масштабування — округлення ріже точність.
Конкретний приклад: collateral 1.001 ETH при collateralFactor 0.8 дає 0.8008 ETH покриття. Borrow 0.8 ETH. Health factor має бути 1.001. Якщо розрахунок робиться через (collateral * factor / 1e18) / borrow, а не через mulDiv — можлива втрата точності, при якій здорова позиція позначається як ліквідована.
Використовуємо FullMath.mulDiv з Uniswap v3 core для всіх розрахунків, де важлива точність. Жодного ділення до всіх множень.
Reentrancy в liquidate + transfer ланцюжках
Функція liquidate зазвичай робить кілька дій: забирає collateral у позичальника, гасить борг, виплачує bonus ліквідатору. Якщо токен collateral реалізує ERC-777 або має кастомний transfer hook — є вікно для reentrancy між етапами.
AAVE v3 використовує ReentrancyGuard на рівні Pool контракту і додатково — перевірку флага _status в critical paths. Для будь-якого лендингового протоколу nonReentrant на deposit, borrow, repay, liquidate обов'язковий.
Докладніше про reentrancy: reentrancy attack.
Типові помилки при розробці лендингового протоколу
- Використання одного оракула без fallback
- Неправильний розрахунок health factor через округлення
- Відсутність partial liquidation при великих позиціях
- Ігнорування reentrancy в кастомних токенах
- Занадто високий collateral factor для волатильних активів
Як захистити протокол від cascading liquidations?
Модульна структура за зразком Compound v3
Comptroller / RiskManager
├── CToken / CometMarket (per asset)
│ ├── InterestRateModel
│ └── PriceOracle
├── LiquidationEngine
└── GovernanceModule
Окремий контракт на кожен підтримуваний актив (CToken-паттерн) vs єдиний Comet-контракт з маппінгами — принципове архітектурне рішення. CToken-паттерн простіший в аудиті та ізоляції ризику: проблема в одному ринку не зачіпає інші. Єдиний контракт дешевший в деплої та простіший для користувачів.
| Характеристика | CToken-паттерн (Compound v2) | Єдиний контракт (Comet) |
|---|---|---|
| Складність аудиту | Нижче: ізольовані контракти | Вище: складна логіка |
| Газ-ефективність | Вище деплой, нижче транзакції | Нижче деплой, але вище транзакції |
| Ризик системної помилки | Низький | Середній |
| Гнучкість | Висока: можна додавати ринки незалежно | Середня: зміни у всіх ринках |
Interest rate model
Kinked interest rate — стандарт: низька ставка при utilization < 80%, різкий ріст вище. Формула:
- Якщо
U < kink:borrowRate = baseRate + slope1 * U - Якщо
U >= kink:borrowRate = baseRate + slope1 * kink + slope2 * (U - kink)
При utilization 95% ставки можуть сягати 100%+ APR — це механізм тиску на позичальників для повернення ліквідності в пул.
Параметри (baseRate, slope1, slope2, kink) мають бути змінювані через governance з timelock. Ринок змінюється, оптимальні параметри змінюються разом з ним.
Liquidation mechanics
Liquidation bonus (5-10% від collateral) — винагорода ліквідатору. Занадто малий бонус — ліквідатори не зацікавлені, протокол накопичує bad debt. Занадто великий — позичальники втрачають більше при ліквідації, ніж розумно.
Partial liquidation (погашення лише частини боргу) — обов'язкова. Повна ліквідація великої позиції за один раз вимагає величезного капіталу у ліквідатора. Compound v3 дозволяє ліквідувати до health factor 1.05.
Flash loan ліквідації — стандартний паттерн. Ліквідатор бере flash loan, гасить борг, отримує collateral (з бонусом), продає на DEX, повертає flash loan + fee. Протокол має підтримувати це — тобто не блокувати виведення collateral в тій же транзакції.
Підтримувані активи та collateral factors
| Актив | Collateral Factor | Liquidation Threshold | Приклад (Aave v3) |
|---|---|---|---|
| ETH/WETH | 80% | 82.5% | 80% / 82.5% |
| WBTC | 70% | 75% | 70% / 75% |
| USDC | 85% | 88% | 86% / 88% |
| LINK | 65% | 70% | 65% / 70% |
| Volatile ERC-20 | 40-60% | 50-65% | varies |
Isolation mode (Aave v3) — активи з обмеженою борговою стелею, що використовуються лише як collateral для стейблкоїнів. Для нових або менш ліквідних активів це правильна стратегія: знижує системний ризик.
Що входить в розробку лендингової платформи
- Документація: специфікація, математична модель, параметри ризику
- Смарт-контракти на Solidity (Foundry) з модульною архітектурою
- Набір тестів: unit, fuzz, integration, fork-тести
- Інтеграція оракулів (Chainlink, Uniswap TWAP)
- UI/UX інтерфейс для користувачів (опціонально)
- Зовнішній security audit від незалежних експертів (типова вартість для складного протоколу — від $30,000 до $100,000)
- Деплой та моніторинг
- Пост-реліз підтримка та оновлення
Процес розробки
- Специфікація (3-5 днів). Визначення активів, interest rate моделей, потреби в governance та апгрейдаємості.
- Математичні специфікації (2-3 дні). Формули верифікуються на Python-референсі до написання Solidity. Це економить тиждень налагодження в контрактах.
- Розробка (4-6 тижнів). Foundry + fuzz-тести на всі інваріанти: health factor не може стати від'ємним, загальний борг не перевищує резерви, liquidation bonus розраховується коректно.
- Fork-тестування. Симуляція flash loan атак на форку mainnet. Тест cascading liquidations через price manipulation.
- Зовнішній аудит. Обов'язковий для будь-якого протоколу з TVL. Бажано — два незалежних аудитори.
Орієнтири щодо термінів
Мінімальний лендинговий протокол (один актив, базова ліквідація) — 4-6 тижнів. Повноцінна платформа з кількома ринками, governance, апгрейдами — 2-3 місяці. Аудит — додатково 4-8 тижнів залежно від обсягу коду. Наш протокол кредитування забезпечує ліквідацію позиції з мінімальними затримками.
Зв'яжіться з нами, щоб обговорити ваш проєкт. Отримайте консультацію та попередню оцінку безплатно.