@noeos/verification-engine 0.0.0

package/schemas/record-evidence.v1.schema.json

@@ -0,0 +1,91 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "urn:noeos:verification-engine:record-evidence:1",
+  "title": "Noeos Verification Engine Record Evidence v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "$schema",
+    "protocolVersion",
+    "contextId",
+    "recordId",
+    "profile",
+    "algorithm",
+    "normalizedByteLength",
+    "contentDigest",
+    "recordDigest"
+  ],
+  "properties": {
+    "$schema": { "const": "urn:noeos:verification-engine:record-evidence:1" },
+    "protocolVersion": { "const": 1 },
+    "contextId": { "$ref": "#/$defs/identifier" },
+    "recordId": { "$ref": "#/$defs/identifier" },
+    "profile": { "$ref": "#/$defs/profile" },
+    "algorithm": { "$ref": "#/$defs/algorithm" },
+    "normalizedByteLength": { "$ref": "#/$defs/safeInteger" },
+    "contentDigest": { "$ref": "#/$defs/digest" },
+    "recordDigest": { "$ref": "#/$defs/digest" }
+  },
+  "allOf": [{ "$ref": "#/$defs/digestLengths" }],
+  "$defs": {
+    "identifier": {
+      "type": "string",
+      "pattern": "^[A-Za-z0-9][A-Za-z0-9._:/-]{0,127}$",
+      "maxLength": 128
+    },
+    "profile": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "version"],
+      "properties": {
+        "id": {
+          "type": "string",
+          "pattern": "^[A-Za-z0-9][A-Za-z0-9._:/-]{0,127}$",
+          "maxLength": 128
+        },
+        "version": {
+          "type": "string",
+          "pattern": "^(0|[1-9][0-9]*)\\.(0|[1-9][0-9]*)\\.(0|[1-9][0-9]*)(?:-[0-9A-Za-z-]+(?:\\.[0-9A-Za-z-]+)*)?(?:\\+[0-9A-Za-z-]+(?:\\.[0-9A-Za-z-]+)*)?$",
+          "maxLength": 256
+        }
+      }
+    },
+    "algorithm": { "enum": ["sha-256", "sha-384", "sha-512"] },
+    "safeInteger": { "type": "integer", "minimum": 0, "maximum": 9007199254740991 },
+    "digest": { "type": "string", "pattern": "^[0-9a-f]+$", "maxLength": 128 },
+    "digestLengths": {
+      "allOf": [
+        {
+          "if": { "type": "object", "properties": { "algorithm": { "const": "sha-256" } } },
+          "then": {
+            "type": "object",
+            "properties": {
+              "contentDigest": { "type": "string", "minLength": 64, "maxLength": 64 },
+              "recordDigest": { "type": "string", "minLength": 64, "maxLength": 64 }
+            }
+          }
+        },
+        {
+          "if": { "type": "object", "properties": { "algorithm": { "const": "sha-384" } } },
+          "then": {
+            "type": "object",
+            "properties": {
+              "contentDigest": { "type": "string", "minLength": 96, "maxLength": 96 },
+              "recordDigest": { "type": "string", "minLength": 96, "maxLength": 96 }
+            }
+          }
+        },
+        {
+          "if": { "type": "object", "properties": { "algorithm": { "const": "sha-512" } } },
+          "then": {
+            "type": "object",
+            "properties": {
+              "contentDigest": { "type": "string", "minLength": 128, "maxLength": 128 },
+              "recordDigest": { "type": "string", "minLength": 128, "maxLength": 128 }
+            }
+          }
+        }
+      ]
+    }
+  }
+}

package/schemas/vector-set.v1.schema.json

