provably fairdiceguide
I dadi del backgammon si verificano con una promessa fatta prima della partita e controllata dopo. Orion pubblica un impegno SHA-256 su un seme segreto prima del tuo primo tiro, rivela il seme quando la partita finisce, e lascia che il tuo browser ricalcoli ogni tiro su orion.arthea.ai/verify con il solo ID della partita. Se tutto coincide, i dadi erano fissati prima che si giocasse e nessuno, noi compresi, li ha guidati.
Ogni giocatore online conosce la sensazione. Balli sulla barra per tre turni. Il tuo avversario trova l'unico numero che colpisce e copre. Su un tavoliere di legno alzeresti le spalle, perché hai visto i dadi uscire dal bussolotto. Online ti si chiede di fidarti di un numero che non hai mai visto generare. Non volevamo chiedere quella fiducia. Volevamo renderla verificabile.
Che cosa significa davvero commit-reveal?
Immagina una busta sigillata. Prima che tu ti sieda, il banco scrive dentro tutti i dadi della serata, sigilla e ti consegna una fotografia del sigillo. Quando si finisce di giocare, la busta viene aperta. Se il contenuto corrisponde al sigillo, i tiri esistevano prima della partita, e nulla poteva essere scelto a metà strada per danneggiarti. Il commit-reveal è quella busta, costruita con l'aritmetica. Il sigillo è un hash SHA-256, e nessuno può produrre un seme diverso che vi corrisponda. Quattro passaggi portano la prova dal nostro server al tuo browser.
Prima della partita. Il server estrae un seme casuale segreto e lo passa in SHA-256. Quell'hash è l'impegno, e viene allegato alla tua partita prima del primo tiro. Da quel momento i dadi dell'intera partita sono già determinati. Il server ha pubblicato una promessa che non può più modificare.
Durante la partita. Ogni tiro è derivato dal seme con HMAC-SHA256: entrano seme e numero del tiro, escono due dadi. La posizione, il punteggio, il cubo, chi sta per vincere: niente di tutto questo entra nel calcolo. Il server non sceglie i tiri. Legge ad alta voce un elenco a cui si era impegnato prima che tu giocassi.
Quando la partita finisce. Il seme viene rivelato e conservato con il registro della partita. È l'apertura della busta. Chiunque può passare in hash il seme rivelato e confrontarlo con l'impegno pubblicato prima della prima mossa, e i due devono essere identici.
Verifica tu stesso. Apri orion.arthea.ai/verify in qualunque browser e inserisci l'ID della partita. La pagina ricalcola tutto in locale con Web Crypto, la crittografia integrata nel browser stesso: prima l'SHA-256 del seme rivelato contro l'impegno originale, poi ogni tiro della partita, dado per dado. Nessun account, nessuna app, circa un minuto.
Una corrispondenza completa stabilisce tre fatti in una volta:
- Il seme rivelato produce esattamente l'impegno pubblicato prima del primo tiro
- Ogni tiro della partita deriva da quel seme tramite HMAC-SHA256, quindi nulla è stato rilanciato o sostituito
- I dadi non sono mai stati adattati alla posizione, al punteggio o al giocatore
Che cosa proverebbe una mancata corrispondenza?
Una mancata corrispondenza non sarebbe un errore di visualizzazione. Sarebbe una prova. Se il seme rivelato non produce l'impegno, i dadi sono stati cambiati dopo l'inizio della partita. Se anche un solo tiro non supera il controllo HMAC, i dadi che hai visto non erano quelli su cui c'era l'impegno. Ciascuno dei due fallimenti è prova di manomissione che chiunque può riprodurre dallo stesso registro, su qualunque macchina, per sempre.
Ed è anche il motivo per cui non dovresti mai vederne una. L'impegno viene pubblicato per primo, prima che si muova una sola pedina. Un banco che volesse truccare questa partita dovrebbe pubblicare in anticipo la prova del proprio imbroglio e poi consegnare a ogni giocatore gli strumenti per trovarla. Non ti chiediamo di credere che siamo onesti. Abbiamo costruito il sistema perché tu non debba farlo.
Nessuno può mirare un tiro che era stato sigillato prima dell'inizio della partita.
Se i dadi sono provabilmente leali, perché tiro comunque male?
Perché dadi leali restano dadi. Verrai chiuso sulla barra. Ti servirà qualunque cosa tranne un 2-1 e uscirà 2-1. Su migliaia di partite i numeri si appiattiscono verso la distribuzione vera, ma una serata non promette nulla. Quello che la verifica toglie è la domanda che sta sotto il nervoso. Quel tiro miracoloso era fissato prima che nessuno dei due toccasse una pedina, e non era mirato a te. Saperlo non addolcirà il tiro. Ti permette però di smettere di fare le pulci all'universo e tornare a giocare la posizione.
I dadi sono il sospetto più rumoroso, ma non l'unico. Lo stesso server che si impegna sui tuoi tiri convalida anche ogni mossa alla fonte, quindi un client modificato non può infilare una pedina dove le regole non lo consentono. Tiri leali e mosse legali vengono dalla stessa autorità.
Posso provare il verificatore adesso?
Sì. Il verificatore è attivo oggi su orion.arthea.ai/verify e include una riproduzione dimostrativa, così puoi guardare una verifica completa su una partita di esempio, senza installare nulla e senza creare un account. La porta su orion.arthea.ai/go porta i link ad App Store e Google Play e mostra sempre che cosa è disponibile in questo momento.