Розробка системи A/B тестування торгових моделей

Проєктуємо та розробляємо блокчейн-рішення повного циклу: від архітектури смарт-контрактів до запуску DeFi-протоколів, NFT-маркетплейсів та криптобірж. Аудит безпеки, токеноміка, інтеграція з наявною інфраструктурою.
Показано 1 з 1Усі 1305 послуг
Розробка системи A/B тестування торгових моделей
Складний
~1-2 тижні
Часті запитання

Напрямки блокчейн-розробки

Етапи блокчейн-розробки

Останні роботи

  • image_website-b2b-advance_0.webp
    Розробка сайту компанії B2B ADVANCE
    1361
  • image_web-applications_feedme_466_0.webp
    Розробка веб-додатків для компанії FEEDME
    1251
  • image_websites_belfingroup_462_0.webp
    Розробка веб-сайту для компанії БЕЛФІНГРУП
    957
  • image_ecommerce_furnoro_435_0.webp
    Розробка інтернет магазину для компанії FURNORO
    1189
  • image_logo-advance_0.webp
    Розробка логотипу компанії B2B Advance
    646
  • image_crm_enviok_479_0.webp
    Розробка веб-додатків для компанії Enviok
    929

Після серії інцидентів в одному з проєктів високочастотної торгівлі ми переконалися: backtesting не рятує від реальних прослизань та затримок. Тому ми розробили промислову систему A/B тестування торгових ML-моделей з підтримкою градієнтного бустингу та нейромереж — під ключ, з інтеграцією у ваш стек. Отримайте консультацію щодо вашого проєкту. Докладніше про методологію — A/B тестування.

Чому A/B тестування критичне для торгових моделей?

Статистика невтішна: до 70% ML-моделей, що показують відмінні результати на історичних даних, провалюються в live-торгівлі через regime changes, market impact та невраховані комісії. A/B тест — єдиний спосіб об'єктивно порівняти дві стратегії в однакових умовах. Без нього ви ризикуєте прийняти шум за сигнал.

Проблеми, які вирішує система

Паралельне порівняння обох моделей на одному ринку — інакше порівняння нечесне. Capital allocation ділить бюджет між моделями (наприклад, 50/50 або 70/30) і призначає символи детерміновано, щоб уникнути перекосу. Guardrail метрики захищають від катастрофічних просадок: при перевищенні лімітів версія негайно вимикається.

Метод Умови Достовірність Швидкість отримання результату
Backtest Історичні дані Низька (overfitting, look-ahead bias) Швидко
Paper trade Симульоване виконання Середня (немає impact, slippage) Повільно
A/B тест Живий ринок, розділення капіталу Висока (статистичний висновок) Середня

Як ми будуємо систему A/B тестування

Основний компонент — роутер, який призначає кожному торговому символу версію моделі (A або B). Призначення детерміноване, на основі хешу символу та ID експерименту, щоб при перезапуску розподіл не змінювався.

import uuid
from enum import Enum
from dataclasses import dataclass
from typing import Dict, Optional
import scipy.stats as stats

class ModelVersion(Enum):
    CONTROL = 'A'
    TREATMENT = 'B'

@dataclass
class Experiment:
    experiment_id: str
    name: str
    model_a: str  # model registry id
    model_b: str
    allocation_a: float  # частка капіталу для A (0.5 = 50%)
    start_time: datetime
    end_time: Optional[datetime]
    min_trades: int  # мінімум угод для статистичної значущості
    status: str  # running, paused, completed

class ABTestRouter:
    """Роутер для розподілу торгівлі між моделями"""
    
    def __init__(self, experiment: Experiment, seed=42):
        self.experiment = experiment
        self.rng = np.random.RandomState(seed)
        self.symbol_assignments = {}  # symbol -> ModelVersion
    
    def assign_symbol(self, symbol: str) -> ModelVersion:
        """Детерміноване призначення символу до версії моделі"""
        if symbol not in self.symbol_assignments:
            # Hash-based assignment для стабільності
            hash_val = hash(symbol + self.experiment.experiment_id)
            if (hash_val % 100) < int(self.experiment.allocation_a * 100):
                self.symbol_assignments[symbol] = ModelVersion.CONTROL
            else:
                self.symbol_assignments[symbol] = ModelVersion.TREATMENT
        
        return self.symbol_assignments[symbol]
    
    def get_model_for_symbol(self, symbol: str) -> str:
        version = self.assign_symbol(symbol)
        if version == ModelVersion.CONTROL:
            return self.experiment.model_a
        return self.experiment.model_b

