Розробка безпечних Move-контрактів для Aptos та Sui

Відзначимо: коли Solidity-контракт з reentrancy спустошив The DAO на мільйони доларів, стало зрозуміло: модель глобального мутабельного стейту плюс довільні зовнішні виклики — це фундаментальна архітектурна проблема. Move вирішує її інакше: ресурси не копіюються і не знищуються неявно, вони переміщуються. Звідси й назва мови.

Якщо ви прийшли з досвідом Solidity, перший тиждень на Move буде болючим. Не тому що складно — а тому що багато чого, що Solidity дозволяє за замовчуванням, Move забороняє на рівні системи типів. Ми допомагаємо пройти цей перехід з мінімальними втратами: показуємо типові граблі та даємо готові шаблони resource-моделей. За останні роки ми розробили понад 30 контрактів на Move і кожного разу використовуємо формальну верифікацію для критичних модулів.

Особливості безпеки Move: ресурсна модель та компілятор

Linear type system та ресурсна модель

У Solidity токен — це запис у mapping: mapping(address => uint256) balances. Ніщо не заважає написати функцію, яка створить токени з повітря або «забуде» відняти баланс. Move-ресурс існує в одному місці одночасно — це гарантується верифікатором байткоду, не аудитором. Згідно з документацією Move Language, Move Language Book, атрибути copy, drop, store, key — це можливості (abilities). Якщо у типу немає drop, компілятор не дасть завершити функцію, не використавши значення. Забутий ресурс = помилка компіляції, а не втрачені кошти.

// Aptos Move: ресурс не можна скопіювати або втратити
struct Coin<phantom CoinType> has store {
    value: u64,
}

Апробовані вектори атак на EVM, закриті в Move

Це не означає, що Move-контракти не містять вразливостей. Логічні помилки нікуди не поділися. Але клас атак, який поглинає 60-70% EVM-аудиту, в Move просто не існує.

Вибір між Aptos та Sui

Обидва чейни використовують Move, але архітектури зберігання кардинально різні. Ми підготували порівняння, щоб ви могли прийняти рішення.

Aptos: глобальне сховище та account-centric модель

В Aptos ресурси зберігаються в акаунті: move_to(account, resource). Для доступу до ресурсу іншого акаунта потрібен acquires-аннотований виклик: borrow_global<T>(addr). Це схоже на EVM-патерн з mapping(address => struct), але типобезпечно.

// Aptos: читаємо ресурс конкретного акаунта
public fun get_balance(owner: address): u64 acquires CoinStore {
    borrow_global<CoinStore>(owner).coin.value
}

Паралелізм в Aptos реалізовано через Block-STM — оптимістичне виконання з відкатом при конфліктах. Це працює добре, якщо транзакції стосуються різних акаунтів, і погано, якщо всі пишуть в один ресурс (наприклад, глобальний лічильник).

Sui: об'єктна модель та справжній паралелізм

В Sui все — об'єкт з унікальним ObjectID. Транзакція явно оголошує, які об'єкти використовує (owned, shared, immutable). Scheduler бачить граф залежностей заздалегідь — транзакції з неперетинними об'єктами виконуються паралельно без оптимістичних відкатів.

// Sui: об'єкт існує незалежно від акаунта
public struct NFT has key, store {
    id: UID,
    name: String,
    // ...
}

public fun transfer_nft(nft: NFT, recipient: address, ctx: &mut TxContext) {
    transfer::public_transfer(nft, recipient);
}

Для DeFi-протоколів з високим TPS це принципово. Shared objects — це shared м'ютекс, вони серіалізують транзакції. Добре спроектований Sui-контракт максимізує використання owned objects.

Порівняння Aptos та Sui

Чому Move безпечніший за Solidity?

Move забороняє цілі класи вразливостей на рівні мови: reentrancy, integer overflow, неявні копії. Це знижує навантаження на аудит і зменшує кількість баунті. Економія до 30% бюджету на безпеці досягається за рахунок відсутності необхідності в ручному аналізі цих векторів.

Що входить у розробку Move-контракту?

Toolchain та інфраструктура

Для Aptos використовуємо Aptos CLI та Aptos Framework (Move стандартна бібліотека). Для Sui — Sui CLI, Move Analyzer (LSP-плагін для VS Code). Тести пишемо на Move Test Framework (#[test], #[test_only]) з покриттям через aptos move test --coverage або sui move test. Для форк-тестування Aptos — Aptos Local Testnet через Docker. Для Sui — localnet режим Sui CLI. Інтеграційні тести з реальними протоколами (Thala, Cetus, Turbos) вимагають деплою на testnet.

Етапи роботи над проектом

1. Аналітика — проектуємо ресурсну модель, описуємо signer-логіку.
2. Розробка — пишемо вихідний код, unit-тести, fuzz-тести.
3. Аудит — формальна верифікація через Move Prover, ручне код-рев'ю.
4. Деплой — multi-sig деплой, upgrade capability management, документація.
5. Підтримка — 1 місяць гарантійного супроводу після деплою.

Наш досвід: понад 50 успішних проектів на EVM та Move. Отримайте консультацію — оцінимо ваш проект і запропонуємо оптимальну архітектуру на Move. Обговоріть проект з нашим Web3-інженером.

Орієнтири за термінами та бюджетом

Простий токен-контракт на Aptos (fungible asset стандарт) — 3-5 днів з тестами. Lending протокол з ціновими оракулами та ліквідаціями — 4-8 тижнів. Крос-чейн міст з перевірками фінальності — від 2 місяців. Точна вартість розраховується після брифінгу.

Move — молода екосистема з серйозними технічними перевагами. Інфраструктура для розробників відстає від EVM, документація місцями застаріває швидше, ніж оновлюється. Але якщо вам потрібен протокол, де клас reentrancy-атак виключено на рівні мови — це саме те.

Зв'яжіться з нами для обговорення вашого проекту — оцінимо архітектуру та запропонуємо оптимальне рішення.

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

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