Δίκαια ζάρια στο τάβλι: πώς δουλεύει στ' αλήθεια η RNG του διακομιστή

Κάθε παίκτης τάβλι στο ίντερνετ έχει γράψει κάποια στιγμή την ίδια αναζήτηση: είναι στημένα τα ζάρια; Η ερώτηση αξίζει πραγματική απάντηση και όχι ένα διαφημιστικό ανασήκωμα των ώμων. Εδώ είναι η τεχνική εκδοχή: από πού βγαίνει ένα ψηφιακό ζάρι, τι μπορεί όντως να πάει στραβά, και πώς ένα σωστά χτισμένο παιχνίδι βγάζει τη ζαριά από τα χέρια όλων με την αρχιτεκτονική του, όχι με υπόσχεση.

Πού γεννιέται ένα ψηφιακό ζάρι

Ένα αληθινό ζάρι το τυχαιοποιεί η φυσική: το στριφογύρισμα, το τράνταγμα, η τσόχα. Ένα ψηφιακό ζάρι είναι ένας αριθμός που τον βγάζει μια γεννήτρια τυχαίων αριθμών (RNG), δηλαδή λογισμικό, συχνά ταϊσμένο και από υλικό, που έχει μία δουλειά: να δίνει τιμές που κανείς δεν μπορεί ούτε να προβλέψει ούτε να αναπαραγάγει.

Δεν είναι όμως όλες οι γεννήτριες ίδιες. Μια απλή ψευδοτυχαία γεννήτρια, το είδος που ανακατεύει μια λίστα τραγουδιών, παράγει μια ακολουθία που καθορίζεται εξ ολοκλήρου από την αρχική της τιμή, τον σπόρο. Αν ξέρετε τον σπόρο και τον αλγόριθμο, ξέρετε κάθε «τυχαίο» αριθμό που θα βγάλει ποτέ. Για λίστες τραγουδιών είναι μια χαρά, για παιχνίδια με διακύβευμα είναι άχρηστη. Τα σοβαρά παιχνίδια χρησιμοποιούν κρυπτογραφικά ασφαλείς γεννήτριες (CSPRNG), που τροφοδοτούνται συνεχώς με εντροπία από τον πραγματικό κόσμο: θόρυβο του υλικού, μικροδιαφορές στον χρόνο, το χάος των συμβάντων του λειτουργικού συστήματος. Η ιδιότητα που τις ορίζει είναι ακριβώς αυτή που χρειάζεται ένα παιχνίδι με ζάρια: ακόμη κι όποιος έχει δει όλες τις προηγούμενες τιμές δεν μπορεί να μαντέψει την επόμενη.

Το ερώτημα που μετράει περισσότερο: πού τρέχει;

Εδώ είναι το κομμάτι που σχεδόν κανείς δεν σκέφτεται να ρωτήσει. Μετράει λιγότερο ποια γεννήτρια βγάζει τη ζαριά σας και πολύ περισσότερο πού τρέχει. Αν τα ζάρια παράγονται στη συσκευή του παίκτη, το παιχνίδι είναι δομικά χαλασμένο όσο καλός κι αν είναι ο αλγόριθμος: μια πειραγμένη εφαρμογή μπορεί να ξαναρίχνει μέχρι να της αρέσει το αποτέλεσμα, να αλλάξει την τιμή μέσα στη μνήμη, ή να κρυφοκοιτάξει το ζάρι πριν δεσμευτεί σε κίνηση. Τα ζάρια στη μεριά του παίκτη είναι υπόσχεση, και τις υποσχέσεις μπορεί κανείς να τις αφαιρέσει από μια εφαρμογή με μια πειραγμένη έκδοση.

