Какой криптографический примитив лежит в основе Provably Fair?

Протокол построен на HMAC-SHA256 — коде аутентификации сообщений с ключом, определённом в RFC 2104. Пространство выхода в 256 бит (2^256 значений) делает атаки поиска прообраза вычислительно неосуществимыми.

Как схема commit-reveal предотвращает мошенничество оператора?

До принятия ставок оператор публикует хэш SHA-256 своего Server Seed. Это образует обязывающее криптографическое обязательство: оператор не может подобрать другой Server Seed с тем же хэшем (свойство устойчивости к нахождению второго прообраза).

Криптографическая верификация Provably Fair: Формальный анализ безопасности протоколов хэш-фиксации в Crash-играх

Elena Varga, M.Sc.

• 2026-09-12 • 12 мин чтения

Executive Summary & Direct Answer: Строгий криптографический разбор протокола commit-reveal, применяемого в краш-играх. Формализация схемы HMAC-SHA256, доказательство вычислительной невозможности манипуляции исходами и пошаговая методология независимой верификации через Web Crypto API.

1. Введение: От институционального доверия к криптографическому доказательству

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

2. Формальная спецификация протокола

Протокол следует трёхфазной структуре: фиксация — раскрытие — верификация.

commitment = SHA-256(S)
hash = HMAC-SHA256(ключ: S, сообщение: C || ":" || N)
множитель = floor((1-E)/(1-r)*100)/100

3. Анализ безопасности

Устойчивость к нахождению прообраза: Нахождение S по SHA-256(S) требует в среднем 2^255 вычислений хэша. При 10 млрд хэшей/сек это заняло бы ~3.67 × 10^57 лет.
Невоспроизводимость HMAC: Без знания S злоумышленник не может вычислить HMAC ни для какого сообщения.

4. Протокол независимой верификации

Наш Верификатор хэшей Provably Fair реализует конвейер проверки через нативный Web Crypto API браузера. Ни один байт данных не передаётся на внешние серверы.