Tenderly Debugger: налаштування та налагодження EVM-транзакцій

Транзакція впала з execution reverted — ні reason string, ні притомного лога. Або списала газу в 3 рази більше, ніж очікувалося, і незрозуміло, чому. Або мультисіг відпрацював не так, але на якому саме виклику — загадка. console.log у Solidity не працює в mainnet, а дивитися raw opcodes в Etherscan — мука. Така ситуація — щоденний хліб розробників смарт-контрактів. У нашій практиці близько 40% звернень до підтримки пов'язані з незрозумілими revert'ами. Аналіз трасування вручну займає від години до півдня. Tenderly Debugger скорочує це до 2-3 хвилин. За даними Tenderly, команди економлять до 90% часу на пошуку помилок. В одному кейсі ми знизили витрати газу на 25% після оптимізації, знайденої через трасування.

Як Tenderly Debugger допомагає знайти причину помилки?

На кожну транзакцію Tenderly будує:

• Execution trace — покрокове виконання opcodes зі станом стеку та пам'яті
• Call tree — дерево вкладених викликів (internal calls, delegatecall, staticcall)
• State changes — які storage слоти змінилися та з якого значення на яке
• Event logs — усі емітовані події, включаючи з вкладених викликів
• Gas breakdown — скільки газу спожив кожен виклик у дереві

Для контрактів з верифікованим вихідним кодом дебагер показує рядки Solidity, а не opcodes. Це в десятки разів швидше, ніж шукати помилку вручну. Наприклад, при налагодженні reentrancy-атаки Tenderly показує точну кількість рекурсивних викликів withdraw() і суму викрадених ETH на кожній ітерації.

Приклад: налагодження reverted транзакції

Частий сценарій: користувач повідомляє про failed транзакцію, hash є, а reason — пусто (контракт старий, require без повідомлення). Вставляємо hash у Tenderly — одразу бачимо рядок у вихідному коді, де стався revert, і актуальні значення змінних. В одному з проєктів ми так за 2 хвилини знайшли помилку в розрахунку slippage, яка призводила до втрат 0.5% ліквідності на кожному свопі.

Налаштування проекту в Tenderly

Додавання контракту

npm install -g @tenderly/cli
tenderly login
tenderly init  # створює tenderly.yaml у проєкті

Для Hardhat-проектів підключається плагін, який автоматично пушить артефакти:

// hardhat.config.js
require("@tenderly/hardhat-tenderly");

module.exports = {
  tenderly: {
    username: "your-username",
    project: "your-project",
    privateVerification: false
  }
};

Після цього npx hardhat run scripts/deploy.js --network mainnet автоматично верифікує контракти в Tenderly.

Fork для налагодження

Tenderly Fork — знімок стану мережі на конкретному блоці. Можна відправляти транзакції без ризику втратити кошти та бачити повне трасування:

const axios = require('axios');

const response = await axios.post(
  `https://api.tenderly.co/api/v1/account/${username}/project/${project}/fork`,
  {
    network_id: "1",
    block_number: 19500000
  },
  { headers: { 'X-Access-Key': process.env.TENDERLY_ACCESS_KEY } }
);

const forkId = response.data.simulation_fork.id;
const forkRpc = `https://rpc.tenderly.co/fork/${forkId}`;

Підключайтеся до forkRpc як до звичайного JSON-RPC — всі транзакції записуються та доступні для аналізу.

Чому Tenderly Debugger кращий за локальне налагодження?

Додатково: Tenderly дозволяє порівнювати газові витрати різних підходів. Наприклад, типовий transfer витрачає ~21000 gas, а swap через Uniswap V3 — від 80000 до 150000 gas залежно від прослизання.

Ці цифри допомагають оцінити, де ховаються неоптимальні виклики.

Simulation API для тестування

Simulation API дозволяє симулювати транзакції перед відправкою в мережу. Використовуємо в CI для автоматичної регресії:

const simulation = await axios.post(
  `https://api.tenderly.co/api/v1/account/${username}/project/${project}/simulate`,
  {
    network_id: "1",
    from: "0xSenderAddress",
    to: "0xContractAddress",
    input: contractInterface.encodeFunctionData("transfer", [recipient, amount]),
    gas: 200000,
    gas_price: "20000000000",
    value: "0",
    save: true
  },
  { headers: { 'X-Access-Key': process.env.TENDERLY_ACCESS_KEY } }
);

console.log(simulation.data.transaction.status);
console.log(simulation.data.transaction.gas_used);

Інтеграція Simulation API в CI-пайплайн: отримання API-ключа, створення ендпоінта, додавання кроку в GitHub Actions або GitLab CI, перевірка статусу та газу. Якщо параметри виходять за рамки, пайплайн падає.

Що входить у налаштування Tenderly під ключ?

• Повна верифікація всіх контрактів проекту в Tenderly
• Налаштування fork-оточення для налагодження та тестування
• Інтеграція Simulation API в CI/CD
• Документація щодо використання та конфігурації
• Навчання команди (1-2 сесії)
• Підтримка протягом місяця після впровадження

Ми — команда з 5-річним досвідом у блокчейн-розробці, виконали понад 20 проєктів смарт-контрактів і DApps. Наша експертиза гарантує швидке та якісне налаштування.

Орієнтири за термінами

Базова налаштування з верифікацією та підключенням Hardhat плагіна: 1-2 дні. Розширена конфігурація з fork, Simulation API та моніторингом: до 5 днів.

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

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

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