Beide Listen an einem Ort
Was die Bytes garantieren, und was nicht.
Acht Dinge garantieren die Bytes bei jeder Frage. Zehn weitere sind bewusst ausgelassen, und sie stehen auf derselben Seite, denn ein Versprechen ist nur so viel wert, wie seine Grenzen sagen.
Was die Bytes garantieren.
Jede ist eine Eigenschaft der Bytes, bei jeder Frage.
Authentizität
Jede Frage und jede Antwort wird signiert und gegen die Bytes geprüft, wie sie ankommen. Eine Antwort wird über den Deckel ihrer Frage signiert, sodass sie diese Frage beantwortet und keine andere.
Festgelegt in The signature
Vertraulichkeit
Jede Frage wird unter einem frischen Schlüssel an das Vorhängeschloss des ward versiegelt, jede Antwort allein an diesen Schlüssel. Methode, Argumente, Antwort und der Name des heir reisen in der Box.
Festgelegt in Sealing
Ein gestohlener Seed allein öffnet die Fragen keiner Beziehung
Der Körper einer Frage ist unter der Vereinbarung und dem Kantenschlüssel versiegelt, unter dem sie kam, und nichts leitet einen Kantenschlüssel aus dem Seed ab. Ein Dieb dessen, was die Tür aufbewahrt, ist etwas anderes: Er öffnet Fragen unter den Schlüsseln, die dieser Zustand hält, den offenen und den angebotenen Kantenschlüsseln und allen, die bei einer Entfernung behalten wurden. Ein Schlüssel, der nach einer Bewegung weder offen noch angeboten ist, wird vergessen, sodass das, was eine Tür aufbewahrt, nur so weit zurückreicht wie ihre aktuellen Schlüssel.
Festgelegt in The edge key
Eine gebrochene Kurve öffnet die Fragen einer Beziehung nicht
Ihre Kantenschlüssel stammen von ML-KEM-768 ab. Antworten werden allein unter X25519 versiegelt, also öffnet eine gebrochene Kurve aufgezeichnete Antworten. Fragen auf dem Null-Kopf werden unter dem Null-Kantenschlüssel versiegelt, zweiunddreißig Nullbytes, die jeder schreiben kann, also öffnet eine gebrochene Kurve auch deren Körper.
Festgelegt in The edge key
Keine Wiederholung
Eine Nummer, die eine Tür auf einer Beziehung honoriert hat, wird nie ein zweites Mal honoriert. Welche Nummern unterhalb der höchsten sie noch honoriert, ist ihre eigene Sache, also entscheidet eine Tür selbst, wie viel Umordnung sie annimmt, und nichts, was sie annimmt, ist ein zweites Honorieren.
Festgelegt in The count
Eigentum, sobald die Tür beim Klopfen wählt
Sobald eine Tür beim Klopfen eine Wahl trifft, gehört die Beziehung dem Schlüssel, den der Klopfende erzeugt hat; niemand, der die Einladung gesehen hat, auch der Einladende nicht, kann auf ihr sprechen. Bis dahin wird dem Kanal vertraut, der die Einladung getragen hat.
Festgelegt in What a knock binds
Widerruf
Eine Tür darf die Schlüssel einer Beziehung behalten, die sie nicht mehr hält, und wie lange, ist ihre Sache. Solange sie sie behält, hört der Inhaber removed und erfährt, dass die Beziehung endete. Danach hört dieser Inhaber silence wie alle anderen, und niemand sonst hört je etwas anderes.
Festgelegt in The keys of a relation
Kein Orakel
Der Fall jedes Fremden ist ein Antworttext einer einzigen Länge, versiegelt und signiert, sodass die Bytes nichts unterscheiden. Die Zeit ist Sache eines Kits, und die Spec setzt keine Zeit auf die Leitung. Ein Carrier darf dennoch sagen, dass unter einem pk kein ward steht.
Festgelegt in What a door tells apart
Was sie bewusst nicht garantieren.
Jedes davon ist absichtlich einem Kit, einem Carrier oder der Welt draußen überlassen.
Ein gestohlener Seed
Wer den Seed eines ward und das, was seine Tür aufbewahrt, hält, ist dieser ward.
Festgelegt in The ward key
Ein erratener Seed
Ein Text-Seed wird einmal gehasht, und der ward pk ist öffentlich. Wer den Text errät, stellt den ward, sodass ein Text-Seed so stark ist wie sein Text und nicht stärker. Zweiunddreißig gezogene Bytes sind der Seed, den niemand errät.
Festgelegt in The ward key
Eine Beziehung nach verlorenen Schlüsseln
Eine Tür lässt zwei Signaturschlüssel zu und nimmt zwei Kantenschlüssel, sodass die beiden Enden eine Bewegung auseinander stehen dürfen. Ein Fragender, der sich weiter bewegt als seine Tür, hat in den Bytes keinen Weg zurück, und was er von den Schlüsseln behält, von denen er sich wegbewegt hat, ist Sache eines Kits.
Festgelegt in The move
Einen ward aufbewahren
Speicherung, Sicherung und Kopien sind Sache eines Kits. Eine Tür, die auf einen früheren Moment zurückgesetzt wird, oder zwei Kopien, die auseinander schreiben, brechen die Beziehungen, auf denen sie abweichen.
Der Null-Kopf und jeder Kopf
Beide werden allein an das Vorhängeschloss versiegelt, also erfährt ein späterer Diebstahl oder eine gebrochene Kurve, welchen heir eine aufgezeichnete Frage nannte, nie, was sie sagte.
Festgelegt in The zero head
Signaturen nach einer gebrochenen Kurve
Allein Ed25519: Fälschung von da an, nie in der Vergangenheit.
Festgelegt in The signature
Last und Timing
Wer einen ward-pk kennt, kann dessen Tür arbeiten lassen, und eine Tür gleicht Bytes an, nicht Zeit.
Auffindung, Identität und ein Verzeichnis
Außerhalb von Quo.