provably faircertified RNGfairness
Πιστοποιημένο RNG σημαίνει ότι ένα ανεξάρτητο εργαστήριο εξέτασε μια γεννήτρια τυχαίων αριθμών σε μια συγκεκριμένη στιγμή και έκρινε την έξοδό της στατιστικά υγιή. Αποδεδειγμένα δίκαιο σημαίνει ότι το παιχνίδι δίνει σε κάθε παίκτη μια κρυπτογραφική απόδειξη για τον δικό του αγώνα, ώστε κάθε ζαριά να μπορεί να ξαναελεγχθεί χωρίς να εμπιστεύεσαι κανέναν. Το ένα μοντέλο ελέγχει τη μηχανή. Το άλλο αποδεικνύει το δικό σου παιχνίδι.
Και οι δύο φράσεις εμφανίζονται στις σελίδες εμπιστοσύνης των διαδικτυακών παιχνιδιών που ρίχνουν ζάρια για σένα, και ακούγονται εναλλάξιμες. Δεν είναι. Απαντούν σε διαφορετικά ερωτήματα, αποτυγχάνουν με διαφορετικούς τρόπους, και η διαφορά κρίνει τι σου ζητούν να πιστέψεις όταν κάθεσαι να παίξεις.
Τι πιστοποιεί στην πραγματικότητα ένα πιστοποιημένο RNG;
Ένα εργαστήριο πιστοποίησης παίρνει μια γεννήτρια, περνά την έξοδό της από συστοιχίες στατιστικών δοκιμών και κυνηγά μεροληψία: αριθμούς που έρχονται πολύ συχνά, μοτίβα που επαναλαμβάνονται, ακολουθίες που παρεκκλίνουν. Αν εκατομμύρια δείγματα δεν ξεχωρίζουν από την τύχη, το εργαστήριο υπογράφει πιστοποιητικό. Αυτή η δουλειά είναι πραγματική και θέλει τέχνη. Τεκμηριώνει ότι η γεννήτρια, όπως δοκιμάστηκε, εκείνη την ημέρα, παρήγαγε υγιή τυχαιότητα.
Πρόσεξε τι δεν μπορεί να δει το πιστοποιητικό. Εκδόθηκε σε εργαστήριο, και τα ζάρια σου ρίχνονται σε server.
- Αν ο κώδικας που δοκιμάστηκε είναι ο κώδικας που τρέχει, μήνες και πολλές ενημερώσεις αργότερα.
- Τη σύνδεση ανάμεσα στη γεννήτρια και το παιχνίδι σου: τον κώδικα που μετατρέπει έναν ωμό τυχαίο αριθμό στο δικό σου 6 και 4.
- Οποιαδήποτε μεμονωμένη ζαριά σε οποιονδήποτε μεμονωμένο αγώνα. Η πιστοποίηση μιλά για τη γεννήτρια γενικά, ποτέ για το δικό σου παιχνίδι της Τρίτης.
Η πιστοποίηση λοιπόν κουβαλά μια σιωπηλή δεύτερη ρήτρα: εμπιστεύσου ότι τίποτα δεν άλλαξε από τη δοκιμή, και εμπιστεύσου ότι η πιστοποιημένη διαδρομή είναι αυτή που πήρε πράγματι το παιχνίδι σου. Τα περισσότερα στούντιο την τηρούν. Το θέμα είναι ότι εσύ δεν μπορείς να ελέγξεις. Το μοντέλο είναι μια επιθεώρηση της μηχανής σε μια στιγμή, και μετά πίστη στην εγκατάσταση σε κάθε επόμενη στιγμή.
Τι σημαίνει αποδεδειγμένα δίκαιο;
Το αποδεδειγμένα δίκαιο είναι άλλη συμφωνία. Αντί να δείχνει έναν έλεγχο που δεν είδες ποτέ, το παιχνίδι δεσμεύεται στην τυχαιότητά του πριν αρχίσει, και μετά αποκαλύπτει αρκετά ώστε να ξαναϋπολογίσεις κάθε ζαριά μόνος σου. Η απόδειξη ταξιδεύει μαζί με τον αγώνα. Στην πράξη λειτουργεί σαν σφραγισμένος φάκελος.
Δέσμευση. Πριν από την πρώτη κίνηση, ο server παράγει έναν μυστικό σπόρο και δημοσιεύει το αποτύπωμά του SHA-256. Το αποτύπωμα δεν αποκαλύπτει τίποτα για τις ζαριές που έρχονται, αλλά καρφώνει τον σπόρο στη θέση του. Άλλαξε ένα μόνο bit του σπόρου αργότερα και το αποτύπωμα δεν ταιριάζει πια.
Ζαριά. Κατά το παιχνίδι, κάθε ζαριά παράγεται από τον σπόρο με HMAC-SHA256, ένας υπολογισμός ανά ζαριά. Τα ζάρια αποφασίστηκαν τη στιγμή που σφραγίστηκε ο φάκελος. Δεν μπορεί να γλιστρήσει ένας πιο φιλικός αριθμός στη μέση του παιχνιδιού χωρίς να σπάσει η δέσμευση που έχει ήδη δημοσιευτεί.
Αποκάλυψη. Μετά το παιχνίδι, ο σπόρος αποκαλύπτεται. Οποιοσδήποτε μπορεί να τον περάσει από hash, να τον συγκρίνει με τη δέσμευση, να ξαναϋπολογίσει κάθε ζαριά και να βάλει τα αποτελέσματα δίπλα στα ζάρια που εμφανίστηκαν στο ταμπλό. Αν όλα ευθυγραμμίζονται, το παιχνίδι δεν μπορούσε να κατευθυνθεί. Αν κάτι παραποιήθηκε, τα μαθηματικά το λένε.
Η εμπιστοσύνη μετακινείται από την εταιρεία στην αριθμητική. Δεν χρειάζεται πια να πιστεύεις ότι ο έλεγχος ήταν ενδελεχής ή ότι η εγκατάσταση ήταν πιστή. Χρειάζεται να αντέχει το SHA-256, που είναι η ίδια παραδοχή στην οποία στηρίζεται καθημερινά το υπόλοιπο διαδίκτυο.
Το πιστοποιητικό λέει ότι το νόμισμα ήταν δίκαιο τη μέρα που κοιτάξαμε. Η απόδειξη λέει ότι η δική σου ρίψη ήταν δίκαιη, και δείχνει τους υπολογισμούς.
Έχει ακόμα σημασία η πιστοποίηση;
Ναι. Το commit-reveal αποδεικνύει ότι έλαβες ακριβώς την τυχαιότητα που είχε δεσμευτεί. Δεν αποδεικνύει ότι αυτό που δεσμεύτηκε ήταν καλό εξαρχής. Μια αδύναμη ή προβλέψιμη πηγή σπόρου θα παρήγαγε και πάλι αποδείξεις που επικυρώνονται τέλεια: αποδείξιμη παράδοση κακών ζαριών. Το να κρίνεις την ποιότητα της πηγής είναι ακριβώς η δουλειά των ελέγχων και των στατιστικών δοκιμών, και σε ρυθμιζόμενους κλάδους το πιστοποιητικό απλώς απαιτείται.
Τα δύο μοντέλα απαντούν σε διαφορετικά ερωτήματα. Ο έλεγχος ρωτά: είναι καλή η τυχαιότητα; Η απόδειξη ρωτά: τη χρησιμοποίησε πράγματι το παιχνίδι μου; Ένα σύστημα μόνο με το πρώτο τρέχει με μόνιμη πίστη στην εγκατάσταση. Ένα σύστημα μόνο με το δεύτερο θα μπορούσε να παραδίδει πιστά κακά ζάρια και να το αποδεικνύει. Τα ισχυρότερα συστήματα κλείνουν και τις δύο πόρτες.
Γιατί έχει σημασία ένας δημόσιος επαληθευτής;
Γιατί μια απόδειξη που κανείς δεν μπορεί να διαβάσει δεν προστατεύει κανέναν. Κάποια παιχνίδια δημοσιεύουν δεσμεύσεις αλλά δεν δίνουν στους παίκτες πρακτικό τρόπο να τις ελέγξουν, ή κρύβουν την επαλήθευση μέσα στην ίδια την εφαρμογή για την οποία γίνεται λόγος. Αυτό δεν κλείνει κανέναν κύκλο. Αν το μόνο εργαλείο που μπορεί να εγγυηθεί για ένα σύστημα ανήκει στο σύστημα, γύρισες στην πίστη, με επιπλέον βήματα.
Οι ισχυρότερες υλοποιήσεις δημοσιεύουν τρία πράγματα. Τη δέσμευση, πριν το παιχνίδι. Τον σπόρο, μετά. Και έναν ανεξάρτητο, δημόσιο τρόπο να ξαναϋπολογίσεις τις ζαριές: μια απλή ιστοσελίδα, τυπική κρυπτογραφία που κάθε browser ήδη διαθέτει, χωρίς σύνδεση μπροστά. Ένας σκεπτικιστής που δεν έπαιξε ποτέ τον αγώνα μπορεί να τον ελέγξει έτσι κι αλλιώς.
Πάνω σε αυτό το μοντέλο χτίσαμε το Orion. Κάθε αγώνας που στηρίζεται στον server δεσμεύεται στα ζάρια του με SHA-256 πριν από την πρώτη ζαριά, παράγει κάθε ζαριά με HMAC-SHA256, και αποκαλύπτει τον σπόρο όταν το παιχνίδι τελειώνει. Ο επαληθευτής στο orion.arthea.ai/verify είναι ζωντανός σήμερα. Ξαναϋπολογίζει ολόκληρη την αλυσίδα στον browser σου με Web Crypto, και δεν ζητά λογαριασμό, γιατί μια απόδειξη που απαιτεί άδεια δεν είναι απόδειξη. Ο server επικυρώνει επίσης κάθε κίνηση στο ζωντανό παιχνίδι στην πηγή. Τα τίμια ζάρια αξίζουν ένα τίμιο ταμπλό.
Η πόρτα στο orion.arthea.ai/go κουβαλά τους συνδέσμους για App Store και Google Play και δείχνει πάντα τι είναι διαθέσιμο αυτή τη στιγμή. Πίσω της, κάθε αγώνας από τον πρώτο κουβαλά τη δική του απόδειξη.