Розробка системи RNG (Random Number Generator) на блокчейні

Проєктуємо та розробляємо блокчейн-рішення повного циклу: від архітектури смарт-контрактів до запуску DeFi-протоколів, NFT-маркетплейсів та криптобірж. Аудит безпеки, токеноміка, інтеграція з наявною інфраструктурою.
Показано 1 з 1Усі 1305 послуг
Розробка системи RNG (Random Number Generator) на блокчейні
Середній
від 1 дня до 3 днів
Часті запитання

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

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

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

  • 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

Використовувати block.timestamp, block.prevrandao або хеш попереднього блоку для генерації випадкових чисел — ризиковано: майнер або валідатор може впливати на ці значення. Кілька років тому відома лотерея втратила $4M через маніпуляцію блочним хешем. Випадкові числа на блокчейні — нетривіальна задача, що потребує індивідуального підходу. Ми розробляємо системи RNG під ключ, оцінюємо загрози та пропонуємо оптимальне рішення. Наш досвід налічує понад 50 успішних проєктів у цій сфері.

Чому on-chain рандом складний?

Блокчейн детермінований. Кожен вузол повинен прийти до одного результату, виконуючи одні й ті самі операції. Це фундаментально суперечить випадковості: якщо результат передбачуваний — він не випадковий. Будь-яке джерело, яке видно в блокчейні до фіксації результату, може бути використане атакуючим.

Validator bias — валідатор на Ethereum бачить block.prevrandao (RANDAO reveal) до публікації блоку. Якщо результат невигідний — він може пропустити свій слот (слот пропускається, результат змінюється). Вартість атаки = втрачена винагорода за слот (~0.01 ETH). Якщо ставка в лотереї > 0.01 ETH — атака раціональна.

Chainlink VRF: стандарт для більшості випадків

Chainlink VRF (Verifiable Random Function) — найбільш перевірене рішення для NFT-мінту, лотерей, ігрової механіки. Chainlink VRF працює через оракульну мережу:

  1. Контракт запитує випадкове число, надсилаючи LINK.
  2. Chainlink-нода генерує випадкове число та криптографічний доказ.
  3. Доказ верифікується on-chain перед використанням числа.
// VRF V2.5 (актуальна версія)
import {VRFConsumerBaseV2Plus} from "@chainlink/contracts/src/v0.8/vrf/dev/VRFConsumerBaseV2Plus.sol";
import {VRFV2PlusClient} from "@chainlink/contracts/src/v0.8/vrf/dev/libraries/VRFV2PlusClient.sol";

contract Lottery is VRFConsumerBaseV2Plus {
    uint256 public s_subscriptionId;
    bytes32 public keyHash; // gas lane
    uint32 public callbackGasLimit = 200_000;
    uint16 public requestConfirmations = 3;
    
    mapping(uint256 => address) public requestToPlayer;
    
    function requestRandomWinner() external returns (uint256 requestId) {
        requestId = s_vrfCoordinator.requestRandomWords(
            VRFV2PlusClient.RandomWordsRequest({
                keyHash: keyHash,
                subId: s_subscriptionId,
                requestConfirmations: requestConfirmations,
                callbackGasLimit: callbackGasLimit,
                numWords: 1,
                extraArgs: VRFV2PlusClient._argsToBytes(
                    VRFV2PlusClient.ExtraArgsV1({nativePayment: false})
                )
            })
        );
        requestToPlayer[requestId] = msg.sender;
    }
    
    function fulfillRandomWords(
        uint256 requestId,
        uint256[] calldata randomWords
    ) internal override {
        address player = requestToPlayer[requestId];
        uint256 result = randomWords[0] % totalTickets;
        _declareWinner(player, result);
    }
}

requestConfirmations: 3 — чекаємо 3 блоки підтвердження перед генерацією. Це ускладнює reorg-атаки на request.

Обмеження VRF: latency 1-3 блоки (15-45 секунд на mainnet), вартість LINK на кожен запит (0.25-2 LINK залежно від мережі), необхідність subscription менеджменту. Для high-frequency gameplays (кожен хід у грі потребує рандому) — занадто дорого та повільно.

