RedazioneCrash game e provably fair: la tecnologia dietro i giochi che sfidano il caso
C’è una categoria di giochi digitali che negli ultimi anni ha cambiato il modo in cui gli utenti guardano al concetto di casualità. Nei crash game una curva sale sullo schermo, un moltiplicatore cresce e a un certo punto tutto si interrompe. L’istante dell’interruzione sembra imprevedibile, eppure è già stato deciso prima ancora che la partita cominci. E chiunque, a round concluso, può controllarlo.
Il principio si chiama provably fair ed è nato nell’ambiente delle criptovalute prima di diffondersi su varie piattaforme di intrattenimento online. Capirne il funzionamento porta dritti a una domanda più ampia, che riguarda qualunque servizio digitale: come si dimostra che un software si comporta davvero come dichiara di fare?
Il caso, per un computer, è un problema di ingegneria
Un calcolatore esegue istruzioni deterministiche: a parità di input produce sempre lo stesso output. La casualità, quindi, va costruita. I software di gioco si affidano a un generatore di numeri pseudocasuali (PRNG), un algoritmo che parte da un valore iniziale detto seed e da lì produce una sequenza dall’aspetto imprevedibile. Chi conosce il seed conosce l’intera sequenza. Chi non lo conosce non riesce a distinguerla da un lancio di dadi.
Le implementazioni più solide alimentano il seed con fonti di entropia fisica: rumore elettronico, variazioni di tensione, intervalli irregolari tra eventi hardware. In Italia i sistemi di gioco a distanza passano poi per la verifica di laboratori indipendenti e per la vigilanza dell’Agenzia delle Dogane e dei Monopoli, che ne certifica il comportamento statistico.
Resta però un limite di metodo. La certificazione riguarda il software depositato, non la singola partita giocata alle tre di notte da un utente specifico. Sul singolo round, la persona si affida a una promessa.
Provably fair: dalla promessa alla prova
Il modello provably fair, comparso intorno al 2012 sui primi siti basati su Bitcoin, ribalta il rapporto. Invece di chiedere fiducia, mette l’utente in condizione di controllare da sé. Il meccanismo poggia su un solo strumento matematico: la funzione crittografica di hash, un’operazione che trasforma un dato di partenza in un’impronta di lunghezza fissa. L’impronta è calcolabile in un istante, ma dall’impronta non si risale al dato originale.
Un round segue sempre lo stesso ordine:
● il server genera un server seed segreto e ne pubblica solo l’impronta;
● l’utente aggiunge un client seed, che può modificare quando vuole;
● i due valori, insieme a un contatore progressivo chiamato nonce, entrano nella funzione di hash;
● il risultato numerico determina il moltiplicatore al quale la curva si interrompe;
● a partita chiusa il server rivela il seed originale e chiunque ricalcola l’impronta.
Se l’impronta ricalcolata coincide con quella pubblicata prima della partita, il verdetto è certo: il risultato non è stato toccato dopo l’annuncio. Se non coincide, la manipolazione diventa dimostrabile da chiunque, senza bisogno di un’autorità che arbitri la disputa.
Il formato ha conosciuto la sua diffusione più ampia con il gioco Aviator, il titolo che ha reso familiare al pubblico la curva ascendente e la scelta del momento di uscita. Da lì in avanti decine di titoli hanno ripreso lo stesso impianto, insieme alla schermata di verifica che mostra seed e hash di ogni round.
Che cosa dimostra la verifica e che cosa lascia fuori
Qui serve una lettura onesta. La prova crittografica risponde a una domanda sola, e va interpretata per quello che è:
● dimostra che il risultato non è stato alterato dopo l’annuncio, non che le probabilità siano favorevoli al giocatore;
● non dice nulla sul margine matematico della casa, che resta un parametro deciso in fase di progetto;
● perde gran parte del suo valore se l’utente non cambia mai il proprio client seed;
● non sostituisce la licenza e i controlli dell’autorità di vigilanza.
Il punto merita attenzione perché il termine “fair” viene spesso letto come sinonimo di “conveniente”. Non lo è. Un round può essere verificabile fino all’ultimo bit e restare, sul lungo periodo, statisticamente sfavorevole a chi gioca. La trasparenza riguarda il processo, non l’esito atteso.
C’è poi un ostacolo pratico. La verifica richiede l’uso di uno script o di un verificatore esterno, un passaggio che quasi nessuno compie davvero. La possibilità di controllare resta teorica per la maggior parte degli utenti, e la sua forza sta soprattutto nell’effetto deterrente: un operatore che sa di poter essere smentito da chiunque ha un incentivo concreto a non barare.
Un modello che va oltre il tavolo da gioco
L’idea che sta dietro al provably fair (verificare invece di credere) circola ormai in ambiti lontani dall’intrattenimento. Il Certificate Transparency, il registro pubblico che traccia i certificati SSL emessi sul web, segue la stessa logica: qualunque osservatore può controllare l’operato di un’autorità di certificazione. Le marche temporali crittografiche funzionano allo stesso modo per i documenti digitali, e progetti come i cosiddetti randomness beacon pubblicano sequenze casuali verificabili da usare in sorteggi, assegnazioni di risorse e procedure amministrative.
Il filo comune è semplice: quando una decisione automatica produce effetti su qualcuno, la parola dell’operatore non basta più. Serve un metodo che chiunque, dall’esterno, possa applicare per controllare.
I crash game hanno portato davanti a un pubblico molto ampio un problema che gli informatici discutono da decenni: come dimostrare l’integrità di un processo senza chiedere fiducia cieca a chi lo gestisce. La risposta crittografica funziona, ha confini precisi e non trasforma un gioco d’azzardo in qualcosa di diverso da quello che è. Ma la logica sottostante è destinata a estendersi ben oltre lo schermo di una partita, ovunque un algoritmo decida qualcosa al posto nostro.