Диспуты: как оспорить исход

Оракул — человек или сервис, он может ошибиться или схитрить. Диспут — это предохранитель: механизм, которым участники оспаривают объявленный исход, пока выплаты ещё можно пересчитать. Разберём, как это работает и чем рискует каждая сторона.

Главное в двух абзацах

После того как оракул объявил исход (pm_resolve_market), открывается окно спора (grace-период, pm_dispute_grace_sec, порядка 12 часов). В этом окне любой участник может подать диспут (pm_dispute_create), внеся залог-fee (около 1000 VIZ) — это плата за то, чтобы сеть пересмотрела результат, и защита от спама пустыми оспариваниями.

Спор разрешается голосованием (pm_dispute_vote, active-ключом) — по одному из режимов, заданных создателем рынка: комитетный (доверенные арбитры) или account-голосование. Если диспут признаёт резолв неверным — исход исправляется, выплаты пересчитываются, оракула штрафуют (залог/репутация), а диспутер получает награду. Если резолв признан верным — диспутер теряет залог. Ставки на кону с обеих сторон, поэтому оспаривают по делу, а не наугад.

Как это работает по шагам

Резолв и старт окна. Оракул объявил исход → выплаты начислены → пошёл grace-таймер спора. Пока он идёт, результат не окончателен.

Подача диспута. pm_dispute_create с залогом-fee. Рынок переходит в статус спора (payout откладывается/помечается), появляется запись диспута с указанием оракула и инициатора. Эмитится vop pm_dispute_opened (попадает в историю и оракула, и диспутера).

Голосование. Участники режима голосуют pm_dispute_vote (active-ключом). Режим и состав определены при создании рынка (комитет или аккаунты). Голоса собираются до дедлайна ответа/решения.

Финализация. Спор закрывается (pm_dispute_finalize) по итогам голосования, либо авто-закрывается (pm_dispute_auto_close), если оракул не ответил в срок. Итог:

• Резолв неверен → исход меняется, выплаты пересчитываются под правильный исход, оракул штрафуется, диспутер вознаграждается.
• Резолв верен → результат остаётся, диспутер теряет залог, репутация оракула подтверждается.

Влияние на выплаты. Пока идёт спор, финальные выплаты по оспоренному рынку не считаются окончательными. После финализации сеттлмент проходит по подтверждённому исходу.

Что нужно понимать

• Окно ограничено. Оспорить можно только в grace-периоде после объявления. Опоздал — исход окончателен. При досрочном резолве (allow_early_resolution) окно схлопывается к моменту резолва, но полный pm_dispute_grace_sec от анонса диспутерам сохраняется.
• Залог — с обеих сторон. Диспутер рискует fee, оракул — залогом и репутацией. Это делает спор дорогим для обмана и дешёвым для правды.
• Режим задаёт создатель. Комитетный режим — быстрее и предсказуемее (доверенные арбитры); account-режим — децентрализованнее. Смотрите режим рынка перед крупной ставкой.
• Голос — active-ключом. Как и большинство PM-операций участника (pm_dispute_vote, pm_dispute_create).
• Диспут — крайняя мера. Для честного оракула с хорошим reliability_score споры редки; систематические проигранные споры роняют его репутацию и insurance.

Роли рядом

• Оракул — тот, чей резолв оспаривается; несёт залог и репутацию.
• Беттер — может инициировать спор, если исход объявлен неверно.
• Создатель рынка — задаёт режим и окно спора при создании.

Дальше по теме: Оракул (за что штрафуют и как считается репутация), Беттер (жизненный цикл ставки), Спецификация (формальные правила диспутов и дедлайны).