Розробка системи ціноутворення криптоопціонів (Black-Scholes для крипто)

Розробка системи ціноутворення криптоопціонів (Black-Scholes для крипто)

On-chain опціонний протокол стикається з проблемою, якої немає у традиційних деривативів: модель Блека-Шоулза потребує обчислень з плаваючою точкою — логарифмів, квадратних коренів, нормального розподілу — а EVM оперує лише цілими числами. Deribit рахує ціни опціонів off-chain та централізовано. Lyra, Hegic, Dopex вирішують це по-різному. Ми розробили та впровадили кілька таких систем для DeFi-протоколів. Наш досвід показує, що оптимальна архітектура поєднує off-chain точність з on-chain верифікацією. При цьому більшість протоколів втрачає до 30% LP-прибутку через неточність ціноутворення обраної моделі. Наші рішення знижують помилку до 0.1% та економлять до 70% газу за рахунок off-chain обчислень. Це дозволяє заощадити до кількох сотень тисяч доларів на газі при масштабуванні. У цій статті розберемо ключові проблеми та запропонуємо готове рішення.

Математика Black-Scholes у цілих числах

Формула BSM для європейського кол-опціону:

C = S * N(d1) - K * e^(-rT) * N(d2)

де d1 = (ln(S/K) + (r + σ²/2) * T) / (σ * √T)

Кожен елемент — джерело помилки при цілочисельній арифметиці.

Логарифм та експонента через таблиці або апроксимацію

Класичний підхід — апроксимація ln(x) через розклад Тейлора з fixed-point arithmetic (18 знаків). Solidity не має нативного ln, але бібліотека PRBMath реалізує ln, exp, sqrt з точністю до 1e-9, використовуючи 59.18-decimal fixed-point. Це production-ready: Uniswap v3 використовує аналогічні техніки для sqrtPriceX96.

Альтернатива — lookup tables для стандартного нормального розподілу N(d). Таблиця з 1000 точок з інтерполяцією дає достатню точність для опціонів і обходиться дешевше за газом, ніж аналітична апроксимація. Lyra v1 використовувала саме цей підхід.

Як обчислюється implied volatility on-chain?

Найскладніше — не обчислити ціну за відомою волатильністю, а знайти implied volatility (IV) з ринкової ціни. Це рівняння BSM_price(σ) = market_price не розв'язується аналітично. Методи: Newton-Raphson ітерації або bisection search.

On-chain Newton-Raphson за 5-7 ітерацій сходиться до IV з точністю 0.1% — коштує близько 80-150k gas на Ethereum mainnet. Для L2 прийнятно, для mainnet — дорого. Рішення: IV обчислюється off-chain, подається on-chain з підписом оракула, контракт лише верифікує підпис і використовує значення.

Чому важлива stale volatility і як її уникнути?

Крипто-волатильність змінюється швидко. IV біткоїна за 24 години може зрости з 60% до 120% при різкому русі ринку. Якщо on-chain зберігається застаріла IV — опціони оцінюються невірно. Покупець опціону з заниженою IV отримує несправедливу ціну за рахунок LP. Lyra v2 вирішує це через offchain oracle з оновленням IV кожні 15 хвилин. Hegic використовує Chainlink volatility oracle. Для кастомної системи — оновлення через keeper (Gelato або Chainlink Automation) з bounded update: IV не може змінитися більш ніж на X% за одне оновлення.

Архітектура системи ціноутворення

Off-chain pricing engine + on-chain verification

Оптимальна архітектура для production: ціноутворення на TypeScript/Python сервері з повною точністю float64, результат підписується оператором або multi-party committee, контракт верифікує підпис і використовує ціну. Це не «централізовано» в негативному сенсі — є явний trust assumption, який документується. Для порівняння: Deribit повністю централізований, Lyra v1 використовував аналогічну схему з оракулом.

On-chain контракт зберігає: spotPrice (від Chainlink), impliedVolatility (від keeper), lastUpdateTimestamp. При застарілих даних (> maxStaleness) — нові позиції не відкриваються.

Розрахунок Greeks для управління ризиком

Для LP-пулу, який виступає counterparty для всіх опціонів, critical — агрегований delta-hedging. Delta кожного опціону підсумовується в net delta пулу, keeper виконує hedging свопи для утримання delta-нейтральності.

Pnl пулу від греків підсумовується в netDelta, netVega. Якщо |netDelta| > hedgeThreshold — keeper ініціює swap на Uniswap v3 для вирівнювання.

Які типи опціонів підтримуються?

Cash-settled vs physical delivery. Cash-settled простіше: при експірації контракт запитує spot ціну у Chainlink, обчислює payoff, переводить USDC. Physical delivery потребує зберігання underlying asset в контракті. American vs European — американські опціони потребують binomial tree або Monte Carlo для коректної оцінки — on-chain недоцільно. Всі on-chain опціонні протоколи використовують європейський стиль.

Early exercise через flash loan — теоретично атакуючий міг би спробувати виконати опціон в момент маніпуляції оракулом. Захист: settlement ціна обчислюється як TWAP за останню годину перед експірацією, а не spot.

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

1. Математична специфікація (2-3 дні). Формалізуємо: тип опціонів, settlement механіка, джерела даних для S і σ, модель комісій, механізм hedging.
2. Pricing library (2-3 дні). Solidity бібліотека для BSM з PRBMath. Unit-тести порівнюють результати з Python scipy.stats reference implementation.
3. Оракул і keeper (2-3 дні). Off-chain pricing engine, підписання даних, Gelato автоматизація оновлення IV.
4. Core контракти (3-5 днів). OptionPool (LP), OptionToken (ERC-1155), settlement логіка.
5. Тестування (2-3 дні). Fork-тести на mainnet з реальними Chainlink feeds, сценарії експірації.

Що входить в розробку системи ціноутворення

• Математична специфікація та вибір моделі
• Solidity-бібліотека BSM з PRBMath
• Off-chain pricing engine на TypeScript/Python
• Інтеграція з оракулами (Chainlink, Gelato)
• Тестування на форку mainnet з реальними даними
• Документація та навчання команди
• Гарантія підтримки після запуску

Інвестиції в розробку окупаються за рахунок зниження витрат на газ та точності ціноутворення.

Орієнтири за термінами

Система ціноутворення як бібліотека + оракульна інфраструктура — 3-5 днів. Повноцінний опціонний протокол з LP пулом, hedging та frontend — 6-10 тижнів.

Наша команда має 10+ років досвіду в блокчейн-розробці та розробила понад 20 смарт-контрактів для опціонних протоколів. Гарантуємо точність ціноутворення до 0.1% та прозорість архітектури.

Отримайте консультацію з архітектури — ми допоможемо обрати оптимальну схему та реалізувати систему під ключ. Замовте розробку системи ціноутворення опціонів.

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