Las dos listas, en un mismo sitio
Qué garantizan los bytes, y qué no.
Ocho cosas garantizan los bytes en cada petición. Otras diez quedan fuera a propósito, y están en la misma página, porque una promesa vale solo lo que dicen sus límites.
Qué garantizan los bytes.
Cada una es una propiedad de los bytes, en cada petición.
Autenticidad
Cada petición y cada respuesta se firma y se comprueba contra los bytes tal como se recibieron. Una respuesta se firma sobre la tapa de su petición, así que responde a esa petición y a ninguna otra.
Enunciado en The signature
Confidencialidad
Cada petición se sella para el candado del ward bajo una clave nueva, cada respuesta solo para esa clave. El método, los argumentos, la respuesta y el nombre del heir viajan dentro de la caja.
Enunciado en Sealing
Una semilla robada por sí sola no abre las peticiones de ninguna relación
El cuerpo de una petición se sella bajo el acuerdo y la clave de borde con la que llegó, y nada deriva una clave de borde de la semilla. Un ladrón de lo que guarda la puerta es otra cosa: abre las peticiones bajo las claves que ese estado conserva, las claves de borde abiertas y ofrecidas y las conservadas al eliminar. Una clave que tras un movimiento no está ni abierta ni ofrecida se olvida, así que lo que guarda una puerta solo alcanza hacia atrás hasta sus claves actuales.
Enunciado en The edge key
Una curva rota no abre las peticiones de una relación
Sus claves de borde descienden de ML-KEM-768. Las respuestas se sellan solo bajo X25519, así que una curva rota abre las respuestas grabadas. Las peticiones en la cabecera cero se sellan bajo la clave de borde cero, treinta y dos bytes a cero que cualquiera puede escribir, así que una curva rota abre también sus cuerpos.
Enunciado en The edge key
Sin repetición
Un número que una puerta ya ha atendido en una relación no se atiende nunca otra vez. Qué números por debajo del más alto sigue atendiendo es cosa de la puerta, así que cada puerta elige cuánto desorden acepta, y nada de lo que acepta es una segunda atención.
Enunciado en The count
Propiedad cuando la puerta elige ante la llamada
En cuanto una puerta elige ante la llamada, la relación pertenece a la clave que acuñó quien llamó; nadie que vio la invitación, incluido quien invitó, puede hablar en ella. Hasta entonces se confía en el canal que llevó la invitación.
Enunciado en What a knock binds
Revocación
Una puerta puede conservar las claves de una relación que dejó de mantener, y cuánto tiempo es cosa suya. Mientras las conserva, quien la tiene oye removed y sabe que la relación terminó. Después, ese mismo oye silence, como todos los demás, y nadie más oye nunca nada distinto.
Enunciado en The keys of a relation
Sin oráculo
El caso de cada extraño es un texto de respuesta de una sola longitud, sellado y firmado, así que los bytes no distinguen nada. El tiempo es de un kit, y la spec no pone ningún tiempo en el cable. Un portador aún puede decir que ningún ward está bajo una pk.
Enunciado en What a door tells apart
Qué no garantizan, por diseño.
Cada uno se deja a un kit, a un portador o al mundo exterior, a propósito.
Una semilla robada
Quien tiene la semilla de un ward y lo que guarda su puerta es ese ward.
Enunciado en The ward key
Una semilla adivinada
Una semilla de texto se pasa por el hash una vez, y el ward pk es público. Quien adivina el texto levanta el ward, así que una semilla de texto es tan fuerte como su texto y no más. Treinta y dos bytes extraídos son la semilla que nadie adivina.
Enunciado en The ward key
Una relación tras perder las claves
Una puerta admite dos claves de firma y toma dos claves de borde, así que los dos extremos pueden estar a un movimiento de distancia. Quien pide y se mueve más lejos que su puerta no tiene camino de vuelta en los bytes, y lo que conserva de las claves de las que se movió es cosa de un kit.
Enunciado en The move
Guardar un ward
El almacenamiento, las copias de seguridad y las copias son de un kit. Una puerta devuelta a un momento anterior, o dos copias que escriben por separado, rompen las relaciones en las que divergen.
La cabecera cero y cada cabecera
Ambas se sellan solo para el candado, así que un robo posterior o una curva rota sabe qué heir nombró una petición grabada, nunca qué dijo.
Enunciado en The zero head
Firmas tras una curva rota
Solo Ed25519: falsificación desde entonces, nunca en el pasado.
Enunciado en The signature
Carga y tiempos
Quien conoce la pk de un ward puede hacer trabajar a su puerta, y una puerta iguala bytes, no tiempo.
Descubrimiento, identidad y un directorio
Fuera de Quo.