Розробка системи голландського аукціону для токенів

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

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

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

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

  • 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

Ми розробляємо смарт-контракти голландського аукціону для справедливого розподілу токенів. Класичний токен-сейл з фіксованою ціною створює одну з двох проблем: або ціна занадто низька — всі токени йдуть за перші секунди (газова війна, несправедливий розподіл на користь MEV-ботів), або занадто висока — сейл не заповнюється. Голландський аукціон вирішує обидві проблеми за рахунок динамічного ціноутворення: ціна починається високою і знижується доти, доки попит не зустріне пропозицію. Ціна сейлу — це ринковий кліринговий рівень, а не довільне число з whitepaper. Саме так Paradigm та a16z проводили перші великі токен-дистриб'юції в DeFi-просторі. Gnosis Protocol використовує варіацію цього механізму для batch аукціонів. Наш досвід — 5 років на ринку та понад 30 успішних контрактів. Замовте розробку під ключ — ми супроводжуємо проект від ідеї до деплою та аудиту.

Чому експоненційне зниження ціни ефективніше за лінійне? — розробка системи голландського аукціону

Найпростіша реалізація — лінійна функція:

price(t) = startPrice - (startPrice - endPrice) * (t - startTime) / duration

Проблема лінійної моделі: більшу частину часу ціна знижується повільно через рівномірність. Учасники чекають мінімуму, аукціон не заповнюється в середині, всі намагаються купити в кінці. Експоненційне зниження більш реалістично описує ринкову поведінку:

function getCurrentPrice() public view returns (uint256) {
    if (block.timestamp <= startTime) return startPrice;
    if (block.timestamp >= endTime) return endPrice;
    
    uint256 elapsed = block.timestamp - startTime;
    uint256 duration = endTime - startTime;
    
    // Експоненційне зниження через 18-decimal fixed point
    uint256 priceDelta = startPrice - endPrice;
    uint256 decayFactor = PRBMath.exp(-int256(decayRate * elapsed / duration));
    
    return endPrice + priceDelta * decayFactor / 1e18;
}

На практиці більшість production Dutch Auction контрактів використовують дискретні кроки зниження (step-down) замість неперервної функції — це простіше для розуміння учасниками і дешевше в газі.

Характеристика Лінійне зниження Експоненційне зниження
Швидкість падіння на початку Повільна Швидка
Привабливість для ранніх учасників Низька Висока
Ризик незаповнення Високий Низький
Складність реалізації Проста Середня
Газові витрати Низькі Помірні

Як захиститися від MEV у Dutch Auction?

У стандартному Dutch Auction всі бачать поточну ціну, і як тільки вона стає «справедливою», всі намагаються купити одночасно. MEV-боти front-run реальних покупців, виставляючи вищий gas price. Результат: газова війна, але вже при кліринговій ціні замість стартової. Рішення — commit-reveal: учасники надсилають encrypted commitment (hash від суми та salt) без розкриття наміру. Після завершення фази commitment — reveal фаза. Клірингова ціна розраховується за сукупним попитом. Це складніше в реалізації, але усуває front-running повністю. GnosisDAO використовував подібну схему для своїх аукціонів.

Ключові контрактні параметри

struct AuctionConfig {
    uint256 startPrice;       // Максимальна ціна (наприклад, 1 ETH за токен)
    uint256 endPrice;         // Мінімальна ціна (наприклад, 0.1 ETH)
    uint256 startTime;        // Unix timestamp початку
    uint256 endTime;          // Unix timestamp кінця
    uint256 totalTokens;      // Кількість токенів на продаж
    uint256 minBidAmount;     // Мінімальна покупка
    bool allowWhitelist;      // Обмежити до whitelist
    bytes32 merkleRoot;       // Merkle root для whitelist
}

Whitelist через Merkle Proof

Якщо аукціон обмежений для певних адрес:

