Как здесь устроена честность

Как работает верифицируемая жеребьёвка

Верифицируемая жеребьёвка задаёт порядок сетки случайностью, которую никто из причастных выбрать не может. Сначала турнир фиксирует входные данные и раунд публичного маяка случайности, который ещё не опубликован, — и уже этот раунд определяет порядок.

1. Перед жеребьёвкой турнир фиксирует входные данные — состав участников и точную процедуру — и будущий раунд публичного маяка случайности.
2. Этот раунд ещё не опубликован, поэтому в момент фиксации его случайность неизвестна никому — ни организатору, ни самой Arena, ни вам.
3. Когда раунд опубликован, его значение детерминированно определяет порядок. Вручную это значение никто не выбирает, а повторное воспроизведение раскрытия ничего в нём не меняет.
4. Любой может заново вывести тот же порядок из того же опубликованного раунда и тех же зафиксированных входных данных и сравнить его с опубликованной сеткой.

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

Что перепроверяет открытый верификатор

Верификатор работает в вашем браузере поверх доказательств, опубликованных для одной конкретной ревизии Arena, и независимо от самой Arena перепроверяет следующее:

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

Каждый отчёт о проверке объявляет собственную область охвата. Проверки жеребьёвки, маяка и нотариуса выполняются только для турнира, который на них претендует; проверка вне этой области не выполнялась, и отчёт о ней ничего не утверждает. Если обязательного доказательства нет, доступ к нему закрыт или оно не поддерживается, результат помечается как неполный — но никогда как проверенный.

Честные границы

Каждое утверждение в записи — узкое высказывание о конкретных доказательствах. Границы ниже — такая же часть утверждения, как и оно само.

Печать не означает, что жульничество невозможно. Печать говорит лишь о том, что существует фиксация опубликованного состояния. Она не говорит ни что проверки пройдены, ни что судейство было корректным, ни что внесённые результаты правдивы. Arena способна показать, что запись не меняли задним числом, но не способна показать, что она была верна в момент внесения.

Ручной посев не несёт заявления о неподтасовываемости. Если порядок задал человек или он импортирован извне, запись прямо это и фиксирует: порядок ручной, и о его непредсказуемости ничего не утверждается. Ручной порядок тоже можно воспроизвести и проверить, но это покажет лишь, что его применили без изменений.

Ручное восстановление — это видимое понижение заявки, а не починка. Если верифицируемая жеребьёвка сорвалась или истекла и организатор довёл её вручную, неудачная попытка остаётся в записи, порядок становится ручным в новой ревизии Arena, а заявление о неподтасовываемости снимается, а не переносится.

Воспроизводимость — не заявление о неподтасовываемости. Воспроизведение показывает, что зафиксированный журнал событий приводит к состоянию на экране. Был ли непредсказуемым порядок, лежащий за этим состоянием, — отдельный вопрос, и отвечает на него только действительная привязка к маяку.

Если число участников выходит за поддерживаемые пределы, посев делается вручную. Церемония работает с ограниченным числом участников. За пределами этого диапазона турнир не блокируется — порядок задаётся вручную, и запись обычным образом показывает, что он ручной.

Каждое утверждение привязано к одной конкретной ревизии. Результат проверки называет снимок, ревизию Arena, ревизию событий движка, версию движка и хеш состояния движка, которые проверялись. Более поздняя ревизия им не покрыта — ей нужен собственный результат.

Разрыв между фиксацией и публикацией

Публичный маяк означает, что случайность нельзя было предсказать. Сам по себе он не доказывает, что фиксация была только одна. Без независимого свидетеля момент фиксации относительно раунда маяка — это собственная запись Arena, и организатор в принципе мог бы провести церемонию приватно несколько раз и опубликовать только устраивающий его исход.

Независимый нотариус закрывает этот разрыв для конкретной жеребьёвки. Нотариус контрподписывает единственную фиксацию до публикации раунда маяка, и порядок событий перестаёт держаться на одном лишь слове Arena. Контрподпись сверяется с ключом, зашитым в выпуск верификатора; ключ, которого верификатор не знает, не даёт вообще никакого заявления о нотаризации, а не даёт ослабленное.

Нотаризована ли конкретная жеребьёвка — показано у самой жеребьёвки, а не обещано здесь. Нотаризация относится к одной жеребьёвке за раз. Заявление о нотаризации стоит только там, где распознанная контрподпись проверена и принята; иначе прямо сказано, что жеребьёвка не нотаризована, и к ней применим описанный выше разрыв.

Проверьте сами

Не принимайте ничего из этого на веру. Откройте страницу проверки турнира, чтобы прогнать проверки в своём браузере, или сами запустите открытый верификатор поверх доказательств, опубликованных для интересующей вас ревизии.