Розробка policy engine для управління транзакціями

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

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

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

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

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

Уявіть: мультисиг-гаманець із 5 підписантами, daily limit $2M. Співробітник ініціює виведення $1.8M на адресу, яка годину тому потрапила до санкційного списку OFAC. Підписи зібрані, але policy engine на етапі pre-check звертається до Chainalysis KYT, отримує risk-скор 85 — транзакція блокується. Без такого движка гроші були б заморожені на тижні, а компанія отримала б штраф до $500 000. Ми проектуємо та впроваджуємо систему правил для кастодіальних гаманців і корпоративних мультисигів. Движок застосовує набір правил до підписання — це ключова відмінність від пост-обробки. Наша команда має 8 років досвіду в блокчейн-розробці та понад 40 впроваджень для великих кастодіальних рішень.

Як працює система управління транзакціями?

Policy engine — шар між ініціатором і виконанням. Він оцінює правила до того, як транзакція йде на підпис і в мемпул. Правила перевіряють параметри, контекст (роль відправника, час), зовнішні дані (compliance API) та on-chain стан. Результат: дозволити, відхилити, запитати дод. підписи або відкласти.

Згідно зі специфікацією Safe{Core} Protocol Hooks, preCheck викликається до виконання транзакції.

Архітектура системи правил

Рівні застосування політик — розробка системи policy

Движок політик може існувати на кількох рівнях — їх часто змішують, що породжує проблеми:

  • Off-chain pre-execution — найпоширеніший. Правила перевіряються в сервісі до підписання. Гнучкий, дешевий, підтримує будь-яку логіку. Недолік: потребує довіри до цього сервісу.
  • On-chain enforcement — смарт-контракт, точка входу для всіх транзакцій. Safe{Core} Protocol Hooks — приклад. Гарантії сильніші, але логіка обмежена on-chain: немає доступу до зовнішніх даних без оракулів, кожна перевірка коштує gas.
  • Hybrid — політики верифікуються off-chain, контракт приймає proof (commitment scheme або trusted signer attestation).

Чому варто комбінувати off-chain і on-chain?

Off-chain evaluation в 10 разів швидше і не витрачає gas, але on-chain дає незмінні гарантії. Оптимальне рішення — гібридна архітектура: швидкі off-chain правила як перший фільтр, критичні політики (ліміти протоколу) — у смарт-контрактах. В одному проєкті ми обробляємо 500+ правил з latency під 5 мс, економія часу на ручній модерації сягає 70%. Вартість розробки оцінюється індивідуально, але окупається за рахунок скорочення compliance-інцидентів. Одна не заблокована транзакція може зекономити понад $1 млн, а річна економія — до $5 млн.

Модель правил

Правило складається з умови та дії. Умови можуть бути:

  • Параметричні: amount > threshold, recipient in whitelist, token == USDC
  • Контекстуальні: sender.role == OPERATOR, time_of_day in 09:00-18:00, daily_volume + amount <= limit
  • Зовнішні: chainalysis_risk_score(recipient) < 70, ofac_check(recipient) == CLEAR
  • On-chain: recipient.is_contract == false, token.paused == false

Дії: ALLOW, DENY, REQUIRE_APPROVAL(n_signers), DELAY(duration), NOTIFY(channels).

Правила мають пріоритети, можливі конфлікти. Потрібна чітка семантика: first-match, all-must-pass, whitelist-overrides-blacklist. Це проєктне рішення.

Приклад інтерфейсу правила
interface PolicyRule {
  id: string;
  priority: number;
  conditions: Condition[];
  conditionLogic: 'AND' | 'OR';
  action: PolicyAction;
  metadata: { name: string; owner: string; updatedAt: number };
}

interface PolicyAction {
  type: 'ALLOW' | 'DENY' | 'REQUIRE_APPROVAL' | 'DELAY';
  params?: {
    requiredApprovers?: string[];
    minApprovals?: number;
    delaySeconds?: number;
    notifyChannels?: string[];
  };
}

Evaluator: порядок обчислення

Движок повинен обробляти правила ефективно — особливо коли правил сотні, а частина потребує зовнішніх викликів (API compliance провайдера).

