Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

F TD2000 DATASTRUCTURES 06 / signal double ratchet skipped key authenticated message ledger

Verify a bounded complete synthetic Double Ratchet transcript with skipped keys and authenticated decryption.

POST https://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-06/signal-double-ratchet-skipped-key-authenticated-message-ledger

Eingaben

Felder des veröffentlichten Eingabeschemas
FeldTypPflichtBeschreibung
artifactobjectJa
Vollständiges Eingabeschema anzeigen
{
  "type": "object",
  "additionalProperties": false,
  "required": [
    "artifact"
  ],
  "properties": {
    "artifact": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "ratchet"
      ],
      "properties": {
        "ratchet": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "data",
            "claim"
          ],
          "properties": {
            "data": {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "associated_data_hex",
                "events",
                "initial_private_hex",
                "shared_secret_hex"
              ],
              "properties": {
                "associated_data_hex": {
                  "type": "string",
                  "maxLength": 20000
                },
                "events": {
                  "type": "array",
                  "items": {
                    "$ref": "#/properties/artifact/%24defs/json"
                  },
                  "maxItems": 512
                },
                "initial_private_hex": {
                  "type": "array",
                  "items": {
                    "type": "string",
                    "maxLength": 20000
                  },
                  "maxItems": 512
                },
                "shared_secret_hex": {
                  "type": "string",
                  "maxLength": 20000
                }
              }
            },
            "claim": {
              "anyOf": [
                {
                  "type": "null"
                },
                {
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "events",
                    "states"
                  ],
                  "properties": {
                    "events": {
                      "type": "array",
                      "items": {
                        "type": "object",
                        "additionalProperties": false,
                        "required": [
                          "expected_ciphertext_matches",
                          "plaintext_bytes",
                          "plaintext_sha256",
                          "state",
                          "status",
                          "wire_sha256"
                        ],
                        "properties": {
                          "expected_ciphertext_matches": {
                            "anyOf": [
                              {
                                "type": "boolean"
                              },
                              {
                                "$ref": "#/properties/artifact/%24defs/json"
                              }
                            ]
                          },
                          "plaintext_bytes": {
                            "anyOf": [
                              {
                                "$ref": "#/properties/artifact/%24defs/json"
                              },
                              {
                                "type": "number"
                              }
                            ]
                          },
                          "plaintext_sha256": {
                            "$ref": "#/properties/artifact/%24defs/s1"
                          },
                          "state": {
                            "$ref": "#/properties/artifact/%24defs/s0"
                          },
                          "status": {
                            "type": "string",
                            "maxLength": 20000
                          },
                          "wire_sha256": {
                            "type": "string",
                            "maxLength": 20000
                          }
                        }
                      },
                      "maxItems": 512
                    },
                    "states": {
                      "type": "array",
                      "items": {
                        "$ref": "#/properties/artifact/%24defs/s0"
                      },
                      "maxItems": 512
                    }
                  }
                }
              ]
            }
          }
        }
      },
      "$defs": {
        "json": {
          "anyOf": [
            {
              "type": "null"
            },
            {
              "type": "boolean"
            },
            {
              "type": "number"
            },
            {
              "type": "string",
              "maxLength": 6000
            },
            {
              "type": "array",
              "items": {
                "$ref": "#/properties/artifact/%24defs/json"
              },
              "maxItems": 512
            },
            {
              "type": "object",
              "maxProperties": 128,
              "additionalProperties": {
                "$ref": "#/properties/artifact/%24defs/json"
              }
            }
          ]
        },
        "s0": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "own_public_sha256",
            "previous_sent",
            "receive_chain_sha256",
            "received",
            "remote_public_sha256",
            "root_sha256",
            "send_chain_sha256",
            "sent",
            "skipped_keys"
          ],
          "properties": {
            "own_public_sha256": {
              "type": "string",
              "maxLength": 20000
            },
            "previous_sent": {
              "type": "number"
            },
            "receive_chain_sha256": {
              "$ref": "#/properties/artifact/%24defs/s1"
            },
            "received": {
              "type": "number"
            },
            "remote_public_sha256": {
              "$ref": "#/properties/artifact/%24defs/s1"
            },
            "root_sha256": {
              "type": "string",
              "maxLength": 20000
            },
            "send_chain_sha256": {
              "$ref": "#/properties/artifact/%24defs/s1"
            },
            "sent": {
              "type": "number"
            },
            "skipped_keys": {
              "type": "number"
            }
          }
        },
        "s1": {
          "anyOf": [
            {
              "$ref": "#/properties/artifact/%24defs/json"
            },
            {
              "type": "string",
              "maxLength": 20000
            }
          ]
        }
      }
    }
  }
}

Originalschema öffnen

Ergebnis & Dokumentation

Maschinenlesbare Dokumentation dieses Hubs

Quelle dieser Seite: der veröffentlichte HALOWERK-Katalog. Stand: 2026-11-01, 15:19 UTC.

Weitere Endpunkte dieses Hubs

Alle Endpunkte dieses Hubs →