Zusammenfassung

  • RFC 9942 kann einen Kandidateneintrag mit einer signierten Merkle-Wurzel verbinden oder zwei beobachtete Wurzeln auf Konsistenz prüfen; die Vollständigkeit eines Logs folgt daraus nicht.
  • Schlüsselvertrauen, Wurzelbeobachtung, Gültigkeit, Sperrstatus und die Freigabe einer Handlung bleiben getrennte Belege.

RFC 9942 standardisiert COSE Receipts für Eigenschaften einer überprüfbaren Datenstruktur. Das Anfangsprofil RFC9162_SHA256 kennt Einschluss- und Konsistenzbeweise. Gerade ihre Begrenzung macht sie brauchbar.

Bei einem Einschlussbeweis wendet der Prüfer den Beweis auf die Bytes eines Kandidateneintrags an. Ergibt sich die erwartete Merkle-Wurzel, wird sie zur signierten COSE_Sign1-Nutzlast; anschließend wird die Signatur geprüft. Das bestätigt den Einschluss dieser Bytes in genau diesem Strukturzustand. Es bestätigt weder, dass jedes erforderliche Ereignis an das Log geliefert wurde, noch dass der Prüfer jede ausgegebene Wurzel gesehen hat.

Ein Konsistenzbeweis verknüpft eine alte und eine neue Baumgröße; die neuere Wurzel kann als abgetrennte Nutzlast vorliegen. RFC 9942 verlangt zuerst die Signaturprüfung und danach die Konsistenzprüfung unter Verwendung einer früheren Einschlussbeobachtung. Erfolg stützt die Append-only-Eigenschaft zwischen den zwei vorgelegten Zuständen. Er findet keinen verborgen gehaltenen Zweig, begründet keine Betreiberbefugnis und schafft keine vollständige Historie.

Eine gültige Signatur über einem ungültigen Beweis darf nicht als Erfolg gelten; die RFC empfiehlt daher ein gemeinsames boolesches Prüfergebnis. Dennoch bleiben Vertrauensanker und Zweck des Schlüssels, Beschaffung der Wurzeln, Gültigkeitsfenster, Aussetzung und die Entscheidung des Relying Party außerhalb des Belegs. Gültigkeit und Status überlässt die RFC Profilen; Loglänge und Header können zudem Informationen offenlegen.

Cédric Fournet ist einer von vier genannten Autoren. Sein öffentliches Microsoft-Research-Profil belegt Identität und beruflichen Kontext, nicht den Betrieb oder die Redlichkeit eines bestimmten Logs.

Sources