Оптимальна стратегія: short-circuit evaluation з кешуванням. Спочатку перевіряються дешеві локальні умови (параметри транзакції, ролі), потім кешовані зовнішні дані, останніми — свіжі API-виклики з таймаутом.

class PolicyEvaluator:
    def evaluate(self, tx: Transaction, context: EvalContext) -> PolicyDecision:
        sorted_rules = sorted(self.rules, key=lambda r: r.priority, reverse=True)
        
        for rule in sorted_rules:
            cheap_conditions = [c for c in rule.conditions if c.type == 'PARAMETRIC']
            if not self._eval_conditions(cheap_conditions, tx, context):
                continue
            
            expensive_conditions = [c for c in rule.conditions if c.type == 'EXTERNAL']
            cache_key = self._cache_key(expensive_conditions, tx)
            cached = self.cache.get(cache_key)
            
            results = cached if cached else self._eval_external(expensive_conditions, tx)
            self.cache.set(cache_key, results, ttl=300)
            
            if self._eval_conditions_with_results(rule.conditions, results, rule.conditionLogic):
                return PolicyDecision(action=rule.action, rule_id=rule.id)
        
        return PolicyDecision(action=DEFAULT_ACTION)

On-chain реалізація: Safe Hooks

Safe{Core} Protocol (EIP-7579 сумісний) надає механізм хуків:

interface ISafeProtocolHooks {
    function preCheck(
        Safe safe,
        SafeTransaction calldata tx,
        uint256 executionType,
        bytes calldata executionMeta
    ) external returns (bytes memory preCheckData);
    
    function postCheck(
        Safe safe,
        bool success,
        bytes calldata preCheckData
    ) external;
}

preCheck викликається до виконання. Якщо revert — транзакція не проходить. Тут можна: перевірити whitelist/blacklist (зберігається в storage хука), перевірити ліміти (через акумулятори за адресами/токенами), вимагати додатковий approval через timelock.

Приклад лімітного хука:

contract DailyLimitHook is ISafeProtocolHooks {
    mapping(address => mapping(address => uint256)) public dailyVolume;
    mapping(address => mapping(address => uint256)) public lastResetDay;
    mapping(address => mapping(address => uint256)) public dailyLimit;

    function preCheck(Safe safe, SafeTransaction calldata tx, uint256, bytes calldata)
        external returns (bytes memory)
    {
        address token = _extractToken(tx.data);
        uint256 amount = _extractAmount(tx.data);
        
        uint256 today = block.timestamp / 1 days;
        address safeAddr = address(safe);
        
        if (lastResetDay[safeAddr][token] < today) {
            dailyVolume[safeAddr][token] = 0;
            lastResetDay[safeAddr][token] = today;
        }
        
        require(
            dailyVolume[safeAddr][token] + amount <= dailyLimit[safeAddr][token],
            "DailyLimitExceeded"
        );
        
        return abi.encode(token, amount);
    }

    function postCheck(Safe safe, bool success, bytes calldata preCheckData) external {
        if (success) {
            (address token, uint256 amount) = abi.decode(preCheckData, (address, uint256));
            dailyVolume[address(safe)][token] += amount;
        }
    }
}

Як інтегрувати compliance API?

Для фінансових продуктів policy engine неминуче включає інтеграцію з compliance провайдерами. Основні:

  • Chainalysis — KYT API перевіряє адреси (risk-скор) і транзакції (exposure до відомих кластерів). Latency: 200–800ms, потрібен кеш і graceful degradation.
  • Elliptic — аналогічний функціонал, інша модель оцінки ризику. Використовується в Fireblocks.
  • TRM Labs — спеціалізується на cross-chain аналізі, добре покриває Solana і Tron.
  • OFAC screening — можна через ті ж провайдери або через самостійно підтримуваний snapshot SDN списку (оновлюється нечасто, можна зберігати локально та оновлювати через webhook).

Важливий момент: compliance API мають SLA і можуть бути недоступні. Policy engine повинен мати явну політику для випадку EXTERNAL_CHECK_TIMEOUT: fail-open (дозволити з логом) vs. fail-closed (заблокувати). Це бізнес-рішення, але його потрібно зафіксувати.