Збір метрик та статистичний аналіз — ключовий етап. Ми використовуємо як частотний, так і байєсівський підхід. Статистична значущість визначається за p-value та Cohen's d.

class ABTestAnalyzer:
    def __init__(self, experiment_id, db_connection):
        self.exp_id = experiment_id
        self.db = db_connection
    
    def get_performance_metrics(self):
        """Агрегуємо результати по кожній версії"""
        query = """
        SELECT 
            model_version,
            COUNT(*) as n_trades,
            AVG(pnl_pct) as avg_return,
            STDDEV(pnl_pct) as std_return,
            SUM(pnl_usd) as total_pnl,
            AVG(pnl_pct) / NULLIF(STDDEV(pnl_pct), 0) as sharpe_daily,
            MAX(drawdown) as max_drawdown
        FROM trades
        WHERE experiment_id = $1
        GROUP BY model_version
        """
        results = self.db.fetch(query, self.exp_id)
        return {r['model_version']: r for r in results}
    
    def test_statistical_significance(self, alpha=0.05):
        """Welch's t-test для порівняння returns"""
        returns_a = self.get_returns('A')
        returns_b = self.get_returns('B')
        
        if len(returns_a) < 30 or len(returns_b) < 30:
            return {'significant': False, 'reason': 'Insufficient data'}
        
        # Welch's t-test (не передбачає рівних дисперсій)
        t_stat, p_value = stats.ttest_ind(returns_a, returns_b, equal_var=False)
        
        # Mann-Whitney U test (непараметричний, більш стійкий)
        u_stat, p_value_mw = stats.mannwhitneyu(returns_a, returns_b, 
                                                  alternative='two-sided')
        
        # Effect size (Cohen's d)
        pooled_std = np.sqrt((np.var(returns_a) + np.var(returns_b)) / 2)
        cohens_d = (np.mean(returns_b) - np.mean(returns_a)) / pooled_std
        
        return {
            'significant': p_value < alpha,
            'p_value': p_value,
            'p_value_mannwhitney': p_value_mw,
            'cohens_d': cohens_d,
            'effect_size': 'small' if abs(cohens_d) < 0.2 else 
                          'medium' if abs(cohens_d) < 0.5 else 'large',
            'winner': 'B' if np.mean(returns_b) > np.mean(returns_a) else 'A',
            't_statistic': t_stat
        }
    
    def bayesian_comparison(self):
        """Байєсівський підхід: P(B > A)"""
        returns_a = self.get_returns('A')
        returns_b = self.get_returns('B')
        
        # Monte Carlo sampling з posterior розподілів
        n_samples = 100000
        
        # Припускаємо нормальні posterior distributions
        mu_a = np.mean(returns_a)
        mu_b = np.mean(returns_b)
        se_a = stats.sem(returns_a)
        se_b = stats.sem(returns_b)
        
        samples_a = np.random.normal(mu_a, se_a, n_samples)
        samples_b = np.random.normal(mu_b, se_b, n_samples)
        
        prob_b_better = (samples_b > samples_a).mean()
        expected_lift = (samples_b - samples_a).mean()
        
        return {
            'prob_b_better': prob_b_better,
            'expected_lift': expected_lift,
            'credible_interval_95': np.percentile(samples_b - samples_a, [2.5, 97.5])
        }

Як sequential testing прискорює прийняття рішень?

Класичний A/B тест вимагає фіксованого розміру вибірки заздалегідь. Sequential testing дозволяє прийняти рішення раніше:

