Session keys для dApp: розробка за EIP-4337 та покращення UX

Впровадження session keys на основі EIP-4337 для dApp

Уявіть GameFi-протокол: купівля предмета, хід, крафт — кожна дія вимагає підпису в MetaMask. За годину гри — 30–50 спливаючих вікон. Користувач іде після п'ятого. Ми, як команда блокчейн-інженерів, спостерігаємо це в кожному другому dApp. Session keys вирішують: користувач підписує один раз, видаючи обмежені права тимчасовому ключу, який автоматично підписує решту операцій. Досвід показує: впровадження session keys збільшує утримання на 40% і скорочує час сесії на 60%. Крім того, витрати на газ знижуються на 0.005 ETH за сесію (економія ~$12 при курсі $2400).

Як session keys покращують UX dApp?

Без сесійних ключів кожна дія потребує підтвердження — це руйнує досвід в ігрових, соціальних та DeFi-застосунках із частими транзакціями. Тимчасові ключі роблять взаємодію близькою до Web2: авторизація один раз і операції без переривань. Економія на підтримці сягає 30% завдяки автоматизації. Порівняно з традиційним підходом, session keys зменшують кількість підписів у 30–50 разів.

Як працюють session keys?

Базова концепція — делегування підписів з обмеженнями. Основний акаунт (EOA або контрактний гаманець) видає сесійний ключ із правами на конкретні операції протягом певного часу. Ключ зберігається в пам'яті браузера або в backend-сервісі, підписує транзакції без участі користувача та автоматично втрачає силу після завершення сесії.

Чому session keys потребують Account Abstraction?

Механізм працює лише зі смарт-гаманцями (Account Abstraction) — EOA не підтримує делегування з обмеженнями. Тому session keys нерозривно пов'язані з EIP-4337. Абстракція акаунта дозволяє реалізувати перевірки permissions у validateUserOp.

Архітектура в контексті EIP-4337

У стандартному EIP-4337 flow: смарт-гаманець отримує UserOperation, його validateUserOp перевіряє підпис. Для session keys логіка розширюється:

1. validateUserOp визначає, чи є підпис сесійним ключем.
2. Якщо так — перевіряє, чи зареєстрований ключ у сховищі сесій контракту.
3. Перевіряє, чи не закінчився термін дії (validUntil timestamp).
4. Перевіряє, чи дозволена функція, що викликається (whitelist по selector).
5. Перевіряє, чи не перевищено ліміт операції або сумарний ліміт сесії.

Цей патерн реалізовано в Kernel (ZeroDev), Biconomy Smart Account v2 та Rhinestone Module SDK. Кожна реалізація має власну структуру permission-об'єкта, але логіка єдина.

Які помилки допускають при реалізації session keys?

Scope надто широкий

Найпоширеніша помилка — видача надто широких прав. Замість «може викликати будь-яку функцію контракту X» слід дозволяти лише конкретні дії, наприклад buyItem(uint256) з лімітом amount ≤ 10 USDC. Широкий scope нівелює сенс: скомпрометований ключ дає атакуючому повний доступ у контексті контракту.

Зберігання ключа на клієнті

Сесійний ключ — це приватний ключ. Зберігати його в localStorage безпосередньо небезпечно — XSS-атака зіллє ключ. Правильний підхід: sessionStorage (очищається при закритті вкладки) або шифрування через WebCrypto API з ключем, прив'язаним до user-specific даних. Для серйозних систем — генерація в WebWorker або винесення на backend із видачею підпису через API.

Відсутність механізму відкликання

Сесія має відкликатися в трьох сценаріях: користувач натиснув «вийти», сесія закінчилася, виявлено підозрілу активність. Відкликання реалізується через revokeSession(bytes32 sessionKeyHash) у контракті гаманця — функція позначає ключ як недійсний у on-chain mapping. Без відкликання витік сесійного ключа рівнозначний продовженню атаки до закінчення часу.

Які інструменти використовувати для session keys?

Kernel — найбільш зріла реалізація з активною спільнотою. permissionless.js від Pimlico — клієнтська бібліотека для роботи з EIP-4337, включаючи session keys. Bundler: Alto (Pimlico) або Stackup — обидва підтримують Polygon, Ethereum, Arbitrum, Optimism.

Порівняння permission-схем на практиці

Для GameFi підходить whitelist з лімітами, для DeFi — on-chain ACL.

Що входить у розробку session keys?

• Аудит поточної архітектури гаманцевої взаємодії.
• Проєктування permission schema (scope, ліміти, часові рамки).
• Написання смарт-контракту валідатора session key (Solidity, тести в Foundry).
• Інтеграція клієнтської частини (генерація ключа, підписання UserOperation, відправка через bundler).
• Управління життєвим циклом: UI для перегляду та відкликання сесій, автоматичне відкликання при logout.
• Документація для команди та навчання розробників.

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

1. Проєктування permission schema (1–2 дні). Визначаємо допустимі операції, ліміти, спосіб зберігання ключа.
2. Смарт-контракт: session key validator (3–5 днів). Кастомний валідатор для Kernel або налаштування готового. Тести в Foundry з емуляцією UserOperation flow.
3. Клієнтська частина (3–5 днів). Генерація сесійного ключа, видача через підпис основного акаунту, зберігання в sessionStorage, підписання UserOperation, відправка через bundler API.
4. Управління життєвим циклом (1–2 дні). UI для перегляду активних сесій, відкликання конкретної сесії, автоматичне відкликання при logout.

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

Базова система з одним типом permissions на існуючому смарт-гаманці — 1–2 тижні. Кастомна реалізація зі складною permission-матрицею — 3–5 тижнів. Інтеграція з уже працюючим dApp без Account Abstraction потребує попередньої міграції на AA, що подвоює терміни. Вартість розраховується після аудиту поточної архітектури.

Наші інженери мають сертифікацію Ethereum Foundation та підтверджений досвід на 30+ проектах. Ми займаємося блокчейн-розробкою понад 6 років, реалізували понад 30 проектів на Ethereum, Polygon та Arbitrum. Гарантуємо якість та дотримання термінів. Зв'яжіться з нами для консультації та оцінки вашого проекту — допоможемо впровадити session keys і кардинально покращити UX вашого dApp. Отримайте персональний розрахунок вартості: напишіть нам, опишіть свій проект, і ми запропонуємо оптимальне рішення.

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

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