fair diceprovably fairbackgammon apps
Σχεδόν πάντα, όχι. Οι ζαριές που μοιάζουν στημένες είναι συνήθως τίμια τυχαιότητα διαβασμένη μέσα από την ανθρώπινη μνήμη: οι διπλές έρχονται μία στις έξι, τα σερί είναι φυσιολογικά, και οι ήττες μένουν ενώ οι νίκες σβήνουν. Η σκληρότερη αλήθεια είναι από κάτω. Με μια κλειστή εφαρμογή δεν μπορείς να επαληθεύσεις τίποτα από αυτά, οπότε το πραγματικό ερώτημα δεν είναι αν μια εφαρμογή κλέβει. Είναι αν η εφαρμογή μπορεί να αποδείξει ότι δεν κλέβει.
Κάθε εφαρμογή ταβλιού ακούει τα ίδια δύο παράπονα, και οι παίκτες τα λένε από τότε που κυλούν ζάρια. Ο αντίπαλος φέρνει πολλές διπλές. Ο αντίπαλος βρίσκει πάντα τον αριθμό που χρειάζεται. Ο χαμένος το έλεγε στα καφενεία της Κωνσταντινούπολης όταν τα ζάρια ήταν από κόκαλο και το τραπέζι από ξύλο. Αξίζει σοβαρή απάντηση, όχι ανασήκωμα των ώμων. Να μία.
Γιατί η εφαρμογή φέρνει τόσες διπλές;
Επειδή οι διπλές είναι συχνές, και όσες σε νικούν μένουν αξέχαστες. Δύο ζάρια πέφτουν με 36 τρόπους. Οι έξι είναι διπλές. Μία ζαριά στις έξι βγαίνει ζευγάρι, και αυτό το ένα κλάσμα τροφοδοτεί σχεδόν όλο το παράπονο.
- Ένα τυπικό παιχνίδι έχει 50 με 60 ζαριές και για τους δύο παίκτες. Οκτώ ως δέκα διπλές στο τραπέζι δεν είναι ζεστό σερί. Είναι το μέσο παιχνίδι.
- Δύο διπλές στη σειρά πέφτουν ένα ζεύγος στα 36. Παίξε μερικά παιχνίδια σε μια βραδιά και θα το δεις πάνω από μία φορά.
- Τρεις διπλές στη σειρά είναι μία αλυσίδα στις 216. Αν παίζεις τακτικά θα τη συναντήσεις. Αριθμητική, όχι σφάλμα.
- Οποιοσδήποτε αριθμός χρειάζεται ο αντίπαλος εμφανίζεται σε τουλάχιστον ένα ζάρι 11 φορές στις 36, σχεδόν μία πιθανότητα στις τρεις.
Η μπάρα λέει την ίδια ιστορία. Κλείσε δύο θέσεις του σπιτιού σου και ο αντίπαλος μπαίνει ακόμα περίπου οκτώ φορές στις εννιά. Άφησε ακάλυπτο πούλι σε άμεση εμβέλεια και ο αριθμός που το χτυπά έρχεται περίπου μία φορά στις τρεις, πριν προσθέσουν κι άλλες οι συνδυαστικές ζαριές. Όταν οι αριθμοί που χρειάζονται είναι τόσο διαθέσιμοι, το "πάντα φέρνουν αυτό που θέλουν" είναι απλώς πώς φαίνονται τα δίκαια ζάρια από τη χαμένη πλευρά του ταμπλό.
Γιατί τα ζάρια φαίνονται άδικα μόνο όταν χάνεις;
Επειδή η μνήμη κρατά στραβό κατάστιχο. Οι ψυχολόγοι το μετρούν εδώ και δεκαετίες: μια ήττα ζυγίζει περίπου διπλάσια από μια ισοδύναμη νίκη. Έτσι το 6-6 που διέλυσε το τείχος σου μένει μια βδομάδα, ενώ το δικό σου 6-6 έμοιαζε δικαιοσύνη και είχε ξεχαστεί ως το δείπνο. Κανείς δεν θυμάται τη βραδιά που τα ζάρια ήταν μέτρια, και κανείς δεν γράφει γι' αυτήν. Γι' αυτό όλα τα νήματα περί στημένων ζαριών διαβάζονται ίδια, και σχεδόν κανένα δεν συνοδεύεται από καταμέτρηση.
Αυτό δεν είναι ελάττωμα δικό σου. Η προσοχή αποθηκεύει τη ζαριά που άλλαξε το παιχνίδι και πετά τις πενήντα που δεν το άλλαξαν. Οι παίκτες κατηγορούσαν τα ζάρια για προδοσία όταν τα ζάρια σκαλίζονταν σε κόκαλο. Η εφαρμογή κληρονόμησε την υποψία τη μέρα που σχεδίασε το πρώτο της πούλι.
Θα μπορούσε όντως μια εφαρμογή ταβλιού να κλέψει;
Ναι, και η ειλικρίνεια απαιτεί να το πούμε καθαρά. Οι κύβοι που κυλούν στην οθόνη σου είναι ένα animation. Οι αριθμοί έρχονται από κώδικα σε έναν server που δεν βλέπεις, και τίποτα φυσικό δεν τους περιορίζει. Τα περισσότερα στούντιο δεν έχουν κίνητρο, αφού ένα στημένο παιχνίδι είναι μια νεκρή φήμη που περιμένει να βγει στην επιφάνεια, και όταν παίκτες τρέχουν τεστ καταμέτρησης σε μεγάλες εφαρμογές τα σύνολα γενικά επιστρέφουν συνηθισμένα. Όμως το "μάλλον όχι" είναι εμπιστοσύνη, όχι απόδειξη. Με μια κλειστή εφαρμογή δεν υπάρχει πείραμα που να λύνει το ζήτημα, γιατί η αρχιτεκτονική κρατά τα ζάρια μακριά. Άρα ο τίμιος διαχωρισμός δεν είναι εφαρμογές που κλέβουν εναντίον τίμιων. Είναι ζάρια που μπορείς να ελέγξεις εναντίον ζαριών που πρέπει να πιστέψεις.
Δεν μπορείς να ελέγξεις ένα συναίσθημα. Μπορείς να ελέγξεις μια απόδειξη.
Πώς δοκιμάζεις μόνος σου τα ζάρια;
Πριν πιάσει κανείς κρυπτογραφία, κάνε το τεστ με το χαρτί. Λύνει τις περισσότερες υποψίες σε μία βραδιά.
Όρισε πρώτα την προσδοκία. Γράψε πώς μοιάζει το δίκαιο πριν παίξεις: μία ζαριά στις έξι είναι διπλή, και για τις δύο πλευρές. Το να αποφασίζεις τι μετράει ως ύποπτο αφού έχεις χάσει είναι ο τρόπος με τον οποίο κερδίζει η μεροληψία.
Μέτρα αντί να θυμάσαι. Για μια ολόκληρη συνεδρία, μέτρα κάθε ζαριά και κάθε διπλή, τις δικές σου και του αντιπάλου. Το χαρτί νικά τη μνήμη, γιατί η μνήμη ήταν εξαρχής το όργανο που ανέφερε λάθος.
Διάβασε το αποτέλεσμα σαν στατιστικός. Σε 120 ζαριές, περίμενε περίπου 20 διπλές. Από τα δεκατόσα ως τα εικοσιεννιά είναι συνηθισμένη διακύμανση. Μόνο μια μεγάλη απόκλιση που επιβιώνει σε πολλές συνεδρίες σημαίνει κάτι.
Δύο πράγματα συμβαίνουν όταν οι παίκτες κάνουν πράγματι αυτό το τεστ. Πρώτον, οι διπλές του αντιπάλου πέφτουν κοντά στο βασικό ποσοστό σχεδόν κάθε φορά, και είναι η δική τους καταμέτρηση που τους εκπλήσσει. Δεύτερον, το τεστ αποκαλύπτει το δικό του όριο. Τα σύνολα μπορεί να είναι καθαρά ενώ ο συγχρονισμός είναι βρόμικος: ένας αποφασισμένος απατεώνας θα μπορούσε να σερβίρει απολύτως δίκαιο μερίδιο διπλών και να παραδώσει τη σωστή στη χειρότερη στιγμή για σένα. Η καταμέτρηση δεν το πιάνει αυτό. Οι αποδείξεις το πιάνουν.
Τι δημοσιεύει το Orion για κάθε παιχνίδι;
Μια απόδειξη, σε τρία μέρη. Πριν από την πρώτη ζαριά, ο server μας δεσμεύεται στα ζάρια του: δημοσιεύει ένα αποτύπωμα SHA-256 ενός μυστικού σπόρου όσο το παιχνίδι είναι ακόμα άπαιχτο. Κατά το παιχνίδι, κάθε ζαριά παράγεται από αυτόν τον σπόρο με HMAC-SHA256, μία τη φορά, με τη σειρά. Μετά την τελευταία κίνηση, αποκαλύπτεται ο ίδιος ο σπόρος.
Αυτή η δομή κάνει τα ζάρια ελέγξιμα. Κάνε hash τον αποκαλυμμένο σπόρο και πρέπει να αναπαραγάγει το αποτύπωμα που δημοσιεύτηκε πριν ριχτεί οτιδήποτε, κάτι που αποδεικνύει ότι τα ζάρια ήταν καθορισμένα πριν κινηθεί κανένας από τους δύο παίκτες. Ξαναπαράγαγε τις ζαριές και πρέπει να ταιριάζουν με το παιχνίδι που πραγματικά έπαιξες, κάτι που αποδεικνύει ότι τίποτα δεν αντικαταστάθηκε στη διαδρομή. Άλλαξε ένα ζάρι οπουδήποτε και η αλυσίδα αρνείται να κλείσει. Ο επαληθευτής στο orion.arthea.ai/verify τα ξαναϋπολογίζει όλα στον browser σου με Web Crypto, χωρίς λογαριασμό και χωρίς εγκατάσταση. Και επειδή ο server επικυρώνει κάθε ζωντανή κίνηση στην πηγή, ένας αντίπαλος δεν μπορεί να σου περάσει παράνομη κίνηση όσο κοιτάς τα ζάρια.
Το φτιάξαμε έτσι γιατί το "εμπιστεύσου μας" δεν είναι απάντηση που θα δεχόμασταν από κανέναν άλλον. Η πόρτα στο orion.arthea.ai/go κουβαλά τους συνδέσμους για App Store και Google Play και δείχνει πάντα τι είναι διαθέσιμο αυτή τη στιγμή. Ο επαληθευτής βγήκε πρώτος, επίτηδες. Η απόδειξη πρέπει να περιμένει πριν φτάσουν οι παίκτες.