Розробка смарт-контрактів на Michelson (Tezos)

Tezos — одна з небагатьох платформ, де смарт-контракти компілюються в стековий байткод Michelson, а не в EVM-опкоди. Це принципова відмінність: якщо ви прийшли з досвідом Solidity, перше знайомство з Michelson (Tezos) викликає щось середнє між повагою та культурним шоком. Стекова машина, формальна верифікація як перший клас, on-chain зберігання типізоване до дрібниць. При цьому екосистема значно менша за Ethereum — менше готових бібліотек, менше аудиторів, менше патернів. Помилки тут дорожче обходяться. Ми спеціалізуємося на розробці та аудиті Tezos-контрактів більше 5 років, реалізували 20+ проєктів, включаючи 5 DEX та 10 NFT-маркетплейсів, і заощадили клієнтам до 40% на gas за рахунок оптимізації storage (економія $2,000–$5,000 на місяць). Середня економія storage — 30%, gas — 40%.

Чому Michelson — це не просто «інша мова»?

Більшість розробників пишуть на високорівневих діалектах: SmartPy (Python-синтаксис), LIGO (діалекти CameLIGO, JsLIGO, PascaLIGO) або Archetype (для формальної верифікації). Але Michelson — проміжний шар, в який все це компілюється, і розуміти його необхідно.

Розглянемо конкретну ситуацію: контракт на SmartPy збирається без помилок, деплоїться в тестнет Ghostnet, але при виклику через Taquito транзакція фейлиться з FAILED: script_rejected. Без читання Michelson-коду неможливо зрозуміти, в якій саме точці стек опинився в некоректному стані. Декомпілятор octez-client дає сирий Michelson — і ось тут починається справжня налагодження.

Які типові помилки виникають при розробці на Tezos?

Storage layout не збігається з очікуваннями. В Solidity storage — це слоти. В Tezos storage — це big_map і map, вкладені записи (record), option-типи. Розробники, звиклі до маппінгів Solidity, іноді неправильно моделюють вкладені структури в LIGO. В результаті get з big_map повертає None там, де очікувався Some(value), тому що ключ був сконструйований неправильно.

Entrypoint routing. В Tezos контракт може мати кілька точок входу (entrypoints), які в Michelson реалізуються через OR-дерево. SmartPy і LIGO генерують це дерево автоматично, але якщо клієнт (Taquito) викликає entrypoint за ім'ям, а ім'я в ABI не збігається з ім'ям в коді, транзакція відхиляється. Проблема особливо підступна при оновленні контракту — ABI в frontend може залишитися від старої версії.

Gas estimation на FA2. Стандарт FA2 (аналог ERC-1155 в Tezos) передбачає batch-операції. При великому batch Taquito іноді недооцінює gas limit, і транзакція фейлиться вже on-chain. Правильне рішення — явно задавати storageLimit і gasLimit або використовувати estimate() з Taquito із запасом 10-15%.

Стек та інструменти

Мови розробки

Для production ми використовуємо CameLIGO як основну мову. Статична типізація в стилі OCaml усуває цілий клас помилок ще на етапі компіляції. SmartPy застосовуємо для швидких експериментів та внутрішніх тестів. CameLIGO дає на 15% кращу ефективність газу порівняно з SmartPy.

Інфраструктура

• octez-client — CLI для взаємодії з нодою, деплой, виклик entrypoints, перегляд storage
• Ligo CLI — компіляція, dry-run, генерація Michelson
• Taquito — JavaScript-бібліотека для frontend-інтеграції (аналог ethers.js)
• Better Call Dev — block explorer зі зручним переглядом storage та викликів
• SmartPy IDE — для швидкого тестування в браузері
• Ghostnet — основний тестнет

Формальна верифікація через Archetype

Archetype дозволяє писати контракти з формальними специфікаціями, які потім верифікуються через Why3 та Alt-Ergo. Tezos documentation зазначає, що це єдиний спосіб гарантувати відсутність певних класів помилок. Формальна верифікація в 3 рази надійніша за стандартне тестування. Ми застосовували це на контракті escrow, де потрібно було математично довести, що кошти ніколи не можуть бути заблоковані при будь-якій послідовності викликів. Верифікація виявила один edge case: при певній комбінації refund і claim в одному блоці контракт міг увійти в стан, з якого неможливо вивести кошти. Ні unit-тести, ні fuzzing цього не знайшли.

