Ich dachte immer, die gefährliche Zeile im Newton-Protokoll war:
allow = true
Sauber.
Final wirkend.
Einfach zu screenshotten.
Aber der frühere Fehler passiert, bevor Rego eine Antwort zurückgibt.
Es passiert, wenn das System entscheidet, was „die Welt“ für diese Transaktion bedeutet.
Ein Transaktionsintention kommt rein. Noch nicht im festgelegten Zustand. Nur eine Aktion, die versucht, real zu werden.
Betrag.
Begünstigter.
Funktionsaufruf.
Kette.
Policy-ID.
Vielleicht eine Sanktionsprüfung.
Vielleicht eine Risikobewertung.
Vielleicht ein KI-Agent, der Gelder unter einem Mandat bewegt.
Zuerst klingt das einfach.
Prüfe die Regel.
Genehmigen oder ablehnen.
Aber Newton fragt nicht nur eine Regel, eine Transaktion zu lesen.
Es fordert ein verteiltes Operatorennetzwerk auf, sich auf die Eingaben zu einigen, die die Regel lesen darf.
Das ist die Oberfläche, die die meisten überspringen.
Das PolicyData-Oracle ist keine Deko. Der WASM-Datenanbieter ist keine Hintergrundverkabelung. Die Prepare-Phase ist nicht „nur das Abrufen von Daten“.
Dort, wo die Off-Chain-Realität in eine Form gezogen wird, die die Policy bewerten kann.
Operatoren holen externe Daten über sandboxiertes WASM.
Sanktionsdaten.
Risikowerte.
Oracle-Werte.
Marktzustand.
Und weil die Welt chaotisch ist, sehen verschiedene Operatoren möglicherweise nicht denselben Wert in derselben Sekunde.
Eine API antwortet langsamer.
Ein Feed wird aktualisiert.
Ein Operator fängt frischere Daten ab.
Eine Route sieht einen älteren Zustand genau lange genug, um von Bedeutung zu sein.
Noch ist nichts fehlgeschlagen.
Das ist der unbequeme Teil.
Im Streaming-Consensus-Flow von Newton werden Beobachtungen in Richtung kanonisierten Task-Daten geschoben. Numerische Felder können um einen Median normalisiert werden. Ausreißer können mit Toleranz verworfen werden. Dann evaluieren Operatoren Rego gegen diese vereinbarten Daten und signieren das Ergebnis mit BLS-Schlüsseln.
Elegant.
Auch gefährlich, es zu genau zu überlesen.
Denn sobald die BLS-Atestation erscheint, fühlt sich der Bildschirm schwerer an.
Ein Quorum ist angekommen.
Signatur aggregiert.
Smart Contract kann verifizieren.
Der Beleg kann geprüft werden.
Die Entscheidung fühlt sich jetzt so an, als trüge sie das Gewicht des Netzwerks.
Und doch tut es das.
Aber nur für das, worauf das Netzwerk tatsächlich sich geeinigt hat.
Ein BLS-Quorum bedeutet nicht, dass jede mögliche Marktversion verstanden wurde. Es heißt nicht, dass der Datenfeed endgültig „wahr“ war. Es heißt nicht, dass die Route außerhalb der Sicht der Policy sicher war.
Es bedeutet, dass genug Operatoren die gleiche Bewertung über die gleichen kanonisierten Task-Daten signiert haben.
Mächtig.
Kein Magie.
Der menschliche Fehler ist, kanonische Daten als vollständige Realität zu behandeln.
Netturons stärkere Form ist nicht „Vertraue unserer API.“
Es ist:
Hier ist die Absicht.
Hier ist die Policy.
Hier ist der Datenpfad.
Hier ist die Atestation.
Hier ist der Vertragspozunkt der Verifikation.
Das ist eine bessere Form für die Autorisierung.
Aber es schafft eine neue Verantwortung.
Du kannst den Beleg nicht wie ein Wiegenlied lesen.
Du musst es wie eine Grenzkarte lesen.
Welche PolicyData-Einträge wurden verwendet?
Welcher WASM-Provider hat die Eingaben geformt?
Waren die Werte frisch genug?
Welche Felder wurden median-normalisiert?
Was hat die @NewtonProtocol Rego-Regel eigentlich wirklich abgefragt?
Was hat es nie abgefragt?
Weil die Policy lesbar sein kann und trotzdem die falsche Welt bewertet.
Nicht falsch, weil Newton gelogen hat.
Falsch, weil sich die Welt außerhalb des Rahmens bewegt hat.
Ein Sanktionen-Check kann bestanden haben, während ein anderes Risikosignal nie Teil der Regel war. Ein Spend-Limit kann bestehen, während ein anderer Agent das Budget irgendwo anders bereits verbraucht hat. Ein Vault-Limit kann bestehen, während sich die Exposition nach dem Fetch geändert hat.
Die Regel ist durchgegangen.
Der Beleg ist durchgegangen.
Der Vertrag hat verifiziert, was er verifizieren sollte.
Und dennoch muss der Operator fragen:
War das die Welt, die ich autorisieren wollte?
Das ist die Hochdruck-Newton-Oberfläche.
Keine Policy als Code.
Nicht BLS-Signaturen als Deko.
Nicht Compliance als Banner.
Newton macht die Autorisierung zu einem verifizierbaren Ereignis, bevor sie ausgeführt wird.
Aber sobald die Verifikation sichtbar wird, könnten Menschen aufhören zu fragen, was die Verifikation nicht mit einschloss.
Der Reviewer entspannt.
Das Frontend wird grün.
Der Agent macht weiter.
Ein grünes Ergebnis ist nützlich.
Ein signiertes Ergebnis ist stärker.
Ein quorumbestütztes Ergebnis ist schwerer zu ignorieren.
Aber keines von ihnen soll die nächste Frage stehlen.
Was genau wurde als wahr genug anerkannt, um zu unterschreiben?
Newton nimmt diese Frage nicht weg.
Es macht die Frage unmöglich zu verstecken.