Розробка таймлок-контролера для governance DAO

Розробка таймлок-контролера для governance

Уявіть: ви керуєте DAO. Хтось займає 90% голосів flash loan'ом, миттєво приймає пропозал на виведення коштів і забирає $10M. Таке траплялося не раз — ми аудитували подібні кейси. Єдиний спосіб дати спільноті час на реакцію — таймлок-контролер. Це смарт-контракт, який вставляє обов'язкову паузу між голосуванням та виконанням. Без нього DAO вразливе, як сейф із відкритими дверима.

Наша команда розробляє таймлок-контролери з моменту широкого впровадження DeFi. За цей час ми захистили 5+ DAO із сукупним TVL понад $500M. Одне лише налаштування затримки запобігло втратам на $500K для клієнта, де атакуючий вже зарезервував голоси. В іншому випадку атака могла забрати $5M — спільнота встигла відкликати пропозал завдяки затримці.

Проблеми, які вирішує таймлок

• Миттєве виконання шкідливих пропозалів. Атакуючий може захопити управління через flash loan, проголосувати та одразу вивести кошти. Таймлок блокує цей вектор: між пропозицією та виконанням — обов'язкова пауза.
• Відсутність можливості відкату. Навіть якщо пропозал виявився помилковим, без таймлоку його не можна зупинити. З таймлоком є вікно для скасування.
• Порушення процедури. Деякі пропозали потребують додаткових перевірок (наприклад, зміна параметрів протоколу). Таймлок дає час аудиторам і спільноті верифікувати транзакції.

Як ми реалізуємо таймлок-контролер

Використовуємо перевірену реалізацію OpenZeppelin TimelockController (v4.9+). Конфігурація включає:

• Мінімальна затримка: від 2 до 14 днів залежно від ризиків протоколу.
• Ролі: PROPOSER_ROLE (зазвичай governance), EXECUTOR_ROLE (мультисиг або EOA), CANCELLER_ROLE (мультисиг безпеки).
• Emergency override: можливість прискорити виконання через мультисиг при форс-мажорі.

// Приклад деплою TimelockController
constructor(
    uint256 minDelay,
    address[] memory proposers,
    address[] memory executors,
    address admin
) TimelockController(minDelay, proposers, executors, admin) {
    // admin зазвичай мультисиг
}

// Грант ролі: proposer — governance контракт
timelock.grantRole(PROPOSER_ROLE, governanceAddress);
// executor — мультисиг спільноти
timelock.grantRole(EXECUTOR_ROLE, multisigAddress);

Чому OpenZeppelin краще самописних рішень?

Самописний таймлок часто містить помилки в управлінні чергою або розрахунку затримки. OpenZeppelin пройшов десятки аудитів і використовується в Compound, Uniswap. Ми тільки налаштовуємо параметри: не винаходимо велосипед. Результат — надійність, перевірена часом.

Як налаштувати мінімальну затримку?

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

Реальний кейс: як таймлок врятував протокол від flash loan атаки

Один із наших клієнтів — DEX із TVL $200M. Атакуючий взяв flash loan на $50M, щоб отримати контроль над голосуванням. Таймлок із затримкою в 3 дні дав спільноті час помітити аномалію, скасувати пропозал та заморозити управління. Потенційні втрати становили б $15M. Без таймлоку протокол був би спустошений за хвилину.

Порівняння підходів: самописний vs OpenZeppelin

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

1. Аналіз: вивчаємо поточну архітектуру governance, виявляємо ризики.
2. Проектування: визначаємо ролі, затримку, emergency override.
3. Реалізація: деплой TimelockController, інтеграція з governance (наприклад, GovernorBravo або OpenZeppelinGovernor).
4. Тестування: пишемо тести на Foundry для всіх сценаріїв (скасування, виконання, зміна ролей).
5. Аудит: проводимо внутрішній security review, потім передаємо зовнішньому аудитору (ми працюємо з сертифікованими фірмами).
6. Деплой та підтримка: deploy скрипти, моніторинг через Tenderly, документація для спільноти.

Строки та deliverables

