Розробка смарт-контрактів лотерей на блокчейні з Chainlink VRF

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

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

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

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

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

Уявіть: ви запускаєте лотерейний dApp з пулом $100K. Учасники вимагають гарантій чесності — вибір переможця через block.timestamp дає валідатору можливість маніпуляції. Один невірний крок — і кошти можуть бути втрачені через reentrancy або front-running. Ми, блокчейн-інженери з досвідом у десятках проєктів, вирішуємо ці проблеми впровадженням Chainlink VRF та суворим аудитом контрактів. Подібна архітектура вже використовувалася в лотереях із сукупним пулом понад $2M — жодної вразливості. У цій статті розповімо, як побудувати верифіковано чесну лотерею на смарт-контрактах.

Чому on-chain randomness небезпечна?

block.prevrandao в Ethereum дає валідатору 1 біт впливу. RANDAO — агрегована entropy, але останній reveal має вплив. Для лотереї з пулом >$1M це економічно атаковано: валідатор може приховати reveal. Chainlink VRF вирішує проблему криптографічно: випадкове генерується off-chain з доказом, який перевіряється on-chain. Підробити random неможливо. Більше того, VRF використовує пару ключів: секретний ключ оракула генерує число, а public key дозволяє контракту перевірити доказ. Це гарантує чесність навіть при недовірі до оператора VRF.

Як Chainlink VRF забезпечує чесність?

Контракт запитує випадкове число через requestRandomWords, а оракул повертає його в fulfillRandomWords разом з доказом. Контракт перевіряє доказ — якщо він невалідний, результат відхиляється. Ми використовуємо subscription-модель VRF 2.5, яка дешевша при частих запитах: платите один раз за підписку і потім лише за газ. Газові витрати на один запит — близько 200k газу, що на Ethereum еквівалентно приблизно $5-10 при ціні газу 20 Gwei. Для лотерей з частими розіграшами це прийнятно.

Архітектура лотерейного контракту з VRF

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.19;

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 subscriptionId;
    bytes32 public keyHash;
    uint32 public callbackGasLimit = 100000;
    uint16 public requestConfirmations = 3;

    address[] public participants;
    uint256 public pendingRequestId;
    LotteryState public state;

    enum LotteryState { OPEN, DRAWING, CLOSED }

    function drawWinner() external onlyOwner {
        require(state == LotteryState.OPEN, "Not open");
        require(participants.length > 0, "No participants");
        state = LotteryState.DRAWING;

        pendingRequestId = s_vrfCoordinator.requestRandomWords(
            VRFV2PlusClient.RandomWordsRequest({
                keyHash: keyHash,
                subId: subscriptionId,
                requestConfirmations: requestConfirmations,
                callbackGasLimit: callbackGasLimit,
                numWords: 1,
                extraArgs: VRFV2PlusClient._argsToBytes(
                    VRFV2PlusClient.ExtraArgsV1({nativePayment: false})
                )
            })
        );
    }

    function fulfillRandomWords(
        uint256 requestId,
        uint256[] calldata randomWords
    ) internal override {
        require(requestId == pendingRequestId, "Wrong requestId");
        uint256 winnerIndex = randomWords[0] % participants.length;
        address winner = participants[winnerIndex];
        state = LotteryState.CLOSED;
        // виплата переможцю
        payable(winner).transfer(address(this).balance);
    }
}

Критичні деталі реалізації

requestConfirmations: скільки блоків чекати перед генерацією random. Мінімум 3, рекомендовано від 5. callbackGasLimit: ліміт газу для fulfillRandomWords. Якщо логіка витрачає більше газу — транзакція впаде, контракт зависне. Краще зберігати winnerIndex і дати переможцю claim приз. Subscription vs Direct Funding: subscription модель рекомендована для регулярних розіграшів — вона знижує вартість запитів до 40%.

Як захиститися від front-running?

Якщо момент розіграшу відомий, MEV-боти можуть купити останній квиток в одному блоці з drawWinner. Рішення: commit-reveal для купівлі квитків або закриття продажів за N блоків до розіграшу. Chainlink Automation усуває ручний виклик — контракт сам викликає drawWinner за розкладом або при виконанні умов. Це робить атаку front-running практично неможливою.

Які вразливості типові для лотерейних контрактів?

Reentrancy при виплаті

Використовуємо pull-патерн: переможець сам викликає claimPrize(), в якому оновлюємо стан до переказу. Це виключає reentrancy. У нашому коді вище використовується push-переказ — для production-контракту ми завжди замінюємо його на pull.

Централізація управління

onlyOwner на drawWinner — централізація. Автоматизуємо розіграш через Chainlink Automation, що знімає ризик колюзій власника з учасниками.

Інтеграція з Chainlink Automation

Розіграш за розкладом або за умовою без ручного виклику:

function checkUpkeep(bytes calldata)
    external view override returns (bool upkeepNeeded, bytes memory) {
    upkeepNeeded = (
        state == LotteryState.OPEN &&
        participants.length >= minParticipants &&
        block.timestamp >= nextDrawTime
    );
}

function performUpkeep(bytes calldata) external override {
    drawWinner();
}

Тестування та аудит

Тести на Foundry з mock VRF Coordinator. Покриття коду — 100% гілок, 99% рядків. Fuzzing на параметри (кількість учасників, суми, gas limit). Для тестнету — Sepolia з реальним VRF. Ми гарантуємо якість: понад 50 реалізованих проєктів, 15+ лотерейних систем.

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

  • Розробка смарт-контракту з VRF та Automation
  • Покриття тестами (Foundry, fuzzing)
  • Деплой на mainnet/testnet
  • Документація та інструкція з експлуатації
  • Підтримка після запуску (2 тижні)
Метод виплати Безпека Газові витрати Додаткові ризики
Push (прямий переказ) Низька (reentrancy) Низькі Reentrancy, висока вартість при помилці
Pull (claim) Висока Середні (переможець платить) Залежність від користувача
Джерело випадковості Безпека Вартість Приклад
block.timestamp Низька (атака майнера) Безкоштовно Любительський контракт
block.prevrandao Середня (1 біт впливу) Безкоштовно Старі проєкти
Chainlink VRF Криптографічна LINK за запит Надійна лотерея

Строки

Базовий контракт: 3-5 днів розробки + 1-2 дні тестування. Розширений (багато пулів, NFT-квитки): 2-3 тижні. Аудит рекомендується для будь-якого контракту з пулом >$50K. Вартість розраховується індивідуально.

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

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

Ми зіткнулися з ситуацією: контракт задеплоєно, за два тижні приходить повідомлення — пул дреновано на значну суму. Дивимося транзакцію в 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-атак. Напишіть нам — ми підберемо оптимальний стек під вашу задачу.