def sequential_probability_ratio_test(returns_a, returns_b, 
                                        alpha=0.05, beta=0.2, delta=0.001):
    """
    SPRT (Wald): дозволяє зупинити тест раніше, якщо різниця очевидна
    alpha: Type I error (хибне виявлення різниці)
    beta: Type II error (пропуск реальної різниці)
    delta: мінімальна значуща різниця в returns
    """
    lower_bound = np.log(beta / (1 - alpha))
    upper_bound = np.log((1 - beta) / alpha)
    
    log_likelihood_ratio = 0
    decisions = []
    
    for r_a, r_b in zip(returns_a, returns_b):
        # Оновлюємо log-likelihood ratio
        # (спрощено для нормального розподілу)
        log_likelihood_ratio += r_b - r_a  # спрощення
        
        if log_likelihood_ratio >= upper_bound:
            decisions.append('B_wins')
        elif log_likelihood_ratio <= lower_bound:
            decisions.append('A_wins')
        else:
            decisions.append('continue')
    
    return log_likelihood_ratio, decisions

Guardrail метрики

A/B тест не повинен нашкодити. Guardrail метрики — це мінімальні вимоги для обох версій:

GUARDRAIL_METRICS = {
    'max_drawdown': 0.15,         # не більше 15%
    'max_daily_loss': 0.03,       # не більше 3% в день
    'min_trades': 5,              # мінімум 5 угод (інакше немає даних)
    'win_rate_minimum': 0.35      # хоча б 35% виграшних угод
}

def check_guardrails(metrics, version):
    violations = []
    for metric, limit in GUARDRAIL_METRICS.items():
        if metric in metrics and metrics[metric] > limit:
            violations.append(f"{version}: {metric} = {metrics[metric]:.2%} > {limit:.2%}")
    return violations

При порушенні guardrail метрики — негайна зупинка відповідної версії.

Dashboard та прийняття рішень

Realtime dashboard показує:

  • Кумулятивний P&L кожної версії (equity curves)
  • P-value та confidence interval
  • Bayesian probability B > A
  • Таблиця метрик: Sharpe, Win Rate, Max DD, Total trades

Decision framework:

  • P-value < 0.05 І N trades > min_trades → можна приймати рішення
  • Bayesian P(B > A) > 95% → впевнена перемога B
  • Effect size Cohen's d < 0.1 → практично немає різниці, вибираємо за іншими критеріями (complexity, latency)

Порівняння частотного та байєсівського підходів

Критерій Частотний (Welch t-test) Байєсівський
Інтерпретація p-value (ймовірність даних при H0) P(B > A) (ймовірність переваги)
Рання зупинка SPRT Sequential Bayesian
Чутливість до розміру вибірки Вимагає велику вибірку Працює і з малими вибірками
Стійкість до викидів Mann-Whitney U Використовує robust likelihood

Для досягнення потужності 80% при α=0.05 та ефекті Cohen's d=0.5 потрібно приблизно n=64 на групу. При щоденній кількості угод 20 це відповідає 3.2 дням тесту.

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

  1. Архітектура та проєктування — схема роутингу, модель даних, вибір інструментів.
  2. Реалізація — написання коду роутера, аналізатора, дашборду.
  3. Інтеграція з вашою торговою платформою — підключення до брокерських API, баз даних.
  4. Тестування — симуляції на історичних даних та paper trading.
  5. Документація — опис експериментального дизайну, API, інструкція оператора.
  6. Підтримка — супровід перших live-експериментів, консультації.

З практики: зменшення прослизання на 40%

