Wenn du dich damit beschäftigt hast, wie das Newton Protocol Krypto-Transaktionen prüft und genehmigt, bist du wahrscheinlich auf zwei Namen gestoßen: SP1 und RISC0. Beide sind zkVMs, also Zero-Knowledge-Virtual Machines. Newton nutzt beide, und jede übernimmt eine andere Aufgabe. Lass es uns in einfachen Worten aufschlüsseln.

Was Newton zu lösen versucht

Newton ist eine Policy-Engine. Das heißt: Sie prüft Transaktionen anhand von Regeln, bevor diese durchgeführt werden. Denk an Ausgabenlimits, Sanktionsprüfungen oder Betrugserkennung. Das Newton Protocol ist eine dezentrale Policy-Engine zur Autorisierung von Onchain-Transaktionen, die als EigenLayer-AVS aufgebaut ist. Sie setzt Ausgabenlimits, Sanktions-Screenings, Betrugsprävention und Compliance-Regeln in Smart Contracts durch. (Docs) Der knifflige Teil ist, all das zu tun, ohne private Daten auf einer öffentlichen Blockchain offenzulegen. Genau dafür kommen zkVMs zum Einsatz.

SP1: Die Privacy-Engine

Newtons Richtlinien werden normalerweise in Rego geschrieben, einer einfachen Regel-Sprache. Diese Richtlinien werden entweder als Onchain-Newton-Open-Policy-Agent-DSL mit Rego ausgeführt oder als privacy-erhaltende SP1-zkVM-Programme für verifizierbare Auswertung. (Magic Newton) Kurz gesagt: SP1 ermöglicht es Newton, eine Richtlinienprüfung auszuführen und zu beweisen, dass das Ergebnis korrekt war – ohne die Rohdaten offenzulegen, die in die Prüfung eingeflossen sind.

Warum ist das relevant? Angenommen, eine Richtlinie muss prüfen, ob ein Nutzer auf einer Sanktionsliste steht. Niemand möchte diese sensiblen Daten in einer öffentlichen Kette veröffentlichen, damit sie jeder sehen kann. SP1 löst das, indem es der Richtlinie erlaubt, innerhalb der zkVM zu laufen. Die Kette sieht nur einen Beweis, der sagt: „Ja, das hat die Prüfung bestanden“, nicht die eigentlichen Daten dahinter.

SP1 passt auch gut in Newtons Tech-Stack, da es für das Beweisen von Rust-Programmen gebaut ist, und Newtons Operatoren brauchen bereits schnelles, flexibles Beweisen, um Transaktionen ohne lange Verzögerungen in Bewegung zu halten.

RISC0: Agents beweisen

Das zweite Element ist RISC Zero, oft abgekürzt zu RISC0. Diese Komponente spielt eine etwas andere Rolle. RISC Zero erzeugt ZK-Beweise für Newton, eine Plattform, die darauf fokussiert ist, die Crypto-UX mit verifizierbaren KI-Agenten zu verbessern. Jeder Agent läuft in einer Trusted-Execution-Umgebung; RISC Zero erzeugt die Beweise, und der Beweis wird onchain gepostet, sodass jeder die Aktionen des Agenten prüfen kann. (X)

Das ist sehr wichtig, weil KI-Agenten anfangen, im Namen der Nutzer Trades auszuführen und Gelder zu bewegen. Du willst den Beweis, dass der Agent das getan hat, was er sollte – und nichts weiter. RISC0 gibt Newton eine Möglichkeit, aus „Vertraue mir“ „Hier ist die Mathematik, die es beweist“ zu machen. Das ist ein großer Unterschied, wenn Bots und automatisierte Systeme echtes Geld verwalten. @NewtonProtocol #newt $NEWT