Розробка проксі-контрактів UUPS та Transparent Proxy

Розробка проксі-контрактів (UUPS, Transparent Proxy)

Контракт задеплоєно на mainnet, у ньому знайдено критичну вразливість. Без проксі — все, міграція вручну, вмовляти користувачів переходити на нову адресу, ховати старий TVL. Ми розуміємо: з правильно налаштованим проксі — апгрейд через мультисіг за 15 хвилин, адреса контракту не змінюється. Але «правильно налаштованим» — ключове словосполучення. Проксі-патерни додають цілий клас вразливостей, яких немає в immutable-контрактах: storage collision, неініціалізовані імплементації, втрата права апгрейда. Наша команда за 7 років реалізувала десятки проксі-систем для DeFi-протоколів з TVL до $500M. Вибір патерну — не технічна формальність, а архітектурне рішення, що впливає на gas, безпеку та управління. Нижче розберемо два основні патерни — Transparent Proxy і UUPS, їх компроміси та типові помилки, а також як ми проектуємо і тестуємо такі системи.

Проблеми, які вирішуємо

Головне завдання — дати можливість виправляти помилки та додавати фічі без міграції користувачів. Але за це доводиться платити:

• Storage collision: при апгрейді змінні можуть перезаписатися — мовчазне псування даних.
• Неініціалізована імплементація: якщо забути викликати initialize(), зловмисник може захопити контракт.
• Втрата права апгрейда: імплементація без upgradeTo назавжди блокує оновлення.
• Gas overhead: Transparent Proxy додає SLOAD на кожен виклик, що критично для високонавантажених протоколів. Наприклад, при 10 000 транзакцій на день додатковий витрата газу становить 1 000 000 gas ($20 за поточними цінами).

Два патерни та їх реальні відмінності

Transparent Proxy

Класична реалізація з OpenZeppelin EIP-1967. Proxy-контракт містить логіку маршрутизації: якщо викликає admin — він керує проксі напряму (upgrade, changeAdmin). Якщо викликає будь-хто інший — виклик делегується в імплементацію.

Проблема: кожен виклик контракту потребує додаткового SLOAD для читання адреси admin (100 gas за EIP-2929) та порівняння з msg.sender. На гарячих шляхах — це постійний overhead. Для протоколу з мільйонами викликів на день — відчутно. Другий момент: ProxyAdmin — окремий контракт, який володіє правами апгрейда. Це додає ще один контракт в систему, ще одну точку відповідальності за ключі.

Чому UUPS сьогодні — стандарт індустрії?

Логіка апгрейда перенесена з proxy в імплементацію. Proxy сам по собі — тупий делегатор без будь-якої логіки маршрутизації по caller. Немає додаткового SLOAD на кожен виклик — дешевший в експлуатації. OpenZeppelin починаючи з версії 4.x рекомендує UUPS для нових проектів, що підтверджено в офіційному репозиторії.

Але є критичний ризик: якщо задеплоїти нову імплементацію без функції upgradeTo (забути успадкувати UUPSUpgradeable, або навмисно прибрати з метою економії газу) — проксі назавжди втратить можливість апгрейда. Контракт заморожено на поточній версії без можливості виправлення.

Реальний кейс: кілька протоколів на UUPS зіткнулися з проблемою неініціалізованої імплементації. Імплементація деплоїлася без виклику initialize(), і атакуючий викликав initialize() першим, стаючи owner, після чого upgradeTo() дозволяв підмінити імплементацію на самознищуваний контракт. Всі проксі, що вказували на цю імплементацію, перетворювалися на неробочі. Рішення: _disableInitializers() в конструкторі імплементації — обов'язковий патерн в OpenZeppelin 4.3+.

Як уникнути storage collision на етапі проектування?

Суть проблеми: proxy та імплементація використовують один storage. Якщо в proxy є змінна в slot 0, а в імплементації теж є змінна в slot 0 — вони перезаписують одна одну.

EIP-1967 вирішує це для службових змінних proxy (адреса імплементації, адреса admin) — вони зберігаються в псевдовипадкових слотах на основі keccak256 хеша рядка, практично виключаючи колізію з користувацьким storage.

Але storage імплементації при апгрейдах — відповідальність розробника. Якщо в V1 була структура:

uint256 public totalSupply;   // slot 0
address public owner;         // slot 1

А в V2 додали змінну перед існуючими:

bool public paused;           // slot 0 — КОЛІЗІЯ з totalSupply
uint256 public totalSupply;   // slot 1 — КОЛІЗІЯ з owner
address public owner;         // slot 2

totalSupply тепер читає те, що раніше було owner (адреса, інтерпретована як число). Мовчазне псування даних, без reverting транзакцій, без помилок компілятора.

ERC-7201 (Namespaced Storage Layout) вирішує це радикально. Всі змінні імплементації збираються в одну struct, яка зберігається в заздалегідь обчисленому слоті:

bytes32 private constant STORAGE_LOCATION = 
    keccak256(abi.encode(uint256(keccak256("myprotocol.storage.v1")) - 1)) & ~bytes32(uint256(0xff));

Нові змінні додаються в кінець struct. Жодних колізій зі службовими слотами proxy, жодних проблем при апгрейдах. Це поточний best practice для production UUPS-контрактів.

Як ініціалізувати проксі-контракт?

В проксі-архітектурі конструктор імплементації не виконується в контексті proxy — він виконується тільки при деплої самої імплементації. Тому всі ініціалізуючі дії (встановлення owner, початкові параметри) переносяться в функцію initialize(), захищену initializer модифікатором.

Поширений баг: initialize() забули викликати після деплою proxy. Контракт працює, але owner не встановлений — перший, хто викличе initialize(), стане власником. В результаті інциденту з контрактом WalletLibrary було втрачено 587 ETH (на момент атаки ~$1.5M) через захоплення неініціалізованого контракту. Рішення: деплой-скрипт повинен атомарно деплоїти proxy та викликати initialize() в рамках одного скрипта. Ніколи не деплоїти проксі без негайної ініціалізації.

Як ми реалізуємо проксі-контракти

Базова бібліотека — OpenZeppelin Upgrades (Hardhat plugin або Foundry-сумісний варіант). Плагін автоматично перевіряє storage layout сумісність між версіями при кожному апгрейді — це обов'язковий інструмент, не опціональний.

Для UUPS обираємо UUPSUpgradeable з OpenZeppelin 5.x. Для систем, де апгрейд повинен управлятися DAO або мультисігом — AccessControlUpgradeable з роллю UPGRADER_ROLE, виданою Gnosis Safe адресу.

Тестуємо апгрейди через Foundry fork-тести: форкаємо mainnet, симулюємо апгрейд, перевіряємо, що всі storage-змінні зберегли значення, функції працюють коректно, нові змінні ініціалізовані правильно.

Коли проксі не потрібен

Immutable-контракт простіший, дешевший в аудиті, викликає більше довіри у користувачів (немає ризику rug через апгрейд). Якщо логіка стабільна і ризик критичної помилки мінімальний — проксі додає складність без необхідності. Для DeFi-протоколів з великим TVL зазвичай краще immutable + timelock на параметрах, ніж upgradeability без формального governance. Однак, якщо ви передбачаєте необхідність оновлень — проксі незамінний.

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

1. Аналітика вимог — 1-2 дні. Вибір патерну, визначення ролей і таймлоків.
2. Проектування storage layout — 1 день. Схема з ERC-7201, перевірка на колізії.
3. Розробка імплементацій — 2-3 дні. Solidity код з тестами на Foundry (fork).
4. Розгортання та ініціалізація — 1 день. Атомарний деплой через скрипт.
5. Тестування апгрейда — 1 день. Перевірка сумісності зберігання.
6. Внутрішній аудит — 2-4 дні. Включає Slither, Mythril та ручний review.

Загальні строки: від 5 робочих днів для простого проксі до 2-3 тижнів для складних систем з governance та кількома імплементаціями. Зв'яжіться з нами для точної оцінки вашого проекту — ми розрахуємо строки під ключ.

Гарантія та досвід

Ми розробили понад 50 проксі-систем для DeFi, NFT та інфраструктурних проектів. 7+ років практичного досвіду в Solidity та Ethereum. Кожен проект супроводжуємо аудитом та надаємо гарантію коректності апгрейда на тестнеті. Отримайте консультацію з вибору патерну та архітектури проксі для вашого проекту — це безкоштовно.

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

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