В одному з проєктів ми впровадили A/B тестування для порівняння нової моделі виконання ордерів з поточною. За два тижні накопичили 500 угод на кожній версії. Результат: нова модель знизила прослизання на 40% (p-value < 0.01, Cohen's d = 0.6). Економія на прослизанні склала $12,000 на місяць, а річна економія перевищила $100,000. Окупність A/B тесту склала менше 3 місяців. Без A/B тесту ми б не змогли відокремити ефект моделі від ринкових флуктуацій. Як показують дані, A/B тест в 3 рази ефективніший за простий backtesting для виявлення реальної продуктивності.

Чому варто довірити розробку нам?

Наш досвід — 5+ років у блокчейн- та трейдинг-розробці, понад 30 успішних проєктів. Інженери сертифіковані з Solidity, Rust, Python, мають досвід роботи з високонавантаженими системами. Ми гарантуємо якість коду, що пройшов рев'ю та аудит. Зв'яжіться з нами для оцінки вашого проєкту — обговоримо деталі та терміни. Оцініть ефективність ваших стратегій — замовте впровадження системи A/B тестування.

Розробка бірж: matching engine визначає успіх

Ми розробляємо біржі, де matching engine обробляє тисячі ордерів на секунду без затримки, маршрутизує ліквідність між пулами та гарантує, що жоден користувач не отримає доступ до чужих коштів. Команди, які починають з UI і відкладають движок «на потім», у 90% випадків переписують все через півроку. Наш досвід — 15+ запущених біржових проєктів. Оцініть ваш проєкт — отримайте консультацію.

Типові проблеми архітектури бірж

Order Book vs AMM

Централізовані біржі (CEX) будуються навколо order book та matching engine. Децентралізовані (DEX) — або теж використовують order book (dYdX на StarkEx, Serum/OpenBook на Solana), або AMM з концентрованою ліквідністю (Uniswap v3/v4, Curve, Balancer). Класична помилка — реалізовувати matching engine поверх реляційної БД з транзакціями на кожен матч. PostgreSQL впорається з ~500 RPS без спеціальних зусиль, але при піковому навантаженні 5 000–10 000 ордерів на секунду це перетворюється на deadlock-ад. Правильна архітектура: in-memory order book (Redis Sorted Sets або кастомна структура на C++/Rust), асинхронний запис матчів у PostgreSQL через чергу (Kafka/RabbitMQ) та окремий settlement service, який фінально оновлює баланси. Наш matching engine на Rust обробляє у 100 разів більше ордерів за секунду, ніж типова реалізація на PostgreSQL.

Для DEX найболючіша проблема — sandwich атаки та MEV. Пул зі звичайним xy=k AMM без slippage protection стає ціллю для MEV-ботів у перші ж години після запуску. Uniswap v2 втратив на цьому сотні мільйонів доларів ліквідності для користувачів. Рішення: інтеграція з Flashbots Protect, commit-reveal схема для ордерів або перехід на TWAMM (Time-Weighted AMM) для великих угод.

Як захистити DEX від MEV-атак?

Flashbots Protect дозволяє відправляти транзакції напряму в блок без публічного mempool. Commit-reveal схема робить неможливим front-running, приховуючи параметри ордера до моменту виконання. Для децентралізованих order book-бірж (на кшталт dYdX) це критично — без захисту MEV-боти викачують прибуток маркет-мейкерів. Ми реалізовували таку інтеграцію для клієнта на Arbitrum: після підключення Flashbots частка sandwich-атак знизилась з 12% до 0.2% від усіх угод.

Концентрована ліквідність та impermanent loss

Uniswap v3 ввів концентровану ліквідність — LP вибирають ціновий діапазон, в якому надають ліквідність. Капітальна ефективність зросла в 4 000 разів порівняно з v2 для стабільних пар. Але реалізувати цей механізм правильно — нетривіальне завдання. Контракт ліквідності Uniswap v3 використовує tick-based accounting: простір цін розбито на дискретні тики (tick = log₁.0001(price)), кожен тик зберігає накопичені fee growth і liquidity delta. При створенні позиції обчислюються нижній та верхній тик, контракт перераховує всі активні позиції при кожному swap. Storage layout тут критичний — неправильна упаковка змінних в slots легко додає 40–60% до вартості gas на swap.

Ми реалізовували форк Uniswap v3 для клієнта на Polygon з кастомною fee tier системою. Початкова версія витрачала 180k gas на swap через 2 тики. Після slot packing змінних у Tick.Info та інлайнінгу кількох internal викликів — 112k gas. Це знизило gas-витрати на 38% і зекономило клієнту понад $5,000 щомісяця на комісіях мережі. Застосовані техніки описані в Uniswap v3 Whitepaper та підтверджені нашим досвідом аудиту. Замовте розробку біржі з гарантією якості — отримайте безкоштовну оцінку вашого проєкту.

Matching engine: ядро розробки бірж

Production-ready matching engine будується за наступною схемою:

  • Order ingestion layer — WebSocket gateway (Go або Rust), приймає ордери, валідує підпис, перевіряє баланс через Redis, ставить у чергу. Latency на цьому рівні має бути <1ms.
  • Matching core — single-threaded event loop (усуває race conditions без м'ютексів). У пам'яті тримаємо два Sorted Set на кожен торговий інструмент: bids та asks. FIFO matching для limit ордерів, immediate-or-cancel для маркет. Throughput при правильній реалізації на Rust — 500k–1M матчів на секунду на одному ядрі.
  • Settlement service — читає матчі з Kafka, атомарно оновлює баланси в PostgreSQL (UPDATE accounts SET balance = balance - $1 WHERE id = $2 AND balance >= $1). Optimistic locking через версіонування рядків.
  • Withdrawal pipeline — окремий сервіс з cold/hot wallet архітектурою. Гарячий гаманець тримає 5–10% від сумарних депозитів, решта — cold storage з multi-sig (Gnosis Safe або кастомний HSM). Автоматичні виведення тільки з hot wallet, великі суми — ручна авторизація.
Компонент Технологія Latency / Throughput
Order gateway Go + WebSocket <1ms p99
Matching engine Rust (in-memory) 500k+ orders/sec
Balance store Redis (write-through) <0.5ms
Settlement DB PostgreSQL 14+ ~50k TPS з partitioning
Event streaming Apache Kafka 1M+ events/sec
Blockchain node Geth / Solana validator залежить від чейну

Як будувати on-chain DEX: смарт-контракти та газ-оптимізація

Для DEX на EVM (Ethereum, Arbitrum, Optimism, Polygon) весь критичний шлях живе в Solidity. Основні контракти: Pool, Factory, Router, PositionManager (для v3-like) та Quoter для off-chain розрахунків. Типові помилки, які ми бачимо в аудитах:

Reentrancy через callback. Uniswap v3 використовує flash swap з callback (uniswapV3SwapCallback). Якщо у вашому роутері немає nonReentrant guard і ви не перевіряєте msg.sender == pool, контракт дренується через вкладений виклик. Це не гіпотетика — кілька форків v3 втрачали кошти саме так.

Oracle manipulation в AMM. Якщо ваш контракт використовує spot price з пулу для розрахунку collateral — це front-runnable. Правильно: TWAP за 30+ хвилин (Uniswap v3 OracleLib) або зовнішній оракул Chainlink.

Unbounded loops в liquidity range. Якщо swap перетинає багато тиків поспіль (price impact 80%+), gas може перевищити block limit. Потрібен MAX_TICKS_CROSSED з partial fill і поверненням залишку.

Тип помилки Наслідок Рішення
Reentrancy Втрата коштів через вкладений виклик nonReentrant guard + перевірка caller
Oracle manipulation Маніпуляція ціною через flash loan TWAP або зовнішній оракул
Unbounded loops Транзакція не влазить у блок Partial fill + ліміт тиків

Як оптимізувати газ для смарт-контрактів DEX?

Оптимізація gas включає packing змінних у storage slots, використання inline assembly для критичних операцій та мінімізацію зовнішніх викликів. Правильне розміщення полів у структурі Tick.Info дозволяє зменшити gas на 20–30% порівняно з базовою реалізацією. Для Solana DEX (Anchor framework, Rust) архітектура принципово інша: account-based модель, Program Derived Addresses (PDA) замість storage, Cross-Program Invocations замість внутрішніх викликів. Throughput Solana (~3 000–4 000 TPS проти 15–30 у Ethereum mainnet) дозволяє будувати on-chain order book — саме так працює Phoenix DEX.

Liquidity bootstrapping та інтеграція з агрегаторами

Запустити пул мало — потрібно забезпечити ліквідність на старті. Практичні механізми:

  • Liquidity Bootstrapping Pool (LBP) — початкова ціна висока, вагові коефіцієнти активів динамічно зміщуються, створюючи тиск продажів і рівномірний розподіл токена. Реалізовано в Balancer v2.
  • Initial Liquidity Offering через Uniswap v3 — додавання ліквідності у вузький діапазон навколо початкової ціни, потім поступове розширення зі зростанням обсягу. Вимагає active liquidity management або інтеграції з Arrakis/Gamma.
  • Інтеграція з 1inch, Paraswap, Li.Fi — агрегатори дають трафік, але вимагають відповідності стандартам: пул повинен мати коректний getAmountsOut, підтримувати ERC-20 approval/permit і не мати кастомних transfer hooks, які ламають routing агрегатора.

Використовуйте LBP для створення початкового цінового діапазону, а потім підключайте агрегатори для забезпечення постійного потоку замовлень. Активне управління ліквідністю через професійні протоколи допомагає уникнути втрат від impermanent loss. Наш досвід — 15+ запущених біржових проєктів, які пройшли незалежний аудит. Середня економія клієнтів на gas-комісіях після оптимізації — $5,000 щомісяця.

Процес розробки

Аналітика та проектування починаються з вибору архітектурної моделі: CEX з кастодіальним зберіганням, non-custodial DEX або гібрид (off-chain order book + on-chain settlement, як dYdX v3). Це рішення визначає все — регуляторне навантаження, технічний стек, команду.

Як проходить тестування смарт-контрактів?

Ми використовуємо Foundry для unit-тестів, fuzzing та invariant testing. Fork testing на mainnet дозволяє відтворити реальні умови ліквідності, що критично для верифікації поведінки контрактів.

Розробка йде шарами: спочатку смарт-контракти з повним покриттям Foundry (fuzzing, invariant testing), потім backend сервіси, потім інтеграційний шар, фронтенд останнім. Тестування включає fork testing на mainnet через Foundry — ми відтворюємо реальні умови ліквідності, не синтетичні. Foundry запускає тести в 5 разів швидше за Hardhat.

Аудит обов'язковий перед деплоєм на mainnet. Для DEX контрактів мінімально — одна фірма з ручним рев'ю (Trail of Bits, Spearbit, Code4rena contest). Для CEX custody — аудит процесів зберігання ключів. Ми гарантуємо, що всі контракти проходять формальну верифікацію та fuzzing-тестування (Echidna, Foundry invariant). Середня вартість незалежного аудиту для DEX — $15,000–30,000.

Що входить в роботу (deliverables)

Після завершення проєкту ви отримуєте:

  • Вихідний код смарт-контрактів та backend-сервісів під вашу ліцензію
  • Повну технічну документацію (архітектурні схеми, API-специфікації, інструкції з деплою)
  • Доступи до репозиторію та CI/CD pipeline
  • Навчання вашої команди роботі з кодом (2–3 сесії)
  • Гарантія на знайдені в процесі експлуатації баги до 6 місяців
  • Сертифікат проходження стороннього аудиту безпеки

Орієнтири за строками

Тип біржі Тривалість
DEX (AMM, xy=k) 3–5 місяців: контракти + backend + UI
DEX з концентрованою ліквідністю (v3-like) 6–10 місяців
CEX (matching engine + custody + торговий UI) 8–14 місяців
Інтеграція з існуючим протоколом 4–8 тижнів

Вартість розраховується індивідуально після технічного брифінгу: вибір чейну, вимоги до throughput, кастодіальна модель. Сертифіковані інженери з досвідом більше 10 років допоможуть підібрати оптимальну архітектуру та не допустити типових помилок.

Типові помилки при запуску біржі
  • Забувають про price oracle в AMM. Spot price маніпулюється flash loan'ом за одну транзакцію. Якщо ваш lending protocol використовує spot price зі свого ж пулу — це баг, а не фіча.
  • Гарячий гаманець без лімітів. CEX без добових лімітів на автоматичні виведення — запрошення для атакуючого. Компрометація одного ключа має втратити максимум 10% від сумарних коштів.
  • Відсутність circuit breaker. Різке падіння ціни на 40% за 5 хвилин має зупиняти автоматичні ліквідації або виведення до ручного рев'ю. Без цього cascading liquidation spiral знищує весь TVL.
  • Неправильний decimal handling. USDC використовує 6 decimals, WBTC — 8, більшість токенів — 18. Змішування без нормалізації дає або втрату точності, або overflow. У Solidity немає float — працюємо з fixed-point через FullMath (mulDiv з overflow protection).

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