Разработка контрактов ликвидити-майнинга: аудит и газ-оптимизация

Разработка контрактов ликвидити-майнинга

Отметим: когда протокол запускает liquidity mining, типичная задача — распределять вознаграждение в токенах пропорционально вложенной ликвидности. На первый взгляд, простой стейкинг, но после внедрения всплывают десятки edge cases: flash loan атаки, inflation attack на пустом контракте, потеря точности при округлении. Один наш клиент потерял $50 000 из-за precision loss в первой версии — после этого мы переписали архитектуру, внедрив виртуальный начальный баланс и масштабирование 1e18. Наша команда решила эти проблемы в 50+ проектах, от небольших IDO до мультичейн-ферм с TVL > $200M. Мы не пишем универсальный контракт — каждый проект требует настройки под конкретную токеномику, аудит на reentrancy и газ-оптимизацию. Обращайтесь к нам для разработки надёжных контрактов — подготовим архитектуру и смету за один день.

Как устроена математика распределения наград?

Базовый алгоритм — MasterChef из Synthetix StakingRewards. Ключевая идея: накопленное вознаграждение на единицу стейка (rewardPerTokenStored).

uint256 public rewardPerTokenStored;

function rewardPerToken() public view returns (uint256) {
    if (totalSupply == 0) return rewardPerTokenStored;
    return rewardPerTokenStored + (
        (block.timestamp - lastUpdateTime)
        * rewardRate
        * 1e18
        / totalSupply
    );
}

function earned(address account) public view returns (uint256) {
    return (balanceOf[account] *
        (rewardPerToken() - userRewardPerTokenPaid[account])
        / 1e18)
        + rewards[account];
}

Обновление происходит только при stake/withdraw/getReward, а не в каждом блоке — O(1) при любой численности участников. Погрешность от дискретных блоков устраняется масштабированием через 1e18.

Что делать с boosted rewards и multi-reward?

В моделях типа Convex/Curve эффективный стейк зависит от заблокированных governance-токенов (veTokens). Формула:

effective_balance = min(0.4 * balance + 0.6 * (totalSupply * veBal / veTotalSupply), balance)

Это снижает sell pressure на reward-токен, но требует тщательного тестирования при нулевом veBalance. Для multi-reward каждый токен ведёт собственный rewardPerTokenStored. Референс — Synthetix StakingMultiRewards.

Защита от уязвимостей ликвидити-майнинга

1. Inflation attack при первом депозите. Вводим виртуальный начальный баланс (VIRTUAL_TOTAL_SUPPLY = 1e18), который никогда не снимается, или требуем минимальный депозит.
2. Flash loan атака. Устанавливаем минимальный период стейка (lockup) — 1-7 дней. Альтернатива: vesting вознаграждений (линейное высвобождение за N дней). Даже 24-часовой vesting делает атаку нерентабельной.
3. Griefing через обновление staking. Делаем _updateReward O(1), избегаем итераций по массивам.
4. Precision loss. Масштабирование через 1e18, накопление remainder’ов.

Сравнение газовых затрат на сложные схемы

Наши контракты на 20-30% дешевле типовых реализаций за счёт компактного storage layout и off-chain расчётов. Например, экономия газа в 30k на каждой операции позволяет сэкономить до $5 000 в месяц на комиссиях при активном пуле. Дополнительная экономия: использование immutable переменных снижает стоимость деплоя на 15-20%.

Как мы работаем?

1. Аналитика (0.5 дня). Определяем: один или несколько reward-токенов, нужен ли boosting, минимальный lockup, способ пополнения наград (manual или автомат).
2. Проектирование архитектуры (0.5 дня). Выбор паттерна, расчёт rewardRate, проектирование событий для индексации.
3. Разработка (2-3 дня). Реализация контракта с форматными тестами и fuzzing-проверками арифметики.
4. Аудит внутренний (1 день). Прогон Slither, Mythril, Echidna. Исправление замечаний.
5. Деплой (0.5 дня). Deployer-скрипт, верификация на Etherscan, transferOwnership на multisig.

Что входит в работу?

