Рефакторинг смарт-контрактів: аудит, gas-оптимізація та безпека

Рефакторинг смарт-контрактів

Контракт працює, гроші не втрачає — але кожен новий feature викликає паніку. Storage layout роздувся, функції на 200 рядків, тестів немає. Наш досвід показує, що такий технічний борг накопичується непомітно, поки не призводить до критичних збоїв або втрати gas. Ми гарантуємо: після рефакторингу код стане передбачуваним і безпечним.

Де найчастіше ховається технічний борг

Неоптимізований storage layout

Solidity пакує змінні в 32-байтні слоти. Якщо змінні оголошені в порядку uint128, uint256, uint128 — це три слоти замість двох. На контракті з тисячами викликів на день переупорядкування 8 змінних під slot packing знизило gas на write-операції на 40%. Економія — до $5000 на рік на користувачах. Це конкретні гроші, які йдуть на газ.

Unbounded loops як gas griefing

Паттерн for (uint i = 0; i < users.length; i++) в контракті, де users може зростати — це не просто неефективність. Зловмисник додає 10 000 адрес, і виклик distribute() вилітає за ліміт блоку (30M gas). Функція стає невиконуваною — contract stuck. Рефакторинг на pull-паттерн з пагінацією вирішує це структурно.

Cross-function reentrancy

ReentrancyGuard від OpenZeppelin захищає одну функцію. Але якщо withdraw() захищений guard, а claim() ні — і обидві змінюють один balance mapping — reentrancy можливий. Так працював експлойт на 80M$. При рефакторингу аудируємо весь граф викликів, а не тільки окремі функції.

Як ми підходимо до рефакторингу

Перший крок — статичний аналіз через Slither. Він за 2-3 хвилини знаходить reentrancy, неініціалізовані змінні, tx.origin авторизацію, shadow variables. Slither дає сотні warning-ів — важливо відсіяти критичні від інформаційних. Далі — Mythril для символічного виконання на ключових функціях.

Ось покроковий процес роботи:

1. Аналіз: статичний та символічний аналіз (Slither, Mythril), складання реєстру проблем з пріоритетами.
2. Планування: групування змін, ізоляція залежностей, написання тестів для edge cases.
3. Рефакторинг: кожна зміна в окремому PR з тестами. Застосовуємо Solidity best practices, Check-Effects-Interactions, Diamond pattern (EIP-2535).
4. Тестування: fuzz-тести в Foundry, порівняння gas звіту forge snapshot.
5. Розгортання: скрипти на ethers.js, моніторинг через Tenderly.

Приклад: рефакторинг стейкінг-пулу

На одному проєкті ми замінили unbounded loop на pull-паттерн з пагінацією. Додали флаг emergencyWithdraw для безпечного виходу при DoS. Впровадили custom errors замість строкових require — економія 100 gas на reVERT. Результат: функція distribute стала виконуваною навіть при зростанні користувачів до 50 000, а загальна економія газу досягла 15%.

Чому рефакторинг смарт-контракту дешевший за аудит?

Аудит виявляє проблеми, але не виправляє їх. Рефакторинг одразу усуває технічний борг. Ми не просто пишемо звіт — ми переписуємо код так, щоб він був безпечним і gas-ефективним. Типовий аудит коштує $10-30k, а рефакторинг з виправленнями — ту саму суму, але з готовим кодом. Зв'яжіться з нами — ми оцінимо ваш проєкт і запропонуємо план робіт.

Gas optimization: конкретні цифри

Типові проблеми та рішення

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

• Аудит коду з реєстром вразливостей та optimization-можливостей.
• Виправлення всіх критичних та середніх проблем.
• Тести на Foundry (unit, integration, fuzz).
• Порівняння gas звіту до/після.
• Документація змін та інструкція по деплою.
• Гарантія на код — 6 місяців підтримки.

Які помилки найчастіше допускають при рефакторингу?

• Виправляють лише очевидні проблеми, не перевіряючи cross-function reentrancy.
• Змінюють ABI без ізоляції — ламають інтеграції.
• Забувають оновити тести після змін.
• Спрощують storage layout, але не враховують успадковані контракти.

Наші інженери з досвідом 10+ років у блокчейн-розробці пройшли понад 50 проєктів рефакторингу. Отримайте консультацію — ми розповімо, що потрібно виправити саме у вашому контракті.

Апгрейд Solidity версії

Міграція з 0.6/0.7 на 0.8+ включає: автоматичні перевірки overflow (SafeMath більше не потрібен), custom errors, immutable змінні. Але це не просто зміна pragma — ABI encoding змінюється, assembly-паттерни вимагають адаптації. Тестуємо кожну зміну ізольовано.

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

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

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

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 і передають структуровані дані фронтенду.

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

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

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 ще до першого деплою.

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

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-атак. Напишіть нам — ми підберемо оптимальний стек під вашу задачу.