Честность Mines

​

Что фиксируется и когда

1. Фиксирует вклад оператора. Бэкенд генерирует случайный 32-байтный server_seed, а транзакция сохраняет его SHA-256-хеш — коммит. Сам сид остаётся скрытым до конца игры.
2. Захватывает энтропию блокчейна. Программа считывает последний хеш слота из sysvar SlotHashes сети Solana и сохраняет его в игре.
3. Замораживает условия. Преимущество казино, лимит выплаты и таймаут возврата записываются в вашу игру как снимок: ничто не может изменить условия поля, на котором вы уже играете.

​

Как выводится поле Mines?

входные данные
  server_seed  32 байта   сид оператора, при старте игры фиксируется как sha256(server_seed)
  slothash     32 байта   последний хеш слота Solana на момент выполнения стартовой транзакции
  user         32 байта   адрес вашего ончейн-аккаунта пользователя
  nonce        8 байт     счётчик ваших игр в Mines, little-endian
  mines_count  1..24      выбранное вами количество мин

случайный поток: блоки SHA-256, расходуемые по 4 байта
  block(k)   = sha256( server_seed ‖ slothash ‖ user ‖ nonce ‖ "mines" ‖ k )
               // "mines" = 5 байт ASCII; k = счётчик блоков 0, 1, 2, … в виде 8 байт little-endian
  next_u32() = следующие непрочитанные 4 байта текущего блока, big-endian;
               когда блок исчерпан, переход к block(k+1)

несмещённая выборка в диапазоне 0..bound (выборка с отклонением, без смещения по модулю)
  draw(bound):
    zone = 4294967295 − (4294967295 mod bound)
    повторять v = next_u32(), пока не станет v < zone
    вернуть v mod bound

поле: частичное перемешивание Фишера–Йетса
  tiles = [0, 1, …, 24]
  mine_mask = 0
  for i in 0..mines_count:
      j = i + draw(25 − i)
      поменять местами tiles[i] и tiles[j]
      mine_mask = mine_mask OR (1 << tiles[i])

• Порядок входных данных хеша строго такой: сид, хеш слота, адрес аккаунта пользователя, nonce (8 байт little-endian), ASCII-тег "mines", затем счётчик блоков (8 байт little-endian, начиная с 0).
• Каждый 4-байтный фрагмент читается как big-endian. Один блок даёт не более 8 выборок; при необходимости поток пополняется блоком со следующим значением счётчика.
• Цикл выборки с отклонением делает каждую выборку строго равномерной: у перемешивания нет смещения, о котором можно было бы спорить.

​

Какую формулу выплаты применяет программа?

                                k−1
множитель = (1 − edge) × product ( (25 − i) / (25 − M − i) )
                                i=0

M = количество мин, k = количество открытых безопасных клеток

​

Что программа проверяет при расчёте

• sha256(server_seed) должен совпадать с коммитом, сохранённым при старте игры; с другим сидом рассчитать игру невозможно.
• Поле выводится заново с нуля по формуле выше. Любая «открытая» клетка, под которой на самом деле мина, отклоняется; заявленная клетка подрыва, под которой нет мины, отклоняется; клетка подрыва, одновременно заявленная как открытая, тоже отклоняется.
• Множитель вычисляется в блокчейне по зафиксированному в снимке преимуществу и фактическому числу открытых клеток, поэтому исказить выплату невозможно.
• Событие расчёта навсегда публикует сид, хеш слота, полную маску мин, открытые вами клетки и исход.

​

Что гарантировано, а что нет

• Поле фиксируется до вашего первого хода — коммитом и сохранённым хешем слота. Мины не могут переместиться посреди игры.
• При расчёте оператор не может солгать о поле: неверный сид, мина, выданная за безопасную клетку, или фиктивный подрыв — всё это приводит к отказу транзакции.
• Условия, с которыми вы начали (преимущество, лимит выплаты, таймаут), действуют до конца игры.
• Вашу ставку невозможно заблокировать: если оператор так и не проведёт расчёт, после таймаута игры отмену может вызвать кто угодно, и ставка вернётся к вам. При нормальной работе до этого не доходит: брошенное поле закрывается кешаутом по текущему множителю ещё до таймаута (см. Mines), так что вы сохраняете выигрыш, а не только ставку. Отмена без разрешений — это гарантия нижнего уровня на случай, если оператор исчезнет.

• Оператор знает поле, пока вы играете. Это структурная особенность, а не недостаток именно этой схемы: клетки открываются мгновенно вне блокчейна, и тот, кто их открывает, должен знать, где мины. Никакая схема генерации случайности этого не устраняет: даже поле, сгенерированное через VRF, станет известно оператору в момент, когда он откроет вашу первую клетку. Коммит гарантирует другое: эти знания нельзя использовать, чтобы изменить поле или исказить исход.
• Момент старта. Поле зависит от хеша слота, захваченного при старте игры, а стартовую транзакцию отправляет бэкенд — это то же соображение о тайминге, что и в других играх. Знание поля заранее помогает, только если ваши ходы предсказуемы; меняя места, куда вы кликаете, вы сводите на нет подбор поля по таймингу.
• Аннулирование. Оператор может отменить игру в процессе (в принципе, даже ту, в которой вы выигрываете). Отмена возвращает всю ставку (механизма конфискации не существует) и всегда порождает публичное событие, так что частоту аннулирований любой может проверить в блокчейне.
• Для каждой игры нужен новый сид: раскрытый сид публичен, и его повторное использование сделало бы следующее поле публично вычислимым. Программа отклоняет повторное использование подряд прямо в блокчейне, а бэкенд обеспечивает глобальную уникальность.

​

Как проверить игру в Mines?

1. Проверьте коммит: sha256(server_seed) должен совпадать с commit_hash, опубликованным в стартовой транзакции вашей игры (событие MinesGameStarted). Это доказывает, что поле было зафиксировано до вашего первого хода.
2. Выведите маску мин заново по формуле выше и сравните её с mines_mask из события.
3. Сверьте исход с маской: каждый бит revealed_mask должен соответствовать безопасной клетке, а клетка подрыва должна быть миной.
4. Проверьте множитель по формуле выплаты.