Ein Zero-Knowledge-Beweis bedeutet normalerweise, dass jemand einen sehr spezifischen Schaltkreis für genau eine sehr spezifische Sache gebaut hat. Ein Beweis dafür, dass ein Guthaben über einer Zahl liegt. Ein Beweis dafür, dass eine Abstimmung korrekt ausgezählt wurde. Eine einzige eng umrissene Aufgabe, ein maßgeschneiderter Schaltkreis nur dafür – und wenn du etwas anderes beweisen willst, fängst du im Grunde von vorn an.
Newtons Streitsystem funktioniert nicht so, und es hat mich eine Minute gekostet, um tatsächlich zu verstehen, warum. Statt für jede Person, die eine Richtlinie schreibt, einen neuen Schaltkreis zu bauen, haben sie die gesamte Rego-Policy-Engine übernommen – den eigentlichen Interpreter, der Compliance-Regeln ausführt – und das Ganze in eine allgemeine, zweckfreie zkvm (Zero-Knowledge Virtual Machine) kompiliert. Jede in Rego geschriebene Policy, wie z. B. eine Sanktionsprüfung, eine Geschwindigkeitsbegrenzung oder eine mehrstufige Regel zur Anspruchsberechtigung, egal was es ist, wird dadurch automatisch beweisbar. Keine neue Schaltkreisarbeit pro Policy erforderlich. Nicht jede einzelne Regel wurde beweisbar gemacht, sondern die Engine selbst.