Провайдер Особливості Latency Покриття мереж
Chainalysis KYT, risk-скори 200-800ms Ethereum, Bitcoin, 10+ мереж
Elliptic Акцент на санкції 300-600ms Основні L1
TRM Labs Крос-чейн, Solana 150-500ms 30+ мереж

Як ми реалізуємо policy engine?

  1. Аналіз вимог — визначаємо бізнес-правила, compliance-зобов'язання, технічні обмеження (latency, throughput).
  2. Проектування моделі правил — проектуємо ієрархію правил, умови, дії, політики при конфліктах.
  3. Розробка evaluator'а — пишемо ядро движка з short-circuit evaluation, кешем та інтеграцією із зовнішніми API.
  4. Інтеграція та тестування — підключаємо движок до гаманця або мультисигу, проводимо навантажувальне та регресійне тестування.

Замовте розробку policy engine, щоб захистити свої активи.

Моніторинг та аудит

Система правил без повного audit log марна для compliance. Кожне рішення повинно містити:

  • Transaction hash або pre-tx ID
  • Список застосованих правил та їх результати
  • Значення всіх умов на момент оцінки
  • Фінальне рішення та виконавець
  • Timestamp з точністю до мілісекунди

Це незмінний лог. Зберігання: PostgreSQL з append-only таблицею + реплікація в S3/Arweave для long-term retention. Для регуляторних вимог — мінімум 5 років.

Компонент Технологія
Rule storage PostgreSQL + Redis cache
Evaluator Go / Python service
On-chain hooks Solidity (Safe Protocol)
Compliance API Chainalysis / Elliptic / TRM
Audit log PostgreSQL → S3
Admin UI React + role-based access

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

  • Проєктна документація (архітектура, модель правил)
  • Вихідний код движка (off-chain evaluator та on-chain hooks)
  • Інтеграція з compliance-провайдерами (Chainalysis, Elliptic та ін.)
  • Налаштування кешування та graceful degradation
  • Розгортання та налаштування audit log
  • Навчання команди та документація адміністратора
  • Пост-релізна підтримка на 3 місяці

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

Розгортання блокчейн-інфраструктури: як уникнути простоїв?

Subgraph впав о 3:47 ночі. До ранку користувачі бачили застарілі баланси, транзакції «висіли» в UI, підтримка отримала 47 тікетів за годину. Причина: handler в subgraph впав на транзакції з нестандартним event log — і весь індекс зупинився. Ми стикалися з такими ситуаціями десятки разів. Наш досвід показує: блокчейн-інфраструктура не прощає прогалин в observability. Гарантувати uptime без багатошарового моніторингу та fault‑tolerant архітектури неможливо. За 8 років роботи з Ethereum, Polygon та Solana ми виробили підхід, який дозволяє передбачувано розгортати інфраструктуру будь-якого масштабу — від одиночної ноди до мультичейн‑сітки з десятками субграфів.

Архітектура RPC-шару

Кожна взаємодія dApp з блокчейном йде через RPC — JSON‑RPC API, яку надає нода. Три варіанти:

Managed providers — Alchemy, QuickNode, Infura, Ankr. Мінімальні операційні витрати, SLA, вбудований моніторинг. Обмеження: rate limits (Alchemy Free: 300 RU/sec), vendor lock, потенційні downtime при інцидентах провайдера. Для більшості проектів — правильний вибір на старті.

Власні ноди — повний контроль, немає rate limits, немає залежності від третіх сторін. Вартість: архівна нода Ethereum займає 2.5–3TB SSD, потребує потужний сервер та DevOps‑підтримку. Sync з нуля на Ethereum через Geth/Nethermind — 3–7 днів. Виправдано при високому навантаженні або вимогах до latency.

Гібрид — власна нода як primary, managed provider як fallback. Стандарт для протоколів з високим TVL. Правильна балансировка може скоротити витрати порівняно з чисто managed‑схемою до 4 разів при аналогічному SLA.

Провайдер Сильна сторона Обмеження
Alchemy Supernode, Enhanced APIs, webhooks Дорогий на high-volume
QuickNode Низька latency, multi-chain Дорожче Alchemy на базовому плані
Infura Історична надійність Rate limits на безкоштовному, один великий інцидент зупинив пів DeFi
Ankr Дешевий, 40+ чейнів Менш стабільний

