Factory-контракти з CREATE2: детерміністичний деплой

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

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

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

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

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

Factory-контракти з CREATE2: детерміністичний деплой

Ми часто стикаємося із завданням детерміністичного деплою смарт-контрактів. CREATE2 — опкод EVM (EIP-1014), введений у Constantinople hard fork. Адреса контракту, що деплоїться, обчислюється заздалегідь: вона детермінована від deployer address, salt та keccak256(initcode). Зміниш будь-який параметр — отримаєш іншу адресу. Це радикально змінює підхід до архітектури протоколів. Наш досвід показує, що правильна реалізація factory з CREATE2 скорочує час розгортання та виключає помилки при адресації контрактів. Ми гарантуємо безпечне розгортання із захистом від фронтрану.

Чому CREATE2 важливий для детерміністичного деплою?

Counterfactual deployment. Користувач може отримати адресу свого Smart Account до деплою. Передає цю адресу для отримання коштів — а сам контракт деплоїться лише при першій транзакції (разом з нею ж). EIP-4337 account abstraction повністю побудований на цьому патерні: initCode в UserOperation містить виклик factory, який через CREATE2 деплоїть Account контракт на заздалегідь відому адресу.

Uniswap V2/V3 pair addresses. Адреса будь-якого пулу Uniswap V2 обчислюється off-chain через CREATE2 формулу: keccak256(abi.encodePacked(hex'ff', factory, keccak256(abi.encodePacked(token0, token1)), INIT_CODE_PAIR_HASH)). Router не зберігає маппінг пар — він обчислює адресу на льоту. Це економить тисячі операцій SLOAD.

Cross-chain консистентність. Протокол деплоїть контракти на 8 чейнах за однією і тією ж адресою. Користувачі та інтегратори знають адресу заздалегідь, whitelist налаштовується один раз. Досягається через Arachnid's Deterministic Deployment Proxy (0x4e59b44847b379578588920cA78FbF26c0B4956C) — він же Nick's factory, задеплоєний на сотнях чейнів з однаковою адресою.

CREATE vs CREATE2: порівняльна таблиця

Характеристика CREATE CREATE2
Обчислення адреси від nonce деплоєра від salt + initcode + deployer address
Передбачуваність ні (nonce змінюється) так (детермінований)
Counterfactual deployment неможливий повністю підтримується
Захист від фронтрану вбудований (nonce) потребує salt з msg.sender
Газ для деплою ~60K gas ~40-50K gas (менше)
Повторний деплой на ту ж адресу можливий після selfdestruct (до Cancun) тільки після selfdestruct (до Cancun)

Як захистити salt від фронтрану?

Salt — це bytes32. Необережний salt відкриває фронтран: хтось бачить у mempool вашу транзакцію деплою, бере той же bytecode та salt, деплоїть першим на бажану адресу. Ваша транзакція впаде.

Захист: включати msg.sender у salt:

bytes32 salt = keccak256(abi.encodePacked(msg.sender, userProvidedSalt));

Тепер adversary з іншим msg.sender отримає іншу адресу — ваша адреса йому недоступна.

Для протоколів, де адреса має бути однаковою на всіх чейнах незалежно від деплоєра, використовуємо фіксований salt без msg.sender — але тоді деплой йде через довірений deployer (multisig або deployment script з DEPLOY_KEY).

Реалізація Factory з CREATE2

contract ContractFactory {
    event Deployed(address indexed contractAddress, bytes32 indexed salt);

    function deploy(bytes memory bytecode, bytes32 salt)
        external returns (address contractAddress) {
        assembly {
            contractAddress := create2(
                0,                        // value (ETH)
                add(bytecode, 0x20),      // bytecode start (skip length prefix)
                mload(bytecode),          // bytecode length
                salt                      // salt
            )
        }
        require(contractAddress != address(0), "Deploy failed");
        emit Deployed(contractAddress, salt);
    }

    function computeAddress(bytes memory bytecode, bytes32 salt)
        external view returns (address) {
        bytes32 hash = keccak256(abi.encodePacked(
            bytes1(0xff),
            address(this),
            salt,
            keccak256(bytecode)
        ));
        return address(uint160(uint256(hash)));
    }
}

Ініціалізація через constructor vs initializer

При CREATE2 деплої контракт з constructor-параметрами включає параметри в initcode — тоді однакові параметри дадуть одну адресу, різні — різні. Це нормально.

Якщо контракт використовує proxy патерн (деплоїться minimal proxy через CREATE2, а реалізація — окремо), constructor не запускається. Ініціалізація через initialize() функцію обов'язкова, і вона має бути захищена від подвійного виклику (initializer modifier від OpenZeppelin або ручний флаг).

Тонкість: CREATE2 з одним salt можна виконати лише один раз — якщо контракт за цією адресою вже існує, деплой поверне address(0). Якщо контракт був selfdestruct-нут (до Cancun EIP-6780), адреса звільняється і CREATE2 з тим самим salt можна повторити. Після Cancun EIP-6780 selfdestruct прибирає лише ETH, код залишається — адреса не перевикористовується.

Мінімальний проксі (EIP-1167) + CREATE2

Комбінація часто використовується в протоколах з тисячами інстансів (lending positions, yield vaults, game characters). Minimal proxy — 45-байтовий контракт, який делегує всі виклики до implementation. Деплой коштує ~40K gas замість 200K-500K для повного контракту.

function deployProxy(address implementation, bytes32 salt)
    external returns (address proxy) {
    bytes memory bytecode = abi.encodePacked(
        hex"3d602d80600a3d3981f3363d3d373d3d3d363d73",
        implementation,
        hex"5af43d82803e903d91602b57fd5bf3"
    );
    assembly {
        proxy := create2(0, add(bytecode, 0x20), mload(bytecode), salt)
    }
    require(proxy != address(0), "Deploy failed");
    IInitializable(proxy).initialize(/* params */);
}

OpenZeppelin надає Clones.cloneDeterministic(implementation, salt) — готовий wrapper над цим патерном.

Тестування

Foundry спрощує тестування CREATE2: vm.computeCreate2Address(salt, keccak256(bytecode), deployer) дає передбачувану адресу в тесті. Перевіряємо:

  • Задеплоєна адреса збігається з обчисленою computeAddress()
  • Повторний деплой з тим самим salt повертає address(0)
  • Ініціалізація через initialize() не викликається двічі
  • Frontrunning salt захищений (якщо потрібно)

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

  • Документація архітектури factory
  • Реалізація factory з CREATE2 (з захистом salt)
  • Інтеграція minimal proxy при необхідності
  • Набір тестів (Foundry) з покриттям граничних випадків
  • Скрипти деплою для одного або декількох чейнів
  • Верифікація контрактів в Etherscan (або аналогах)
  • Підтримка після деплою протягом 2 тижнів

Ми розробляємо factory-контракти під ключ — від проектування до деплою. Оцінюємо проєкт безкоштовно, зв'яжіться з нами. Понад 5 років досвіду в Solidity та 30+ успішних проєктів — гарантуємо безпеку та надійність вашого коду.

Строки

Базовий factory з CREATE2 та обчисленням адрес: 2-3 дні. Factory з minimal proxy патерном та ініціалізацією: 3-4 дні. Мультичейн deployment infrastructure з Arachnid proxy: 4-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-атак. Напишіть нам — ми підберемо оптимальний стек під вашу задачу.