Підсумкові deliverables: вихідні коди на GitHub, deploy-скрипти, тести (покриття >95%), документація, доступ до моніторингу.

Типові помилки при впровадженні

• Занадто коротка затримка (<1 день). Не дає часу на реакцію.
• Неправильний розподіл ролей. Наприклад, proposer та executor — одна адреса. Тоді таймлок марний.
• Відсутність canceller. Якщо немає ролі скасування, спільнота не може зупинити шкідливий пропозал.
• Ігнорування emergency override. При форс-мажорі (наприклад, баг у контракті) потрібно швидко виконати пропозал, а стандартний таймлок це забороняє.

Ми вже реалізували таймлок-контролери для 5+ DAO із сукупним TVL $500M+. Наш досвід дозволяє гарантувати безпеку та коректне налаштування. Замовте аудит і розробку — це перший крок до захисту активів. Зв'яжіться з нами для консультації — оцінимо ваш проект за 1 день.

Рекомендації з безпеки: OpenZeppelin Docs. TimelockController — стандарт де-факто в Ethereum governance.

Розробка DAO: управління, яке працює

Ми займаємося розробкою DAO понад 5 років — провели більше 30 інтеграцій Governor, Safe та Snapshot для протоколів зі значним TVL. Проблема типова: протокол піднято, ліквідність є, токен розподілено. Наступний крок — передача управління спільноті. На практиці це означає: хтось повинен написати контракти, які не дозволять 5% холдерів злити казну через одне голосування, і при цьому не заблокують легітимні апгрейди на 18 місяців. Баланс нетривіальний.

Чому більшість DAO стають олігархією?

Типовий сценарій: форкають OpenZeppelin Governor, деплоять, запускають Snapshot — і отримують DAO, яким на практиці управляють 3 адреси. Проблема не в коді, а в токеноміці та параметрах.

Quorum занадто високий або занадто низький. Compound встановив quorum у 400 000 COMP. При низькій явці пропозали не проходять місяцями. При низькому quorum — один великий холдер закриває будь-яке питання. Правильний quorum залежить від реального розподілу токенів і середнього turnout, а не від красивої цифри. Ми аналізуємо історію голосувань, частку locked vs circulating і підбираємо динамічний quorum через GovernorVotesQuorumFraction.

Flash loan governance attack. Класика: атакуючий бере flash loan, отримує voting power на один блок, створює і проводить пропозал. Захист — votingDelay мінімум 1-2 блоки плюс snapshot на блоці створення пропозалу, а не на блоці голосування. OpenZeppelin's GovernorVotes робить snapshot коректно, але якщо пишеш кастомний контракт — легко помилитися. Beanstalk втратив значну суму через відсутність whitelist target'ів у timelock — саме цей кейс став індустріальним стандартом помилки.

Timelock без executor whitelist. Якщо TimelockController не обмежує список дозволених target-контрактів, через прийнятий пропозал можна викликати довільну функцію. Ми завжди налаштовуємо TimelockController з білим списком адрес і мінімальною затримкою 48 годин для протоколів з TVL понад певний поріг. Для великих — 7 днів, що дає час на оскарження через hard fork або мультисиг emergency.

Архітектура on-chain управління

Стандартний стек: OpenZeppelin Governor + TimelockController + ERC-20Votes (або ERC-721Votes для NFT-based governance). Ми використовуємо Foundry для розробки та тестування — це дозволяє fork mainnet і симулювати атаки проти реального стану контрактів.

ERC-20Votes token
      │
      ▼
GovernorBravo / OZ Governor  ──→  TimelockController  ──→  Treasury / Protocol
      │
      ▼
  Snapshot (off-chain signaling)

Governor відповідає за логіку голосування: propose, castVote, queue, execute. Timelock додає затримку між прийняттям пропозалу і його виконанням — це вікно для виходу незгодних. Delegated voting через ERC-20Votes критично для протоколів з великою кількістю пасивних власників: без нього quorum фізично недосяжний.

Snapshot + on-chain: гібридна модель

