Verificación Criptográfica Provably Fair: Análisis Formal de Seguridad de los Protocolos de Compromiso Hash en Juegos Crash
Examen criptográfico riguroso del protocolo commit-reveal Provably Fair. Formaliza el esquema HMAC-SHA256 y demuestra la imposibilidad computacional de manipular resultados.