@@ -0,0 +1,52 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "urn:noeos:verification-engine:vector-set:1",
+  "title": "Noeos Verification Engine Vector Set v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["$schema", "version", "protocolVersion", "license", "files", "sources"],
+  "properties": {
+    "$schema": { "const": "urn:noeos:verification-engine:vector-set:1" },
+    "version": {
+      "type": "string",
+      "pattern": "^(0|[1-9][0-9]*)\\.(0|[1-9][0-9]*)\\.(0|[1-9][0-9]*)(?:-[0-9A-Za-z-]+(?:\\.[0-9A-Za-z-]+)*)?(?:\\+[0-9A-Za-z-]+(?:\\.[0-9A-Za-z-]+)*)?$"
+    },
+    "protocolVersion": { "const": 1 },
+    "license": { "const": "Apache-2.0" },
+    "files": {
+      "type": "array",
+      "minItems": 1,
+      "uniqueItems": true,
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["path", "category", "caseCount", "sha256"],
+        "properties": {
+          "path": {
+            "type": "string",
+            "pattern": "^[a-z0-9][a-z0-9./-]*\\.json$",
+            "maxLength": 256
+          },
+          "category": { "enum": ["hashing", "framing", "evidence", "invalid"] },
+          "caseCount": { "type": "integer", "minimum": 1, "maximum": 100000 },
+          "sha256": { "type": "string", "pattern": "^[0-9a-f]{64}$" }
+        }
+      }
+    },
+    "sources": {
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["id", "url", "license"],
+        "properties": {
+          "id": { "type": "string", "pattern": "^[A-Za-z0-9._:-]{1,128}$" },
+          "url": { "type": "string", "pattern": "^https://[^\\s]{1,2040}$", "maxLength": 2048 },
+          "license": { "type": "string", "maxLength": 128 },
+          "revision": { "type": "string", "maxLength": 128 }
+        }
+      }
+    }
+  }
+}

package/vectors/evidence.json

@@ -0,0 +1,26 @@
+{
+  "cases": [
+    {
+      "id": "EVIDENCE-CHAIN-SUMMARY-EMPTY-SHA256",
+      "kind": "evidence",
+      "requirement": "CON-006",
+      "source": "Noeos-VE-Protocol-1",
+      "algorithm": "sha-256",
+      "evidence": {
+        "$schema": "urn:noeos:verification-engine:chain-summary:1",
+        "protocolVersion": 1,
+        "contextId": "v",
+        "sequenceId": "s",
+        "profile": { "id": "dev.noeos.jcs", "version": "1.0.0" },
+        "algorithm": "sha-256",
+        "count": 0,
+        "boundaries": { "start": "not-applicable", "end": "not-applicable" },
+        "status": "valid",
+        "diagnostics": { "errors": 0, "warnings": 0, "info": 0, "truncated": false }
+      },
+      "expectedJcsHex": "7b2224736368656d61223a2275726e3a6e6f656f733a766572696669636174696f6e2d656e67696e653a636861696e2d73756d6d6172793a31222c22616c676f726974686d223a227368612d323536222c22626f756e646172696573223a7b22656e64223a226e6f742d6170706c696361626c65222c227374617274223a226e6f742d6170706c696361626c65227d2c22636f6e746578744964223a2276222c22636f756e74223a302c22646961676e6f7374696373223a7b226572726f7273223a302c22696e666f223a302c227472756e6361746564223a66616c73652c227761726e696e6773223a307d2c2270726f66696c65223a7b226964223a226465762e6e6f656f732e6a6373222c2276657273696f6e223a22312e302e30227d2c2270726f746f636f6c56657273696f6e223a312c2273657175656e63654964223a2273222c22737461747573223a2276616c6964227d",
+      "expectedFrameHex": "4e4f454f53564531040001000300010200000000000000077368612d323536000202000000000000002d75726e3a6e6f656f733a766572696669636174696f6e2d656e67696e653a636861696e2d73756d6d6172793a3100030100000000000001567b2224736368656d61223a2275726e3a6e6f656f733a766572696669636174696f6e2d656e67696e653a636861696e2d73756d6d6172793a31222c22616c676f726974686d223a227368612d323536222c22626f756e646172696573223a7b22656e64223a226e6f742d6170706c696361626c65222c227374617274223a226e6f742d6170706c696361626c65227d2c22636f6e746578744964223a2276222c22636f756e74223a302c22646961676e6f7374696373223a7b226572726f7273223a302c22696e666f223a302c227472756e6361746564223a66616c73652c227761726e696e6773223a307d2c2270726f66696c65223a7b226964223a226465762e6e6f656f732e6a6373222c2276657273696f6e223a22312e302e30227d2c2270726f746f636f6c56657273696f6e223a312c2273657175656e63654964223a2273222c22737461747573223a2276616c6964227d",
+      "expectedDigest": "cd9a4b495b3097c50a948cdd523eb9817075e395c70ab487ede5d6de199b353b"
+    }
+  ]
+}

package/vectors/framing.json

