Provably Fair: Cómo Verificar Cada Mano

Cada vez que un casino cripto muestra una insignia de "Provably Fair" (juego demostrablemente justo), está haciendo una afirmación matemática concreta. La mayoría de los jugadores nunca la comprueba. Tratan la insignia como una pegatina de seguridad en la luna de un coche: tranquilizadora, pero jamás puesta a prueba. Es un error. Verificar una mano lleva unos pocos minutos una vez que entiendes las piezas del mecanismo. Hacerlo te enseña exactamente de qué te protege el sistema y de qué no.

Esta guía te ofrece un protocolo de auditoría completo para Stake Originals Blackjack y otros juegos de blackjack cripto similares. Cubriremos la criptografía (SHA-256 y HMAC-SHA256), las tres entradas que determinan cada carta, cómo un resumen hash se convierte en el orden de un mazo y una rutina paso a paso que puedes ejecutar después de cualquier sesión. Después trazaremos una línea clara entre lo que Provably Fair demuestra y lo que no. Un mazo verificado sigue teniendo ventaja de la casa, y ningún ajuste de semillas va a cambiar eso.

Por qué "Confía en nosotros" no es suficiente

En un casino físico puedes observar la mezcla. Ves la bandeja de descartes, la carta de corte y las manos del crupier. El fraude es posible, pero está limitado físicamente y es observable. El blackjack online con RNG elimina todo eso. El servidor decide cuál es la siguiente carta y, históricamente, no tenías manera de saber si esa decisión se tomó antes o después de que el software viera tu doblar de 500 $.

Los casinos online tradicionales responden a esto con certificaciones de laboratorios independientes. Esas certificaciones son útiles. Si quieres la comparación completa de los modelos de confianza, lee nuestra guía comparativa de RNG vs crupier en vivo. Pero un informe de laboratorio es una declaración sobre el software en el momento en que fue probado. No es una prueba sobre la mano concreta que acabas de perder.

Provably Fair invierte la carga de la prueba. El casino se compromete con su aleatoriedad antes de que actúes. Después recibes las herramientas para comprobar, mano a mano, que ese compromiso se cumplió.

Las tres entradas: semilla del servidor, semilla del cliente y nonce

Cada carta repartida en una ronda de blackjack Provably Fair procede de exactamente tres entradas. Si conoces las tres y el algoritmo publicado, puedes reproducir el reparto con total exactitud en tu propio ordenador.

1. La semilla del servidor

La semilla del servidor es una cadena hexadecimal de 64 caracteres, es decir, 256 bits de aleatoriedad. El casino la genera con un generador de números aleatorios criptográficamente seguro. Antes de que hagas una sola apuesta, el casino pasa esa semilla por SHA-256 y te muestra únicamente el hash resultante. Esto es el compromiso.

SHA-256 es una función unidireccional. No puedes ir hacia atrás desde el hash hasta la semilla. Tampoco puede el casino encontrar otra semilla distinta que produzca el mismo hash, porque SHA-256 es resistente a colisiones. Una vez que ese hash está en tu pantalla, el casino queda atado. No puede cambiar la semilla después sin que la discrepancia sea evidente en cuanto lo compruebes.

2. La semilla del cliente

La semilla del cliente es tu aportación. Tu navegador la genera por defecto, o puedes escribir cualquier cadena que quieras: el nombre de tu perro, una frase aleatoria, lo que sea.

Aquí está el punto crucial. Puedes establecer o cambiar la semilla del cliente después de que el servidor ya haya comprometido su semilla hasheada. Por tanto, el casino no puede preseleccionar una semilla de servidor diseñada para producir malos resultados contra tu semilla de cliente concreta. Simplemente no sabe cuál vas a elegir.

3. El nonce

El nonce es un contador entero. Empieza en 0 cuando se activa un nuevo par de semillas y aumenta exactamente en 1 con cada apuesta. Tu primera mano con un par de semillas es el nonce 0, la segunda es el nonce 1, y así sucesivamente.

El nonce es lo que hace que cada mano sea distinta aunque las dos semillas permanezcan fijas. También da a cada mano que juegas una dirección permanente y verificable: semilla del servidor + semilla del cliente + nonce.

Del hash a las cartas: cómo se construye el reparto

Primer paso: HMAC-SHA256 genera bytes en bruto

El juego introduce las entradas en HMAC-SHA256. Es un hash con clave: la semilla del servidor actúa como clave secreta, y el mensaje es una cadena construida con tu semilla de cliente, el nonce y un cursor:

HMAC-SHA256(server_seed, "client_seed:nonce:cursor")

Cada llamada produce un resumen de 32 bytes. Una ronda de blackjack puede necesitar más números aleatorios de los que ofrece un solo resumen. Cuando eso ocurre, el cursor se incrementa (0, 1, 2…) y se genera un nuevo bloque de 32 bytes. Así se obtiene un flujo largo y determinista de bytes impredecibles para cada mano.

Segundo paso: los bytes se convierten en decimales en [0, 1)

