L’équité prouvable, expliquée

Comment dond.win prouve qu’aucune partie de Deal or No Deal n’est truquée : un engagement SHA-256 publié avant votre choix, votre propre graine client intégrée au mélange, les deux graines révélées à la fin et une page de vérification qui recalcule les 25 boîtes.

Le problème que résout l’équité prouvable

Dans un jeu en ligne classique, vous devez croire sur parole que l’opérateur a mélangé honnêtement et n’a pas déplacé le gros gain après votre choix. L’équité prouvable (provably fair) remplace cette confiance par de l’arithmétique. L’opérateur s’engage sur le mélange avant que vous agissiez, vous laisse l’influencer avec une donnée qui vient de vous, puis révèle tout à la fin pour que vous puissiez vérifier.

Ce qui se passe pendant une partie

1. L’engagement. Avant que vous choisissiez une boîte, le serveur tire une graine serveur secrète et publie son hash SHA-256. Ce hash s’affiche dans le jeu : c’est l’engagement. Le serveur ne peut plus changer la graine sans que le hash change.
2. Votre contribution. Vous avez une graine client (« seed client » dans l’interface). Par défaut, elle est aléatoire ; vous pouvez saisir la vôtre dans le panneau de mise avant le début d’une partie. Le serveur ne peut pas la prévoir.
3. Le mélange. L’échelle des 25 gains est mélangée avec Fisher-Yates, à partir d’octets aléatoires produits par HMAC-SHA256, avec la graine serveur comme clé et votre graine client comme message. Aucun des deux camps ne peut choisir seul la disposition.
4. La révélation. À la fin de la partie, la graine serveur est révélée à côté de l’engagement et de votre graine client.
5. La vérification. Calculez le hash de la graine serveur et comparez-le à l’engagement. Relancez le mélange avec les deux graines et comparez chaque boîte à ce que vous avez vu. La page de vérification fait les deux dans votre navigateur ; rien n’est envoyé nulle part.

L’algorithme exact

• commitment = SHA-256(utf8(serverSeed)), en hexadécimal.
• block[i] = HMAC-SHA256(key = serverSeed, msg = clientSeed + “:” + i), pour i = 0, 1, 2 …
• Chaque bloc donne huit entiers de 32 bits en big-endian ; r = valeur / 2^32. Quand un bloc est épuisé, on passe au suivant.
• Fisher-Yates sur l’échelle fixe : pour i de 24 à 1, j = floor(r × (i + 1)), on échange ladder[i] et ladder[j]. La boîte k reçoit ladder[k].

N’importe qui peut l’implémenter en quelques lignes, dans n’importe quel langage, et obtenir la même disposition.

Ce que cela prouve, et ce que cela ne prouve pas

Cela prouve que la disposition était fixée avant votre choix et qu’elle n’a pas été décidée par le serveur seul. Cela prouve que chaque offre que vous avez vue a été calculée à partir du vrai tableau. Cela ne change pas les probabilités : l’échelle des gains et les frais sont ce qu’ils sont, et ils sont publics eux aussi. L’équité signifie ici que le jeu qu’on vous montre est bien le jeu qui se joue.

Vérifier une ancienne partie

Les graines et l’engagement s’affichent sur l’écran de fin de partie et dans votre historique. Collez-les dans la page de vérification quand vous voulez.