Commit-reveal: рандом без оракула

Для випадків без доступу до Chainlink або при потребі мінімізувати витрати — commit-reveal схема:

Слабке місце commit-reveal: останній, хто розкриває secret, бачить фінальний результат до публікації. Він може вибрати не розкривати (griefing) або розкрити лише якщо результат вигідний. Mitigation: штраф за не-reveal (bond при commit, який згорає при неявці).

Приклад реалізації з бондами
mapping(address => bytes32) public commits;
mapping(address => uint256) public bonds;
uint256 public bondAmount = 0.1 ether;

function commit(bytes32 commitment) external payable {
    require(msg.value == bondAmount);
    commits[msg.sender] = commitment;
    bonds[msg.sender] = msg.value;
}

function reveal(uint256 secret) external {
    require(keccak256(abi.encode(secret, msg.sender)) == commits[msg.sender]);
    // process secret
    payable(msg.sender).transfer(bonds[msg.sender]); // повернення застави
    delete bonds[msg.sender];
}

function claimBond(address participant) external {
    require(bonds[participant] > 0);
    // перевірка, що учасник не розкрив вчасно
    // перевести заставу штрафуючому
}

RANDAO: нативний Ethereum рандом після Merge

Після переходу на PoS Ethereum надає block.prevrandao — агрегований RANDAO reveal від валідаторів. Це краще, ніж старий block.difficulty, але має описану вище проблему validator bias.

Для некритичних застосувань (косметика в грі, порядок у черзі, невеликі лотереї) — block.prevrandao достатній та безкоштовний:

uint256 random = uint256(keccak256(abi.encode(
    block.prevrandao,
    block.timestamp,
    msg.sender,
    nonce++
)));

Додавання msg.sender та nonce збільшує entropy та ускладнює передбачення для конкретного користувача, хоча не усуває validator bias.

Як вибрати відповідний метод RNG?

Застосування Ставка / цінність Рекомендація
NFT мінт (whitelist рандом) Висока Chainlink VRF
Лотерея з великим призом Висока Chainlink VRF + requestConfirmations: 5+
Внутрішньоігровий рандом (предмети) Середня Commit-reveal або Chainlink VRF
Порядок у черзі Низька block.prevrandao
PvP матчмейкінг Низька block.prevrandao + nonce

Порівняння методів

Метод Безпека Швидкість Вартість Комплексність
Chainlink VRF Висока 1-3 блоки 0.25-2 LINK на запит Середня
Commit-reveal Середня (залежить від механік) 2+ раунди Тільки газ Висока
RANDAO Низька (validator bias) 0 блоків Безкоштовно Низька
Гібрид (off-chain + on-chain) Висока 0 блоків Комбінація Висока

Гібридні рішення

Для gamefi-проєктів, де потрібен швидкий рандом з високою throughput, використовуємо off-chain VRF з on-chain commitment:

  1. Backend генерує seed через Chainlink VRF заздалегідь.
  2. Hash seed публікується on-chain (commitment).
  3. При кожній ігровій події — використовуємо HMAC(seed, event_id) як рандом.
  4. Після сесії — розкриваємо seed, користувачі можуть верифікувати всі результати.

Це дає instant response на кожну дію та повну верифікованість постфактум. Гібридне рішення економить до 90% газу порівняно з прямими VRF запитами, а при високочастотному використанні — в 5-10 разів дешевше.

Що ви отримуєте

  • Аналіз загроз та вибір оптимальної схеми.
  • Інтегрований смарт-контракт з покриттям юніт-тестами (понад 200 тестів).
  • Документацію з розгортання та використання.
  • Підтримку при деплої та моніторингу.
  • Навчання команди (опціонально).

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

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

Аналітика. Визначаємо threat model: хто може атакувати? Яка максимальна вигода від маніпуляції? Яка latency допустима? Чи є доступ до Chainlink на цільовому чейні.

Розробка та тестування. VRFConsumer тестуємо через VRFCoordinatorV2_5Mock з пакету Chainlink — дозволяє симулювати fulfillment в unit-тестах без реальної оракульної мережі. Commit-reveal тестуємо на сценарії griefing та last-revealer атак.