function bid(uint256 amount, bytes32[] calldata merkleProof) external payable {
    if (config.allowWhitelist) {
        bytes32 leaf = keccak256(abi.encodePacked(msg.sender));
        require(
            MerkleProof.verify(merkleProof, config.merkleRoot, leaf),
            "Not whitelisted"
        );
    }
    
    uint256 currentPrice = getCurrentPrice();
    uint256 tokenAmount = msg.value * 1e18 / currentPrice;
    require(tokenAmount >= config.minBidAmount, "Below minimum");
    require(tokensSold + tokenAmount <= config.totalTokens, "Exceeds supply");
    
    tokensSold += tokenAmount;
    bids[msg.sender] += tokenAmount;
    
    emit BidPlaced(msg.sender, tokenAmount, currentPrice, msg.value);
}

Повернення переплати: клірингова ціна

У класичному Dutch Auction учасники платять ціну моменту покупки. У Fair Dutch Auction (DutchX, Gnosis) — всі платять одну клірингову ціну, навіть ті, хто купив раніше за вищою. Різниця повертається. Це справедливіше, але складніше в реалізації: потрібно дочекатися кінця аукціону, розрахувати клірингову ціну, і дати кожному учаснику забрати refund через окремий claim.

function claim() external {
    require(auctionEnded, "Auction not ended");
    uint256 userBid = bids[msg.sender];
    require(userBid > 0, "No bid");
    
    uint256 paid = payments[msg.sender];
    uint256 cost = userBid * clearingPrice / 1e18;
    uint256 refund = paid - cost;
    
    bids[msg.sender] = 0;
    payments[msg.sender] = 0;
    
    // Переводимо токени
    token.transfer(msg.sender, userBid);
    
    // Повертаємо переплату
    if (refund > 0) {
        (bool success, ) = msg.sender.call{value: refund}("");
        require(success, "Refund failed");
    }
}

Типові помилки та вразливості

Помилки розрахунку клірингової ціни. Якщо tokensSold не досяг totalTokens — аукціон закрився по endPrice. Якщо досяг раніше — клірингова ціна це ціна моменту заповнення. Контракт повинен коректно обробляти обидва сценарії, інакше або користувачі не отримають refund, або контракт віддасть більше токенів, ніж повинен.

Округлення на користь контракту. При діленні wei на ціну виникають remainder. Завжди округлюємо кількість токенів вниз, зберігаємо dust як treasury або включаємо в burn-механізм.

Reentrancy в claim(). ETH-refund перед або разом з transfer токенів — класична точка reentrancy. Оновлюємо bids[msg.sender] = 0 до будь-яких зовнішніх викликів.

Відсутність паузи. Якщо виявлено помилку під час аукціону — потрібна екстрена зупинка. Функція pause() з multisig-контролем, яка заморожує нові bids, але не блокує claim для вже зроблених.

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

  • Смарт-контракт Dutch Auction з підтримкою лінійного або експоненційного зниження
  • Механізм commit-reveal для захисту від MEV (опціонально)
  • Клірингова ціна з поверненням переплати через claim
  • Whitelist на основі Merkle Tree
  • Повний набір тестів на Forge + статичний аналіз Slither
  • Аудит безпеки (внутрішній + зовнішній за бажанням)
  • Документація та інструкція по деплою
  • Підтримка після деплою (2 тижні)

Терміни розробки: 3-5 робочих днів для базового Dutch Auction, до 2 тижнів для Fair Dutch Auction з commit-reveal. Вартість розраховується індивідуально. Отримайте консультацію — оцінимо ваш проект за 1 день.

Чому обирають нас

  • 5 років досвіду в розробці смарт-контрактів на Solidity та Rust
  • Понад 30 успішних проектів у DeFi (гарантія якості)
  • Використовуємо сучасні інструменти: Foundry, Tenderly, OpenZeppelin
  • Надаємо сертифікати аудиту та формальної верифікації за запитом

Зв'яжіться з нами, щоб обговорити ваш проект. Ми підберемо оптимальну архітектуру аукціону під ваші вимоги.

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

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