Разработка смарт-контракта предсказаний (Polymarket-стиль)

Вы запускаете DeFi-протокол, где пользователи делают ставки на исход событий — от спортивных матчей до курса ETH. Первая версия контракта на JavaScript с Web3 проваливается под нагрузкой: reentrancy в redeem, oracle manipulation приводит к loss of funds, а gas cost на AMM превышает лимит в 15 млн. Знакомая ситуация? Мы переписываем такие контракты с нуля.

Как работают рынки предсказаний на блокчейне?

Каждый рынок — пара условных токенов: YES и NO. Пользователь вносит 1 USDC и получает 1 YES + 1 NO токен через Conditional Tokens Framework (CTF) от Gnosis. Дальше он продаёт нежелательный исход на AMM или CLOB. После резолюции выигравший токен обменивается на 1 USDC, проигравший — на 0.

Conditional Tokens Framework (CTF) — стандарт ERC-1155 для условных токенов. Каждый исход представлен как позиция с уникальным positionId. При резолюции CTF разрешает redeem выигравших позиций.

// Gnosis CTF interface interface IConditionalTokens { function prepareCondition( address oracle, bytes32 questionId, uint outcomeSlotCount ) external; function reportPayouts( bytes32 questionId, uint[] calldata payouts ) external; function redeemPositions( IERC20 collateralToken, bytes32 parentCollectionId, bytes32 conditionId, uint[] calldata indexSets ) external; } 

AMM vs CLOB: что выбрать для вашего рынка?

Polymarket использует CLOB для скорости. Для полностью децентрализованного рынка лучше AMM. LMSR математически элегантен, но Constant Product AMM примерно в 3 раза дешевле по газу — хороший выбор для рынков со сбалансированной ликвидностью.

Почему AMM выгоднее для полностью децентрализованного рынка?

LMSR (Logarithmic Market Scoring Rule) — классический AMM для предсказательных рынков. Цена зависит от количества проданных YES и NO токенов:

price_yes = e^(q_yes/b) / (e^(q_yes/b) + e^(q_no/b)) 

где b — параметр ликвидности. LMSR гарантирует, что маркетмейкер всегда принимает ставки, и максимальный убыток ограничен b * ln(2). Constant Product AMM (как в Uniswap v2) проще по газу, но цены менее точны вблизи 0% или 100%. Мы используем модифицированный constant product с ограничением диапазона цен [0.02, 0.98] — это защищает от бесконечных потерь при крайних исходах.

Oracle и резолюция: где прячется главная сложность

Рынок предсказаний без надёжного oracle — это рынок с мануальным арбитражем, который всегда под угрозой. Три подхода:

• Chainlink Data Feeds — для финансовых рынков (цена ETH выше $5000?). Детерминированный, децентрализованный, но охватывает только финансы.
• UMA Optimistic Oracle — для субъективных вопросов (исход выборов). Предложение ответа + период оспаривания + диспут через UMA token holders. Задержка 2-48 часов, но работает для любых вопросов.
• Кастомный мультисиг oracle — набор доверенных сторон (5/9 multisig) голосует за исход. Централизованно, но прозрачно и быстро. Для закрытых рынков.

contract PredictionMarket { struct Market { bytes32 conditionId; address oracle; uint256 endTime; uint256 resolutionTime; MarketStatus status; uint128 yesReserve; uint128 noReserve; uint256 totalVolume; } enum MarketStatus { Open, Closed, Resolved, Disputed } mapping(bytes32 => Market) public markets; // AMM pricing function getPrice(bytes32 marketId, bool isYes) public view returns (uint256) { Market storage m = markets[marketId]; uint256 yesR = m.yesReserve; uint256 noR = m.noReserve; // constant product: price_yes = noR / (yesR + noR) в fixed point return (noR * 1e18) / (yesR + noR); } } 

Как защититься от манипуляций и атак?

• Oracle manipulation. Если рынок резолвится по on-chain цене в конкретный момент — flash loan атака возможна. Защита: TWAP за 24-48 часов вместо spot price, несколько независимых источников.
• Front-running резолюции. Кто-то узнаёт исход до официальной резолюции и покупает токены по старой цене. Решение: закрытие торгов за X часов до резолюции.
• Griefing через spam dispute. В optimistic oracle системах злоумышленник оспаривает каждую резолюцию. Защита: bond-требование для диспутов (залог теряется при проигрыше).
• Reentrancy при redeem. CTF.redeemPositions переводит токены до обновления state. Используем Check-Effects-Interactions + ReentrancyGuard.
• Неправильный conditionId. CTF использует keccak256(oracle, questionId, outcomeSlotCount). Проверяем conditionId дважды перед деплоем.

Governance и создание рынков

Кто может создавать рынки? Варианты:

• Permissioned. Только whitelist операторов. Централизованно, но защищает от мусорных рынков.
• Permissionless с bond. Любой, кто заплатит залог. Залог возвращается при корректной резолюции.
• DAO governance. Голосование за каждый рынок. Медленно, но децентрализованно.

Для MVP — permissioned с roadmap к DAO.

Стек разработки

• Foundry — основной инструмент. Fuzz-тесты для AMM математики.
• Gnosis CTF — используем готовую имплементацию.
• Chainlink — oracle для финансовых рынков.
• OpenZeppelin — AccessControl, ReentrancyGuard, Pausable.
• Slither + Echidna — статический анализ и property-based testing.