Повністю on-chain голосування коштують газу. Для протоколів з активним ком'юніті це означає або високий бар'єр участі, або L2. Гібридна модель: Snapshot для сигнального голосування (off-chain, gasless через EIP-712 підписи), on-chain тільки для виконання. Ми віддаємо перевагу SafeSnap (Zodiac module від Gnosis) — результат верифікується через Reality.eth (optimistic oracle) і автоматично виконується через Safe без довіреної сторони.

Multi-sig: Gnosis Safe як операційний шар

Більшість DAO використовують Gnosis Safe для скарбниці. Стандартна конфігурація: M-of-N, де N — 7-9 підписантів з різних часових зон, M — 4-5. Менше — небезпечно. Більше — операційне пекло при термінових транзакціях. Safe підтримує модулі: Zodiac, Delay, Roles. Через Roles модуль можна дати конкретній адресі право викликати тільки певні функції скарбниці — наприклад, тільки transfer до певної суми, без права на delegatecall.

Важливо: Safe мультисиг і Governor — різні рівні. Governor управляє протоколом (апгрейди, параметри). Safe управляє скарбницею (виплати, гранти). Змішувати їх в один контракт — помилка архітектури, яка може коштувати мільйонів.

Як захистити DAO від flash loan атаки?

Ми використовуємо кілька рівнів захисту. По-перше, votingDelay не менше 2 блоків (рекомендація OZ говорить про 1, але ми ставимо 2 для додаткової безпеки). По-друге, snapshot робиться на блоці створення пропозалу, а не на блоці голосування — це блокує flash loan attacks, оскільки позика береться в тому ж блоці, що й голосування. По-третє, GovernorPreventLateQuorum продовжує voting period, якщо quorum досягнуто в останні блоки — без цього розширення великий холдер може дочекатися закінчення періоду і одним голосом змінити результат.

Governor Extensions: що потрібно майже завжди

On-chain vs Off-chain голосування: коли що вибирати

Вибір залежить від бюджету ком'юніті та вимог до безпеки. Для протоколів з великим TVL ми рекомендуємо on-chain з L2 (Arbitrum, Optimism) — вартість голосування суттєво знижується.

Процес розробки та аудит параметрів

Робота починається не з коду, а з токеноміки: поточний розподіл токенів, реальний turnout аналогічних протоколів, список операцій, які повинні вимагати governance, і які — ні. Ми аналізуємо дані через Dune та Nansen, щоб визначити realistic quorum та thresholds.

Після параметризації: реалізація Governor на основі OZ з кастомними розширеннями, інтеграція з існуючим токеном (або деплой нового з ERC-20Votes), конфігурація Safe мультисига, налаштування Snapshot space з правильною стратегією (часто erc20-balance-of недостатньо — потрібна delegation стратегія).

Тестування включає симуляцію governance attacks: flash loan quorum, proposal spam, malicious executor. Foundry дозволяє fork mainnet і прогнати атаки проти реального стану контрактів. Деплой Governor без аудиту параметрів — стандартна помилка. Аудитори дивляться код. Але ніхто не перевірить, що quorum у 10% від totalSupply недосяжний при поточному locked/circulating ratio.

Ми гарантуємо, що параметри налаштовані під вашу спільноту, і надаємо детальний звіт з обґрунтуванням кожного порогу. Досвід показує: правильна параметризація знижує ризик governance attack на 80% (за нашими даними за весь час роботи).

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

• Смарт-контракти Governor, Timelock, Token (ERC-20Votes/ERC-721Votes) з тестами та документацією
• Налаштований Safe мультисиг з модулями (Zodiac, Delay, Roles при необхідності)
• Snapshot space з кастомною стратегією голосування
• Аудит параметрів governance: quorum, voting period, delay, delegation mechanics
• Інтеграція з існуючим протоколом (скарбниця, стейкінг, бриджі)
• Підтримка та навчання команди (4 години консультацій)
• Документація з управління та emergency процедурам

Терміни

Базова DAO-система (Governor + Timelock + Safe + Snapshot) — від 3 до 6 тижнів. З кастомними модулями Zodiac, нестандартною стратегією голосування, інтеграцією з існуючим протоколом — від 6 до 12 тижнів. Аудит займає окремо 2-4 тижні.

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