El resumen se divide en fragmentos de 4 bytes, de modo que cada bloque de 32 bytes produce ocho números. Cada fragmento se convierte en un valor de coma flotante entre 0 (incluido) y 1 (excluido) mediante división posicional:

float = b0/256 + b1/256² + b2/256³ + b3/256⁴

El primer byte tiene el mayor peso y el cuarto el menor. El resultado es un número con distribución uniforme y unos 32 bits de precisión, más que suficiente para elegir entre 52 cartas sin un sesgo medible.

Tercer paso: Fisher-Yates construye un mazo inalterable

En las implementaciones basadas en mezcla, esos decimales alimentan una mezcla de Fisher-Yates:

1. Se parte de un arreglo ordenado de cartas indexadas del 0 al 51.
2. Se recorre desde la última posición hasta la primera.
3. En cada posición i, se multiplica el siguiente decimal por (i + 1) y se toma la parte entera. Esto da un índice de intercambio j entre 0 e i.
4. Se intercambia la carta i con la carta j.

Fisher-Yates es el estándar de oro porque produce cada uno de los 52! órdenes posibles del mazo con la misma probabilidad, siempre que la aleatoriedad de entrada sea uniforme. Una vez fijados los decimales, la permutación queda fijada. El mazo resultante es inviolable en sentido estricto: cambia un solo bit de cualquier entrada y obtendrás un mazo completamente distinto. Mantén todas las entradas iguales y obtendrás el mismo mazo siempre, en cualquier máquina, para siempre.

El protocolo de auditoría: verificar una mano paso a paso

Esta es la rutina que uso y que enseño. Funciona con cualquier mano que hayas jugado, ya sea una pérdida normal o un 21 del crupier con seis cartas que te hizo sospechar.

Paso 1: Rota la semilla del servidor para revelar el secreto

Mientras un par de semillas está activo, la semilla del servidor permanece oculta. Tiene que ser así, porque revelarla te permitiría predecir todas las manos futuras. Para auditar, abre los ajustes de Equidad (Fairness) de Stake y rota (cambia) el par de semillas. En ese momento el casino retira la semilla de servidor antigua y la revela en texto plano. Después compromete una nueva semilla hasheada para tu juego futuro.

Antes de rotar, anota tres datos de la mano que quieres comprobar:

• la semilla de servidor hasheada que se te mostró durante la sesión,
• tu semilla de cliente,
• el nonce de la mano en cuestión, que aparece en tu historial de apuestas.

Paso 2: Verifica el compromiso

Toma la semilla del servidor revelada y calcula tú mismo su hash SHA-256. Usa una herramienta local, no la página del propio casino. En la mayoría de los sistemas basta un solo comando de terminal. En Python es una línea: hashlib.sha256(seed.encode()).hexdigest().

Compara tu resultado carácter por carácter con el hash de precompromiso que anotaste. Si coinciden, la semilla que generó tus cartas es demostrablemente la misma que el casino fijó antes de que apostaras. Si no coinciden, deja de jugar y escala el caso. Ese es el único escenario que Provably Fair existe para poner al descubierto.

Paso 3: Reproduce el reparto de forma independiente

Ahora regenera las cartas. Usa un script independiente y de código abierto que puedas leer línea por línea. Este es un verificador mínimo en Python que cubre tanto el modelo de mezcla como el de extracción independiente:

import hmac, hashlib

def float_stream(server_seed, client_seed, nonce, count):
    out, cursor = [], 0
    while len(out) < count:
        msg = f"{client_seed}:{nonce}:{cursor}".encode()
        digest = hmac.new(server_seed.encode(), msg, hashlib.sha256).digest()
        for i in range(0, 32, 4):
            b = digest[i:i+4]
            out.append(b[0]/256 + b[1]/256**2 + b[2]/256**3 + b[3]/256**4)
            if len(out) == count:
                break
        cursor += 1
    return out

def fisher_yates_deck(server_seed, client_seed, nonce):
    deck = list(range(52))
    floats = float_stream(server_seed, client_seed, nonce, 51)
    for k, i in enumerate(range(51, 0, -1)):
        j = int(floats[k] * (i + 1))
        deck[i], deck[j] = deck[j], deck[i]
    return deck

def independent_draws(server_seed, client_seed, nonce, n_cards=52):
    return [int(f * 52) for f in float_stream(server_seed, client_seed, nonce, n_cards)]

Asigna los índices resultantes a valores y palos usando la tabla de cartas publicada en la página de equidad del operador. Después compara las primeras cartas con tu historial de la mano: tu primera carta, la carta visible del crupier, tu segunda carta, la carta oculta del crupier y luego las cartas pedidas por orden de juego.

Si la secuencia coincide, la mano se repartió exactamente como se había comprometido. Tus decisiones cambiaron qué cartas recibiste, pero nunca cambiaron el orden de las cartas que esperaban en el flujo.

Lo que Provably Fair demuestra y lo que NO demuestra

Aquí es donde la mayoría de los jugadores se equivoca, en ambas direcciones. Algunos creen que Provably Fair significa "la casa no puede vencer al jugador". Otros suponen que es pura palabrería de marketing. La verdad es precisa:

