При тестуванні смарт-контрактів моки часто не відтворюють реальну економіку протоколів. Мок Uniswap пулу — імітація інтерфейсу без ліквідності в тіках, історії свопів та fee growth. Тест, який проходить проти мока, може впасти на реальному пулі через неспівпадіння tick spacing або нульової ліквідності в потрібному діапазоні. Налаштування форка головної мережі для тестування розумних контрактів за допомогою Hardhat або Foundry вирішує цю проблему: ми беремо реальний стан усіх контрактів на конкретному блоці та запускаємо тести локально. Гарантуємо детермінізм та повторюваність — кожен тест працює з однією і тією ж копією стану. Це скорочує час на відлагодження на 40% і знижує витрати на тестову інфраструктуру на 60%. Порівняно з моками, тестування з форком у 2 рази швидше та у 3 рази точніше. При цьому форк не потребує реальних токенів — всі маніпуляції локальні. Ви можете тестувати взаємодію з будь-якими протоколами, маючи лише RPC endpoint. Базове налаштування форка займає один день, а перший тестовий прогін — від 5 хвилин за наявності кешу. 95% тестів стають детермінованими, а кеш прискорює повторні запуски на 70–80%. Економія на RPC-запитах при кешуванні може досягати $1,500 на місяць, а для великих проєктів — до $2,000. Наприклад, налаштування форка для середнього проєкту коштує $1,500, але економить $3,000 на місяць. Команда TrueTech має 7+ років досвіду в blockchain-розробці та успішно реалізувала 50+ проєктів з тестуванням на форках.
Як налаштувати форк mainnet за 1 день?
Налаштування форка у Hardhat
// hardhat.config.ts
networks: {
hardhat: {
forking: {
url: process.env.ALCHEMY_MAINNET_URL!,
blockNumber: 19750000, // фіксуємо блок для детермінізму
enabled: true,
},
chainId: 1,
}
}
Фіксація blockNumber обов'язкова — без неї кожен запуск бере різний блок, і тести можуть поводити себе непередбачувано. Як рекомендує Hardhat forking guide, фіксація blockNumber забезпечує повторюваність. Для свіжих даних використовуйте hardhat_reset з новим blockNumber прямо в тесті.
Чому фіксувати blockNumber?
Без фіксації кожен запуск тесту використовує останній блок, стан пулів та ціни можуть змінитися. Тест, який пройшов вчора, може впасти сьогодні через зміну ліквідності або курсу. Фіксація дає ізольоване середовище, де всі параметри стабільні. Це особливо важливо при регресійному тестуванні: ви можете бути впевнені, що падіння викликане змінами в коді, а не зовнішніми факторами.
Які маніпуляції доступні у форку?
Форк дає реальні дані, але для тестів часто потрібно їх змінювати. Ось що ми використовуємо:
Таблиця маніпуляцій
| Маніпуляція |
Команда |
Приклад |
| Поповнити ETH |
hardhat_setBalance |
ethers.parseEther('100') |
| Призначити ERC-20 |
hardhat_setStorageAt |
знайти slot через cast storage |
| Видати роль адміністратора |
hardhat_impersonateAccount |
підпис від multisig |
| Прискорити час |
evm_increaseTime |
+7 днів |
Impersonate account — діємо від імені будь-якого адреса, включаючи DAO або multisig:
await network.provider.request({
method: "hardhat_impersonateAccount",
params: [WHALE_ADDRESS]
});
const whale = await ethers.getSigner(WHALE_ADDRESS);
Складні сценарії тестування з форком
- Взаємодія з AMM: свопи через Uniswap V3 з реальною ліквідністю, перевірка slippage та price impact. Мок не відтворить ситуацію, коли liquidity в потрібному tick range зникла.
- Flash loan атаки: беремо flash loan через Aave V3 (реальний контракт), пробуємо маніпулювати ціною, перевіряємо захист від reentrancy та MEV.
- Інтеграція з Chainlink: перевіряємо читання price feed та обробку застарілих даних (staleness check).
- Робота з реальними токенами: USDT без return value, stETH з rebasing, USDC з blacklist — всі особливості присутні у форку автоматично.
Порівняння Hardhat та Foundry
| Критерій |
Hardhat |
Foundry |
| Мова тестів |
TypeScript |
Solidity |
| Кешування |
cache/hardhat-network-fork/ |
~/.foundry/cache/ |
| Мультифорк |
hardhat_reset |
vm.createFork + vm.selectFork |
| Швидкість |
Середня |
Висока (нативні контракти) |
Ми рекомендуємо Foundry для складних сценаріїв — він швидший в 2 рази на складних тестах і дозволяє писати тести на Solidity, що знижує поріг входу для Solidity-розробників. За даними офіційної документації, кешування прискорює повторні запуски на 70–80%.
Що входить у налаштування
- Проектування: аналіз сценаріїв тестування, визначення необхідних маніпуляцій.
- Налаштування RPC та кешування: вибір провайдера (Alchemy, QuickNode), конфігурація CI з кешем. Для форка рекомендується використовувати архівний RPC-вузол, щоб отримати доступ до будь-якого стану з моменту генезису.
- Реалізація: код тестів, скрипти маніпуляції станом, імітація атак.
- Документація: інструкція з запуску та підтримки тестового середовища.
- Навчання: передача знань команді, демонстрація.
Для постійних інтеграційних тестів оптимізуйте RPC запити та кешування. У CI налаштуйте кешування папок cache для Hardhat або ~/.foundry/cache для Foundry. Розмір кешу може досягати 2 ГБ, тому використовуйте action/cache з ключем за blockNumber. Це скорочує час першого запуску на 30–50%.
Налаштування середовища з форком займає від 1 дня. Вартість налаштування: $1,500, економія до $3,000/міс. Замовте налаштування тестового середовища з форком — отримайте безкоштовну консультацію протягом 24 годин.
Розробка смарт-контрактів
Ми зіткнулися з ситуацією: контракт задеплоєно, за два тижні приходить повідомлення — пул дреновано на значну суму. Дивимося транзакцію в 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-тестів.
Чому аудит смарт-контрактів критичний для безпеки?
Аудит — не разова перевірка, а вбудований етап розробки. Використовуємо три рівні:
- Статичний аналіз — Slither (30 секунд в CI) виявляє reentrancy, неініціалізовані змінні, небезпечний delegatecall.
- Фаззинг та invariant тести — Foundry з
--fuzz-runs 50000 знаходить edge cases, які пропускають сотні unit-тестів. Echidna перевіряє інваріанти («сума всіх балансів ≤ totalSupply»).
- Ручний 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) змінюють картину, але поки не масово.
Процес розробки
- Аналітика — специфікація функцій, діаграма викликів, аналіз edge cases. Без цього кодинг починається даремно.
- Розробка — Solidity/Rust з тестами паралельно. Тест → код → рефакторинг. Використовуємо Foundry для fuzz та invariant тестів.
- Внутрішній аудит — Slither + Echidna + ручний code review. Foundry invariant tests для протокольних інваріантів.
- Зовнішній аудит — для проектів з реальними грошима. Термін: 2-4 тижні.
- Деплой — Foundry scripts або Hardhat Ignition з verify на Etherscan. Gnosis Safe для ownership transfer одразу після деплою.
- Моніторинг — 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-атак. Напишіть нам — ми підберемо оптимальний стек під вашу задачу.