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