@@ -0,0 +1,136 @@
+{
+  "cases": [
+    {
+      "id": "FRAME-CONTENT-SHA256-RAW-BYTES",
+      "kind": "framing",
+      "requirement": "CRY-002",
+      "source": "Noeos-VE-Protocol-1",
+      "algorithm": "sha-256",
+      "frame": {
+        "kind": "content",
+        "fields": [
+          { "tag": 1, "type": "utf8", "value": "sha-256" },
+          { "tag": 2, "type": "utf8", "value": "dev.noeos.raw-bytes" },
+          { "tag": 3, "type": "utf8", "value": "1.0.0" },
+          { "tag": 4, "type": "bytes", "value": "000102ff" }
+        ]
+      },
+      "expectedFrameHex": "4e4f454f53564531010001000400010200000000000000077368612d32353600020200000000000000136465762e6e6f656f732e7261772d62797465730003020000000000000005312e302e300004010000000000000004000102ff",
+      "expectedDigest": "441fcb174fba0958eb0a78ad6169a69985597b3c861f9376554dc32cd4e42a79"
+    },
+    {
+      "id": "FRAME-CONTENT-FIELD-LENGTH-BOUNDARIES",
+      "kind": "framing",
+      "requirement": "CRY-002",
+      "source": "Noeos-VE-Protocol-1",
+      "algorithm": "sha-256",
+      "frame": {
+        "kind": "content",
+        "fields": [
+          { "tag": 1, "type": "bytes", "value": "" },
+          { "tag": 2, "type": "bytes", "value": "00" },
+          { "tag": 3, "type": "bytes", "value": "00", "repeat": 255 },
+          { "tag": 4, "type": "bytes", "value": "00", "repeat": 256 }
+        ]
+      },
+      "expectedFrameHex": "4e4f454f535645310100010004000101000000000000000000020100000000000000010000030100000000000000ff000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000401000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+      "expectedDigest": "fc70d1d41448ff74c3c2a61c0c9de9b98e318c0ee05bd43056891558df1d646b"
+    },
+    {
+      "id": "FRAME-RECORD-SHA384-MAX-SAFE-LENGTH",
+      "kind": "framing",
+      "requirement": "CRY-002",
+      "source": "Noeos-VE-Protocol-1",
+      "algorithm": "sha-384",
+      "frame": {
+        "kind": "record",
+        "fields": [
+          { "tag": 1, "type": "utf8", "value": "sha-384" },
+          { "tag": 2, "type": "utf8", "value": "example.context" },
+          { "tag": 3, "type": "utf8", "value": "record-0001" },
+          { "tag": 4, "type": "utf8", "value": "dev.noeos.jcs" },
+          { "tag": 5, "type": "utf8", "value": "1.0.0" },
+          { "tag": 6, "type": "uint64", "value": 9007199254740991 },
+          {
+            "tag": 7,
+            "type": "bytes",
+            "value": "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+          }
+        ]
+      },
+      "expectedFrameHex": "4e4f454f53564531020001000700010200000000000000077368612d333834000202000000000000000f6578616d706c652e636f6e74657874000302000000000000000b7265636f72642d30303031000402000000000000000d6465762e6e6f656f732e6a63730005020000000000000005312e302e300006030000000000000008001fffffffffffff0007010000000000000030000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+      "expectedDigest": "ce0a07363fb9285a32f4e8ad119f0c3d302f6a262a8b2542b55534d8d81d01b253478bc7756ca791671631a78d0da755"
+    },
+    {
+      "id": "FRAME-LINK-GENESIS-SHA256",
+      "kind": "framing",
+      "requirement": "CRY-002",
+      "source": "Noeos-VE-Protocol-1",
+      "algorithm": "sha-256",
+      "frame": {
+        "kind": "link",
+        "fields": [
+          { "tag": 1, "type": "utf8", "value": "sha-256" },
+          { "tag": 2, "type": "utf8", "value": "example.context" },
+          { "tag": 3, "type": "utf8", "value": "sequence-2026" },
+          { "tag": 4, "type": "uint64", "value": 0 },
+          { "tag": 5, "type": "utf8", "value": "record-0001" },
+          {
+            "tag": 6,
+            "type": "bytes",
+            "value": "0000000000000000000000000000000000000000000000000000000000000000"
+          },
+          { "tag": 7, "type": "none" }
+        ]
+      },
+      "expectedFrameHex": "4e4f454f53564531030001000700010200000000000000077368612d323536000202000000000000000f6578616d706c652e636f6e74657874000302000000000000000d73657175656e63652d3230323600040300000000000000080000000000000000000502000000000000000b7265636f72642d30303031000601000000000000002000000000000000000000000000000000000000000000000000000000000000000007040000000000000000",
+      "expectedDigest": "1f247fac2ba5a3c217b406dc63832ed1d0f73e03af1ef832d66758e612eb6b0d"
+    },
+    {
+      "id": "FRAME-LINK-POSITION-256-SHA256",
+      "kind": "framing",
+      "requirement": "CRY-002",
+      "source": "Noeos-VE-Protocol-1",
+      "algorithm": "sha-256",
+      "frame": {
+        "kind": "link",
+        "fields": [
+          { "tag": 1, "type": "utf8", "value": "sha-256" },
+          { "tag": 2, "type": "utf8", "value": "example.context" },
+          { "tag": 3, "type": "utf8", "value": "sequence-2026" },
+          { "tag": 4, "type": "uint64", "value": 256 },
+          { "tag": 5, "type": "utf8", "value": "record-0256" },
+          {
+            "tag": 6,
+            "type": "bytes",
+            "value": "1111111111111111111111111111111111111111111111111111111111111111"
+          },
+          {
+            "tag": 7,
+            "type": "bytes",
+            "value": "2222222222222222222222222222222222222222222222222222222222222222"
+          }
+        ]
+      },
+      "expectedFrameHex": "4e4f454f53564531030001000700010200000000000000077368612d323536000202000000000000000f6578616d706c652e636f6e74657874000302000000000000000d73657175656e63652d3230323600040300000000000000080000000000000100000502000000000000000b7265636f72642d303235360006010000000000000020111111111111111111111111111111111111111111111111111111111111111100070100000000000000202222222222222222222222222222222222222222222222222222222222222222",
+      "expectedDigest": "657d9f97cc8d20c706ecd01d89e1b350a82f38992ada8c206adb1b65db024b49"
+    },
+    {
+      "id": "FRAME-EVIDENCE-SHA512",
+      "kind": "framing",
+      "requirement": "CRY-002",
+      "source": "Noeos-VE-Protocol-1",
+      "algorithm": "sha-512",
+      "frame": {
+        "kind": "evidence",
+        "fields": [
+          { "tag": 1, "type": "utf8", "value": "sha-512" },
+          { "tag": 2, "type": "utf8", "value": "urn:noeos:verification-engine:record-evidence:1" },
+          { "tag": 3, "type": "bytes", "value": "7b7d" }
+        ]
+      },
+      "expectedFrameHex": "4e4f454f53564531040001000300010200000000000000077368612d353132000202000000000000002f75726e3a6e6f656f733a766572696669636174696f6e2d656e67696e653a7265636f72642d65766964656e63653a3100030100000000000000027b7d",
+      "expectedDigest": "b2132aae41e683bd51b91466757351e2a1f349c54fe7879e6495a608017bf8c06a00976181b05dc1ba104ae80ceca08e34489c160a0f852887188cab84aef027"
+    }
+  ]
+}

package/vectors/hashing.json

@@ -0,0 +1,58 @@
+{
+  "cases": [
+    {
+      "id": "HASH-SHA256-EMPTY",
+      "kind": "hashing",
+      "requirement": "CRY-003",
+      "source": "FIPS-180-4",
+      "algorithm": "sha-256",
+      "inputHex": "",
+      "expectedDigest": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
+    },
+    {
+      "id": "HASH-SHA256-ABC",
+      "kind": "hashing",
+      "requirement": "CRY-003",
+      "source": "FIPS-180-4",
+      "algorithm": "sha-256",
+      "inputHex": "616263",
+      "expectedDigest": "ba7816bf8f01cfea414140de5dae2223b00361a396177a9cb410ff61f20015ad"
+    },
+    {
+      "id": "HASH-SHA384-EMPTY",
+      "kind": "hashing",
+      "requirement": "CRY-003",
+      "source": "FIPS-180-4",
+      "algorithm": "sha-384",
+      "inputHex": "",
+      "expectedDigest": "38b060a751ac96384cd9327eb1b1e36a21fdb71114be07434c0cc7bf63f6e1da274edebfe76f65fbd51ad2f14898b95b"
+    },
+    {
+      "id": "HASH-SHA384-ABC",
+      "kind": "hashing",
+      "requirement": "CRY-003",
+      "source": "FIPS-180-4",
+      "algorithm": "sha-384",
+      "inputHex": "616263",
+      "expectedDigest": "cb00753f45a35e8bb5a03d699ac65007272c32ab0eded1631a8b605a43ff5bed8086072ba1e7cc2358baeca134c825a7"
+    },
+    {
+      "id": "HASH-SHA512-EMPTY",
+      "kind": "hashing",
+      "requirement": "CRY-003",
+      "source": "FIPS-180-4",
+      "algorithm": "sha-512",
+      "inputHex": "",
+      "expectedDigest": "cf83e1357eefb8bdf1542850d66d8007d620e4050b5715dc83f4a921d36ce9ce47d0d13c5d85f2b0ff8318d2877eec2f63b931bd47417a81a538327af927da3e"
+    },
+    {
+      "id": "HASH-SHA512-ABC",
+      "kind": "hashing",
+      "requirement": "CRY-003",
+      "source": "FIPS-180-4",
+      "algorithm": "sha-512",
+      "inputHex": "616263",
+      "expectedDigest": "ddaf35a193617abacc417349ae20413112e6fa4e89a97ea20a9eeee64b55d39a2192992a274fc1a836ba3c23a3feebbd454d4423643ce80e2a9ac94fa54ca49f"
+    }
+  ]
+}

package/vectors/invalid.json

@@ -0,0 +1,56 @@
+{
+  "cases": [
+    {
+      "id": "INVALID-DUPLICATE-TAG",
+      "kind": "invalid",
+      "requirement": "CRY-002",
+      "source": "Noeos-VE-Protocol-1",
+      "frame": {
+        "kind": "content",
+        "fields": [
+          { "tag": 1, "type": "utf8", "value": "sha-256" },
+          { "tag": 1, "type": "utf8", "value": "sha-256" }
+        ]
+      },
+      "expectedCode": "FRAME_FIELD_DUPLICATE"
+    },
+    {
+      "id": "INVALID-DESCENDING-TAG",
+      "kind": "invalid",
+      "requirement": "CRY-002",
+      "source": "Noeos-VE-Protocol-1",
+      "frame": {
+        "kind": "content",
+        "fields": [
+          { "tag": 2, "type": "utf8", "value": "b" },
+          { "tag": 1, "type": "utf8", "value": "a" }
+        ]
+      },
+      "expectedCode": "FRAME_FIELD_ORDER_INVALID"
+    },
+    {
+      "id": "INVALID-BYTES-UPPERCASE",
+      "kind": "invalid",
+      "requirement": "CRY-002",
+      "source": "Noeos-VE-Protocol-1",
+      "frame": { "kind": "content", "fields": [{ "tag": 1, "type": "bytes", "value": "AA" }] },
+      "expectedCode": "DIGEST_ENCODING_INVALID"
+    },
+    {
+      "id": "INVALID-NONE-WITH-VALUE",
+      "kind": "invalid",
+      "requirement": "CRY-002",
+      "source": "Noeos-VE-Protocol-1",
+      "frame": { "kind": "link", "fields": [{ "tag": 1, "type": "none", "value": "" }] },
+      "expectedCode": "FRAME_FIELD_TYPE_INVALID"
+    },
+    {
+      "id": "INVALID-ODD-HEX",
+      "kind": "invalid",
+      "requirement": "CRY-002",
+      "source": "Noeos-VE-Protocol-1",
+      "frame": { "kind": "content", "fields": [{ "tag": 1, "type": "bytes", "value": "0" }] },
+      "expectedCode": "DIGEST_ENCODING_INVALID"
+    }
+  ]
+}

package/vectors/manifest.json

@@ -0,0 +1,46 @@
+{
+  "$schema": "urn:noeos:verification-engine:vector-set:1",
+  "version": "1.0.0",
+  "protocolVersion": 1,
+  "license": "Apache-2.0",
+  "files": [
+    {
+      "path": "evidence.json",
+      "category": "evidence",
+      "caseCount": 1,
+      "sha256": "b4e3b4a38f67e7489eafb05528fd309ee931db66e1a0c230ffbd0e103db1f032"
+    },
+    {
+      "path": "framing.json",
+      "category": "framing",
+      "caseCount": 6,
+      "sha256": "bacc590419dcee44ad0fa3e707d00a9bf322ac51243efc0a0418821fc6c92ea8"
+    },
+    {
+      "path": "hashing.json",
+      "category": "hashing",
+      "caseCount": 6,
+      "sha256": "8722eba9ec01c80bdfa5f08fe13bc4c010b4712f61f417e5e2f748a8cbad44b3"
+    },
+    {
+      "path": "invalid.json",
+      "category": "invalid",
+      "caseCount": 5,
+      "sha256": "05d098aa80412ce8d85aafea1b4ce4add53381e2fe4a4cda1cad88d9fa286fa6"
+    }
+  ],
+  "sources": [
+    {
+      "id": "FIPS-180-4",
+      "url": "https://csrc.nist.gov/pubs/fips/180-4/upd1/final",
+      "license": "US Government work",
+      "revision": "FIPS PUB 180-4"
+    },
+    {
+      "id": "Noeos-VE-Protocol-1",
+      "url": "https://github.com/noeos/verification-engine/blob/main/docs/04-normalizacion-criptografia/02-hash-framing.md",
+      "license": "Apache-2.0",
+      "revision": "protocol-1"
+    }
+  ]
+}