Мультипідписні смарт-контракти: безпека treasury-рішень

Безпечні мультипідписні смарт-контракти: від Safe до кастомних рішень

Уявіть: команда зберігає $3M у treasury, і один скомпрометований Ledger або злитий приватник дозволяє зловмиснику вивести всі кошти. Recovery неможливий. За понад 5 років ми розробили 30+ мультисиг-конфігурацій для протоколів з TVL до $50M. Наш досвід гарантує, що жодна людина в команді не зможе одноосібно вивести treasury, оновити контракт або змінити критичний параметр. Втрати від компрометації одного ключа можуть перевищувати $10M, а повне відновлення репутації часто неможливе. Мультипідписні смарт-контракти — це базовий рівень безпеки для будь-якого DeFi-протоколу, DAO або централізованого проєкту.

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

Мультисиг (multisig) — це схема управління криптоактивами, при якій для виконання транзакції потрібно M підписів з N авторизованих учасників (M-of-N). Він обов'язковий, якщо treasury розподілений між засновниками та інвесторами, для зміни параметрів смарт-контракту потрібна згода кількох сторін, або ви хочете захистити протокол від компрометації одного ключа.

Для більшості завдань достатньо Safe (Gnosis Safe) — аудитований контракт з 4+ роками на mainnet, $100B+ під управлінням, підтримкою всіх EVM-мереж. Під капотом — порогова схема M-of-N, офчейн-підписи через EIP-712. Safe зберігає транзакції в ланцюжку, кожен owner підписує структуровані дані, і при наборі M підписів будь-хто може виконати.

Чому Gnosis Safe не завжди достатньо?

Середня вартість розробки кастомного мультисигу становить 3-5 днів роботи інженера, що в перерахунку на капітальні витрати зазвичай дешевше наслідків одного інциденту безпеки.

Коли потрібен кастомний мультисиг?

Кастомний мультисиг необхідний, якщо:

• нестандартна логіка авторизації (timelock + multisig + DAO vote)
• on-chain голосування з вагами (weighted multisig)
• специфічні умови виконання (тільки після оракульної події)
• блокчейни без готового Safe: TON, Solana, Aptos

Як ми будуємо захищений мультисиг: покроковий чек-лист

Реалізація мультисигу на Solidity — хрестоматійний матеріал для аудиторів, тому що в ньому регулярно знаходять одні й ті ж класи вразливостей. Ми використовуємо наступний алгоритм перевірки підписів:

function _verifySignatures(
    bytes32 txHash,
    bytes[] calldata signatures
) internal view {
    require(signatures.length >= threshold, "Below threshold");
    address lastSigner = address(0);
    for (uint256 i = 0; i < signatures.length; i++) {
        address signer = ECDSA.recover(txHash, signatures[i]);
        require(isOwner[signer], "Not an owner");
        require(signer > lastSigner, "Duplicate signer"); // ключова перевірка
        lastSigner = signer;
    }
}

Ключові загрози та їх запобігання:

• Replay attack. Контракт приймає список підписів і перевіряє їх. Якщо nonce не включений у підписуваний хеш — та ж транзакція може бути переграна. Правильна структура: keccak256(abi.encode(to, value, data, nonce, chainId)). ChainId обов'язковий — інакше підпис з Ethereum mainnet приймається на Polygon.
• Signature malleability. ECDSA має дві дійсні підписи для одного повідомлення (s і -s mod n). OpenZeppelin ECDSA.recover обробляє це коректно з версії 4.x, перевіряючи s <= secp256k1n / 2. Самописний ecrecover без цієї перевірки допускає дублювання підписів.
• Duplicate signer. Контракт збирає N підписів, перевіряє кожну проти списку owners, але не перевіряє унікальність підписантів. Атака: один owner надає M підписів одного повідомлення — транзакція виконується з M/N = 1 фактичним учасником. Захист: require(signer > lastSigner) з сортуванням адрес.

Як Timelock посилює захист?

Мультисиг 2-of-3 з трьома ключами в одному офісі — не мультисиг у сенсі безпеки. Реальний захист — комбінація мультисигу з TimelockController (OpenZeppelin). Транзакція, підтримана M підписами, ставиться в чергу з затримкою (зазвичай 24-72 години). У цьому вікні community може помітити шкідливу дію. Для протоколів з TVL > $1M TimelockController з затримкою 48 годин — baseline. Параметр minDelay задається при деплої і не може бути зменшений самим timelock-ом (тільки через governance vote або multisig).

Weighted multisig та DAO-інтеграція

Якщо підписанти мають різну вагу (VC фонд з 40% voting power vs окремі контриб'ютори з 5% кожен) — потрібна зважена схема. Реалізуємо через mapping weights[address] і перевірку totalWeight >= requiredWeight замість threshold за кількістю. Інтеграція з Governor (OpenZeppelin) дозволяє будувати гібридні схеми: дрібні операції (до X ETH) — через мультисиг, крупні — через DAO vote з timelock. Кастомний мультисиг з Weighted і Timelock забезпечує захист на 50% краще, ніж звичайний M-of-N.

Multisig на Solana та TON

На Solana використовуємо Squads Protocol — аналог Safe для Solana. Squads v4 підтримує програмовані spending limits, ролі, інтеграцію з Serum/Jupiter. Кастомний мультисиг на Anchor пишемо коли Squads не покриває логіку. На TON — кастомна реалізація на Tact або FunC. TON multisig wallet (офіційний контракт від TON Foundation) підходить для простих випадків зберігання TON. Для jetton-ів та складної логіки — кастомний контракт з обробкою bounce повідомлень.

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

• Аналіз вимог безпеки та схеми підписів
• Розробка (або кастомізація Safe) під ваш use case
• Написання повного набору unit-тестів (Foundry + fuzzing з Echidna)
• Аудит коду та формальна верифікація — окрема аудиторська перевірка мультисиг контракту
• Деплой скрипти з мультисигом та timelock (Hardhat, Foundry, або Anchor)
• Документація та навчання команди
• Технічна підтримка протягом 2 тижнів після деплою

Строки

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

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

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