• Полный исходный код контрактов с комментариями и тестами (Foundry/Hardhat).
• Развёрнутый отчёт о газ-оптимизации с замерами.
• Гайд по интеграции субграфа (The Graph) для событий.
• Поддержка в течение 30 дней после деплоя: доработка параметров, редеплой при необходимости.
• Сопровождение внешнего аудита (по запросу).

Почему стоит заказать разработку у нас?

Мы разработали контракты для протоколов с TVL до $500M, провели более 20 внутренних аудитов. Наш опыт включает интеграцию с Chainlink oracle, кросс-чейн мосты (LayerZero, Wormhole) и MEV-защиту. Проекты, которые мы сопровождаем, проходят внешний аудит без критических замечаний. Мы проводим аудит ликвидности контракта на предмет уязвимостей. Получите консультацию по вашему проекту прямо сейчас — свяжитесь с нами для подготовки архитектуры и сметы.

Разработка DeFi-протоколов

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

Мы не пишем код под «если всё работает, не трогай». Мы моделируем стресс-сценарии: каскадные ликвидации, депег, флеш-кредиты. И только после этого — события, которые не сломают протокол.

Почему оракулы — критический компонент DeFi?

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

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

TWAP как защита. Uniswap v3 observe() усредняет цену за период (30 минут). Манипуляция требует удерживать цену несколько блоков — это стоит дорого. Но TWAP медленно реагирует на легитимные изменения, что открывает окно для arbitrage на liquidation при резких движениях.

Chainlink Price Feeds — агрегация от множества data providers с медианой. Стандарт для lending. Проблема: heartbeat 1–24 часа и deviation threshold 0.5%. Если цена не двигается, фид может не обновляться сутки. В волатильном рынке — lag.

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

Как защитить DeFi-протокол от flash loan атак?

Flash loan превращает любого пользователя в обладателя неограниченного капитала на одну транзакцию. Поэтому при проектировании контрактов мы предполагаем: доступ к неограниченному капиталу есть у всех. Это меняет threat model полностью.

Легитимные применения flash loan — arbitrage, liquidation, самоликвидация. Но протокол должен проверять, что заём не используется для манипуляции: оракул не должен читать цену из пула, который можно сдвинуть за одну транзакцию. Мы добавляем проверки на block.timestamp и минимальную глубину ликвидности.

Ключевые компоненты 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 определяет максимальный кредит под collateral. Liquidation threshold — уровень ликвидации. Разница — буфер для liquidator. Типичный пример: LTV 75%, liquidation threshold 80%, bonus 5%. Если цена падает на 20%+, позиция открыта к ликвидации.

Каскадные ликвидации: много позиций ликвидируется одновременно → ликвидаторы продают collateral → цена падает → следующая волна. LUNA/UST 2022 — классический каскад.

Если collateral обесценивается быстрее ликвидации, протокол получает bad debt. Aave использует Safety Module (застейканный AAVE), Compound — reserves. Без backstop bad debt социализируется через dilution supply-токена или взаимозачёт.

Проектирование системы ликвидации требует моделирования стресс-сценариев: падение единственного liquidation bot, высокий gas, делистинг collateral.

Yield farming и incentive mechanics

Liquidity mining — раздача governance-токенов 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) — тесты до деплоя покрывают все сценарии.
• Аудит: минимум два независимых аудитора для TVL от $1M. Code4rena или Sherlock для bug bounty.
• Деплой с Gnosis Safe 3/5 multisig + timelock 48–72 часа.
• Мониторинг через Tenderly (alerts, симуляции), OpenZeppelin Defender (automation), Forta (on-chain threat detection).
• Поддержка после запуска: обновления, патчи, апгрейды через proxy.

Наши компетенции и опыт

Мы разрабатываем DeFi-протоколы с 2020 года — за это время реализовали 30+ проектов с общим TVL более $150 млн. Среди клиентов — протоколы в топ-20 по TVL на Ethereum, Arbitrum и Base. Команда сертифицированных разработчиков Solidity, прошедших аудиторские треки ConsenSys Diligence.

DeFi на Wikipedia — базовые принципы, которые мы применяем на практике.

Сроки

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

Стоимость рассчитывается индивидуально — свяжитесь для оценки вашего проекта.

Получите консультацию по архитектуре DeFi-протокола — мы проанализируем риски и предложим оптимальное решение.