Розробка системи ретроактивного фінансування на conviction voting

Більшість DAO розподіляє гранти через snapshot-голосування з фіксованими періодами. Останньохвилинні маніпуляції, низька явка, неможливість перерозподілити голоси — знайомі проблеми. Ми розробляємо систему ретроактивного фінансування на основі conviction voting: механіки, де голос накопичує вагу з часом. Це виключає раптові перевороти та дає пріоритет proposals із довгостроковою підтримкою.

Наші інженери реалізували conviction voting для кількох DAO, включаючи Gardens (1Hive) і Giveth. Досвід показує: система в 2–3 рази ефективніша за класичний snapshot при розподілі постійного потоку грантів, оскільки не вимагає окремого голосування по кожному proposal. Економія на газі сягає 40%.

Як conviction voting працює в системі ретроактивного фінансування?

Conviction voting — це безперервний процес. Користувач голосує, заморожуючи токени в контракті. Вага голосу зростає з кожним блоком, поки користувач не зніме ставку. Щоб proposal пройшов, його сумарна conviction має перевищити динамічний поріг, який залежить від запитуваної суми та загального стейку. Це кардинально змінює економіку голосування:

• Last-minute manipulation неможлива: whale не може скинути всі голоси в останній блок — потрібно накопичувати conviction днями.
• Voter apathy не страшна: proposals конкурують за stake, а не за явку. Користувач просто перерозподіляє свої голоси між активними proposals.
• Пріоритизація йде за накопиченою підтримкою, а не за часом подання.

Які проблеми вирішує conviction voting у ретроактивних грантах?

Основна біль DAO — як справедливо розподіляти постійний потік коштів без бюрократії. Conviction voting вирішує три ключові завдання:

1. Last-minute manipulation: голоси не скидаються в останню хвилину — захист від whales.
2. Відсутність пріоритизації: донати не йдуть у порядку надходження, а вибирають найбільш підтримані proposals.
3. Високі газові витрати: один контракт обробляє всі proposals, а не окреме голосування по кожному.

Як ми проєктуємо систему conviction voting?

Математична модель — розробка системи ретроактивного

Серце системи — функція накопичення переконаності:

conviction(t) = conviction(t-1) * α + votes * (1 - α)

де α — коефіцієнт загасання (типово 0.9). При α = 0.9 повне накопичення займає ~22 періоди. Поріг проходження розраховується динамічно від розміру запиту та загального stake.

Архітектура контракту

Ми використовуємо перевірені патерни OpenZeppelin: ReentrancyGuard, Math.mulDiv для захисту від overflow. Як зазначається в специфікації Conviction Voting від 1Hive, механізм усуває короткострокові маніпуляції, замінюючи їх довгостроковою переконаністю. Ключова частина — функція оновлення conviction:

function _updateConviction(uint256 proposalId) internal {
    Proposal storage proposal = proposals[proposalId];
    uint256 blocksPassed = block.number - proposal.blockLast;
    if (blocksPassed == 0) return;
    uint256 alphaPow = _pow(alpha, blocksPassed);
    proposal.convictionLast =
        Math.mulDiv(proposal.convictionLast, alphaPow, PRECISION) +
        Math.mulDiv(proposal.stakedTokens, PRECISION - alphaPow, PRECISION);
    proposal.blockLast = block.number;
}

Усі числові розрахунки — з фіксованою точністю PRECISION = 1e7, що виключає переповнення для стандартних розмірів токенів (18 decimals).

Симуляція та налаштування параметрів

Перед деплоєм проводимо симуляцію на Python/TypeScript. Це дозволяє підібрати alpha та maxRatio так, щоб proposals проходили достатньо швидко, але не надто — щоб уникнути маніпуляцій.

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

• Аналіз параметрів DAO та підбір alpha, maxRatio, minThreshold.
• Проектування архітектури смарт-контрактів (Vault, ConvictionVoting, Governor з таймлоком).
• Розробка контрактів на Solidity 0.8.x з використанням Foundry. Модульне тестування з покриттям 95%+.
• Аудит безпеки: перевірка на overflow, reentrancy, коректність threshold. Використовуємо статичні аналізатори Slither та Echidna для fuzzing.
• Деплой на Ethereum або L2 (Polygon, Arbitrum). Налаштування фронтиру (візуалізація conviction, управління стейками).
• 3 місяці підтримки після деплою: моніторинг, оновлення при необхідності.

Порівняння підходів

Орієнтовні терміни

Повний цикл: від 2,5 до 3 місяців. Вартість розраховується індивідуально після уточнення параметрів та обсягу робіт. Гарантія коректності контрактів та 3 місяці підтримки включені.

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

Розробка 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 подібних проєктів і знаємо, де приховуються ризики. Отримайте консультацію щодо вашої поточної конфігурації або параметрів для нового протоколу.