Ο AION καθιστά τις αποφάσεις AI ελέγξιμες
Ο χώρος όπου η απόδειξη είναι ορατή
Η απόδειξη γίνεται χρήσιμη για πρώτη φορά έξω από τον μεταγλωττιστή. Δεν βρίσκεται ούτε στον επιλυτή. Βρίσκεται σε έναν χώρο όπου όλοι έχουν χάσει την υπομονή τους με εξηγήσεις που ακούγονται πειστικές αλλά δεν μπορούν να αναπαραχθούν.
Συνήθως υπάρχει μια οθόνη στον τοίχο. Κάποιος έχει αναρτήσει την απόφαση. Κάποιος άλλος έχει αναρτήσει τις γραμμές καταγραφής. Ένας υπεύθυνος κινδύνου ρωτά αν αυτό θα ικανοποιήσει τον έλεγχο. Ένας μηχανικός προσπαθεί να εξηγήσει ότι το μοντέλο παρήγαγε έναν δείκτη εμπιστοσύνης, το σύστημα αποθήκευσε τηλεμετρία και η ομάδα μπορεί να δείξει τη διαδρομή μέσα στην εφαρμογή. Τα λόγια είναι προσεκτικά. Ο χώρος δεν πείθεται.
Το πρόβλημα δεν είναι ότι οι άνθρωποι στον χώρο είναι εχθρικοί προς την τεχνητή νοημοσύνη. Το πρόβλημα είναι ότι γνωρίζουν τη διαφορά μεταξύ μιας δήλωσης και ενός αποδεικτικού στοιχείου. Ένα αρχείο καταγραφής λέει ότι κάτι συνέβη. Ένας δείκτης εμπιστοσύνης λέει πόσο έντονα έκλινε ένα σύστημα προς μια απάντηση. Μια εκ των υστέρων εξήγηση λέει από τι μπορεί να εξαρτήθηκε η απάντηση. Κανένα από αυτά τα αντικείμενα δεν αποδεικνύει τα βήματα συλλογισμού μέσα στην απόφαση.
Το AION υπάρχει για εκείνη τη στιγμή. Μετατρέπει την απάντηση σε ένα πακέτο που περιλαμβάνει τη δική του εργασία. Η διαδρομή επιθεώρησης δεν είναι ένα πιο όμορφο ταμπλό γύρω από την εμπιστοσύνη. Είναι το πιστοποιητικό: ένα φορητό, επαληθεύσιμο τεχνούργημα που ένας άλλος επαληθευτής μπορεί να διαβάσει εκτός σύνδεσης, σε γραμμικό χρόνο, χωρίς να ζητήσει από τον αρχικό επιλυτή να υπερασπιστεί τον εαυτό του.
Αυτή η διάκριση έχει σημασία επειδή τα περισσότερα προϊόντα τεχνητής νοημοσύνης εξακολουθούν να ζητούν από τον αγοραστή να αποδεχθεί μια υπόσχεση. Το AION αλλάζει τη μορφή της υπόσχεσης. Λέει: μην εμπιστεύεστε τη μηχανή επειδή ακουγόταν σίγουρη. Μην εμπιστεύεστε τον προμηθευτή επειδή η παρουσίαση λέει «επεξηγήσιμο». Πάρτε το πιστοποιητικό, εκτελέστε τον έλεγχο και αποδεχθείτε ή απορρίψτε την απόδειξη στη δική σας υποδομή.
Πρώτη σκηνή: η απάντηση δεν αρκεί
Φανταστείτε μια τράπεζα να απορρίπτει μια αίτηση, ένα νοσοκομειακό σύστημα να προτείνει μια θεραπευτική οδό ή μια δημόσια υπηρεσία να χρησιμοποιεί λογισμικό για να δρομολογήσει μια υπόθεση. Η απάντηση μπορεί να είναι χρήσιμη. Μπορεί ακόμη και να είναι σωστή. Αλλά αν ο ενδιαφερόμενος ρωτήσει γιατί, ο οργανισμός χρειάζεται κάτι περισσότερο από μια παράγραφο που γράφτηκε εκ των υστέρων.
Το παλιό επιχειρησιακό μοντέλο αρπάζει ό,τι είναι ήδη διαθέσιμο. Υπάρχουν αρχεία καταγραφής εφαρμογών, αλλά είναι μη δομημένα και συχνά συνδεδεμένα με τον προμηθευτή που τα δημιούργησε. Υπάρχουν βαθμολογίες, αλλά μια βαθμολογία χωρίς παραγωγή είναι απλώς ένας αριθμός. Υπάρχουν παραγόμενες εξηγήσεις, αλλά όταν παράγονται από το ίδιο σύστημα που έλαβε την απόφαση, βαθμολογούν τα δικά τους γραπτά. Υπάρχουν διαβεβαιώσεις προμηθευτών, αλλά το «εμπιστευθείτε μας» δεν είναι απάντηση σε έλεγχο.
Το AION αντιμετωπίζει αυτό ως πρόβλημα σχεδιασμού, όχι ως πρόβλημα επικοινωνίας. Αν η απόφαση έχει σημασία, τα αποδεικτικά στοιχεία πρέπει να ταξιδεύουν μαζί με την απάντηση. Πρέπει να εκπέμπονται την ίδια στιγμή. Πρέπει να επιβιώνουν από προμήθειες, μεταναστεύσεις, ανασκοπήσεις περιστατικών και έναν μελλοντικό ελεγκτή με διαφορετική εργαλειοθήκη. Δεν μπορεί να βασίζεται σε μια απομακρυσμένη υπηρεσία που εξακολουθεί να είναι σε λειτουργία. Δεν μπορεί να απαιτεί από τον αρχικό επιλυτή να ξανατρέξει την υπόθεση και να ελπίζει ότι θα ακολουθήσει την ίδια διαδρομή ξανά.
Γι' αυτό η απόδειξη δεν είναι διακόσμηση. Είναι η διεπαφή. Ένας χρήστης μπορεί να τη βιώσει ως απόδειξη συναλλαγής. Ένας μηχανικός μπορεί να τη βιώσει ως εντολή. Ένας ελεγκτής μπορεί να τη βιώσει ως ανεξάρτητο έλεγχο. Το ίδιο αντικείμενο εξυπηρετεί και τους τρεις επειδή δεν είναι μια ιστορία για την απόφαση. Είναι η διατεταγμένη παραγωγή πίσω από την απόφαση.
Το AION δεν είναι η μηχανή αποφάσεων
Το AION δεν πρέπει να συγχέεται με κανένα άλλο κομμάτι της στοίβας Dweve. Δεν είναι το Mesh, που είναι υποδομή. Δεν είναι το Ledger, που καταγράφει γεγονότα που συνέβησαν σε ένα σύστημα. Δεν είναι μια γενική ετικέτα μάρκετινγκ για τη διαφάνεια. Το AION πιστοποιεί βήματα συλλογιστικής μέσα σε μια μεμονωμένη απόφαση.
Αυτό το όριο είναι χρήσιμο. Το Ledger μπορεί να σας πει ότι έφτασε ένα αίτημα, ότι εκτελέστηκε μια υπηρεσία, ότι επέστρεψε ένας εργάτης και ότι γράφτηκε μια εγγραφή. Αυτή είναι η προέλευση γεγονότων. Το AION απαντά σε μια πιο στενή και πιο δύσκολη ερώτηση: με δεδομένες αυτές τις προϋποθέσεις, προέκυψε αυτό το συμπέρασμα μέσα από τα καταγεγραμμένα βήματα; Η διαφορά είναι η διαφορά ανάμεσα σε ένα χρονοδιάγραμμα και μια απόδειξη.
Η σελίδα πηγής περιγράφει το AION ως μια βιβλιοθήκη Rust με ένα δυαδικό αρχείο γραμμής εντολών και ένα δυαδικό αρχείο συγκριτικής αξιολόγησης. Περιγράφει επίσης έναν προτασιακό πυρήνα CDCL με ακριβή ρητή αριθμητική, που περιβάλλεται από θεωρητικούς συλλογισμούς, με έναν εκπομπό αποδείξεων που καταγράφει κάθε βήμα ως μια διατεταγμένη παραγωγή. Αυτά είναι γεγονότα υλοποίησης, αλλά γίνονται πιο σημαντικά όταν τα βλέπουμε ως επιχειρησιακά γεγονότα. Ο χρήστης δεν λαμβάνει μόνο μια απάντηση. Ο χρήστης λαμβάνει ένα τεκμήριο που μπορεί να ενσωματωθεί, να ελεγχθεί, να συγκριθεί και να μεταφερθεί.
Όταν μια ομάδα συνδέει το crate, εκτελεί το CLI από ένα κέλυφος ή μια εργασία CI, ή μετρά την υλοποίηση στο δικό της υλικό, το ίδιο πιστοποιητικό προκύπτει. Αυτή η ομοιότητα αποτελεί μέρος της σύμβασης. Η διαδρομή υιοθέτησης δεν θα πρέπει να αλλάζει τα αποδεικτικά στοιχεία. Μια αξιολόγηση προμηθειών, μια ενσωμάτωση μηχανικής και μια αναπαραγωγή ελέγχου χρειάζονται όλα το ίδιο αντικείμενο, όχι τρεις ασύμβατες περιλήψεις.
Τι αλλάζει το πιστοποιητικό
Ένα πιστοποιητικό αλλάζει τη σχέση εξουσίας γύρω από μια απόφαση τεχνητής νοημοσύνης. Χωρίς αυτό, ο οργανισμός που κατέχει την απάντηση ελέγχει επίσης το μεγαλύτερο μέρος της εξήγησης. Με αυτό, η απάντηση μπορεί να αμφισβητηθεί από έναν ξεχωριστό ελεγκτή. Η απόδειξη μπορεί να μεταφερθεί σε άλλη μηχανή. Ο ελεγκτής μπορεί να την αναπαράγει χωρίς σύνδεση στο δίκτυο. Ο πολίτης μπορεί να ζητήσει την απόδειξη και ο θεσμός μπορεί να παραδώσει κάτι πιο συγκεκριμένο από μια παράγραφο.
Γι' αυτό το AION είναι υλικό ανοιχτού κώδικα και όχι ένα κλειστό πρόσθετο συμμόρφωσης. Η σελίδα αναφέρει Apache 2.0, τυπικές μορφές αποδείξεων και μια αρχική σελίδα έργου στο github.com/dweve-ai. Η επιχειρηματική αξία προκύπτει άμεσα από αυτό το άνοιγμα. Μια ομάδα μπορεί να αξιολογήσει πριν από μια εμπορική παρουσίαση. Μπορεί να υιοθετήσει χωρίς χρέωση ανά θέση για έλεγχο αποδείξεων. Μπορεί να διατηρήσει αρχεία που παραμένουν χρήσιμα ακόμη και αν αργότερα αποχωρήσει από τον προμηθευτή.
Το πιστοποιητικό μειώνει επίσης το ποσό εμπιστοσύνης που τοποθετείται στο αρχικό σύστημα. Η μηχανή που απάντησε δεν είναι η μόνη μηχανή στην ιστορία. Ένας ξεχωριστός επαληθευτής διαβάζει το πιστοποιητικό και εξετάζει κάθε συμπέρασμα σε σχέση με τις προϋποθέσεις του. Εάν η παραγωγή κλείσει, ο ελεγκτής αποδέχεται. Εάν δεν κλείσει, την απορρίπτει. Δεν χρειάζεται μια δεύτερη πράξη πειθούς.
Αυτή είναι μια διαφορετική εμπειρία χρήστη από τις περισσότερες εξηγήσεις τεχνητής νοημοσύνης. Το AION δεν λέει, "Να γιατί το μοντέλο πιθανώς το έκανε αυτό." Λέει, "Εδώ είναι το αντικείμενο απόδειξης. Ελέγξτε το." Η εργασία μετακινείται από την ερμηνεία στην επαλήθευση.
Η συμφωνία του ανοιχτού κώδικα
Ο ανοιχτός κώδικας συχνά πωλείται ως μια ευκολία για προγραμματιστές: επιθεωρήστε τον κώδικα, κάντε fork, στείλτε διορθώσεις. Το AION προσφέρει μια πιο επιχειρησιακή συμφωνία. Εάν η απόδειξη πρόκειται να καθορίσει αν ένας οργανισμός μπορεί να υπερασπιστεί μια απόφαση τεχνητής νοημοσύνης, ο μηχανισμός απόδειξης δεν μπορεί να είναι ένα μαύρο κουτί κρυμμένο πίσω από την ίδια σχέση προμηθευτή που παρήγαγε την απόφαση.
Το Apache 2.0 έχει σημασία εδώ επειδή καθιστά την υιοθέτηση συνηθισμένη. Μια ομάδα μπορεί να χρησιμοποιήσει την τεχνολογία εμπορικά χωρίς ειδική συμφωνία μόνο και μόνο για να διαβάσει τα δικά της αποδεικτικά στοιχεία. Οι τυπικές μορφές έχουν σημασία επειδή η απόδειξη δεν θα πρέπει να γίνει άχρηστη όταν ένας προμηθευτής αλλάξει στρατηγική. Ο έλεγχος εκτός σύνδεσης έχει σημασία επειδή ένα αρχείο ελέγχου που δημιουργείται σήμερα θα πρέπει να επαληθεύεται αργότερα, ακόμη και αν ένα δίκτυο, ένας λογαριασμός ή μια υπηρεσία έχει εξαφανιστεί.
Αυτό είναι το σημείο που οι ομάδες προμηθειών κατανοούν γρηγορότερα από ό,τι περιμένουν οι μηχανικοί. Το πρώτο ερώτημα δεν είναι πάντα αν ο επιλυτής είναι έξυπνος. Είναι αν τα αρχεία παραμένουν υπό τον έλεγχο του οργανισμού. Μπορούν τα αποδεικτικά στοιχεία να αποθηκευτούν σε ένα αρχείο; Μπορεί μια άλλη ομάδα να τα επανελέγξει κατά τη διάρκεια ενός ελέγχου; Μπορεί ο οργανισμός να αποχωρήσει χωρίς να χάσει το νόημα των παλαιών αποφάσεών του; Το AION είναι σχεδιασμένο έτσι ώστε η απάντηση να μπορεί να είναι ναι.
Γι' αυτό η απόδειξη πρέπει να είναι φορητή. Ο κώδικας είναι ανοιχτός, αλλά το βασικότερο σημείο είναι ότι τα αποδεικτικά στοιχεία δεν είναι παγιδευμένα. Το πιστοποιητικό δεν είναι ένα στιγμιότυπο οθόνης. Δεν είναι μια σελίδα εξήγησης που φιλοξενείται από τον προμηθευτή. Είναι ένα τεχνούργημα που διατηρεί τη χρησιμότητά του επειδή οι μορφές και η διαδρομή ελέγχου δεν ανήκουν σε ένα μόνο περιβάλλον εκτέλεσης.
Μέσα στην επιφάνεια απόδειξης
Το τεχνικό εσωτερικό του AION είναι σκόπιμα ακριβές. Η σελίδα αναφέρει έναν πυρήνα CDCL, πρόσθετα θεωρίας, ακριβή ρητή αριθμητική και έναν εκπομπό αποδείξεων. Το CDCL επιλέγει κλάδους. Οι συλλογιστικοί μηχανισμοί θεωρίας επεκτείνουν το μερικό μοντέλο. Ο εκπομπός αποδείξεων καταγράφει αναλύσεις και λήμματα. Το αποτέλεσμα εξάγεται ως LRAT, DRAT, Alethe ή μια ενοποιημένη ενδιάμεση μορφή.
Αυτά τα ονόματα μπορεί να ακούγονται σαν γλώσσα δωματίου επιλυτών, οπότε μεταφράστε τα σε συμπεριφορά συστήματος. Το σύστημα δεν λέει απλώς ότι το συμπέρασμα έπεται. Καταγράφει τη διαδρομή. Δεν ζητά από τον επαληθευτή να εμπιστευτεί ολόκληρο τον επιλυτή. Δίνει στον επαληθευτή μια μικρότερη δουλειά: να διαβάσει το πιστοποιητικό, να διατρέξει κάθε συμπέρασμα και να ελέγξει ότι τα βήματα κλείνουν έναντι των προϋποθέσεων.
Η κάλυψη θεωρίας είναι αρκετά ευρεία ώστε να έχει σημασία για πραγματικά συστήματα: προτασιακή λογική, ποσοδείκτες, γραμμική και μη γραμμική αριθμητική, διανύσματα bit, πίνακες, συμβολοσειρές, αριθμοί κινητής υποδιαστολής, χρονική λογική, πιθανοτικά προγράμματα και προγράμματα ταυτόχρονης εκτέλεσης. Οι συλλογιστικοί μηχανισμοί αριθμητικής, δεδομένων και κινητής υποδιαστολής βρίσκονται στον πυρήνα· οι θεωρίες προγραμμάτων βρίσκονται σε συνοδευτικά crates. Αυτός ο διαχωρισμός δεν είναι ένα σύνθημα. Είναι ο τρόπος με τον οποίο μια ενιαία επιφάνεια απόδειξης μπορεί να καλύψει αποφάσεις που αφορούν περισσότερα από ένα είδη συλλογισμού.
Η ακριβής ρητή αριθμητική είναι επίσης μια δήλωση σχεδιασμού. Αν μια απόδειξη πρόκειται να επανελεγχθεί αργότερα, δεν μπορεί να εξαρτάται από ένα ασαφές ατύχημα κινητής υποδιαστολής στον αριθμητικό πυρήνα. Το πιστοποιητικό πρέπει να συμπεριφέρεται σαν αποδεικτικό στοιχείο, όχι σαν μια προσέγγιση που αλλάζει χαρακτήρα όταν μετακινείται μεταξύ μηχανημάτων. Το υλικό πηγής είναι σαφές: καμία κινητή υποδιαστολή στον αριθμητικό πυρήνα.
Γιατί η γραμμή εντολών έχει σημασία για ένα διοικητικό συμβούλιο
Τα διοικητικά συμβούλια συνήθως δεν ενδιαφέρονται για εργαλεία γραμμής εντολών. Ενδιαφέρονται για τον κίνδυνο, το κόστος, την έξοδο και τον έλεγχο. Η επιφάνεια γραμμής εντολών του AION έχει σημασία επειδή συμπιέζει αυτές τις ανησυχίες σε μια επαναλήψιμη ενέργεια. Εκτελέστε τον έλεγχο. Λάβετε αποδοχή ή απόρριψη. Κάντε το χωρίς να ρωτήσετε τον προμηθευτή. Κάντε το χωρίς δίκτυο. Κάντε το στο υλικό που ελέγχετε.
Είναι εύκολο να το υποτιμήσει κανείς. Ένας πίνακας ελέγχου μπορεί να κάνει μια ομάδα να αισθάνεται ενημερωμένη, αλλά μια εντολή μπορεί να κάνει έναν έλεγχο επαναλήψιμο. Όταν τα αποδεικτικά στοιχεία μπορούν να ελεγχθούν από ένα κέλυφος ή μια εργασία CI, μπορούν να ενσωματωθούν στους συνήθεις ελέγχους του οργανισμού. Νέες αποφάσεις μπορούν να εκδίδουν πιστοποιητικά. Αποθηκευμένα αρχεία μπορούν να δειγματοληφθούν. Οι ανασκοπήσεις περιστατικών μπορούν να αναπαράγουν το ακριβές τεχνούργημα αντί να ανασυνθέτουν μια αφήγηση από την τηλεμετρία.
Το δυαδικό αρχείο αναφοράς ανήκει στην ίδια συζήτηση. Αν μια ομάδα χρειάζεται να μετρήσει το AION στο δικό της υλικό, μπορεί. Αυτό δεν δημιουργεί έναν ψεύτικο ισχυρισμό απόδοσης· το αποφεύγει. Η σελίδα δεν ζητά από τον αναγνώστη να πιστέψει έναν ατεκμηρίωτο αριθμό. Του δίνει έναν τρόπο να μετρήσει την υλοποίηση στο περιβάλλον που έχει σημασία.
Για ένα διοικητικό συμβούλιο, το ερώτημα γίνεται απλό: μπορούμε ακόμα να εξηγήσουμε τις αποφάσεις μας όταν η αρχική εφαρμογή έχει εξαφανιστεί, όταν μια ρυθμιστική αρχή ζητά τα αποδεικτικά στοιχεία ή όταν ένας πελάτης αμφισβητεί ένα αποτέλεσμα; Το AION μετατρέπει αυτό από μια συνάντηση σε μια επιχειρησιακή διαδικασία.
Πού τελειώνει το Ledger και πού αρχίζει το AION
Το Dweve έχει περισσότερες από μία επιφάνειες ανοιχτού κώδικα επειδή η λογοδοσία έχει περισσότερα από ένα σχήματα. Το Ledger καταγράφει τι συνέβη σε ένα σύστημα: γεγονότα, κατακερματισμούς, αλυσίδα φύλαξης. Το AION καταγράφει γιατί ακολούθησε ένα συμπέρασμα μέσα σε μια απόφαση. Και τα δύο είναι χρήσιμα. Δεν πρέπει να συγχέονται.
Σε μια ανασκόπηση περιστατικού, το Ledger μπορεί να βοηθήσει να διαπιστωθεί ότι έφτασε ένα αίτημα, ότι ήταν ενεργή μια έκδοση, ότι πραγματοποιήθηκε μια ενέργεια χειριστή ή ότι γράφτηκε ένα αρχείο. Το AION μπορεί να βοηθήσει να διαπιστωθεί ότι το βήμα συλλογιστικής από τις προϋποθέσεις στο συμπέρασμα ήταν έγκυρο. Αν αυτά αναμειχθούν, οι ομάδες καταλήγουν με πολύ λεπτομερή χρονοδιαγράμματα που και πάλι δεν αποδεικνύουν την απόφαση, ή με τεχνουργήματα απόδειξης που δεν λένε τίποτα για την περιβάλλουσα επιχειρησιακή αλυσίδα.
Το καθαρό όριο είναι καλός σχεδιασμός διεπαφής. Επιτρέπει σε κάθε επιφάνεια να κρίνεται από την ερώτηση στην οποία απαντά. Συνέβη αυτό το γεγονός; Αυτή είναι περιοχή του Ledger. Ακολούθησε αυτό το συμπέρασμα; Αυτή είναι περιοχή του AION. Εκτελέστηκε ο φόρτος εργασίας στο σωστό μέρος με το σωστό πρωτόγονο απορρήτου; Αυτό ανήκει στην υποδομή, δηλαδή στο Mesh, όχι στο AION.
Μια μέρα στην αίθουσα ελέγχου
Φανταστείτε τον έλεγχο ξανά, αλλά με το AION στη ροή από την αρχή. Ο οργανισμός δεν φέρνει μια παρουσίαση που εξηγεί πόσο προσεκτική είναι η ομάδα μηχανικών. Φέρνει μια απόφαση, ένα πιστοποιητικό και μια διαδικασία ελέγχου που μπορεί να αναπαραχθεί.
Ο ελεγκτής ρωτά αν το αρχείο εξαρτάται από το cloud του προμηθευτή. Όχι: ο έλεγχος γίνεται εκτός σύνδεσης. Ο ελεγκτής ρωτά αν απαιτείται ένα ειδικό εσωτερικό εργαλείο. Όχι: η απόδειξη χρησιμοποιεί τυπικές μορφές όπως LRAT, DRAT και Alethe, με μια ενοποιημένη ενδιάμεση μορφή πίσω τους. Ο ελεγκτής ρωτά αν ο αρχικός επιλυτής πρέπει να εκτελεστεί ξανά. Όχι: ο ελεγκτής επαληθεύει το πιστοποιητικό. Ο ελεγκτής ρωτά τι συμβαίνει αν ο οργανισμός αλλάξει αργότερα προμηθευτή. Το πιστοποιητικό παραμένει φορητό.
Η συζήτηση γίνεται πιο ήρεμη επειδή έχει λιγότερα μυστήρια. Η ομάδα μηχανικών μπορεί ακόμα να συζητήσει την αρχιτεκτονική. Ο ιδιοκτήτης της επιχείρησης μπορεί ακόμα να συζητήσει τον κίνδυνο. Αλλά το κεντρικό αποδεικτικό στοιχείο δεν είναι πλέον μια πειστική παράσταση. Είναι ένα αντικείμενο πάνω στο τραπέζι.
Αυτό δεν σημαίνει ότι εξαφανίζεται κάθε επιχειρηματικό ερώτημα. Ένα πιστοποιητικό αποδεικνύει ένα συγκεκριμένο πράγμα, όχι κάθε ηθική, νομική ή επιχειρησιακή ιδιότητα γύρω από την απόφαση. Το AION δεν είναι μαγεία. Δεν μετατρέπει μια κακή πολιτική σε καλή. Δεν αποφασίζει αν οι προϋποθέσεις ήταν δίκαιες. Αποδεικνύει την παραγωγή που καταγράφει. Αυτή η ειλικρίνεια είναι μέρος του λόγου που είναι χρήσιμο.
Η ήσυχη εμπειρία χρήστη χωρίς διαδίκτυο
Η επαλήθευση εκτός σύνδεσης ακούγεται σαν τεχνική λεπτομέρεια μέχρι τον πρώτο σοβαρό έλεγχο. Τότε γίνεται χαρακτηριστικό εμπειρίας χρήστη. Κανείς δεν χρειάζεται να ζητήσει προσωρινή πρόσβαση σε περιβάλλον προμηθευτή. Κανείς δεν χρειάζεται να ανοίξει εξαίρεση τείχους προστασίας για να ελεγχθούν τα αποδεικτικά στοιχεία. Κανείς δεν χρειάζεται να ελπίζει ότι μια συνδρομή είναι ακόμη ενεργή για ένα παλιό αρχείο.
Η εμπειρία χρήστη είναι ήσυχη επειδή ο ιδανικός έλεγχος απόδειξης είναι βαρετός. Το πιστοποιητικό είναι παρόν. Ο έλεγχος εκτελείται. Η απάντηση γίνεται αποδεκτή ή απορρίπτεται. Χωρίς τελετές. Χωρίς λογαριασμό. Χωρίς νέα εξάρτηση. Στη γλώσσα του καταναλωτή, είναι μια απόδειξη. Στη γλώσσα της μηχανικής, είναι ένα τεχνούργημα απόδειξης. Στη γλώσσα του ελέγχου, είναι αποδεικτικό στοιχείο που μπορεί να επανελεγχθεί.
Αυτό αλλάζει επίσης τον τρόπο που οι ομάδες σκέφτονται τα αρχεία. Ένα αρχείο απόφασης δεν είναι πλήρες αν αποθηκεύει μόνο το αποτέλεσμα και μια χρονική σήμανση. Για αποφάσεις που πρέπει να αντέξουν σε έλεγχο, η απόδειξη πρέπει να αποθηκεύεται δίπλα στην απάντηση. Αν η ροή εργασίας το καθιστά φυσικό, η συμμόρφωση εξαρτάται λιγότερο από ηρωική τεκμηρίωση εκ των υστέρων.
Η φράση "η απόδειξη συνοδεύει την απάντηση" είναι εύκολο να διαβαστεί ως μάρκετινγκ. Στην πράξη είναι κανόνας αποθήκευσης, κανόνας διαδικασίας και κανόνας σχεδιασμού. Η απάντηση από μόνη της δεν είναι το προϊόν. Η απάντηση μαζί με το επαληθεύσιμο πιστοποιητικό είναι.
Πώς αισθάνεται η υιοθέτηση
Η υιοθέτηση του AION έχει τρεις απλές διαδρομές στο υλικό πηγής: αξιολόγηση, μηχανική και συμμόρφωση. Αξιολόγηση σημαίνει διάβασε τον κώδικα και εκτέλεσε παραδείγματα αποδείξεων πριν από οποιαδήποτε συζήτηση. Μηχανική σημαίνει σύνδεσε τη βιβλιοθήκη ώστε τα υπάρχοντα συστήματα να εκπέμπουν επαληθεύσιμο πιστοποιητικό. Συμμόρφωση σημαίνει επανέλεγξε ένα αποθηκευμένο πιστοποιητικό εκτός σύνδεσης κατά τη διάρκεια του ελέγχου.
Αυτές οι διαδρομές είναι σκόπιμα διαφορετικές. Ένας μηχανικός ασφαλείας μπορεί να ξεκινήσει με τον έλεγχο. Ένας μηχανικός πλατφόρμας μπορεί να ξεκινήσει με το Rust crate. Ένας υπεύθυνος συμμόρφωσης μπορεί να ξεκινήσει με ένα αποθηκευμένο πιστοποιητικό και μια ερώτηση από τον έλεγχο. Οι καλές διαδρομές επιθεώρησης επιτρέπουν σε διαφορετικούς ρόλους να φτάσουν από τη δική τους πόρτα ενώ εξακολουθούν να αγγίζουν το ίδιο υποκείμενο αντικείμενο.
Η ιστορία υιοθέτησης δεν συνδέεται επίσης με ένα τελετουργικό πωλήσεων. Αυτό έχει σημασία επειδή η απόδειξη χρειάζεται θεσμική εμπιστοσύνη. Αν η πρώτη εμπειρία ενός συστήματος αποδείξεων είναι ένα σημείο συμφόρησης προμηθειών, το σύστημα μοιάζει ήδη με άλλη εξάρτηση. Αν η πρώτη εμπειρία είναι ένα πιστοποιητικό που μπορεί να ελεγχθεί, το σύστημα μοιάζει με εργαλείο.
Η στάση ανοιχτού κώδικα δεν αφαιρεί την ανάγκη για μηχανική κρίση. Οι ομάδες εξακολουθούν να πρέπει να αποφασίσουν πού εκπέμπονται τα πιστοποιητικά, πώς αποθηκεύονται, ποιες αποφάσεις τα απαιτούν και πώς τα αποτελέσματα επαλήθευσης γίνονται μέρος των ροών εργασίας έκδοσης και ελέγχου. Το AION κάνει αυτές τις αποφάσεις συγκεκριμένες αντί για ρητορικές.
Το μάθημα
Το μάθημα του AION είναι ότι η δυνατότητα ελέγχου δεν μπορεί να ζει μόνο στο παράρτημα. Αν τα αποδεικτικά στοιχεία είναι αρκετά σημαντικά για να παρουσιαστούν σε ρυθμιστική αρχή, ασθενή, πελάτη ή εσωτερικό αξιολογητή, είναι αρκετά σημαντικά για να αποτελούν μέρος του ίδιου του πακέτου απάντησης.
Αυτό το πακέτο δεν χρειάζεται να είναι θορυβώδες. Μπορεί να είναι μια εντολή, μια βιβλιοθήκη, ένα πιστοποιητικό, ένα αποθηκευμένο τεχνούργημα, ένας έλεγχος CI ή μια ήσυχη απόδειξη που εμφανίζεται σε έναν άνθρωπο. Αυτό που έχει σημασία είναι ότι μπορεί να ελεγχθεί από κάποιον άλλο εκτός από την αρχική μηχανή αποφάσεων. Αυτό που έχει σημασία είναι ότι επιβιώνει στη μετακίνηση μεταξύ εργαλείων και χρόνου. Αυτό που έχει σημασία είναι ότι ο οργανισμός δεν χρειάζεται να μετατρέψει την εμπιστοσύνη σε αποδεικτικά στοιχεία με το χέρι αφού η απόφαση έχει ήδη γίνει αμφιλεγόμενη.
Το AION είναι απόδειξη ανοιχτού κώδικα επειδή η απόδειξη πρέπει να ανήκει στους ανθρώπους που βασίζονται σε αυτήν. Είναι δυνατότητα ελέγχου επειδή τα αποδεικτικά στοιχεία μπορούν να αναπαραχθούν. Είναι επαληθεύσιμο επειδή η απόδειξη δεν είναι κρυμμένη πίσω από την απάντηση. Είναι το μέρος της απάντησης που επιτρέπει στην απάντηση να είναι αξιόπιστη.
Αυτός είναι ο χρήσιμος ισχυρισμός: όχι ότι κάθε απόφαση AI λύνεται μαγικά, αλλά ότι οι σημαντικές αποφάσεις αξίζουν μια ακριβή επιφάνεια όπου η εργασία είναι ορατή. Η μηχανή απαντά. Το AION την κάνει να δείχνει τη δουλειά της. Ο έλεγχος αποφασίζει αν αυτή η δουλειά αντέχει.