Оптимізація газу смарт-контрактів: аудит та зниження вартості транзакцій

Оптимізація газу смарт-контрактів

До нас звернувся DeFi-проєкт: деплой їх ERC-1155 контракту обійшовся в 0.8 ETH замість очікуваних 0.3. Користувачі платили по $15 за кожен transfer() при gas price 30 gwei, тоді як конкуренти — по $4. Причина — не storage layout і неоптимальні патерни, які компілятор Solidity не виправляє за вас. Ми провели аудит газу та знизили вартість деплою на 62%, а транзакцій — у 3 рази. Наш досвід оптимізації 50+ контрактів показує, що 80% втрат усуваються правильною архітектурою сховища. Кожна зайва операція SLOAD або SSTORE множиться на тисячі викликів. У цій статті ми розберемо конкретні патерни, які дають економію 30–50% на типових контрактах.

Чому storage — головне джерело втрат газу?

SSTORE коштує 20 000 gas при записі в холодний слот, 2 900 gas при оновленні теплого. SLOAD — 2 100 gas для холодного, 100 для теплого (згідно з EIP-2929). Саме тому архітектура сховища визначає 60-80% вартості контракту.

Slot packing — перший інструмент. EVM зберігає дані в 32-байтових слотах. Якщо оголосити змінні так:

// Погано: 3 слоти
uint128 a;
uint256 b;
uint128 c;

// Добре: 2 слоти (a і c упаковані)
uint128 a;
uint128 c;
uint256 b;

Дає економію двох SLOAD при читанні. На контракті з 10 000 деплоями економія — сотні ETH сумарно.

Таблиця вартості операцій storage

Це не просто цифри — знання цих значень дозволяє вибирати між читанням з storage та обчисленням.

Як знайти вузькі місця в контракті?

Інструменти аналізу

Foundry — переважний вибір. forge snapshot створює .gas-snapshot файл, який можна комітити в репозиторій і відстежувати регресії газу в CI:

forge snapshot
# змінюємо код
forge snapshot --diff

Різниця одразу видна порядково по кожній функції.

Mappings vs Arrays

mapping(uint256 => address) — O(1) доступ, gas-ефективний. address[] з пошуком за значенням — O(n) і в 99% випадків помилка архітектури. Якщо потрібна ітерація — індексуй через події, читай off-chain через The Graph.

Неочевидне джерело: keccak256 на коротких рядках

string memory name у функції, яка викликається тисячі разів — це ABI encoding overhead. Заміна рядків на bytes32 константи там, де рядки відомі заздалегідь, дає 200-500 gas на виклик.

Конкретні патерни оптимізації

Custom errors замість require з рядками

// До: 24 000 gas на деплой одного рядка
require(amount > 0, "Amount must be positive");

// Після: економія ~200 gas per revert + менше байткоду
error AmountZero();
if (amount == 0) revert AmountZero();

Custom errors (EIP-838) стали стандартом з Solidity 0.8.4. Рядки в require — це bytecode, який збільшує вартість деплою та revert.

Unchecked arithmetic

З Solidity 0.8.0 всі арифметичні операції перевіряють overflow за замовчуванням. Перевірка коштує ~100 gas per operation. Там, де overflow математично неможливий:

unchecked {
    ++i; // у циклі for — стандартний патерн
    total += amounts[i]; // якщо суми обмежені та перевірені вище
}

На циклі з 100 ітерацій — економія 10 000+ gas.

Immutable та constant

constant — значення вбудовується в байткод, SLOAD не потрібен. immutable — значення записується в байткод при деплої, читається як PUSH32. Обидва в ~3 рази дешевші за читання з storage. Адреса токена, fee basis points, адреса owner в контракті, який не апгрейдиться — все це кандидати на immutable.

Calldata vs memory для вхідних параметрів

// memory — копіює дані в пам'ять
function process(uint256[] memory ids) external

// calldata — читає напряму з calldata, не копіює
function process(uint256[] calldata ids) external

Для зовнішніх функцій (external), де дані лише читаються — calldata дешевше. Різниця зростає з розміром масиву: на масиві з 50 елементів — 3 000-5 000 gas.

Що входить в оптимізацію газу

• Аудит baseline: запускаємо всі тести з forge test --gas-report, фіксуємо baseline. Жодних змін без вимірювань до та після.
• Профілювання через Tenderly: беремо реальні транзакції з mainnet (якщо контракт уже задеплоєно) або симулюємо в Tenderly fork. Дивимося breakdown по EVM opcodes.
• Ітеративна оптимізація: застосовуємо зміни по одній, вимірюємо. Slot packing зазвичай дає найбільший ефект — починаємо з нього.
• Regression testing: forge snapshot в CI. Будь-який PR, який збільшує gas більш ніж на 1%, вимагає обґрунтування.
• Документація та звіт: фіксуємо всі зміни, економію по кожній функції, рекомендації з подальшої підтримки.

Ми також надаємо навчання команди: як не наступати на ті ж граблі в майбутньому.

Процес роботи

1. Аналітика: аудит поточного контракту, аналіз gas profile.
2. Проєктування: визначаємо патерни, які дадуть максимальний ефект.
3. Реалізація: вносимо зміни в код, пишемо тести.
4. Тестування: regression, stress test, deploy на testnet.
5. Деплой: розгортання оптимізованого контракту, міграція даних (якщо потрібно).

Орієнтири за термінами

Аудит газу існуючого контракту + звіт з рекомендаціями: 1-2 дні. Оптимізація з імплементацією змін і тестами: 2-3 дні залежно від складності контракту. Повна переробка storage layout (якщо архітектура спочатку неоптимальна): від 1 тижня, оскільки потребує міграційних скриптів для існуючих даних.

Вартість розраховується після аналізу контракту та поточного gas profile.

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

• Більше 5 років досвіду в розробці смарт-контрактів на Solidity, Rust та Vyper.
• Виконали аудит та оптимізацію для 30+ DeFi-проєктів, включаючи протоколи з TVL > $50M.
• Гарантуємо зниження газу на 20–50% на ключових функціях.
• Працюємо з контрактами на Ethereum, Polygon, Arbitrum, Optimism, Base, Solana, BNB Chain.

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

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

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