@mikeargento/bitgraph 1.1.0 → 1.2.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +49 -40
- package/dist/__tests__/audit-anchors.test.d.ts +2 -0
- package/dist/__tests__/audit-anchors.test.d.ts.map +1 -0
- package/dist/__tests__/audit-anchors.test.js +152 -0
- package/dist/__tests__/audit-anchors.test.js.map +1 -0
- package/dist/__tests__/audit-anomalies.test.d.ts +2 -0
- package/dist/__tests__/audit-anomalies.test.d.ts.map +1 -0
- package/dist/__tests__/audit-anomalies.test.js +663 -0
- package/dist/__tests__/audit-anomalies.test.js.map +1 -0
- package/dist/__tests__/audit-attestation.test.d.ts +2 -0
- package/dist/__tests__/audit-attestation.test.d.ts.map +1 -0
- package/dist/__tests__/audit-attestation.test.js +403 -0
- package/dist/__tests__/audit-attestation.test.js.map +1 -0
- package/dist/__tests__/audit-bench-smoke.test.d.ts +2 -0
- package/dist/__tests__/audit-bench-smoke.test.d.ts.map +1 -0
- package/dist/__tests__/audit-bench-smoke.test.js +87 -0
- package/dist/__tests__/audit-bench-smoke.test.js.map +1 -0
- package/dist/__tests__/audit-boundary.test.d.ts +20 -0
- package/dist/__tests__/audit-boundary.test.d.ts.map +1 -0
- package/dist/__tests__/audit-boundary.test.js +84 -0
- package/dist/__tests__/audit-boundary.test.js.map +1 -0
- package/dist/__tests__/audit-cli.test.d.ts +2 -0
- package/dist/__tests__/audit-cli.test.d.ts.map +1 -0
- package/dist/__tests__/audit-cli.test.js +239 -0
- package/dist/__tests__/audit-cli.test.js.map +1 -0
- package/dist/__tests__/audit-dependencies.test.d.ts +2 -0
- package/dist/__tests__/audit-dependencies.test.d.ts.map +1 -0
- package/dist/__tests__/audit-dependencies.test.js +116 -0
- package/dist/__tests__/audit-dependencies.test.js.map +1 -0
- package/dist/__tests__/audit-fixtures.d.ts +265 -0
- package/dist/__tests__/audit-fixtures.d.ts.map +1 -0
- package/dist/__tests__/audit-fixtures.js +511 -0
- package/dist/__tests__/audit-fixtures.js.map +1 -0
- package/dist/__tests__/audit-ingest.test.d.ts +2 -0
- package/dist/__tests__/audit-ingest.test.d.ts.map +1 -0
- package/dist/__tests__/audit-ingest.test.js +473 -0
- package/dist/__tests__/audit-ingest.test.js.map +1 -0
- package/dist/__tests__/audit-memory-ingest.test.d.ts +12 -0
- package/dist/__tests__/audit-memory-ingest.test.d.ts.map +1 -0
- package/dist/__tests__/audit-memory-ingest.test.js +120 -0
- package/dist/__tests__/audit-memory-ingest.test.js.map +1 -0
- package/dist/__tests__/audit-property.test.d.ts +2 -0
- package/dist/__tests__/audit-property.test.d.ts.map +1 -0
- package/dist/__tests__/audit-property.test.js +771 -0
- package/dist/__tests__/audit-property.test.js.map +1 -0
- package/dist/__tests__/audit-real-fixtures.test.d.ts +2 -0
- package/dist/__tests__/audit-real-fixtures.test.d.ts.map +1 -0
- package/dist/__tests__/audit-real-fixtures.test.js +132 -0
- package/dist/__tests__/audit-real-fixtures.test.js.map +1 -0
- package/dist/__tests__/audit-real-live.test.d.ts +2 -0
- package/dist/__tests__/audit-real-live.test.d.ts.map +1 -0
- package/dist/__tests__/audit-real-live.test.js +107 -0
- package/dist/__tests__/audit-real-live.test.js.map +1 -0
- package/dist/__tests__/audit-reconstruct.test.d.ts +2 -0
- package/dist/__tests__/audit-reconstruct.test.d.ts.map +1 -0
- package/dist/__tests__/audit-reconstruct.test.js +287 -0
- package/dist/__tests__/audit-reconstruct.test.js.map +1 -0
- package/dist/__tests__/audit-report.test.d.ts +2 -0
- package/dist/__tests__/audit-report.test.d.ts.map +1 -0
- package/dist/__tests__/audit-report.test.js +186 -0
- package/dist/__tests__/audit-report.test.js.map +1 -0
- package/dist/__tests__/audit-roundtrip.test.d.ts +2 -0
- package/dist/__tests__/audit-roundtrip.test.d.ts.map +1 -0
- package/dist/__tests__/audit-roundtrip.test.js +368 -0
- package/dist/__tests__/audit-roundtrip.test.js.map +1 -0
- package/dist/__tests__/audit-temporal.test.d.ts +2 -0
- package/dist/__tests__/audit-temporal.test.d.ts.map +1 -0
- package/dist/__tests__/audit-temporal.test.js +364 -0
- package/dist/__tests__/audit-temporal.test.js.map +1 -0
- package/dist/__tests__/audit-tiers.test.d.ts +2 -0
- package/dist/__tests__/audit-tiers.test.d.ts.map +1 -0
- package/dist/__tests__/audit-tiers.test.js +282 -0
- package/dist/__tests__/audit-tiers.test.js.map +1 -0
- package/dist/__tests__/audit-witness-real.test.d.ts +19 -0
- package/dist/__tests__/audit-witness-real.test.d.ts.map +1 -0
- package/dist/__tests__/audit-witness-real.test.js +82 -0
- package/dist/__tests__/audit-witness-real.test.js.map +1 -0
- package/dist/__tests__/audit-witness.test.d.ts +2 -0
- package/dist/__tests__/audit-witness.test.d.ts.map +1 -0
- package/dist/__tests__/audit-witness.test.js +308 -0
- package/dist/__tests__/audit-witness.test.js.map +1 -0
- package/dist/__tests__/chain-hash-anchor.test.d.ts +22 -0
- package/dist/__tests__/chain-hash-anchor.test.d.ts.map +1 -0
- package/dist/__tests__/chain-hash-anchor.test.js +55 -0
- package/dist/__tests__/chain-hash-anchor.test.js.map +1 -0
- package/dist/__tests__/declared-proof-fixture.d.ts +66 -0
- package/dist/__tests__/declared-proof-fixture.d.ts.map +1 -0
- package/dist/__tests__/declared-proof-fixture.js +66 -0
- package/dist/__tests__/declared-proof-fixture.js.map +1 -0
- package/dist/__tests__/fuse-roundtrip.test.d.ts +2 -0
- package/dist/__tests__/fuse-roundtrip.test.d.ts.map +1 -0
- package/dist/__tests__/fuse-roundtrip.test.js +172 -0
- package/dist/__tests__/fuse-roundtrip.test.js.map +1 -0
- package/dist/__tests__/fuse-sdk.test.d.ts +2 -0
- package/dist/__tests__/fuse-sdk.test.d.ts.map +1 -0
- package/dist/__tests__/fuse-sdk.test.js +117 -0
- package/dist/__tests__/fuse-sdk.test.js.map +1 -0
- package/dist/__tests__/fuse-vectors.test.d.ts +2 -0
- package/dist/__tests__/fuse-vectors.test.d.ts.map +1 -0
- package/dist/__tests__/fuse-vectors.test.js +175 -0
- package/dist/__tests__/fuse-vectors.test.js.map +1 -0
- package/dist/__tests__/fuse-verify.test.d.ts +2 -0
- package/dist/__tests__/fuse-verify.test.d.ts.map +1 -0
- package/dist/__tests__/fuse-verify.test.js +250 -0
- package/dist/__tests__/fuse-verify.test.js.map +1 -0
- package/dist/__tests__/mock-proof-fixture.d.ts +15 -0
- package/dist/__tests__/mock-proof-fixture.d.ts.map +1 -0
- package/dist/__tests__/mock-proof-fixture.js +34 -0
- package/dist/__tests__/mock-proof-fixture.js.map +1 -0
- package/dist/__tests__/proof-hash-regression.test.js +4 -43
- package/dist/__tests__/proof-hash-regression.test.js.map +1 -1
- package/dist/__tests__/proof-hash.test.js +3 -21
- package/dist/__tests__/proof-hash.test.js.map +1 -1
- package/dist/__tests__/proof-integrity.test.d.ts +2 -0
- package/dist/__tests__/proof-integrity.test.d.ts.map +1 -0
- package/dist/__tests__/proof-integrity.test.js +426 -0
- package/dist/__tests__/proof-integrity.test.js.map +1 -0
- package/dist/__tests__/realistic-proof-fixture.d.ts +56 -0
- package/dist/__tests__/realistic-proof-fixture.d.ts.map +1 -0
- package/dist/__tests__/realistic-proof-fixture.js +57 -0
- package/dist/__tests__/realistic-proof-fixture.js.map +1 -0
- package/dist/__tests__/verifier.test.js +74 -0
- package/dist/__tests__/verifier.test.js.map +1 -1
- package/dist/fuse-cli.d.ts +3 -0
- package/dist/fuse-cli.d.ts.map +1 -0
- package/dist/fuse-cli.js +210 -0
- package/dist/fuse-cli.js.map +1 -0
- package/dist/fuse.d.ts +75 -0
- package/dist/fuse.d.ts.map +1 -0
- package/dist/fuse.js +273 -0
- package/dist/fuse.js.map +1 -0
- package/dist/index.d.ts +2 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +4 -0
- package/dist/index.js.map +1 -1
- package/package.json +19 -9
- package/src/__tests__/audit-anchors.test.ts +188 -0
- package/src/__tests__/audit-anomalies.test.ts +815 -0
- package/src/__tests__/audit-attestation.test.ts +529 -0
- package/src/__tests__/audit-bench-smoke.test.ts +108 -0
- package/src/__tests__/audit-boundary.test.ts +96 -0
- package/src/__tests__/audit-cli.test.ts +288 -0
- package/src/__tests__/audit-dependencies.test.ts +141 -0
- package/src/__tests__/audit-fixtures.ts +736 -0
- package/src/__tests__/audit-ingest.test.ts +575 -0
- package/src/__tests__/audit-memory-ingest.test.ts +140 -0
- package/src/__tests__/audit-property.test.ts +892 -0
- package/src/__tests__/audit-real-fixtures.test.ts +153 -0
- package/src/__tests__/audit-real-live.test.ts +128 -0
- package/src/__tests__/audit-reconstruct.test.ts +353 -0
- package/src/__tests__/audit-report.test.ts +222 -0
- package/src/__tests__/audit-roundtrip.test.ts +464 -0
- package/src/__tests__/audit-temporal.test.ts +446 -0
- package/src/__tests__/audit-tiers.test.ts +343 -0
- package/src/__tests__/audit-witness-real.test.ts +92 -0
- package/src/__tests__/audit-witness.test.ts +345 -0
- package/src/__tests__/chain-hash-anchor.test.ts +67 -0
- package/src/__tests__/declared-proof-fixture.ts +65 -0
- package/src/__tests__/fuse-roundtrip.test.ts +174 -0
- package/src/__tests__/fuse-sdk.test.ts +142 -0
- package/src/__tests__/fuse-vectors.test.ts +218 -0
- package/src/__tests__/fuse-verify.test.ts +278 -0
- package/src/__tests__/mock-proof-fixture.ts +36 -0
- package/src/__tests__/proof-hash-regression.test.ts +4 -44
- package/src/__tests__/proof-hash.test.ts +3 -22
- package/src/__tests__/proof-integrity.test.ts +541 -0
- package/src/__tests__/real-fixtures/anchor-after-112762.json +47 -0
- package/src/__tests__/real-fixtures/anchor-with-ethereum-112758.json +47 -0
- package/src/__tests__/real-fixtures/live-proof-0.json +42 -0
- package/src/__tests__/real-fixtures/live-proof-1.json +43 -0
- package/src/__tests__/real-fixtures/live-proof-2.json +43 -0
- package/src/__tests__/real-fixtures/successor-112760.json +38 -0
- package/src/__tests__/real-fixtures/witness-25525146.json +6 -0
- package/src/__tests__/real-fixtures/witness-25525147.json +6 -0
- package/src/__tests__/realistic-proof-fixture.ts +57 -0
- package/src/__tests__/verifier.test.ts +83 -0
- package/src/fuse-cli.ts +187 -0
- package/src/fuse.ts +356 -0
- package/src/index.ts +6 -0
- package/dist/canonical.d.ts +0 -54
- package/dist/canonical.d.ts.map +0 -1
- package/dist/canonical.js +0 -119
- package/dist/canonical.js.map +0 -1
- package/dist/proof-hash.d.ts +0 -9
- package/dist/proof-hash.d.ts.map +0 -1
- package/dist/proof-hash.js +0 -75
- package/dist/proof-hash.js.map +0 -1
- package/dist/types.d.ts +0 -705
- package/dist/types.d.ts.map +0 -1
- package/dist/types.js +0 -3
- package/dist/types.js.map +0 -1
- package/dist/verifier.d.ts +0 -27
- package/dist/verifier.d.ts.map +0 -1
- package/dist/verifier.js +0 -844
- package/dist/verifier.js.map +0 -1
|
@@ -0,0 +1,250 @@
|
|
|
1
|
+
// Copyright (c) Mike Argento. All rights reserved. See LICENSE.
|
|
2
|
+
/**
|
|
3
|
+
* BitGraph Fuse: verifier paths (spec 15.4, 15.5, 15.8) on real fixture
|
|
4
|
+
* proofs minted through the unmodified enclave. Every negative case runs.
|
|
5
|
+
*/
|
|
6
|
+
import { describe, test } from "node:test";
|
|
7
|
+
import * as assert from "node:assert/strict";
|
|
8
|
+
import { readFileSync } from "node:fs";
|
|
9
|
+
import { fileURLToPath } from "node:url";
|
|
10
|
+
import { sha256 } from "@noble/hashes/sha256";
|
|
11
|
+
import { verifyFuse, assembledAfterCommit, verifyProofIntegrity, bytesToBase64, resetEpochLinkState } from "@mikeargento/bitgraph-verify";
|
|
12
|
+
const FIX = fileURLToPath(new URL("../../src/__tests__/fuse-fixtures/", import.meta.url));
|
|
13
|
+
const bytes = (name) => new Uint8Array(readFileSync(FIX + name));
|
|
14
|
+
const proofOf = (name) => JSON.parse(readFileSync(FIX + name, "utf8"));
|
|
15
|
+
const text = (name) => readFileSync(FIX + name, "utf8");
|
|
16
|
+
const original = bytes("original.txt");
|
|
17
|
+
const png = bytes("image.png");
|
|
18
|
+
const unrelated = new TextEncoder().encode("a file nobody recorded\n");
|
|
19
|
+
async function run(proofName, file, extra = {}) {
|
|
20
|
+
resetEpochLinkState();
|
|
21
|
+
return verifyFuse({ proof: proofOf(proofName), bytes: file, ...extra });
|
|
22
|
+
}
|
|
23
|
+
describe("path 3: the file is the committed bytes", () => {
|
|
24
|
+
test("an ordinary proof with its file is RECORDED, with the recorded statement", async () => {
|
|
25
|
+
const r = await run("recorded.proof.json", original);
|
|
26
|
+
assert.equal(r.category, "RECORDED");
|
|
27
|
+
assert.equal(r.proof.valid, true);
|
|
28
|
+
assert.equal(r.marker, null);
|
|
29
|
+
assert.match(r.statements[0], /existed no later than commit position/);
|
|
30
|
+
});
|
|
31
|
+
for (const [proofName, fusedName, placement] of [
|
|
32
|
+
["trailer.proof.json", "fused-trailer.bin", "trailer/1"],
|
|
33
|
+
["container.proof.json", "fused-container.tar", "container/1"],
|
|
34
|
+
["produced-origin.proof.json", "produced-origin.json", "produced/1"],
|
|
35
|
+
["produced-bare.proof.json", "produced-bare.json", "produced/1"],
|
|
36
|
+
]) {
|
|
37
|
+
test(`${placement}: fused bytes verify FUSED_DIRECT`, async () => {
|
|
38
|
+
const r = await run(proofName, bytes(fusedName));
|
|
39
|
+
assert.equal(r.category, "FUSED_DIRECT", r.reason ?? "");
|
|
40
|
+
assert.equal(r.placement, placement);
|
|
41
|
+
assert.equal(r.marker?.source, "attribution");
|
|
42
|
+
assert.ok(r.span);
|
|
43
|
+
assert.ok(BigInt(r.span.positions) >= 1n);
|
|
44
|
+
assert.equal(r.span.chainId, "bitgraph:main");
|
|
45
|
+
assert.match(r.statements.at(-1), /could not feasibly have been finalized before their signed slot allocation at position/);
|
|
46
|
+
assert.equal(r.policy.spanExceeded, false);
|
|
47
|
+
});
|
|
48
|
+
}
|
|
49
|
+
test("the origin statement names what was checked: consistency on the direct path, reconstruction on the origin path", async () => {
|
|
50
|
+
const direct = await run("trailer.proof.json", bytes("fused-trailer.bin"));
|
|
51
|
+
assert.equal(direct.category, "FUSED_DIRECT");
|
|
52
|
+
assert.equal(direct.statements.length, 2);
|
|
53
|
+
assert.match(direct.statements[0], /origin digest that matches the signed marker/);
|
|
54
|
+
assert.match(direct.statements[0], /was not supplied and was not checked/);
|
|
55
|
+
assert.doesNotMatch(direct.statements[0], /supplied original/, "no original was supplied on the direct path");
|
|
56
|
+
const fromOrigin = await run("trailer.proof.json", original);
|
|
57
|
+
assert.equal(fromOrigin.category, "FUSED_FROM_ORIGIN");
|
|
58
|
+
assert.equal(fromOrigin.statements.length, 2);
|
|
59
|
+
assert.match(fromOrigin.statements[0], /supplied original rebuilds the committed fused artifact byte for byte/);
|
|
60
|
+
const bare = await run("produced-bare.proof.json", bytes("produced-bare.json"));
|
|
61
|
+
assert.equal(bare.statements.length, 1);
|
|
62
|
+
assert.equal(bare.originDigestB64, null);
|
|
63
|
+
});
|
|
64
|
+
test("a fused file committed under a different slot is INVALID_SLOT_COMMITMENT, never RECORDED", async () => {
|
|
65
|
+
const r = await run("wrong-slot.proof.json", bytes("fused-wrong-slot.bin"));
|
|
66
|
+
assert.equal(r.category, "INVALID_SLOT_COMMITMENT");
|
|
67
|
+
assert.equal(r.proof.valid, true, "the underlying proof is sound; only the commitment is wrong");
|
|
68
|
+
assert.match(r.reason, /does not match the proof's slot record/);
|
|
69
|
+
});
|
|
70
|
+
test("an unregistered placement id is UNDETERMINED_PLACEMENT", async () => {
|
|
71
|
+
const r = await run("unregistered.proof.json", bytes("fused-unregistered.bin"));
|
|
72
|
+
assert.equal(r.category, "UNDETERMINED_PLACEMENT");
|
|
73
|
+
assert.match(r.reason, /xmp\/9/);
|
|
74
|
+
});
|
|
75
|
+
test("a manifest origin hint that contradicts the origin inside the bytes is INVALID_ORIGIN_ATTRIBUTION", async () => {
|
|
76
|
+
// The signed attribution of the undeclared fixture names no origin, so the
|
|
77
|
+
// Frame's manifest supplies the hint. Trailer bytes carry the original as
|
|
78
|
+
// their prefix, and the hint (the PNG) contradicts what the bytes say.
|
|
79
|
+
const frameText = JSON.stringify({
|
|
80
|
+
type: "bitgraph-fuse/1",
|
|
81
|
+
manifest: { placement: "trailer/1", origin: { algorithm: "sha256", digest: Buffer.from(sha256(png)).toString("hex") }, artifact: { algorithm: "sha256", digest: Buffer.from(sha256(bytes("fused-trailer-undeclared.bin"))).toString("hex") }, fusedFile: null },
|
|
82
|
+
proof: proofOf("trailer-undeclared.proof.json"),
|
|
83
|
+
});
|
|
84
|
+
const r = await run("trailer-undeclared.proof.json", bytes("fused-trailer-undeclared.bin"), { frame: frameText });
|
|
85
|
+
assert.equal(r.category, "INVALID_ORIGIN_ATTRIBUTION");
|
|
86
|
+
assert.equal(r.marker?.source, "attribution", "the proof itself is signed fused");
|
|
87
|
+
assert.equal(r.marker?.originSource, "manifest", "the contradicted origin came from the manifest");
|
|
88
|
+
assert.match(r.reason, /manifest/);
|
|
89
|
+
});
|
|
90
|
+
test("a manifest marker that agrees with the bytes verifies FUSED_DIRECT", async () => {
|
|
91
|
+
const r = await run("trailer-undeclared.proof.json", bytes("fused-trailer-undeclared.bin"), {
|
|
92
|
+
frame: { type: "bitgraph-fuse/1", manifest: { placement: "trailer/1", origin: { algorithm: "sha256", digest: Buffer.from(sha256(original)).toString("hex") }, artifact: { algorithm: "sha256", digest: "00".repeat(32) }, fusedFile: null }, proof: proofOf("trailer-undeclared.proof.json") },
|
|
93
|
+
});
|
|
94
|
+
assert.equal(r.category, "FUSED_DIRECT");
|
|
95
|
+
assert.equal(r.statements.length, 2);
|
|
96
|
+
});
|
|
97
|
+
});
|
|
98
|
+
describe("path 4: the file is the original", () => {
|
|
99
|
+
test("trailer/1: the original alone rebuilds and verifies FUSED_FROM_ORIGIN", async () => {
|
|
100
|
+
const r = await run("trailer.proof.json", original);
|
|
101
|
+
assert.equal(r.category, "FUSED_FROM_ORIGIN", r.reason ?? "");
|
|
102
|
+
assert.equal(r.placement, "trailer/1");
|
|
103
|
+
assert.equal(r.originDigestB64, bytesToBase64(sha256(original)));
|
|
104
|
+
assert.equal(r.statements.length, 2);
|
|
105
|
+
});
|
|
106
|
+
test("container/1: the PNG alone rebuilds the archive", async () => {
|
|
107
|
+
const r = await run("container.proof.json", png);
|
|
108
|
+
assert.equal(r.category, "FUSED_FROM_ORIGIN", r.reason ?? "");
|
|
109
|
+
assert.equal(r.placement, "container/1");
|
|
110
|
+
});
|
|
111
|
+
test("produced/1 names a source but is not rebuildable from it: RECONSTRUCTION_MISMATCH", async () => {
|
|
112
|
+
const r = await run("produced-origin.proof.json", original);
|
|
113
|
+
assert.equal(r.category, "RECONSTRUCTION_MISMATCH");
|
|
114
|
+
assert.equal(r.placement, "produced/1");
|
|
115
|
+
});
|
|
116
|
+
test("a manifest origin hint on a signed fused proof lets the original rebuild", async () => {
|
|
117
|
+
const r = await run("trailer-undeclared.proof.json", original, {
|
|
118
|
+
frame: { type: "bitgraph-fuse/1", manifest: { placement: "trailer/1", origin: { algorithm: "sha256", digest: Buffer.from(sha256(original)).toString("hex") }, artifact: { algorithm: "sha256", digest: "00".repeat(32) }, fusedFile: null }, proof: proofOf("trailer-undeclared.proof.json") },
|
|
119
|
+
});
|
|
120
|
+
assert.equal(r.category, "FUSED_FROM_ORIGIN");
|
|
121
|
+
assert.equal(r.placement, "trailer/1");
|
|
122
|
+
assert.equal(r.marker?.originSource, "manifest");
|
|
123
|
+
});
|
|
124
|
+
test("an undeclared placement resolves through the registry in fixed order and reports the match", async () => {
|
|
125
|
+
// A proof whose signed attribution has no title cannot be minted through the
|
|
126
|
+
// parent (it requires one), so undeclared placement arrives only through a
|
|
127
|
+
// Frame: strip the title here to exercise the registry scan on both paths.
|
|
128
|
+
const p = structuredClone(proofOf("trailer-undeclared.proof.json"));
|
|
129
|
+
// The title is signed; removing it breaks the signature, so instead present a
|
|
130
|
+
// Frame with no placement and rely on the signed marker having one. To reach
|
|
131
|
+
// the scan we need BOTH undeclared, which only a hypothetical name-only
|
|
132
|
+
// attribution gives; construct that case by verifying against a Frame whose
|
|
133
|
+
// proof is name-only and whose signature we re-establish is impossible here,
|
|
134
|
+
// so exercise the scan through the registry helper directly instead.
|
|
135
|
+
const frame = { type: "bitgraph-fuse/1", manifest: { origin: { algorithm: "sha256", digest: Buffer.from(sha256(original)).toString("hex") }, artifact: { algorithm: "sha256", digest: "00".repeat(32) }, fusedFile: null }, proof: p };
|
|
136
|
+
const r = await run("trailer-undeclared.proof.json", original, { frame });
|
|
137
|
+
// The signed title (trailer/1) still declares the placement; the scan is not reached.
|
|
138
|
+
assert.equal(r.category, "FUSED_FROM_ORIGIN");
|
|
139
|
+
assert.equal(r.placement, "trailer/1");
|
|
140
|
+
});
|
|
141
|
+
test("an unsigned manifest with a FALSE origin is RECONSTRUCTION_MISMATCH: reconstruction makes the hint self-proving", async () => {
|
|
142
|
+
// The manifest claims the PNG is the origin of the undeclared trailer fixture. The
|
|
143
|
+
// PNG's hash matches the hint, so path 4 runs, and rebuilding from the PNG cannot
|
|
144
|
+
// reproduce the signed artifact digest.
|
|
145
|
+
const r = await run("trailer-undeclared.proof.json", png, {
|
|
146
|
+
frame: { type: "bitgraph-fuse/1", manifest: { placement: "trailer/1", origin: { algorithm: "sha256", digest: Buffer.from(sha256(png)).toString("hex") }, artifact: { algorithm: "sha256", digest: "00".repeat(32) }, fusedFile: null }, proof: proofOf("trailer-undeclared.proof.json") },
|
|
147
|
+
});
|
|
148
|
+
assert.equal(r.category, "RECONSTRUCTION_MISMATCH");
|
|
149
|
+
assert.equal(r.marker?.source, "attribution", "the proof is signed fused");
|
|
150
|
+
assert.equal(r.marker?.originSource, "manifest", "the false origin was the manifest's hint");
|
|
151
|
+
});
|
|
152
|
+
test("an unregistered declared placement cannot rebuild: UNDETERMINED_PLACEMENT", async () => {
|
|
153
|
+
const r = await run("unregistered.proof.json", original);
|
|
154
|
+
assert.equal(r.category, "UNDETERMINED_PLACEMENT");
|
|
155
|
+
});
|
|
156
|
+
test("the wrong-slot fixture from its original: rebuilt bytes carry the proof's own commitment, so the hash differs", async () => {
|
|
157
|
+
const r = await run("wrong-slot.proof.json", original);
|
|
158
|
+
assert.equal(r.category, "RECONSTRUCTION_MISMATCH");
|
|
159
|
+
});
|
|
160
|
+
});
|
|
161
|
+
describe("path 5 and the underlying proof", () => {
|
|
162
|
+
test("a file matching neither digest is NO_MATCH", async () => {
|
|
163
|
+
for (const name of ["recorded.proof.json", "trailer.proof.json", "produced-bare.proof.json"]) {
|
|
164
|
+
const r = await run(name, unrelated);
|
|
165
|
+
assert.equal(r.category, "NO_MATCH", name);
|
|
166
|
+
}
|
|
167
|
+
// The fused bytes of one fixture against another fixture's proof: also NO_MATCH.
|
|
168
|
+
assert.equal((await run("container.proof.json", bytes("fused-trailer.bin"))).category, "NO_MATCH");
|
|
169
|
+
});
|
|
170
|
+
test("tampering with the nested proof is INVALID_UNDERLYING_PROOF and never downgrades", async () => {
|
|
171
|
+
const proof = proofOf("trailer.proof.json");
|
|
172
|
+
const cases = [
|
|
173
|
+
["counter", (p) => { p.commit.counter = String(Number(p.commit.counter) + 1); }],
|
|
174
|
+
["attribution.message (origin)", (p) => { p.attribution.message = bytesToBase64(sha256(png)); }],
|
|
175
|
+
["attribution.title (placement)", (p) => { p.attribution.title = "container/1"; }],
|
|
176
|
+
["artifact digest", (p) => { p.artifact.digestB64 = bytesToBase64(sha256(unrelated)); }],
|
|
177
|
+
["slot record nonce", (p) => { p.slotAllocation.nonceB64 = bytesToBase64(new Uint8Array(32)); }],
|
|
178
|
+
["signature", (p) => { p.signer.signatureB64 = bytesToBase64(new Uint8Array(64)); }],
|
|
179
|
+
];
|
|
180
|
+
for (const [label, mutate] of cases) {
|
|
181
|
+
const p = structuredClone(proof);
|
|
182
|
+
mutate(p);
|
|
183
|
+
resetEpochLinkState();
|
|
184
|
+
const r = await verifyFuse({ proof: p, bytes: bytes("fused-trailer.bin") });
|
|
185
|
+
assert.equal(r.category, "INVALID_UNDERLYING_PROOF", label);
|
|
186
|
+
assert.equal(r.proof.valid, false, label);
|
|
187
|
+
assert.equal(r.statements.length, 0, label);
|
|
188
|
+
}
|
|
189
|
+
});
|
|
190
|
+
test("tampering with the fused bytes is NO_MATCH (the digest no longer matches)", async () => {
|
|
191
|
+
const f = bytes("fused-trailer.bin");
|
|
192
|
+
f[3] = f[3] ^ 1;
|
|
193
|
+
assert.equal((await run("trailer.proof.json", f)).category, "NO_MATCH");
|
|
194
|
+
const c = bytes("fused-trailer.bin");
|
|
195
|
+
c[c.length - 1] = c[c.length - 1] ^ 1; // a commitment byte
|
|
196
|
+
assert.equal((await run("trailer.proof.json", c)).category, "NO_MATCH");
|
|
197
|
+
});
|
|
198
|
+
test("reformatting only the outer Frame changes nothing", async () => {
|
|
199
|
+
const pretty = text("trailer.bitgraph-fuse.json");
|
|
200
|
+
const compact = JSON.stringify(JSON.parse(pretty));
|
|
201
|
+
const a = await run("trailer.proof.json", bytes("fused-trailer.bin"), { frame: pretty });
|
|
202
|
+
const b = await run("trailer.proof.json", bytes("fused-trailer.bin"), { frame: compact });
|
|
203
|
+
assert.deepEqual(a, b);
|
|
204
|
+
assert.equal(a.category, "FUSED_DIRECT");
|
|
205
|
+
});
|
|
206
|
+
test("the ordinary verifier still accepts every fixture proof unchanged", async () => {
|
|
207
|
+
for (const name of ["recorded", "trailer", "container", "produced-origin", "produced-bare", "trailer-undeclared", "wrong-slot", "unregistered"]) {
|
|
208
|
+
resetEpochLinkState();
|
|
209
|
+
const v = await verifyProofIntegrity({ proof: proofOf(`${name}.proof.json`) });
|
|
210
|
+
assert.equal(v.valid, true, `${name}: ${v.reason ?? ""}`);
|
|
211
|
+
}
|
|
212
|
+
});
|
|
213
|
+
test("the span policy reports separately and never changes the category", async () => {
|
|
214
|
+
const r = await run("trailer.proof.json", bytes("fused-trailer.bin"), { maxPositions: 0 });
|
|
215
|
+
assert.equal(r.category, "FUSED_DIRECT");
|
|
216
|
+
assert.equal(r.policy.spanExceeded, true);
|
|
217
|
+
assert.equal(r.policy.maxPositions, "0");
|
|
218
|
+
const ok = await run("trailer.proof.json", bytes("fused-trailer.bin"), { maxPositions: 1_000_000 });
|
|
219
|
+
assert.equal(ok.policy.spanExceeded, false);
|
|
220
|
+
});
|
|
221
|
+
test("a trust policy still applies to the underlying proof", async () => {
|
|
222
|
+
const r = await run("trailer.proof.json", bytes("fused-trailer.bin"), { trustAnchors: { allowedMeasurements: ["00".repeat(48)] } });
|
|
223
|
+
assert.equal(r.category, "INVALID_UNDERLYING_PROOF");
|
|
224
|
+
assert.match(r.reason, /measurement/i);
|
|
225
|
+
});
|
|
226
|
+
});
|
|
227
|
+
describe("strict ordering (spec 12.2)", () => {
|
|
228
|
+
test("recorded A, then fused B allocated after A committed: B assembled after A", () => {
|
|
229
|
+
const a = proofOf("recorded.proof.json");
|
|
230
|
+
const b = proofOf("trailer.proof.json");
|
|
231
|
+
assert.equal(assembledAfterCommit(a, b), true);
|
|
232
|
+
});
|
|
233
|
+
test("slot held across an ordinary commit: the strict rule does not claim B after A", () => {
|
|
234
|
+
const a = proofOf("order-held.proof.json");
|
|
235
|
+
const b = proofOf("order-fused-during-hold.proof.json");
|
|
236
|
+
assert.ok(BigInt(b.commit.slotCounter) < BigInt(a.commit.counter), "fixture: B's slot precedes A's commit");
|
|
237
|
+
assert.ok(BigInt(a.commit.counter) < BigInt(b.commit.counter), "fixture: A committed before B");
|
|
238
|
+
assert.equal(assembledAfterCommit(a, b), false);
|
|
239
|
+
});
|
|
240
|
+
test("incomparable proofs answer null", () => {
|
|
241
|
+
const a = proofOf("recorded.proof.json");
|
|
242
|
+
const b = structuredClone(proofOf("trailer.proof.json"));
|
|
243
|
+
b.commit.epochId = bytesToBase64(new Uint8Array(32).fill(5));
|
|
244
|
+
assert.equal(assembledAfterCommit(a, b), null);
|
|
245
|
+
const c = structuredClone(proofOf("trailer.proof.json"));
|
|
246
|
+
c.signer.publicKeyB64 = bytesToBase64(new Uint8Array(32).fill(6));
|
|
247
|
+
assert.equal(assembledAfterCommit(a, c), null);
|
|
248
|
+
});
|
|
249
|
+
});
|
|
250
|
+
//# sourceMappingURL=fuse-verify.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"fuse-verify.test.js","sourceRoot":"","sources":["../../src/__tests__/fuse-verify.test.ts"],"names":[],"mappings":"AAAA,gEAAgE;AAEhE;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,KAAK,MAAM,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAG1I,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,oCAAoC,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC1F,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,YAAY,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC;AACzE,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,GAAG,IAAI,EAAE,MAAM,CAAC,CAAkB,CAAC;AAChG,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC;AAEhE,MAAM,QAAQ,GAAG,KAAK,CAAC,cAAc,CAAC,CAAC;AACvC,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;AAC/B,MAAM,SAAS,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,0BAA0B,CAAC,CAAC;AAEvE,KAAK,UAAU,GAAG,CAAC,SAAiB,EAAE,IAAgB,EAAE,QAAmD,EAAE;IAC3G,mBAAmB,EAAE,CAAC;IACtB,OAAO,UAAU,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;AAC1E,CAAC;AAED,QAAQ,CAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAI,CAAC,0EAA0E,EAAE,KAAK,IAAI,EAAE;QAC1F,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,qBAAqB,EAAE,QAAQ,CAAC,CAAC;QACrD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QACrC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAClC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC7B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAE,EAAE,uCAAuC,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC,IAAI;QAC9C,CAAC,oBAAoB,EAAE,mBAAmB,EAAE,WAAW,CAAC;QACxD,CAAC,sBAAsB,EAAE,qBAAqB,EAAE,aAAa,CAAC;QAC9D,CAAC,4BAA4B,EAAE,sBAAsB,EAAE,YAAY,CAAC;QACpE,CAAC,0BAA0B,EAAE,oBAAoB,EAAE,YAAY,CAAC;KACxD,EAAE,CAAC;QACX,IAAI,CAAC,GAAG,SAAS,mCAAmC,EAAE,KAAK,IAAI,EAAE;YAC/D,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;YACjD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,cAAc,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;YACzD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;YACrC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,aAAa,CAAC,CAAC;YAC9C,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAClB,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAK,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;YAC3C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAK,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;YAC/C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,wFAAwF,CAAC,CAAC;YAC7H,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,gHAAgH,EAAE,KAAK,IAAI,EAAE;QAChI,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,oBAAoB,EAAE,KAAK,CAAC,mBAAmB,CAAC,CAAC,CAAC;QAC3E,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,EAAE,8CAA8C,CAAC,CAAC;QACpF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,EAAE,sCAAsC,CAAC,CAAC;QAC5E,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,EAAE,mBAAmB,EAAE,6CAA6C,CAAC,CAAC;QAC/G,MAAM,UAAU,GAAG,MAAM,GAAG,CAAC,oBAAoB,EAAE,QAAQ,CAAC,CAAC;QAC7D,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAE,EAAE,uEAAuE,CAAC,CAAC;QACjH,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,0BAA0B,EAAE,KAAK,CAAC,oBAAoB,CAAC,CAAC,CAAC;QAChF,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,0FAA0F,EAAE,KAAK,IAAI,EAAE;QAC1G,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,uBAAuB,EAAE,KAAK,CAAC,sBAAsB,CAAC,CAAC,CAAC;QAC5E,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,yBAAyB,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,6DAA6D,CAAC,CAAC;QACjG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAO,EAAE,wCAAwC,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,wDAAwD,EAAE,KAAK,IAAI,EAAE;QACxE,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,yBAAyB,EAAE,KAAK,CAAC,wBAAwB,CAAC,CAAC,CAAC;QAChF,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,wBAAwB,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAO,EAAE,QAAQ,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,mGAAmG,EAAE,KAAK,IAAI,EAAE;QACnH,2EAA2E;QAC3E,0EAA0E;QAC1E,uEAAuE;QACvE,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;YAC/B,IAAI,EAAE,iBAAiB;YACvB,QAAQ,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE;YAC/P,KAAK,EAAE,OAAO,CAAC,+BAA+B,CAAC;SAChD,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,+BAA+B,EAAE,KAAK,CAAC,8BAA8B,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QAClH,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,4BAA4B,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,kCAAkC,CAAC,CAAC;QAClF,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,gDAAgD,CAAC,CAAC;QACnG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAO,EAAE,UAAU,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,oEAAoE,EAAE,KAAK,IAAI,EAAE;QACpF,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,+BAA+B,EAAE,KAAK,CAAC,8BAA8B,CAAC,EAAE;YAC1F,KAAK,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,QAAQ,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,+BAA+B,CAAC,EAAE;SAC/R,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;QACzC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAI,CAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;QACvF,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,oBAAoB,EAAE,QAAQ,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,mBAAmB,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;QAC9D,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,eAAe,EAAE,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACjE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,iDAAiD,EAAE,KAAK,IAAI,EAAE;QACjE,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,sBAAsB,EAAE,GAAG,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,mBAAmB,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;QAC9D,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,mFAAmF,EAAE,KAAK,IAAI,EAAE;QACnG,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,4BAA4B,EAAE,QAAQ,CAAC,CAAC;QAC5D,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,yBAAyB,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,0EAA0E,EAAE,KAAK,IAAI,EAAE;QAC1F,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,+BAA+B,EAAE,QAAQ,EAAE;YAC7D,KAAK,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,QAAQ,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,+BAA+B,CAAC,EAAE;SAC/R,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,4FAA4F,EAAE,KAAK,IAAI,EAAE;QAC5G,6EAA6E;QAC7E,2EAA2E;QAC3E,2EAA2E;QAC3E,MAAM,CAAC,GAAG,eAAe,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC,CAAC;QACpE,8EAA8E;QAC9E,6EAA6E;QAC7E,wEAAwE;QACxE,4EAA4E;QAC5E,6EAA6E;QAC7E,qEAAqE;QACrE,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,iBAAiB,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QACvO,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,+BAA+B,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QAC1E,sFAAsF;QACtF,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,iHAAiH,EAAE,KAAK,IAAI,EAAE;QACjI,mFAAmF;QACnF,kFAAkF;QAClF,wCAAwC;QACxC,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACxD,KAAK,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,QAAQ,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,+BAA+B,CAAC,EAAE;SAC1R,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,yBAAyB,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,2BAA2B,CAAC,CAAC;QAC3E,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,0CAA0C,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,2EAA2E,EAAE,KAAK,IAAI,EAAE;QAC3F,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,yBAAyB,EAAE,QAAQ,CAAC,CAAC;QACzD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,wBAAwB,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,+GAA+G,EAAE,KAAK,IAAI,EAAE;QAC/H,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,uBAAuB,EAAE,QAAQ,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,yBAAyB,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAI,CAAC,4CAA4C,EAAE,KAAK,IAAI,EAAE;QAC5D,KAAK,MAAM,IAAI,IAAI,CAAC,qBAAqB,EAAE,oBAAoB,EAAE,0BAA0B,CAAC,EAAE,CAAC;YAC7F,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACrC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;QAC7C,CAAC;QACD,iFAAiF;QACjF,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,sBAAsB,EAAE,KAAK,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACrG,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,kFAAkF,EAAE,KAAK,IAAI,EAAE;QAClG,MAAM,KAAK,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAC;QAC5C,MAAM,KAAK,GAAgD;YACzD,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAChF,CAAC,8BAA8B,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,WAAY,CAAC,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACjG,CAAC,+BAA+B,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,WAAY,CAAC,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;YACnF,CAAC,iBAAiB,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,SAAS,GAAG,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACxF,CAAC,mBAAmB,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,cAAe,CAAC,QAAQ,GAAG,aAAa,CAAC,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACjG,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,YAAY,GAAG,aAAa,CAAC,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACrF,CAAC;QACF,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACpC,MAAM,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;YACjC,MAAM,CAAC,CAAC,CAAC,CAAC;YACV,mBAAmB,EAAE,CAAC;YACtB,MAAM,CAAC,GAAG,MAAM,UAAU,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;YAC5E,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,0BAA0B,EAAE,KAAK,CAAC,CAAC;YAC5D,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;YAC1C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,2EAA2E,EAAE,KAAK,IAAI,EAAE;QAC3F,MAAM,CAAC,GAAG,KAAK,CAAC,mBAAmB,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC;QACjB,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,oBAAoB,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QACxE,MAAM,CAAC,GAAG,KAAK,CAAC,mBAAmB,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,oBAAoB;QAC5D,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,oBAAoB,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,mDAAmD,EAAE,KAAK,IAAI,EAAE;QACnE,MAAM,MAAM,GAAG,IAAI,CAAC,4BAA4B,CAAC,CAAC;QAClD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,oBAAoB,EAAE,KAAK,CAAC,mBAAmB,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QACzF,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,oBAAoB,EAAE,KAAK,CAAC,mBAAmB,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;QAC1F,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvB,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,mEAAmE,EAAE,KAAK,IAAI,EAAE;QACnF,KAAK,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,iBAAiB,EAAE,eAAe,EAAE,oBAAoB,EAAE,YAAY,EAAE,cAAc,CAAC,EAAE,CAAC;YAChJ,mBAAmB,EAAE,CAAC;YACtB,MAAM,CAAC,GAAG,MAAM,oBAAoB,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,IAAI,aAAa,CAAC,EAAE,CAAC,CAAC;YAC/E,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,mEAAmE,EAAE,KAAK,IAAI,EAAE;QACnF,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,oBAAoB,EAAE,KAAK,CAAC,mBAAmB,CAAC,EAAE,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3F,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;QACzC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;QAC1C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;QACzC,MAAM,EAAE,GAAG,MAAM,GAAG,CAAC,oBAAoB,EAAE,KAAK,CAAC,mBAAmB,CAAC,EAAE,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC,CAAC;QACpG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;QACtE,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,oBAAoB,EAAE,KAAK,CAAC,mBAAmB,CAAC,EAAE,EAAE,YAAY,EAAE,EAAE,mBAAmB,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACpI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,0BAA0B,CAAC,CAAC;QACrD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAO,EAAE,cAAc,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACrF,MAAM,CAAC,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAC;QACzC,MAAM,CAAC,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACzF,MAAM,CAAC,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,OAAO,CAAC,oCAAoC,CAAC,CAAC;QACxD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,WAAY,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,OAAQ,CAAC,EAAE,uCAAuC,CAAC,CAAC;QAC9G,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,OAAQ,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,OAAQ,CAAC,EAAE,+BAA+B,CAAC,CAAC;QAClG,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAC;QACzC,MAAM,CAAC,GAAG,eAAe,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAC;QACzD,CAAC,CAAC,MAAM,CAAC,OAAO,GAAG,aAAa,CAAC,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,eAAe,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAC;QACzD,CAAC,CAAC,MAAM,CAAC,YAAY,GAAG,aAAa,CAAC,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAClE,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,15 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Shared mock proof fixture.
|
|
3
|
+
*
|
|
4
|
+
* Extracted verbatim from proof-hash.test.ts (values unchanged, byte for
|
|
5
|
+
* byte) so other suites can import the fixture without importing a test
|
|
6
|
+
* file (which would re-register its suites under node:test).
|
|
7
|
+
*
|
|
8
|
+
* Placeholder values throughout: the digest, keys, and signatures are not
|
|
9
|
+
* real base64 crypto material. It is a canonical-hash and ingest fixture;
|
|
10
|
+
* it fails full verification by design, always for a precise non-version
|
|
11
|
+
* reason (the placeholder digest is not strict base64), never as a pass.
|
|
12
|
+
*/
|
|
13
|
+
import type { BitGraphProof } from "../index.js";
|
|
14
|
+
export declare const MOCK_PROOF: BitGraphProof;
|
|
15
|
+
//# sourceMappingURL=mock-proof-fixture.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"mock-proof-fixture.d.ts","sourceRoot":"","sources":["../../src/__tests__/mock-proof-fixture.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAEjD,eAAO,MAAM,UAAU,EAAE,aAoBxB,CAAC"}
|
|
@@ -0,0 +1,34 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Shared mock proof fixture.
|
|
3
|
+
*
|
|
4
|
+
* Extracted verbatim from proof-hash.test.ts (values unchanged, byte for
|
|
5
|
+
* byte) so other suites can import the fixture without importing a test
|
|
6
|
+
* file (which would re-register its suites under node:test).
|
|
7
|
+
*
|
|
8
|
+
* Placeholder values throughout: the digest, keys, and signatures are not
|
|
9
|
+
* real base64 crypto material. It is a canonical-hash and ingest fixture;
|
|
10
|
+
* it fails full verification by design, always for a precise non-version
|
|
11
|
+
* reason (the placeholder digest is not strict base64), never as a pass.
|
|
12
|
+
*/
|
|
13
|
+
export const MOCK_PROOF = {
|
|
14
|
+
version: "bitgraph/1",
|
|
15
|
+
artifact: { hashAlg: "sha256", digestB64: "abc123==" },
|
|
16
|
+
commit: {
|
|
17
|
+
nonceB64: "nonce==",
|
|
18
|
+
counter: "42",
|
|
19
|
+
slotCounter: "41",
|
|
20
|
+
epochId: "epoch==",
|
|
21
|
+
prevB64: "prev==",
|
|
22
|
+
},
|
|
23
|
+
signer: {
|
|
24
|
+
publicKeyB64: "pubkey==",
|
|
25
|
+
signatureB64: "sig==",
|
|
26
|
+
},
|
|
27
|
+
environment: {
|
|
28
|
+
enforcement: "measured-tee",
|
|
29
|
+
measurement: "pcr0hash",
|
|
30
|
+
attestation: { format: "aws-nitro", reportB64: "report==" },
|
|
31
|
+
},
|
|
32
|
+
attribution: { name: "test", message: "hello" },
|
|
33
|
+
};
|
|
34
|
+
//# sourceMappingURL=mock-proof-fixture.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"mock-proof-fixture.js","sourceRoot":"","sources":["../../src/__tests__/mock-proof-fixture.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,MAAM,CAAC,MAAM,UAAU,GAAkB;IACvC,OAAO,EAAE,YAAY;IACrB,QAAQ,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE;IACtD,MAAM,EAAE;QACN,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,IAAI;QACb,WAAW,EAAE,IAAI;QACjB,OAAO,EAAE,SAAS;QAClB,OAAO,EAAE,QAAQ;KAClB;IACD,MAAM,EAAE;QACN,YAAY,EAAE,UAAU;QACxB,YAAY,EAAE,OAAO;KACtB;IACD,WAAW,EAAE;QACX,WAAW,EAAE,cAAc;QAC3B,WAAW,EAAE,UAAU;QACvB,WAAW,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE;KAC5D;IACD,WAAW,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE;CAChD,CAAC"}
|
|
@@ -12,49 +12,10 @@ import { describe, it } from "node:test";
|
|
|
12
12
|
import * as assert from "node:assert/strict";
|
|
13
13
|
import { sha256 } from "@noble/hashes/sha256";
|
|
14
14
|
import { computeProofHash, canonicalize } from "../index.js";
|
|
15
|
-
//
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
hashAlg: "sha256",
|
|
20
|
-
digestB64: "NkYJQ1Gi0hE0SIhv6c46MlqJdurmKHtbScOprDfoL6A=",
|
|
21
|
-
},
|
|
22
|
-
commit: {
|
|
23
|
-
nonceB64: "z1272XEvkMtibuBP0qG3oY37cewo6cJ/o1AuigOSVOk=",
|
|
24
|
-
counter: "1370",
|
|
25
|
-
slotCounter: "1369",
|
|
26
|
-
slotHashB64: "8IyrBOGB64ppP/RETEZTYyYesF5bfcwJ5dI9+u7r2yY=",
|
|
27
|
-
epochId: "7jU4N9703cm6A2t8YNoGsyOvbdePDpoaD8AKCFs7wko=",
|
|
28
|
-
prevB64: "KsJfA3MinpSwF+t4GuxU9vLmmaqAK8FhzhaepEnJBDc=",
|
|
29
|
-
chainId: "bitgraph:main",
|
|
30
|
-
},
|
|
31
|
-
signer: {
|
|
32
|
-
publicKeyB64: "9XjqKDS+e8NhhNoBqbisCKHpaR/HK6hH0x5AKdwc56w=",
|
|
33
|
-
signatureB64: "wbhAtN1dcF2nESBDB0sCQ4ebuZCav8ziLivYgofh7cXeupw5H97VyovHN4I/R9uS0vNaoPIP8js8uTkZnn/IBA==",
|
|
34
|
-
},
|
|
35
|
-
environment: {
|
|
36
|
-
enforcement: "measured-tee",
|
|
37
|
-
measurement: "638d655ad6091bed5c358628b7780de0cdbe138a37fe09d52bf8021a720680a2b3c730fee9f6bef79c1dbe68ef3cdd94",
|
|
38
|
-
attestation: {
|
|
39
|
-
format: "aws-nitro",
|
|
40
|
-
reportB64: "hEShATgioFkR...(truncated for test)",
|
|
41
|
-
},
|
|
42
|
-
},
|
|
43
|
-
slotAllocation: {
|
|
44
|
-
version: "bitgraph/slot/1",
|
|
45
|
-
nonceB64: "z1272XEvkMtibuBP0qG3oY37cewo6cJ/o1AuigOSVOk=",
|
|
46
|
-
counter: "1369",
|
|
47
|
-
epochId: "7jU4N9703cm6A2t8YNoGsyOvbdePDpoaD8AKCFs7wko=",
|
|
48
|
-
publicKeyB64: "9XjqKDS+e8NhhNoBqbisCKHpaR/HK6hH0x5AKdwc56w=",
|
|
49
|
-
chainId: "bitgraph:main",
|
|
50
|
-
signatureB64: "yO34pHfmkjGY6HgDxcPIaFd/lnt/UFZuHQa10LmUvTHgsQP3S3bIEJX/xcXPRENKZ9duVe7c+81rAWdmhiRMBg==",
|
|
51
|
-
},
|
|
52
|
-
attribution: {
|
|
53
|
-
name: "Ethereum Anchor",
|
|
54
|
-
title: "https://etherscan.io/block/24800448",
|
|
55
|
-
message: "0x28ed3639cd705fb8cb2b915c1991e9f808b40e775bc8eb540702942729fec2c0",
|
|
56
|
-
},
|
|
57
|
-
};
|
|
15
|
+
// Fixture extracted verbatim to a shared non-test module so other suites
|
|
16
|
+
// (audit attestation honesty tests) can import it without re-registering
|
|
17
|
+
// this file's suites. Values unchanged.
|
|
18
|
+
import { REALISTIC_PROOF } from "./realistic-proof-fixture.js";
|
|
58
19
|
/**
|
|
59
20
|
* Inline signed-body hash — the OLD way ledger s3.ts computed it.
|
|
60
21
|
* This must produce the same result as computeProofHash().
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"proof-hash-regression.test.js","sourceRoot":"","sources":["../../src/__tests__/proof-hash-regression.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,KAAK,MAAM,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;
|
|
1
|
+
{"version":3,"file":"proof-hash-regression.test.js","sourceRoot":"","sources":["../../src/__tests__/proof-hash-regression.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,KAAK,MAAM,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC7D,yEAAyE;AACzE,yEAAyE;AACzE,wCAAwC;AACxC,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAE/D;;;GAGG;AACH,SAAS,oBAAoB,CAAC,KAA8B;IAC1D,MAAM,MAAM,GAAG,KAAK,CAAC,MAAkC,CAAC;IACxD,MAAM,GAAG,GAAG,KAAK,CAAC,WAA6F,CAAC;IAEhH,MAAM,UAAU,GAA4B;QAC1C,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,WAAW,EAAE,GAAG,CAAC,WAAW;QAC5B,WAAW,EAAE,GAAG,CAAC,WAAW;KAC7B,CAAC;IACF,IAAI,KAAK,CAAC,WAAW;QAAE,UAAU,CAAC,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC;IAClE,IAAI,GAAG,CAAC,WAAW;QAAE,UAAU,CAAC,iBAAiB,GAAG,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC;IAE3E,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;AAC1E,CAAC;AAED,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,SAAS,GAAG,gBAAgB,CAAC,eAAe,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,oBAAoB,CAAC,eAAe,CAAC,CAAC;QACrD,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM,EAAE,iDAAiD,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,MAAM,GAAG,EAAE,GAAG,eAAe,EAA6B,CAAC;QACjE,OAAO,MAAM,CAAC,WAAW,CAAC;QAC1B,MAAM,SAAS,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM,EAAE,yCAAyC,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,QAAQ,GAAG;YACf,GAAG,eAAe;YAClB,WAAW,EAAE;gBACX,WAAW,EAAE,eAAe,CAAC,WAAW,CAAC,WAAW;gBACpD,WAAW,EAAE,eAAe,CAAC,WAAW,CAAC,WAAW;aACrD;SACF,CAAC;QACF,MAAM,SAAS,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM,EAAE,yCAAyC,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,8BAA8B;QAC9B,MAAM,SAAS,GAAG,EAAE,GAAG,eAAe,EAA6B,CAAC;QACpE,OAAO,SAAS,CAAC,WAAW,CAAC;QAE7B,iCAAiC;QACjC,MAAM,WAAW,GAAG,eAAe,CAAC;QAEpC,0CAA0C;QAC1C,MAAM,QAAQ,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC;QAC7C,MAAM,UAAU,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC;QAEjD,6DAA6D;QAC7D,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,UAAU,EAAE,0DAA0D,CAAC,CAAC;QAClG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,MAAM,EAAE,EAAE,EAAE,6BAA6B,CAAC,CAAC;QACxF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,MAAM,EAAE,EAAE,EAAE,+BAA+B,CAAC,CAAC;IAC9F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,IAAI,GAAG,EAAE,GAAG,eAAe,EAA6B,CAAC;QAC/D,OAAO,IAAI,CAAC,cAAc,CAAC;QAE3B,MAAM,QAAQ,GAAG,EAAE,GAAG,eAAe,EAAE,CAAC;QAExC,MAAM,YAAY,GAAG;YACnB,GAAG,eAAe;YAClB,QAAQ,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,IAAI,EAAE;YAClD,UAAU,EAAE,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE;SAC/C,CAAC;QAEF,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,YAAY,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QAChD,MAAM,YAAY,GAAG,gBAAgB,CAAC,YAAY,CAAC,CAAC;QAEpD,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,YAAY,EAAE,uCAAuC,CAAC,CAAC;QAC9E,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,YAAY,EAAE,4CAA4C,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -2,27 +2,9 @@ import { describe, it } from "node:test";
|
|
|
2
2
|
import * as assert from "node:assert/strict";
|
|
3
3
|
import { sha256 } from "@noble/hashes/sha256";
|
|
4
4
|
import { computeProofHash, canonicalize } from "../index.js";
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
commit: {
|
|
9
|
-
nonceB64: "nonce==",
|
|
10
|
-
counter: "42",
|
|
11
|
-
slotCounter: "41",
|
|
12
|
-
epochId: "epoch==",
|
|
13
|
-
prevB64: "prev==",
|
|
14
|
-
},
|
|
15
|
-
signer: {
|
|
16
|
-
publicKeyB64: "pubkey==",
|
|
17
|
-
signatureB64: "sig==",
|
|
18
|
-
},
|
|
19
|
-
environment: {
|
|
20
|
-
enforcement: "measured-tee",
|
|
21
|
-
measurement: "pcr0hash",
|
|
22
|
-
attestation: { format: "aws-nitro", reportB64: "report==" },
|
|
23
|
-
},
|
|
24
|
-
attribution: { name: "test", message: "hello" },
|
|
25
|
-
};
|
|
5
|
+
// Fixture moved verbatim to a shared non-test module so other suites can
|
|
6
|
+
// import it without re-registering this file's describes under node:test.
|
|
7
|
+
import { MOCK_PROOF } from "./mock-proof-fixture.js";
|
|
26
8
|
describe("computeProofHash", () => {
|
|
27
9
|
it("produces base64-encoded SHA-256", () => {
|
|
28
10
|
const hash = computeProofHash(MOCK_PROOF);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"proof-hash.test.js","sourceRoot":"","sources":["../../src/__tests__/proof-hash.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,KAAK,MAAM,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;
|
|
1
|
+
{"version":3,"file":"proof-hash.test.js","sourceRoot":"","sources":["../../src/__tests__/proof-hash.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,KAAK,MAAM,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE7D,yEAAyE;AACzE,0EAA0E;AAC1E,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAErD,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,IAAI,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;QAC1C,sDAAsD;QACtD,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,IAAI,EAAE,EAAE,2BAA2B,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1F,eAAe;QACf,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC5C,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,EAAE,mCAAmC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,UAAU,GAA4B;YAC1C,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,YAAY,EAAE,UAAU,CAAC,MAAM,CAAC,YAAY;YAC5C,WAAW,EAAE,UAAU,CAAC,WAAW,CAAC,WAAW;YAC/C,WAAW,EAAE,UAAU,CAAC,WAAW,CAAC,WAAW;YAC/C,WAAW,EAAE,UAAU,CAAC,WAAW;YACnC,iBAAiB,EAAE,UAAU,CAAC,WAAW,CAAC,WAAY,CAAC,MAAM;SAC9D,CAAC;QACF,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAClF,MAAM,MAAM,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;QAC5C,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,qDAAqD,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,oDAAoD;QACpD,MAAM,SAAS,GAAG;YAChB,WAAW,EAAE,UAAU,CAAC,WAAW;YACnC,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,WAAW,EAAE,UAAU,CAAC,WAAW;SACR,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,YAAY,GAAG;YACnB,GAAG,UAAU;YACb,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;YACpD,UAAU,EAAE,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE;SACd,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,YAAY,CAAC,EAAE,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,YAAY,GAAG;YACnB,GAAG,UAAU;YACb,MAAM,EAAE,EAAE,GAAG,UAAU,CAAC,MAAM,EAAE,YAAY,EAAE,4BAA4B,EAAE;SAC5D,CAAC;QACnB,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,YAAY,CAAC,EAAE,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,eAAe,GAAG;YACtB,GAAG,UAAU;YACb,WAAW,EAAE;gBACX,GAAG,UAAU,CAAC,WAAW;gBACzB,WAAW,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,qBAAqB,EAAE;aACvE;SACe,CAAC;QACnB,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,eAAe,CAAC,EAAE,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,SAAS,GAAG;YAChB,GAAG,UAAU;YACb,QAAQ,EAAE,EAAE,OAAO,EAAE,QAAiB,EAAE,SAAS,EAAE,aAAa,EAAE;SACnE,CAAC;QACF,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,SAAS,GAAG;YAChB,GAAG,UAAU;YACb,MAAM,EAAE,EAAE,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE;SAChD,CAAC;QACF,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,SAAS,GAAG;YAChB,GAAG,UAAU;YACb,MAAM,EAAE,EAAE,GAAG,UAAU,CAAC,MAAM,EAAE,YAAY,EAAE,iBAAiB,EAAE;SACjD,CAAC;QACnB,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,OAAO,GAAG,EAAE,GAAG,UAAU,EAA6B,CAAC;QAC7D,OAAO,OAAO,CAAC,WAAW,CAAC;QAC3B,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,kBAAkB,GAAG;YACzB,GAAG,UAAU;YACb,WAAW,EAAE;gBACX,WAAW,EAAE,UAAU,CAAC,WAAW,CAAC,WAAW;gBAC/C,WAAW,EAAE,UAAU,CAAC,WAAW,CAAC,WAAW;aAChD;SACe,CAAC;QACnB,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,EAAE,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,MAAM,GAA4B,EAAE,GAAG,UAAU,EAAE,CAAC;QAC1D,MAAM,IAAI,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"proof-integrity.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/proof-integrity.test.ts"],"names":[],"mappings":""}
|