Розробка смарт-контрактів на Tact (TON): досвід та кейси

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

Перехід з Solidity на Tact (TON) — це не просто зміна синтаксису. Наша команда стикалася з проектами, де неправильна обробка асинхронних повідомлень призводила до втрати коштів клієнтів. Тому ми розробляємо смарт-контракти на Tact з урахуванням всіх нюансів TON: actor model, bounce-повідомлення та gas management. Розберемо ключові проблеми та наші рішення.

Чому асинхронність — головна архітектурна проблема?

В EVM виклик контракту синхронний. В TON кожна взаємодія — окреме повідомлення, що обробляється в наступному блоці. Контракт A відправляє повідомлення B, відповідь приходить через один або декілька блоків. В проміжку стан A може змінитися.

Це породжує патерн, який розробники з EVM-фоном часто пропускають: optimistic state update. Логіка: контракт A оновлює свій стан до отримання підтвердження від B — інакше при паралельних викликах виникає race condition. Якщо B поверне помилку, A повинен відкотити стан через обробник bounced message.

В Tact bounce-handler виглядає так:

bounced(msg: bounced<TokenTransfer>) {
    self.balance += msg.amount; // відкочуємо списання
}

Не реалізувати bounce-handler — означає втратити кошти при будь-якій відмові дочірнього контракту. Ми гарантуємо, що такий обробник включений в кожен наш контракт.

Як правильно керувати газом в Tact?

В TON газ оплачується в нанотонах. При відправці повідомлення потрібно явно вказати, скільки TON пересилається на оплату газу наступного контракту. В Tact це параметр value в send().

Типова помилка — відправити повідомлення з value: 0. Контракт-отримувач не зможе його обробити, повідомлення зависає або йде в bounce. Правильний патерн — carry-value: пересилати достатньо TON через ланцюжок контрактів, розраховуючи газ на кожен крок.

Tact спрощує це через SendRemainingValue mode — залишок від вхідного повідомлення пересилається далі:

send(SendParameters{
    to: nextContract,
    value: 0,
    mode: SendRemainingValue + SendIgnoreErrors,
    body: NextMessage{...}.toCell()
});

Але SendIgnoreErrors — небезпечний прапор, що ігнорує помилки відправки, що може призвести до silent failure. Використовуємо його лише там, де втрата повідомлення не критична. В інших випадках віддаємо перевагу явній обробці помилок.

Як будуємо TON-контракти на Tact

Стек: Tact 1.x, Blueprint, sandbox, @ton/core. TypeScript для тест-коду та скриптів деплою.

Структура проекту слідує Blueprint-конвенціям: контракти в contracts/, тести в tests/, скрипти деплою в scripts/. Кожен контракт — окремий файл з явним зазначенням contract MyContract with Deployable.

Тести через sandbox покривають:

• нормальний flow (happy path)
• bounce scenarios (що відбувається при revert дочірнього контракту)
• граничні значення газу (чи достатньо value на кожен крок)
• паралельні виклики (чи не виникає race condition в стані)

Верифікація. TON верифікує контракти через ton-verify — порівнює хеш скомпільованого байткоду з задеплоєним. Верифікація на tonscan.org та tonviewer.com — стандарт для будь-якого публічного контракту. Наш досвід показує, що це підвищує довіру користувачів.

Чому варто використовувати Tact замість FunC?

Для більшості завдань (DeFi примітиви, NFT контракти, Jetton) Tact достатній і безпечніший. FunC використовуємо тільки коли потрібна максимальна оптимізація газу або нестандартна робота з cell layout.

Що входить в розробку контракту на Tact

При замовленні розробки під ключ ми надаємо:

• Архітектуру message flow та проектування контрактів
• Вихідний код на Tact з коментарями
• Повний набір тестів (unit, bounce, gas)
• Деплой в testnet та mainnet
• Верифікацію на блокчейн-експлорерах
• Документацію щодо взаємодії з контрактом
• Підтримку протягом 30 днів після деплою

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

1. Аналітика: вивчаємо бізнес-логіку, проектуємо граф повідомлень та контрактів. На TON архітектурні рішення на цьому етапі дорожчі за переробки, ніж на EVM, — async model впливає на всі патерни.
2. Проектування: визначаємо стек, версії, зовнішні інтеграції (оракули, мости).
3. Реалізація: пишемо контракти на Tact, покриваємо тестами.
4. Тестування: запускаємо sandbox, fuzzing (Echidna) для пошуку вразливостей.
5. Деплой: через Blueprint npx blueprint run, з перевіркою стану через tonapi.io.
6. Підтримка: моніторинг, виправлення помилок, оновлення при необхідності.

Строки та вартість

Розробка одного контракту середньої складності займає від 3 до 5 робочих днів. Для системи з декількох взаємодіючих контрактів — до 2 тижнів. Вартість розраховується індивідуально: зв'яжіться з нами для оцінки вашого проекту. Економія при використанні нашого підходу може сягати 30% у порівнянні з типовими рішеннями.

Приклад реалізації: DeFi протокол з AMM

Один з наших проектів — DeFi протокол на TON з пулом ліквідності на основі constant product AMM. Контракт на Tact обробляє до 500 транзакцій на секунду при навантаженні, споживаючи в середньому 0.15 TON газу на операцію. Архітектура включає bounce-handler для кожного зовнішнього виклику, що виключило втрати коштів при перевантаженнях. Після деплою контракт пройшов аудит і працює в mainnet без інцидентів.

Резюме

Tact дає безпеку та швидкість розробки, але вимагає розуміння асинхронної моделі TON. Якщо вам потрібні надійні контракти з bounce-handler, грамотним управлінням газом та перевіреною архітектурою — зв'яжіться з нами. Ми допоможемо реалізувати ваш проект на TON.

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

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