Η σωστή αρχιτεκτονική είναι ο διακομιστής να έχει την εξουσία: η ζαριά γίνεται στον διακομιστή του παιχνιδιού, σε περιβάλλον που δεν το αγγίζει κανένα μηχάνημα παίκτη. Η συσκευή σας παραλαμβάνει μια ζαριά που υπάρχει ήδη και απλώς τη δείχνει να κυλάει στην οθόνη. Στο δικό μας παιχνίδι, όπως εξηγούμε στη σελίδα δίκαιου παιχνιδιού, αυτό πάει πιο πέρα από τα ζάρια: ο διακομιστής ελέγχει κάθε κίνηση που επιχειρείται απέναντι στους κανόνες, και οι δύο εφαρμογές αντιπαραβάλλουν διαρκώς το ταμπλό τους με ένα αποτύπωμα που στέλνει ο διακομιστής σε κάθε ενημέρωση. Δεν υπάρχει στιγμή που η συσκευή ενός παίκτη να θεωρείται αξιόπιστη για κάτι που έχει σημασία.

Αυτή η μία σχεδιαστική απόφαση εξαφανίζει ολόκληρες κατηγορίες κλεψιάς μαζεμένες. Κανείς δεν ξαναρίχνει, γιατί η ζαριά προηγείται του γύρου του. Κανείς δεν διαβάζει τον επόμενο αριθμό από τη συσκευή του, γιατί δεν βρίσκεται εκεί για να διαβαστεί. Και κανείς δεν λυγίζει διακριτικά το ταμπλό, γιατί ένα ταμπλό που διαφωνεί με του διακομιστή πετιέται και ξαναχτίζεται μέσα σε μία διαδρομή μετ' επιστροφής.

Τι σημαίνει στ' αλήθεια «αποδεδειγμένα δίκαιο»

Για χρόνια η απάντηση του κλάδου στο «είναι τίμια τα ζάρια;» ήταν ένα πιστοποιητικό: ένα εργαστήριο εξετάζει τη γεννήτρια μία φορά και εκδίδει μια σφραγίδα που σας ζητούν να εμπιστευτείτε. Πιστεύουμε ότι σας αξίζει κάτι πιο δυνατό από σφραγίδα. Αποδεδειγμένα δίκαιο σημαίνει ότι δεν χρειάζεται να μας εμπιστευτείτε καθόλου, γιατί κάθε ζαριά κουβαλάει τη δική της απόδειξη. Ο μηχανισμός είναι μια δέσμευση με ανταλλαγή γύρο τον γύρο, και μοιάζει κάπως έτσι: μια στοίβα σφραγισμένων κρίκων για κάθε παίκτη, συν έναν δικό μας σφραγισμένο φάκελο.

• Κλείδωμα. Πριν πέσει το πρώτο ζάρι, ο διακομιστής φτιάχνει έναν μυστικό σπόρο και σας δίνει ένα κρυπτογραφικό αποτύπωμά του, ενώ το αποτέλεσμα είναι ακόμη άγνωστο. Την ίδια στιγμή η εφαρμογή κάθε παίκτη σφραγίζει τη δική της αριθμημένη στοίβα κρίκων και δημοσιεύει μόνο το αποτύπωμα της στοίβας. Και τα τρία αποτυπώματα παγώνουν μαζί σε μία καταγραφή, ώστε κανένα να μην μπορεί να αντικατασταθεί εκ των υστέρων, και κανένα δεν προδίδει τι κρύβει.
• Ανταλλαγή. Τα ζάρια δεν είναι κανονισμένα από πριν. Χτίζονται ένα ένα, με σταθερό και δημόσιο τύπο, και το καθένα θέλει από έναν κρίκο και από τις δύο στοίβες. Σε κάθε γύρο, εκείνος που πρόκειται να ρίξει δημοσιεύει πρώτος τον επόμενο κρίκο του, ο αντίπαλος δίνει τον δικό του μόνο αφού κλειδώσει ο πρώτος, και το ζάρι υπολογίζεται τελευταίο, από τους δύο κρίκους και τον σφραγισμένο σπόρο. Η σφραγίδα κάθε κρίκου βγαίνει από τον επόμενο της στοίβας του, γι' αυτό και κανείς δεν αλλάζει κρίκο εκ των υστέρων. Και επειδή το τελευταίο άγνωστο συστατικό κάθεται πάντα στην απέναντι πλευρά του ταμπλού, κανείς, ούτε εμείς, δεν μπορεί να ξέρει ένα ζάρι όσο μένει ανοιχτή μια απόφαση που θα μπορούσε ακόμη να το αλλάξει.
• Έλεγχος. Όταν τελειώσει η παρτίδα, ο διακομιστής ανοίγει τον φάκελό του και σας δείχνει τον σπόρο, και ολόκληρη η καταγραφή δημοσιεύεται. Περνάτε τον σπόρο από τη συνάρτηση και επιβεβαιώνετε ότι δίνει το αποτύπωμα που κρατούσατε από την αρχή, απόδειξη ότι δεν αντικαταστάθηκε ποτέ. Ελέγχετε ότι κάθε κρίκος ανήκει στη στοίβα που δεσμεύτηκε η πλευρά του. Και μετά τρέχετε τον ίδιο δημόσιο τύπο και αναπαράγετε μόνοι σας κάθε ζαριά. Αν κάποιο ζάρι είχε σπρωχτεί έστω λίγο, ο υπολογισμός δεν θα έβγαινε, και η νοθεία θα ήταν αδιαμφισβήτητη.