Деплой. Для Chainlink VRF — створюємо subscription, фондуємо LINK, додаємо consumer. Налаштовуємо моніторинг балансу subscription.

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

Інтеграція Chainlink VRF в існуючий контракт: 1-2 дні. Система RNG з commit-reveal та anti-griefing: 1-2 дні. Гібридний off-chain VRF з on-chain commitment та верифікацією: 3-5 днів.

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

Розробка смарт-контрактів

Ми зіткнулися з ситуацією: контракт задеплоєно, за два тижні приходить повідомлення — пул дреновано на значну суму. Дивимося транзакцію в Tenderly: атакуючий викликав deposit(), всередині callback на ERC-777 повторно викликав withdraw() — баланс оновився тільки після другого виходу. Класична reentrancy, але не через ETH transfer, а через хук ERC-777. ReentrancyGuard стояв тільки на withdraw().

Такі випадки — не рідкість. Смарт-контракт — це фінансова логіка без можливості пропатчити її вночі. Наша команда розробляє контракти під ключ, вбудовуючи захист від reentrancy, MEV та gas-атак на ранніх етапах. Reentrancy attack — одна з найпоширеніших вразливостей, що потребує глибокого розуміння EVM.

Як ми розробляємо смарт-контракти під ключ?

Починаємо з аудиту бізнес-логіки та вибору стеку. Solidity 0.8.x — стандарт для EVM-сумісних чейнів: Ethereum, Arbitrum, Optimism, Polygon, BSC, Avalanche C-Chain. Для Solana використовуємо Rust та Anchor: модель акаунтів і програм вимагає явного оголошення всіх ресурсів. Для проектів з формальною верифікацією підходить Move (Aptos, Sui) — лінійні типи мови виключають копіювання ресурсів на рівні компілятора. Vyper обираємо для контрактів, де критична простота аудиту (Curve Finance).

Мова Модель виконання Типова область Ризики
Solidity 0.8.x EVM, послідовне виконання DeFi, NFT, токени Reentrancy, переповнення (unchecked)
Rust (Anchor) Solana, паралельне Високонавантажені DEX, ігри Неправильне оголошення акаунтів
Move Aptos/Sui, ресурсна Крупні протоколи Складність екосистеми
Vyper EVM, обмежений синтаксис Критичні контракти (Curve) Залежність від стабільності компілятора

Gas optimization — не передчасна оптимізація, а архітектурне рішення. На Ethereum mainnet деплой погано спроектованого контракту може коштувати значну суму тільки через неоптимальний storage layout. Переупаковка структури Proposal з 7 слотів до 4 заощадила 18k gas на кожному голосуванні — економія на масштабі протоколу з тисячами голосувань на день дає відчутну річну вигоду.

Типові помилки в gas: передача масивів через memory замість calldata в external функціях (дорожче в 2-3 рази); використання require з довгими рядками замість custom error error InsufficientBalance(...). Кастомні помилки дешевші на 50-200 gas на revert і передають структуровані дані фронтенду.

Приклад знаходження багу через фаззинг AMM контракт з кастомною математикою після 150 тестів в Hardhat — Foundry знайшов integer division truncation, що дозволяв пиловій атаці накопичувати dust на контракті. Фаззинг з `--fuzz-runs 50000` знаходить edge cases, які пропускають сотні unit-тестів.

Чому аудит смарт-контрактів критичний для безпеки?

Аудит — не разова перевірка, а вбудований етап розробки. Використовуємо три рівні:

  1. Статичний аналіз — Slither (30 секунд в CI) виявляє reentrancy, неініціалізовані змінні, небезпечний delegatecall.
  2. Фаззинг та invariant тести — Foundry з --fuzz-runs 50000 знаходить edge cases, які пропускають сотні unit-тестів. Echidna перевіряє інваріанти («сума всіх балансів ≤ totalSupply»).
  3. Ручний code review — наші інженери з досвідом 10+ років у блокчейні виявляють логічні помилки, які не ловлять інструменти. Для протоколів з високим TVL обов'язковий зовнішній аудит з боку Trail of Bits, Consensys Diligence або OpenZeppelin. Термін — 2-4 тижні.

