Event Ledger for AI Tools | Dweve Ledger

Rust ledger for AI tool interactions with BLAKE3 hash chaining and integrity checks. Apache 2.0 terms; publishing in the second release round.

Διακυβέρνηση γνώσης που χρησιμοποιεί το Ledger ως ραχοκοκαλιά ελέγχου.

Ανάλυση πηγής σε δέντρα με κόμβους με βάση το περιεχόμενο.

Αρχεία καταγραφής εκτέλεσης μέσα σε sandbox. Το Ledger καταγράφει τι συνέβη· το Selvedge καταγράφει πώς εκτελέστηκε.

Πιστοποιητικά βημάτων συλλογισμού μέσα σε μία απόφαση, όχι προέλευση συμβάντων σε ένα σύστημα.

Το Ledger δημοσιεύεται στον δεύτερο γύρο του προγράμματος θεμελιώδους κυκλοφορίας του Dweve· μόλις γίνει αυτό, κατευθύνετε το build στον χώρο αποθήκευσης και επιθεωρήστε το πρώτο append, τον έλεγχο κατακερματισμού και την αναπαραγωγή σε μία τοπική εκτέλεση.

Κάθε συμβάν. Με αλυσίδα κατακερματισμού. Με δυνατότητα ερωτημάτων.

Αρχέτυπα ακεραιότητας με ένδειξη παραβίασης

Καταγεγραμμένο αρχείο συμβάντων με αλυσίδα κατακερματισμού

Το Ledger διατίθεται ως Rust crate, C ABI, διεργασία sidecar και δυαδικό αρχείο υπηρεσίας. Το μοτίβο sidecar είναι η πιο κοινή ανάπτυξη σε παραγωγή. Η ίδια μορφή συμβάντων ρέει σε κάθε παραλλαγή.

Επιλέξτε ανάλογα με την κλίμακα και τις ανάγκες ελέγχου

Μνήμη για δοκιμές. JSONL για φορητότητα. SQLite για ενσωματωμένη χρήση. Postgres για ισχύ ερωτημάτων. S3 για αρχειοθέτηση. Το σχήμα καταγραφής και η αλυσίδα κατακερματισμού είναι πανομοιότυπα και στα πέντε. Η μετάβαση μεταξύ επιπέδων είναι αντιγραφή, όχι επανακωδικοποίηση.

Συναίνεση, DPIA, διαγραφή, δικαιώματα υποκειμένου.

Συνεδρία και αναπαραγωγή, συν σημείο ελέγχου.

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

Τα μεγέθη είναι στιγμιότυπο από το παρεχόμενο Ledger source για σημείο αναφοράς στη μνήμη, όχι δημοσιευμένο SLA. Εκτελέστε το συμπεριλαμβανόμενο harness πριν από τη διαστασιολόγηση ενός φόρτου εργασίας.

Στιγμιότυπο, 100 συμβάντα, ακεραιότητα BLAKE3.

Στιγμιότυπο στη μνήμη, ledger_append_event.

Τυποποιημένα, με αλυσίδα κατακερματισμού και ερωτήσιμα.

Μεταβείτε σε μια χρονική στιγμή, ανακατασκευάστε την κατάσταση.

Οι αγκυρώσεις εμπιστοσύνης σφραγίζουν ένα τμήμα.

Κάθε εγγραφή ενσωματώνει τον προηγούμενο κατακερματισμό.

Μία από τις 23 τυποποιημένες παραλλαγές προστίθεται στο τέλος.

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

Η αλυσίδα κατακερματισμού είναι απόδειξη

Δεν είναι δυνατή η ανακατασκευή της κατάστασης μόνο από το αρχείο καταγραφής.

Τα ρολόγια πολλαπλών διεργασιών αποκλίνουν. Δεν υπάρχει κανονική σειρά.

Περικοπή στο τέλος, περιστροφή καταγραφών, εύκολη αλλοίωση.

Ελεύθερο κείμενο, μόνο grep, διφορούμενα πεδία.

Τα περισσότερα συστήματα AI γράφουν μη δομημένα αρχεία καταγραφής κειμένου που κανείς δεν μπορεί να αναπαράγει. Οι πίνακες ελέγχου SIEM συνοψίζουν, αλλά δεν μπορούν να ανακατασκευάσουν μια απόφαση. Οι ελεγκτές μένουν με πεζογραφία.