Αυτή είναι όλη η διαφορά ανάμεσα στο «εμπιστευτείτε το πιστοποιητικό μας» και στο «ελέγξτε το μόνοι σας». Δεν χρειάζεται να πιστέψετε ότι τα ζάρια μας είναι τίμια, μπορείτε να τα ελέγξετε, μία τελειωμένη παρτίδα τη φορά, με μαθηματικά που τρέχει οποιοσδήποτε. Η σελίδα δίκαιου παιχνιδιού κουβαλάει το εργαλείο που κάνει ακριβώς αυτό: δώστε του μια τελειωμένη παρτίδα και δείτε κάθε ζαριά να αναπαράγεται μπροστά σας από τη δημοσιευμένη καταγραφή. Το μόνο που δεν μπορεί να κάνει μια δημόσια σελίδα είναι να επιβεβαιώσει ότι η καταγραφή είναι όντως ο δικός σας αγώνας, γιατί το αντίγραφο εκείνων των αποτυπωμάτων που κλείδωσαν πριν από την πρώτη ζαριά το κράτησε μόνο η συσκευή σας. Αυτός ο τελευταίος έλεγχος ζει μέσα στην εφαρμογή.

Μία τίμια σημείωση που η απόδειξη δεν την αλλάζει: τα αποδεδειγμένα δίκαια ζάρια εξακολουθούν να μην είναι ήρεμα, ευγενικά, εναλλασσόμενα ζάρια. Ένας επαληθεύσιμος σπόρος βγάζει σβώλους, σερί και ξηρασίες ακριβώς με τη συχνότητα που προβλέπουν οι πιθανότητες. Μια ροή χωρίς σερί θα ήταν η ύποπτη. Η αληθινή τυχαιότητα είναι σβωλιασμένη, και γι' αυτό ακριβώς μοιάζει τόσο συχνά στημένη.

Γιατί τα δίκαια ζάρια μοιάζουν στημένα

Που μας φέρνει στην ψυχολογία, γιατί η αίσθηση των στημένων ζαριών είναι αληθινή ακόμη κι όταν τα ζάρια δεν είναι. Τη δουλειά την κάνουν τρεις καλά καταγεγραμμένες προκαταλήψεις:

Επιλεκτική μνήμη. Θυμάστε τη βραδιά που χορέψατε στο μπαρ τέσσερις γύρους στη σειρά. Δεν θυμάστε τις εκατοντάδες ρουτινιάρικες επανεισόδους πριν από αυτήν. Τα οδυνηρά αποτελέσματα αποθηκεύονται πιο βαθιά, και κάθε παίκτης με ώρες στην πλάτη του κουβαλάει ένα ιδιωτικό μουσείο αδικιών χωρίς κανένα αρχείο για τα συνηθισμένα.