Будь-який апгрейдуємий протокол повинен мати timelock. TimelockController з OpenZeppelin: операція пропонується → чекає мінімальний delay (48-72 години) → виконується. Без timelock один скомпрометований deployer wallet = втрата всього пулу.

OpenZeppelin Security Audits підтверджують, що 80% вразливостей, знайдених у деплоїних контрактах, пов'язані з відсутністю перевірок доступу або reentrancy. Ми включаємо ці перевірки в CI ще до першого деплою.

Які патерни апгрейду обираємо?

Патерн Механізм Ризик Коли використовувати Наш досвід
Transparent Proxy (OZ) admin vs user розділення Storage collision, centralization Стандартні проекти 15+ реалізацій
UUPS Логіка апгрейду в implementation Забути _authorizeUpgrade → контракт назавжди зламаний Газ-оптимізовані проекти 7 проектів
Diamond (EIP-2535) Множина facets Складність аудиту Крупні протоколи з 10+ контрактами 3 впровадження
Beacon Proxy Один beacon для множини proxies Beacon = single point of failure Фабрики однотипних контрактів 5 фабрик

Storage collision — головна небезпека проксі. Implementation v2 не повинен додавати змінні перед існуючими. OpenZeppelin Upgrades plugin для Hardhat та Foundry перевіряє це автоматично, але тільки при використанні його API.

Як захистити контракт від MEV та front-running?

На Ethereum mainnet транзакції в mempool видно всім. MEV-боти проводять sandwich-атаки на DEX, фронтраннінги мінтингу та governance. Рішення: commit-reveal scheme для аукціонів, приватна відправка через Flashbots PROTECT RPC. EIP-7702 та PBS (proposer-builder separation) змінюють картину, але поки не масово.

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

  1. Аналітика — специфікація функцій, діаграма викликів, аналіз edge cases. Без цього кодинг починається даремно.
  2. Розробка — Solidity/Rust з тестами паралельно. Тест → код → рефакторинг. Використовуємо Foundry для fuzz та invariant тестів.
  3. Внутрішній аудит — Slither + Echidna + ручний code review. Foundry invariant tests для протокольних інваріантів.
  4. Зовнішній аудит — для проектів з реальними грошима. Термін: 2-4 тижні.
  5. Деплой — Foundry scripts або Hardhat Ignition з verify на Etherscan. Gnosis Safe для ownership transfer одразу після деплою.
  6. Моніторинг — Tenderly alerts, OpenZeppelin Defender, Forta Network.

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

  • Документація на архітектуру та специфікацію контракту (NatSpec).
  • Вихідний код з репозиторієм та CI (Slither, Foundry, coverage).
  • Розгорнута версія контракту з verify на блокчейн-експлорері.
  • Результати аудиту (внутрішнього та зовнішнього за запитом).
  • Доступи до моніторингу та управління (Gnosis Safe).
  • Гарантія на код: фікси критичних багів протягом місяця після деплою.
  • Консультація щодо інтеграції з веб-інтерфейсом (wagmi, RainbowKit).

Терміни орієнтовно

  • ERC-20 token з базовими функціями: 1-2 тижні
  • Vesting контракт з cliff/linear schedule: 2-3 тижні
  • NFT ERC-721/1155 з маркетплейсом: 4-6 тижнів
  • AMM або lending протокол: 2-4 місяці
  • Мультичейн протокол з bridge: 4-7 місяців

Аудит додає 3-6 тижнів і йде паралельно з фінальним тестуванням де можливо. Вартість розраховується індивідуально — зв'яжіться з нами, і ми оцінимо ваш проект безкоштовно. Економія на газі завдяки нашій оптимізації може сягати 30% на рік для високонавантажених протоколів.

Зв'яжіться з нами для оцінки вашого проекту. Замовте розробку смарт-контракту — отримайте консультацію з архітектури та захисту від reentrancy, MEV та gas-атак. Напишіть нам — ми підберемо оптимальний стек під вашу задачу.