Τα αρχεία καταγραφής δεν μπορούν να αναπαράγουν ένα σύστημα

Κανένας μεσίτης ή υπηρεσία συμβάντων με φιλοξενία.

Γραμμική διέλευση, χωρίς εξάρτηση από επιλυτή.

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

Αποκομμένο από το διαδίκτυο, για τα πιο ευαίσθητα αρχεία.

Μια περιοχή cloud συνδεδεμένη σε ευρωπαϊκή χώρα, υπό ευρωπαϊκούς κανόνες.

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

Ιδιότητες έργου και υποστηριζόμενες λειτουργίες ανάπτυξης· όχι δήλωση επιπέδου υπηρεσίας ή χωρητικότητας.

Δεν απαιτείται τίποτα για προσάρτηση, επαλήθευση ή αναπαραγωγή.

Μία αλυσίδα σε κάθε υποστηριζόμενο backend.

Προσάρτηση · κατακερματισμός · αναπαραγωγή

Μια εγγραφή σχεδιασμένη να μετακινείται με το σύστημα

Λίστα υλικών λογισμικού και διαπίστευση, καταγεγραμμένα.

Αιτηθέν, εγκριθέν ή απορριφθέν, καταγεγραμμένο με σειρά.

Ένα περιστατικό AI καταγράφεται τη στιγμή που ανιχνεύεται.

Συναίνεση, DPIA, διαγραφή και δικαιώματα υποκειμένου, το καθένα ως τυποποιημένο γεγονός.

Αναπαράγετε οποιοδήποτε χρονικό διάστημα απευθείας από τα καταγεγραμμένα γεγονότα.

Κατάσταση που δεν μπορείτε να ανακατασκευάσετε

Τα γεγονότα έγκρισης διατηρούν τον φορέα, το πεδίο και το αποτέλεσμα μαζί.

Οι σύνδεσμοι κατακερματισμού καθιστούν ορατή κάθε διαγραφή, αναδιάταξη ή τροποποίηση.

Μία τυποποιημένη εγγραφή αντικαθιστά τις ιατροδικαστικές συνενώσεις σε μερικά αρχεία καταγραφής.

Διατηρήστε το ίδιο σχήμα γεγονότων στη μνήμη, σε SQLite, Postgres, S3 ή στο backend σας.

Ανακατασκευάστε την κατάσταση από τα γεγονότα αντί να εμπιστεύεστε ένα στιγμιότυπο.

Αναπαράγετε οποιοδήποτε χρονικό διάστημα

Κάθε καταχώρηση επεκτείνει την αλυσίδα, οπότε οι αθόρυβες αλλαγές αποτυγχάνουν στην επαλήθευση.

Νέα γεγονότα προστίθενται χωρίς να ξαναγράφεται η προηγούμενη ιστορία.

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

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

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

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

Η εγγραφή και η απλή μορφή της ανήκουν σε εσένα, για να τη διαβάσεις όποτε θέλεις.

Μένει δίπλα στο σύστημα που θυμάται, χωρίς άλλο λογαριασμό ή πίνακα ελέγχου στη μέση.

Μπορεί να βρίσκεται σε έναν υπολογιστή στο δικό σου κτίριο, όχι σε έναν ξένο μακριά.

Μπορεί να μείνει σε έναν υπολογιστή στο δικό σου κτίριο, κοντά στο σπίτι.

Λέει την ίδια ακριβώς ιστορία σε κάθε υπολογιστή, κάθε φορά.

Μπορείς να το διαβάσεις από οποιαδήποτε στιγμή, σαν να γυρίζεις πίσω ένα οικιακό βίντεο.

Κάθε γραμμή είναι σφραγισμένη με την προηγούμενη, οπότε μια ήσυχη αλλαγή φαίνεται.

Αναρωτιέσαι αργότερα τι συνέβη ή πότε; Είναι γραμμένο για εσένα.

Διάβασέ το σε οποιονδήποτε υπολογιστή και παίρνεις την ίδια ακριβώς ιστορία.

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

Όταν το AI κάνει οτιδήποτε, μια νέα γραμμή σημειώνεται.

Λειτουργεί παράλληλα με το σύστημα που θυμάται.

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

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

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

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

Εντός εγκατάστασης, EU cloud, απομονωμένο

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