Ο νόμος των μικρών αριθμών. Ο άνθρωπος περιμένει τα μικροσκοπικά δείγματα να μοιάζουν με τους μέσους όρους της μεγάλης διαδρομής. Σε 36 ζαριές «θα έπρεπε» να δείτε την καθεμία περίπου μία φορά, όμως τα πραγματικά δείγματα των 36 ζαριών είναι εξωφρενικά ανισοκατανεμημένα, με κάποιους αριθμούς να λείπουν τελείως και άλλους να έρχονται τριπλάσιοι. Μια βραδιά τάβλι είναι μικροσκοπικό δείγμα. Την κυβερνά η διακύμανση, και η διακύμανση μοιάζει προσωπική.

Η ασυμμετρία της απώλειας. Το 17/36 που σας βρίσκει μοιάζει με αδικία. Οι 19 στις 36 φορές που αστοχεί δεν μοιάζουν με τίποτα. Κι επειδή το τάβλι κρίνει διαρκώς ενδεχόμενα του 30 με 70%, υπάρχει σταθερή προσφορά «αδύνατων» αποτελεσμάτων που έρχονται ακριβώς με τη συχνότητα που τους αναλογεί.

Το αντίδοτο είναι να ξέρετε τους πραγματικούς αριθμούς. Ένας συγκεκριμένος αριθμός εμφανίζεται στις 11 από τις 36 ζαριές. Η διπλή έρχεται μία φορά στις έξι ριξιές. Ένα μπλοτ σε απόσταση έξι πιπ χτυπιέται σχεδόν στις μισές περιπτώσεις. Ο οδηγός των πιθανοτήτων στρώνει ολόκληρο τον πίνακα, και μόλις μπουν αυτά τα νούμερα στο κεφάλι σας, οι περισσότερες «στημένες» στιγμές ξανακατατάσσονται μόνες τους ως συνηθισμένες Τρίτες.

Το ερώτημα του κινήτρου

Άλλο ένα τίμιο σημείο: μια εταιρεία τάβλι δεν έχει τίποτα να κερδίσει από πειραγμένα ζάρια και τα πάντα να χάσει. Οι αγωνιστικοί παίκτες, αυτοί που μένουν χρόνια, είναι ακριβώς οι άνθρωποι που μετράνε πιθανότητες και βλέπουν τις ανωμαλίες. Τα συστήματα βαθμολογίας λειτουργούν ταυτόχρονα και ως δημόσιο ελεγκτικό ίχνος: αν τα ζάρια ευνοούσαν συστηματικά κάποιον, οι κατανομές της βαθμολογίας θα μετακινούνταν με μετρήσιμο τρόπο. Τα δίκαια ζάρια δεν είναι αρετή που την επιδεικνύουμε, είναι το μόνο σταθερό επιχειρηματικό μοντέλο που έχει ένα παιχνίδι δεξιοτήτων.

Πώς να πειστείτε μόνοι σας

Μην πιστέψετε καμία εταιρεία στον λόγο της, ούτε εμάς. Μάθετε τις βασικές συχνότητες από τον οδηγό των πιθανοτήτων και μετά παρακολουθήστε τις δικές σας παρτίδες με αυτά τα νούμερα στο μυαλό: πιθανότητες επανεισόδου απέναντι σε σπίτι με δύο φτιαγμένα σημεία, συχνότητα των διπλών σε μια μεγάλη βραδιά, ποσοστά χτυπήματος στα άμεσα shot. Τα τίμια ζάρια συγκλίνουν στις προβλέψεις του πίνακα με αξιοσημείωτη ταχύτητα. Κι αν θέλετε τις αρχιτεκτονικές λεπτομέρειες, τις δεσμεύσεις και την ανταλλαγή γύρο τον γύρο, τις ζαριές στον διακομιστή, τον έλεγχο του ταμπλού σε κάθε κίνηση, το ταίριασμα αντιπάλων με Glicko-2, η σελίδα δίκαιου παιχνιδιού είναι η πλήρης κατάθεση του πώς είναι χτισμένο το τραπέζι μας, με το εργαλείο επαλήθευσης μέσα. Έτσι η μεταβλητή που κρίνει τις παρτίδες γίνεται αυτή που πρέπει: το πόσο καλά παίζετε τις ζαριές που σας έρχονται. Οι οδηγοί στρατηγικής είναι ακριβώς γι' αυτό.