Довіра та перевірка

Результат має бути відтворюваним, а не загадковим.

Коли лот Dream Auction закривається, система зберігає знімок заявок, вхідні дані доказу випадковості та фінальні деталі обчислення, щоб адміністратор міг перевірити, що вибраний учасник відповідає збереженим даним.

Важливе юридичне повідомлення

Покупка не потрібна. Покупка або платний метод не збільшує шанс вибору. Кожен відповідний учасник може подати одну підтверджену участь на лот. Грошова альтернатива відсутня. Застосовуються Official Rules і обмеження відповідності.

Як працює процес вибору

Система перетворює закритий лот і зовнішню відповідь випадковості на детермінований вибраний індекс, який можна перевірити пізніше.

01

Зафіксувати заявки лота

Перед початком вибору система записує повний список заявок для лота та створює `entries_snapshot` разом із SHA-256 хешем цього знімка.

02

Запросити незалежну випадковість

Система запитує випадкові байти в ANU Quantum Random Numbers. ANU надає лише джерело випадковості й не знає користувачів платформи та не обирає учасника напряму.

03

Побудувати seed input

ID лота, кількість заявок, хеш знімка, версія алгоритму та випадкові байти об’єднуються в seed input, який використовується для фінального детермінованого обчислення.

04

Обчислити вибраний індекс

Алгоритм застосовує `sha256-uint32-rejection-sampling`, потім обчислює `selected_index = (accepted_uint32 % participant_count) + 1`. Rejection sampling використовується для усунення modulo bias, щоб кожна дійсна позиція в черзі мала однакову ймовірність.

05

Зіставити вибрану заявку та зберегти доказ

Вибраний індекс напряму відповідає `number_in_queue` у знімку. Потім система зберігає вибраний індекс, ID учасника, ID користувача, хеші та повні деталі обчислення в журналі аудиту й файлі доказу.

Що перевіряє перевіряльник

Файл доказу існує, щоб результат можна було незалежно повторно відтворити зі збережених даних, а не довіряти йому як непрозорому результату.

  1. Повторно обчислити хеш знімка Перевіряльник відновлює хеш зі збереженого `entries_snapshot` і підтверджує, що він збігається зі збереженим значенням.
  2. Відновити випадкові байти з відповіді ANU Перевіряльник витягує збережені байти відповіді ANU й перевіряє, що хеш відповіді ANU все ще збігається.
  3. Повторно створити seed input Перевіряльник використовує ID лота, кількість заявок, хеш знімка, версію алгоритму та випадкові байти ANU, щоб відтворити seed input.
  4. Повторити rejection sampling Алгоритм запускається повторно, і повторно обчислений вибраний індекс має збігатися зі збереженим вибраним індексом.
  5. Підтвердити, що вибрано того самого учасника Вибраний індекс має вказувати на ті самі ID учасника та ID користувача, які збережені у виводі доказу.

Чому невідповідності можна виявити

Якщо знімок заявки, відповідь ANU, вибраний індекс або вибраний учасник зміняться, повторно обчислений доказ більше не збігатиметься. Це робить втручання після вибору видимим під час перевірки.

Переглянути Dream Auction Посібник Dream Auction