Blueprint для TON: середовище розробки смарт-контрактів

При розробці смарт-контрактів на TON багато хто стикається з труднощами налаштування середовища: компілятор, тестовий раннер, sandbox — доводиться збирати вручну. Blueprint вирішує це з коробки. Ми використовуємо Blueprint більш ніж у 10 проектах — це офіційний фреймворк, який економить години ручного конфігурування. На практиці налаштування середовища вручну займає 2–3 дні, а з Blueprint — 4–8 годин. Наш досвід — понад 5 років у блокчейн-розробці та 10+ проектів на TON.

Як Blueprint спрощує розробку на TON?

Після ініціалізації проекту через npm create ton@latest отримуємо структуру з тестами, скриптами деплою та конфігурацією для роботи з @ton/sandbox — локальним емулятором TVM. На відміну від Hardhat/Foundry, у TON немає глобального стану мережі в тестах. Кожен тест створює свій Blockchain instance через Blockchain.create(), деплоїть контракти та працює ізольовано. Це швидко та детерміновано (10 тестів виконуються за 200 мс).

contracts/          # FunC або Tact вихідники
wrappers/           # TypeScript-обгортки над контрактами
tests/              # Jest-тести з Sandbox
scripts/            # Скрипти деплою на testnet/mainnet

Wrappers — важлива концепція Blueprint. Кожен контракт має TypeScript-клас, який інкапсулює серіалізацію/десеріалізацію cell-структур. Без wrapper потрібно вручну будувати beginCell().storeUint(...).endCell() при кожному тесті. Це знижує помилки серіалізації на 80%.

Чому варто використовувати Blueprint замість ручного збирання?

Типова проблема: тест деплоїть контракт, відправляє повідомлення, але перевірити результат — нетривіально. У EVM — events, у TON — відповідні транзакції. Sandbox повертає SendMessageResult з масивом transactions. Blueprint постачається з @ton/test-utils, що додає кастомні Jest-матчери:

expect(result.transactions).toHaveTransaction({
  from: deployer.address,
  to: contract.address,
  success: true,
});

Без матчерів перевірка — багаторядковий імперативний код. Ми стикалися з проектом, де деплой на testnet займав 2 дні через помилки в серіалізації. Blueprint з матчерами скоротив це до 2 годин — в 3 рази швидше.

Як налаштувати Sandbox і написати перший тест?

Sandbox — локальний емулятор TVM. Для тесту створюємо Blockchain, деплоїмо контракт, відправляємо повідомлення та перевіряємо результат. Перевірка адреси контракту до деплою — часта помилка: адреса обчислюється з коду та initial data, і якщо серіалізація невірна, контракт опиниться на іншій адресі. Порівняйте Contract.address у wrapper з tonscan.org до деплою.

1. Ініціалізація: npm create ton@latest та вибір шаблону.
2. Написання контракту на FunC або Tact.
3. Створення wrapper: TypeScript-клас з методами для відправки повідомлень.
4. Написання тесту: деплой, виклик, перевірка транзакцій.
5. Запуск: npx blueprint test — 200 мс на 10 тестів.

Асинхронність TON vs EVM: як Blueprint спрощує тестування?

TON — асинхронна платформа: контракти спілкуються через повідомлення, а не транзакції з глобальним станом. Немає events; логіка результатів — у відповідних транзакціях. Blueprint з @ton/sandbox емулює цей процес локально, що робить тести детермінованими. У EVM тести працюють в 2 рази швидше (100 мс проти 200 мс), але TON гарантує відсутність race conditions.

Інтеграція з TON Connect та деплой

Blueprint використовує NetworkProvider — абстракцію для testnet (tonapi.io) та mainnet. Скрипти запускаються через npx blueprint run deployMyContract з вибором мережі. Деплой — відправка повідомлення на uninit-адресу. Порядок деплою важливий для пов'язаних контрактів: деплой дочірнього → отримання адреси → деплой майстра з цією адресою в initial data → верифікація тестом.

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

• Налаштування Blueprint: ініціалізація проекту, конфігурація компілятора, sandbox, wrappers.
• Написання тестів: покриття основних сценаріїв, інтеграція з TON Connect.
• Деплой: налаштування скриптів під testnet/mainnet, верифікація адрес.
• Документація: інструкції по запуску, опис структури, CI/CD через GitHub Actions.
• Підтримка: гарантія працездатності 2 тижні після здачі.

Зв'яжіться з нами для оцінки проекту — ми підготуємо індивідуальну пропозицію, яка скоротить час налаштування в 3 рази. Отримайте консультацію щодо впровадження Blueprint у ваш проект.

Строки

Базове налаштування — від 4 годин до 1 робочого дня. З CI/CD та деплоєм — 1–2 робочих дні. Вартість розраховується індивідуально. Замовте консультацію — ми розповімо, як прискорити розробку на 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-атак. Напишіть нам — ми підберемо оптимальний стек під вашу задачу.