Nachweise für Fremde

Wie Aufzeichnungen weitere Leserkreise erreichen, eine Stufe nach der anderen

Der vorige Brief handelte davon, wo der Beobachter steht. Dieser handelt davon, was der Beobachter liest. Ein Beobachter kann nur so weit außerhalb eines Systems stehen, wie es die Aufzeichnungen des Systems zulassen, denn Verifikation arbeitet an Aufzeichnungen. Wenn Aufzeichnungen eine Prüfung von außen tragen, werden Beobachter von außen möglich. Dieser Brief beschreibt, wie Aufzeichnungen weitere Leserkreise erreichen, eine Stufe nach der anderen.

Das Handelsregister

1861 verabschiedeten die deutschen Staaten ein gemeinsames Handelsrecht, das Allgemeine Deutsche Handelsgesetzbuch. Es begründete das Handelsregister, ein öffentliches Verzeichnis der Kaufleute. Das Register erlaubte es einem Fremden, eine Firma zu prüfen, bevor er mit ihr Geschäfte machte: Man las den Eintrag beim Gericht, und die Existenz der Firma und ihre Zeichnungsbefugnis waren feststehende Tatsachen statt Behauptungen. Kredit konnte an Firmen gehen, die der Kreditgeber nie gesehen hatte, weil die Tatsachen überprüfbar waren. Die Weberei, die diesem Haus ihren Namen leiht, wurde ein Jahr später gegründet.

Drei Stufen des Nachweises

Das Register veranschaulicht drei Stufen von Nachweisen, und jede Stufe bedient einen anderen Leser. Vom Betreiber behauptete Nachweise bedienen den Betreiber: Interne Logs beantworten interne Fragen, und innerhalb einer einzelnen Organisation reicht das oft aus. Von den Beteiligten prüfbare Nachweise bedienen die Parteien einer Interaktion: Jede Seite hält genug Material, um die gemeinsame Historie zu bestätigen, sodass Zusammenarbeit nicht allein auf Vertrauen beruht. Von Fremden prüfbare Nachweise bedienen Leser, die nie Teil der Interaktion waren: Ein Wirtschaftsprüfer oder ein Beschaffungsprüfer kann die Aufzeichnung aus dem Artefakt und einem öffentlichen Anker bestätigen, ohne Zugang zu den Systemen des Betreibers. RFC 9334 formalisiert diese Rollen für moderne Attestierung. Artikel 12 der EU-KI-Verordnung verlangt Aufzeichnungen von Systemen, die sich nicht wiederholen lassen, denn wenn eine Entscheidung nur im Moment ihrer Wirkung existiert, ist die Aufzeichnung dieses Moments der Nachweis, der bleibt.

Die Schleife aus dem vorigen Brief und diese Stufenleiter passen zusammen. Die Schleife benennt die Phasen des Handelns unter Herausforderung. Die Stufenleiter beschreibt, wer das Material dieser Herausforderung lesen kann. Jede Stufe erweitert den Kreis möglicher Leser, vom Betreiber zu den Beteiligten und weiter zu jedermann.

Die zweite Stufe

Das Auditlog von Wirken ist für die zweite Stufe gebaut. Das Tor vollzieht den Commit einer Aktion, und die Festlegung landet in einem Append-only-Log. Die Einträge sind über SHA-256 verkettet, und der Kettenkopf trägt eine Ed25519-Signatur. Wer die Kette und den öffentlichen Schlüssel des Betreibers hat, kann bestätigen, dass die Historie vollständig und unverändert ist, weil jeder Eintrag sich auf alles Vorherige festlegt. Eine Gegenpartei kann die gemeinsame Aufzeichnung prüfen. Was die Kette allein nicht leisten kann, ist Geltung gegenüber einem Fremden: Wer außerhalb der Interaktion steht, hat keine Möglichkeit, die Kette zeitlich einzuordnen oder zu wissen, dass es die Fassung ist, die auch andere gesehen haben. Das ist kein Mangel der Kette. Es ist die Grenze dieser Stufe.

