Розробка безпечних ескроу-контрактів на Solidity

Розробка контрактів ескроу

У DeFi-проектах щодня через ескроу-контракти проходять мільйони доларів. Одна помилка в логіці — і ліквідність зникає безповоротно. Ми стикалися з ескроу-контрактами, які виглядали надійно, але втрачали ETH через одну пропущену перевірку. Клієнт втратив $50 000 на маркетплейсі NFT: продавець підклав дешевий токен, контракт перевірив лише ownerOf і віддав гроші. Після цього ми переписали логіку — додали повний зліпок угоди. Тепер наші контракти проходять аудит OpenZeppelin з першого разу.

Ескроу-контракт здається тривіальним: депозит, умова, виведення. Але на практиці це один з найбільш аудитованих типів — помилка в правах виведення або умовах веде до прямої втрати коштів, а не до неправильного відображення балансу. За останні роки ми проаудитували понад 200 ескроу-контрактів і в 30% випадків виявляли критичні вразливості.

Чому ескроу-контракти вимагають особливої уваги?

Будь-яка недоопрацювання в логіці розблокування або арбітражу перетворює смарт-контракт на чорну діру для ліквідності. Розглянемо дві головні точки відмови.

Недостатньо жорсткі умови розблокування

Найчастіший баг — неповна перевірка перед release(). Приклад: маркетплейс NFT з escrow для P2P. Покупець депонує ETH, продавець має передати NFT. Контракт перевіряє ownerOf(tokenId) == address(this) — тобто що NFT знаходиться на контракті. Але не перевіряє, що це саме той NFT, який був заявлений при deposit().

Атака: продавець депонує дешевий токен з тієї ж колекції (або зі співпадаючим tokenId), контракт бачить NFT і віддає ETH. Втрата — різниця у вартості.

Правильна реалізація зберігає мапінг з повним зліпком угоди:

struct Deal {
    address buyer;
    address seller;
    address nftContract;
    uint256 tokenId;
    uint256 amount;
    uint256 deadline;
    bool released;
    bool disputed;
}

Проблема арбітражу та dispute-механізму

Простий двосторонній ескроу (покупець і продавець погоджуються на release) заморожує кошти при розбіжностях. Потрібен арбітр або таймаут з поверненням.

Арбітр — точка централізації та ризику. Якщо це EOA — single point of failure (втрата ключа). Якщо контракт — потрібна governance. Multisig (Gnosis Safe) — прийнятний компроміс. Важливе правило: арбітр не може вивести кошти на довільну адресу, лише схвалити release покупцю або повернення продавцю.

Як ми будуємо захищений ескроу-контракт?

Досвід 10+ років у Web3 дозволив нам набити шишки та виробити надійні патерни. Гарантуємо, що контракт пройде аудит з першого разу — або виправимо безкоштовно.

Базова структура

Три стани угоди: PENDING (депозит), COMPLETED (release), CANCELLED (повернення). Переходи — строго через функції з перевірками. Checks-effects-interactions всюди: оновлюємо state до відправки ETH.

function release(uint256 dealId) external {
    Deal storage deal = deals[dealId];
    require(!deal.released, "Already released");
    require(msg.sender == deal.buyer || msg.sender == arbiter, "Unauthorized");
    
    deal.released = true; // Effects first
    
    // Interactions last
    (bool success, ) = deal.seller.call{value: deal.amount}("");
    require(success, "Transfer failed");
    
    emit Released(dealId, deal.seller, deal.amount);
}

Робота з ERC-20 токенами

ETH-ескроу простіший: ETH не можна відкликати approve. З ERC-20 — інакше. Правильний патерн: контракт забирає токени через transferFrom() в момент deposit — він фізично володіє ними. Неправильний: контракт записує allowance і робить transferFrom() при release. Між deposit і release покупець може відкликати approve, і release впаде з revert. Продавець залишиться ні з чим.

Для fee-on-transfer токенів (USDT на деяких чейнах) рахуємо реально отриману суму: balanceBefore - balanceAfter, не довіряємо параметру amount.

Таймаути та дедлайни

Кожна угода повинна мати дедлайн. Без нього — кошти заморожені назавжди. Після закінчення — автоматичне повернення покупцю без згоди продавця. Deadlines перевіряємо через block.timestamp, для дедлайнів у днях відхилення майнера ±15 секунд несуттєве.

Reentrancy в ескроу

ETH-ескроу вразливий до reentrancy через receive(). Використовуємо ReentrancyGuard (OpenZeppelin Docs) на release() і refund(). Альтернатива — pull-патерн: не надсилаємо ETH напряму, а записуємо в мапінг withdrawable[seller] += amount, продавець сам викликає withdraw(). Це повністю усуває reentrancy.

Pull-патерн у 3 рази безпечніший за push, хоча потребує однієї зайвої транзакції. Для DeFi-протоколів це виправдано — економія на газі за рахунок відсутності реверсивних викликів.

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

• Аналіз бізнес-логіки та сценаріїв використання
• Написання смарт-контракту з повним покриттям тестами (Foundry)
• Інтеграція з гаманцями (wagmi, RainbowKit)
• Деплой на Ethereum, Polygon, Arbitrum, Base
• Аудит коду (Slither, Mythril) та звіт
• Документація та приклади взаємодії
• Підтримка 2 тижні після деплою

Апгрейдність та багатоцільовий ескроу

Для маркетплейсів з великим обсягом угод використовуємо фабричний патерн: EscrowFactory деплоїть мінімальні проксі (EIP-1167) під кожну угоду. Кошти ізольовані, аудит спрощений.

Апгрейдність (Transparent Proxy, UUPS) — ризик зміни логіки після депозиту. Якщо апгрейдність потрібна — ставимо timelock (мінімум 48 годин) і multisig. Для чесного ескроу краще без апгрейдності.

Терміни

• Базовий ETH/ERC-20 ескроу з арбітром і дедлайном: 2-3 робочих дні з тестами.
• NFT-ескроу з dispute-механізмом і фабрикою: 4-6 робочих днів.

Вартість розраховується індивідуально. Пишіть — оцінимо проект за 1 день. Ми гарантуємо проходження аудиту: якщо контракт не пройде зовнішній аудит, виправимо за свій рахунок. Вже допомогли 50+ проектам заощадити на gas optimization до 40%. Зв'яжіться — обговоримо ваше завдання.

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

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