Respecto a la calidad de la generación de semillas, el compromiso demuestra que el casino no cambió las semillas. Si su generador de semillas se alimenta de un CSPRNG correctamente inicializado es una cuestión aparte. Eso se trata en el análisis de entropía del PRNG criptográfico en BlackjackMath.org.

Respecto al conteo, cada mano se genera de nuevo a partir de un nonce nuevo, así que no hay un zapato (shoe) que se vaya agotando y que puedas seguir. Nuestro análisis de la realidad del conteo de cartas online explica por qué esto acaba con el juego con ventaja tradicional en internet.

La ventaja de la casa sigue codificada en las reglas

Voy a ser claro: una mezcla perfectamente justa de un juego desfavorable sigue siendo un juego desfavorable. Provably Fair garantiza que el mazo es aleatorio. La ventaja de la casa proviene de las reglas: el crupier actúa en último lugar, tú te pasas primero y la estructura de pagos es fija.

Stake Originals Blackjack tiene aproximadamente una ventaja de la casa del 0,57% frente a la estrategia básica perfecta. Esa cifra se deriva de su conjunto de reglas: el crupier se planta con 17 blando, el blackjack paga 3:2, no hay rendición (surrender) y el modelo de mazo es prácticamente infinito.

Así es como cada regla desplaza la ventaja. Son cifras aproximadas frente a una referencia estándar de varios mazos:

¿Quieres ver exactamente cómo se acumulan el número de mazos y cada regla? Consulta el cálculo de la ventaja de la casa con reglas de un solo mazo en BlackjackMath.org. Las derivaciones están allí, y no necesitas rehacerlas para actuar según las conclusiones.

La fila del pago es la que más importa. Un juego 6:5 criptográficamente perfecto es peor que un juego 3:2 de aspecto descuidado, siempre y sin excepción. Nuestra guía de pagos 3:2 vs 6:5 muestra el daño en dólares. También puedes introducir las reglas de cualquier juego en nuestra herramienta Table Grader para puntuarlo antes de jugar.

Desmontando los mitos de las semillas

Mito: "Cambiar mi semilla de cliente reinicia la mala suerte."

No lo hace. Cada par de semillas produce un flujo de resultados con propiedades estadísticas idénticas. Cambiar de semilla de cliente sustituye una secuencia impredecible por otra igualmente impredecible. El valor esperado por mano es idéntico antes y después.

Rotar las semillas es una buena práctica para auditar, porque revela la semilla de servidor anterior. Pero no tiene ningún efecto en tus resultados esperados. Las rachas perdedoras son varianza, y a la varianza le da igual cómo se llame tu semilla.

Mito: "Cuando apuesto fuerte, las cartas se vuelven en mi contra."

Mira de nuevo las entradas: semilla del servidor, semilla del cliente, nonce. El tamaño de la apuesta no es una de ellas. Las cartas del nonce 47 quedaron fijadas en el momento en que se comprometió el hash del servidor y se estableció tu semilla de cliente, mucho antes de que decidieras apostar 10 $ o 1.000 $.

Si recuerdas una mano brutal con una apuesta grande, verifícala. Comprobarás que las cartas coinciden exactamente con el compromiso. Lo que estás experimentando es un sesgo de memoria. Las grandes pérdidas se recuerdan; las grandes victorias parecen merecidas.

Mito: "Si encuentro un patrón en las manos pasadas, puedo predecir las siguientes."

La salida de HMAC-SHA256 es computacionalmente indistinguible del azar sin la clave. Los patrones que detectas en manos pasadas son ruido. Predecir manos futuras requeriría la semilla del servidor aún no revelada, y eso supondría romper SHA-256.

Una rutina práctica de sesión

Esta es la lista de comprobación que uso en cualquier plataforma de blackjack Provably Fair:

1. Antes de jugar: Revisa el panel de reglas. Quieres 3:2, S17 y opciones de doblar y dividir. Puntúa el juego con nuestra herramienta Table Grader. Recuerda que una mezcla justa no arregla unas malas reglas.
2. Configuración de semillas: Rota a un par nuevo. Haz una captura de pantalla del nuevo hash de la semilla del servidor y luego establece tu propia semilla de cliente aleatoria.
3. Durante el juego: Usa la estrategia básica perfecta para las reglas del juego. Ignora las supersticiones sobre semillas y dimensiona las apuestas según tu bankroll, no según la "intuición".
4. Después de la sesión: Rota las semillas para revelar la semilla de servidor anterior. Verifica su hash SHA-256 contra tu captura y luego comprueba por muestreo algunas manos con tu script local. Prioriza las de mayor importe o las sospechosas.
5. Lleva registros: Guarda las semillas y los nonces en una hoja de cálculo sencilla. Si alguna vez surge una disputa, tendrás evidencia criptográfica, no solo una queja.

Elegir dónde jugar implica más que criptografía: las reglas, los límites, las licencias y el historial de retiros también cuentan. Nuestro centro comparativo de casinos (1win & Stake) desglosa esos factores lado a lado.