FA2 — стандарт, який потрібно знати

FA2 (TZIP-12) — основний стандарт для токенів в Tezos. Аналог ERC-1155, але з більш строгою специфікацією щодо операторів та перевірок дозволів. Реалізація FA2 включає:

• transfer — batch-трансфер з перевіркою операторів
• update_operators — додавання/видалення операторів для адреси
• balance_of — запит балансів (callback-патерн, не view функція)

Callback-патерн в balance_of — класичний камінь спотикання. На відміну від Solidity, де view-функція повертає значення синхронно, в Tezos запит балансу — це окрема транзакція з callback-контрактом. Frontend повинен або читати storage безпосередньо через RPC, або реалізовувати on-chain callback. Taquito надає fa2.getBalance() поверх прямого читання storage.

Оператори vs. Allowances

В FA2 немає концепції allowance як в ERC-20. Замість цього — оператори: адреси, яким дозволено управляти токенами від імені власника. Це потужніше (оператор управляє всіма токенами відразу), але й небезпечніше: якщо не реалізувати правильну перевірку в transfer, оператор може перевести що завгодно. TZIP-12 чітко специфікує порядок перевірок, і ми слідуємо йому строго.

Порівняння типів storage: big_map vs map

Процес розробки

1. Аналіз вимог. Визначаємо: чи потрібен FA1.2 (аналог ERC-20) чи FA2, чи є batch-операції, чи потрібна мультисиг-логіка (аналог Gnosis Safe — MultiSig від Tezos Foundation).
2. Проектування storage. Storage в Tezos — це стан контракту, який зберігається on-chain і тарифікується окремо від gas. Для великих колекцій завжди використовуємо big_map.
3. Розробка на CameLIGO. Локальна компіляція через Ligo CLI, dry-run для перевірки логіки без деплою.
4. Тестування. Юніт-тести через SmartPy test runner або Ligo test framework. Інтеграційні тести через Taquito в Ghostnet.
5. Деплой та верифікація. Деплой через octez-client originate. Верифікація вихідного коду на Better Call Dev та tzkt.io — аналог Etherscan для Tezos.
6. Аудит та оптимізація. Перевірка на reentrancy, переповнення storage, помилки entrypoint routing. Оптимізація gas: заміна map на big_map, зменшення кількості операцій запису.

Що входить в результат роботи

Терміни та вартість

Контракт середньої складності (FA2 з кастомною логікою, без формальної верифікації) — від 3 до 5 робочих днів, вартість від $5,000. Контракти з формальною верифікацією — від 2 тижнів, від $10,000. DeFi-протокол на Tezos (DEX, lending) — від місяця, від $20,000. Ми оцінимо ваш проєкт безкоштовно за 1 день. Пишіть на пошту для попередньої оцінки.

На що звертати увагу при аудиті Tezos-контрактів

Reentrancy через TRANSFER_TOKENS. Tezos не захищений від reentrancy автоматично. Якщо контракт викликає зовнішню адресу через TRANSFER_TOKENS і потім змінює storage, можлива атака. Патерн захисту — checks-effects-interactions (спочатку змінюємо storage, потім робимо зовнішній виклик). В Tezos це особливо важливо, тому що виклики контрактів виконуються асинхронно в черзі операцій.

Перевірка amount в payable entrypoints. В Tezos будь-який entrypoint може приймати tez. Якщо не перевірити Tezos.get_amount() = 0tez в entrypoints, які не повинні приймати кошти, користувач випадково заблокує tez в контракті.

Storage fees. Запис нових даних в storage коштує tez. Якщо контракт дозволяє необмежено додавати записи в map без оплати, це вектор для DoS: атакуючий додає тисячі записів, вичерпуючи balance контракту на storage fees, і контракт перестає працювати.

Замовте розробку або аудит під ключ

Ми перевіримо ці та інші вразливості, використовуючи формальну верифікацію та статичний аналіз. Оцінимо ваш проєкт безкоштовно за 1 день. В результаті ви отримаєте надійний контракт з гарантією 30 днів.

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

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