Як налаштувати RPC-шар без єдиної точки відмови?

Мінімум два провайдери, DNS round‑robin з health check кожні 5 секунд, автоматичне перемикання на fallback при latency >500 мс. На практиці це дає 99.99% доступності при будь-якому збої провайдера. Для протоколів з високим TVL ми рекомендуємо власний HA‑проксі (nginx або Envoy) перед двома managed‑провайдерами.

Чому гібридна RPC-схема вигідніша за чисто managed?

При великій кількості запитів на місяць Alchemy та QuickNode коштують значно, власна нода — дешевше. Гібрид: primary — своя нода, fallback — QuickNode, значна економія без втрати SLA. Тестування на одному з наших проектів показало: перехід на гібрид знизив витрати на RPC на 37% при latency менше 200 мс.

Клієнти нод Ethereum

Execution clients: Geth (найбільш використовуваний), Nethermind (C#, швидка sync), Besu (Java, enterprise), Erigon (найшвидший sync, архівний режим ефективний по диску — ~2TB замість 3TB).

Consensus clients (post‑Merge): Lighthouse (Rust), Prysm (Go), Teku (Java), Nimbus (Nim). Кожна нода після The Merge потребує пари execution + consensus client.

Для DevOps: eth‑docker — Docker Compose конфігурації для всіх комбінацій клієнтів. Налаштування моніторингу через Grafana + Prometheus — обов’язкове, стандартний дашборд є в репозиторії кожного клієнта.

The Graph: індексація подій

The Graph Protocol — decentralized indexing. Subgraph описує які події з яких контрактів індексувати і як трансформувати їх у GraphQL схему.

Структура subgraph:

  • subgraph.yaml — маніфест: адреси контрактів, startBlock, події які обробляються
  • schema.graphql — GraphQL схема entities
  • src/mapping.ts — AssemblyScript обробники подій
dataSources:
  - kind: ethereum
    name: UniswapV3Pool
    network: mainnet
    source:
      address: "0x88e6A0c2dDD26FEEb64F039a2c41296FcB3f5640"
      abi: UniswapV3Pool
      startBlock: 12370624
    mapping:
      eventHandlers:
        - event: Swap(indexed address,indexed address,int256,int256,uint160,uint128,int24)
          handler: handleSwap

AssemblyScript handlers — не TypeScript. Немає nullable types, немає closures, немає багатьох стандартних API. Помилка в handler зупиняє індексацію subgraph-а на тій транзакції. Важливо: додавати try‑catch на операції які можуть падати (наприклад store.get() для entity яка може не існувати). Згідно документації The Graph, кожен handler повинен обробляти всі можливі edge cases, інакше індексація зупиниться.

Уникнення зупинки індексації субграфа

Лог файли Graph Node моніторяться в реальному часі, при hasIndexingErrors = true спрацьовує алерт і автоматичний рестарт ноди (через systemd або Kubernetes). Типовий downtime при помилці — 150–300 секунд до відновлення. Додатково: для production ставимо watchdog, який перезапускає Graph Node якщо subgraph lag перевищує 50 блоків. Використання Ponder замість The Graph зменшує час на debugging на 60% завдяки повному TypeScript та звичним інструментам.

Вибір між Hosted Service та Decentralized Network

Graph Hosted Service (безкоштовний, централізований) deprecated на користь Subgraph Studio + Graph Network. Для продакшн: деплой на Graph Network з GRT curation signal — субграф отримує indexers пропорційно curation.

Альтернативи The Graph: Ponder (TypeScript, self-hosted, простіше дебажити), Envio (ultra‑fast indexer, підтримує EVM + non‑EVM), Subsquid (TypeScript, своя мережа), Moralis Streams (managed, webhook‑based). Наш досвід показує: для високонавантажених проектів з унікальною логікою ефективніше Ponder або Envio — вони дають повний контроль над процесом і не потребують токеноміки GRT. Ponder працює в 5 разів швидше за The Graph при індексації складних подій завдяки відсутності overhead AssemblyScript.

Webhooks та real-time нотифікації

Alchemy Webhooks та QuickNode Streams дозволяють отримувати події в реальному часі через HTTP webhook або WebSocket. Для моніторингу адрес, нових транзакцій, мінтів — це швидше ніж polling RPC.

Tenderly — платформа для моніторингу та алертів. Можна налаштувати alert на конкретний event з контракту, на зміну балансу, на виклик функції з певними параметрами. Симуляція транзакцій через Tenderly API — безцінно для debugging.

Моніторинг та observability

Мінімальний стек моніторингу для протоколу:

On‑chain: OpenZeppelin Defender Sentinel — watches contract events, викликає webhook або Autotask при спрацьовуванні умов. Forta Network — community‑maintained боти детектують аномалії (великі withdrawals, flash loans, governance attacks).

Infrastructure: Grafana + Prometheus для нод, Datadog або Grafana Cloud для managed метрик. Alert на: нода відстала на 10+ блоків, RPC latency > 500ms, subgraph lag > 100 блоків.

Uptime: Better Uptime або PagerDuty на RPC endpoint та subgraph health endpoint (The Graph надає _meta { hasIndexingErrors, block { number } }).

Обмеження моніторингу без Tenderly

Tenderly дає симуляцію транзакцій та детальні трейси — це критично для налагодження помилок у субграфах та смарт‑контрактах. Forta ж фокусується на аномаліях у мережі, а не на вашій інфраструктурі. Комбінація Tenderly + власний дашборд Grafana покриває 90% сценаріїв інцидентів.

Мультичейн інфраструктура

Протокол на 5 чейнах = 5 окремих RPC endpoints, 5 subgraphs, 5 моніторинг‑конфігів. Це керовано, але потрібна автоматизація деплою.

Для subgraph multi‑network деплой: graph deploy --network mainnet, graph deploy --network arbitrum-one і т.д. з єдиною кодовою базою та network‑specific адресами в окремих файлах конфігурації.

Chainlink CCIP та LayerZero для cross‑chain messaging потребують моніторингу стану обох чейнів та транзакцій на intermediate relayers. Реорг на source chain при вже підтвердженому мінті на target chain — класична проблема мостів. Рішення: чекати finality (на Ethereum ~15 хвилин після Merge для економічної finality) перед підтвердженням на target chain.

Деталі автоматизації для 5+ чейнів Для зменшення операційного навантаження використовуємо Terraform для розгортання інфраструктури, Ansible для налаштування нод та Kubernetes для оркестрації subgraph. Кожен чейн отримує окремий namespace з однаковими шаблонами моніторингу. Це дозволяє розгорнути новий чейн за 2 дні замість 2 тижнів.

Процес налаштування інфраструктури

  1. Аудит поточного стеку — визначаємо чейни, обсяг запитів, вимоги до latency та доступності.
  2. Проектування архітектури — вибір провайдерів, балансировка, redundancy.
  3. Розробка subgraph — маніфест → схема → handlers → тестування на локальній Graph Node → деплой на testnet → mainnet.
  4. Конфігурація моніторингу — Tenderly alerts, Grafana дашборд, PagerDuty інтеграція.
  5. Документація та runbook — що робити при: subgraph fell behind, RPC downtime, нода desync.
  6. Передача в експлуатацію — навчання команди, передача доступів, підтримка перший місяць.

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

  • Розгортання managed або self‑hosted нод Ethereum, Polygon, BNB Chain
  • Налаштування RPC‑шару з primary/fallback та load balancing
  • Розробка та деплой subgraph під ваш протокол
  • Підключення моніторингу (Tenderly, Grafana, алерти)
  • Створення runbook та документації з експлуатації
  • Навчання команди (до 4 годин онлайн)
  • Підтримка протягом 30 днів після здачі

Які терміни виконання?

Робота Термін
Налаштування RPC та базового моніторингу 1–2 тижні
Subgraph для одного протоколу 2–4 тижні
Self-hosted нода з моніторингом 2–3 тижні
Повна інфраструктура (multi-chain, моніторинг, runbooks) 6–10 тижнів

Всі проекти ведуться в репозиторії на GitHub/GitLab з CI/CD, код конфігурацій залишається у вас. Замовте розгортання інфраструктури — розкажемо, як скоротити витрати без втрати надійності. Отримайте консультацію — покажемо, як ми розгортали інфраструктуру для протоколу з високим TVL на Ethereum та Arbitrum. Зв'яжіться з нами.