Die dritte Stufe

Die dritte Stufe fügt einen externen Anker hinzu, und die Standards für diesen Anker wurden in diesem Jahr fertiggestellt. Die SCITT-Architektur ist RFC 9943. COSE Receipts wurden im Juni zu RFC 9942, der Hash-Envelope im Juli zu RFC 9995. Zusammen definieren sie einen Transparenzdienst: ein öffentliches Append-only-Log, das eine signierte Aussage entgegennimmt und einen Beleg zurückgibt, der die Aufnahme beweist. Ein Betreiber registriert einen Kettenkopf und bewahrt den Beleg auf. Ein Fremder prüft den Beleg gegen die öffentlichen Schlüssel des Dienstes und erfährt, dass der Kettenkopf in dieser Form zum Zeitpunkt der Registrierung existiert hat. Der Hash-Envelope hält die Aufzeichnungen im Haus: Der Anker hält einen Digest, und die Aufzeichnungen selbst verlassen den Betreiber nie. Der Beleg reist, die Daten nicht.

Das Verfahren funktioniert bereits über Organisationsgrenzen hinweg. Auf der IETF 126 in Wien haben sieben unabhängige Parteien Aufzeichnungen von Agentenaktionen durch dieses Substrat laufen lassen und über vier Codebasen hinweg byteweise Übereinstimmung erreicht. Jede Partei hat die Aufzeichnungen der anderen geprüft, allein anhand öffentlicher Artefakte. Ihre Arbeitsnotizen enthalten eine nützliche Lehre für alle, die darauf aufbauen. Zweimal an einem Tag hat sich ein festgelegtes Artefakt unter seinem Namen verändert, einmal als neu erzeugtes Bündel unter unverändertem Dateinamen und einmal als force-gepushter Commit unter einer festgelegten SHA. Erneutes Hashen hat beides aufgedeckt. Verifikation beruht auf Digests, nicht auf Namen.

Die Verankerung passt zum Aufbau von Wirken, weil sie Nachweis-Export ist, und Nachweis-Export funktioniert über Vermittlung. Wirken erweitert sich durch Vermittlung statt durch das Beherbergen fremden Codes, und die Verankerung folgt derselben Form. Der Transparenzdienst steuert keinen Code bei und liegt außerhalb des Vermittlungspfads. Fällt der Dienst aus, läuft das Gateway unverändert weiter. Der Anker hebt die Stufe des Nachweises und rührt sonst nichts an.

Was ein Beleg sagt

Es lohnt sich, genau zu sein, was ein Beleg seinem Leser sagt. Eine prüfbare Aufzeichnung stellt fest, was geschehen ist: welche Aktion, in welcher Reihenfolge, unter welcher Autorisierung. Sie stellt nicht fest, dass die Entscheidung hinter der Aktion eine gute war. Eine auf regulierte Branchen spezialisierte Beratung hat kürzlich elf Wohlverhaltenspflichten der britischen Finanzaufsicht auf verankerte Agentenaufzeichnungen abgebildet, und die Trennung war sauber. Die tatsachenbezogenen Pflichten waren für die Aufsicht allein aus den Artefakten prüfbar, die Qualitätsurteile blieben bei der Aufsicht. Kryptografie trägt Tatsachen die Stufenleiter hinauf. Das Urteil bleibt bei Menschen. Ein Leser, der den Unterschied kennt, kann jeden Nachweisanspruch nach seinem Gehalt beurteilen.

Das Handelsregister hat Privates und Öffentliches sauber getrennt. Die Bücher blieben privat, die Tatsachen, die ein Fremder brauchte, wurden öffentlich, und auf dieser Grundlage wuchs der Handel. Dieselbe Trennung steht nun der Agenten-Infrastruktur zur Verfügung.

MIT-lizenziert.

github.com/gebruder/wirken