Доверие и проверка

результат предназначены до replayable, не mysterious.

Когда Лот Dream Auction закрывается, система stores заявка на участие снимок данных, случайность подтверждение входные данные, и итоговый computation данные so administrator может verify что Выбранный участник matches сохранённый данные.

Important юридический notice

No покупка necessary. No покупка или Оплачено способ увеличивает шанс выбор. Каждый соответствующий требованиям участник может Отправить один подтверждённый участие за лот. No деньги alternative. Subject до Официальные правила и соответствие требованиям ограничения.

Как выбор процесс работает

система converts Закрыто лот и external случайность ответ в deterministic выбран индекс что может checked позже.

01

Заморозка лот заявки на участие

До выбор начинается, система записи полный список заявки на участие для лот и создаёт `заявки на участие_снимок данных` плюс SHA-256 хэш что снимок данных.

02

Запрос independent случайность

система запросы случайный bytes от ANU Quantum Случайный Numbers. ANU provides источник случайности только и делает не know платформа пользователи или выбрать участник directly.

03

Создать seed входные данные

лот ID, заявка на участие количество, снимок данных хэш, algorithm version, и случайный bytes combined в seed входные данные используется для итоговый deterministic computation.

04

Compute выбран индекс

algorithm applies `sha256-uint32-rejection-sampling`, затем computes `выбран_индекс = (accepted_uint32% participant_количество) + 1`. Rejection sampling используется для удалить modulo bias so каждый действительно очередь position имеет тот же probability.

05

Соответствие выбран заявка на участие и сохранить подтверждение

выбран индекс maps directly до `number_in_очередь` in снимок данных. система затем stores выбран индекс, участник ID, пользователь ID, hashes, и полный calculation данные in аудит журнал и подтверждение файл.

Что verifier проверки

подтверждение файл exists so результат может independently replayed от сохранённый данные вместо being проверенный as opaque outcome.

  1. Recompute снимок данных хэш verifier rebuilds хэш от сохранённый `заявки на участие_снимок данных` и confirms it matches Сохранённое значение.
  2. Rebuild случайный bytes от ANU ответ verifier extracts сохранённый ANU ответ bytes и проверки что ANU ответ хэш по-прежнему matches.
  3. Recreate seed входные данные verifier использует лот ID, заявка на участие количество, снимок данных хэш, algorithm version, и ANU случайный bytes до recreate seed входные данные.
  4. Повторная проверка rejection sampling algorithm rerun и recomputed выбран индекс должен соответствие Сохранённое выбран индекс.
  5. Подтвердить тот же участник выбран выбран индекс должен point до тот же участник ID и пользователь ID сохранённый in подтверждение output.

Почему mismatches detectable

If заявка на участие снимок данных, ANU ответ, выбран индекс, или Выбранный участник изменения, recomputed подтверждение будет no longer соответствие. Что makes post-выбор tampering visible во время проверка.

Просмотреть Dream Auction Dream Auction руководство