@andamio/core 0.1.0 → 0.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/dist/index.d.mts +1 -1
- package/dist/index.d.ts +1 -1
- package/dist/index.js +84 -115
- package/dist/index.js.map +1 -1
- package/dist/index.mjs +81 -96
- package/dist/index.mjs.map +1 -1
- package/dist/utils/hashing/index.d.mts +39 -20
- package/dist/utils/hashing/index.d.ts +39 -20
- package/dist/utils/hashing/index.js +83 -114
- package/dist/utils/hashing/index.js.map +1 -1
- package/dist/utils/hashing/index.mjs +80 -95
- package/dist/utils/hashing/index.mjs.map +1 -1
- package/package.json +4 -2
- package/src/utils/hashing/commitment-hash.ts +1 -1
- package/src/utils/hashing/index.ts +2 -1
- package/src/utils/hashing/slt-hash.test.ts +18 -0
- package/src/utils/hashing/slt-hash.ts +1 -1
- package/src/utils/hashing/task-hash.test.ts +383 -0
- package/src/utils/hashing/task-hash.ts +148 -160
package/dist/index.mjs
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import
|
|
1
|
+
import blake from 'blakejs';
|
|
2
2
|
|
|
3
3
|
// src/utils/hashing/slt-hash.ts
|
|
4
4
|
var PLUTUS_CHUNK_SIZE = 64;
|
|
@@ -73,10 +73,10 @@ function concatUint8Arrays(arrays) {
|
|
|
73
73
|
}
|
|
74
74
|
return result;
|
|
75
75
|
}
|
|
76
|
-
var PLUTUS_CHUNK_SIZE2 = 64;
|
|
77
76
|
function computeTaskHash(task) {
|
|
78
|
-
|
|
79
|
-
|
|
77
|
+
validateTaskData(task);
|
|
78
|
+
const bytes = encodeTaskAsRawBytes(task);
|
|
79
|
+
return blake.blake2bHex(bytes, void 0, 32);
|
|
80
80
|
}
|
|
81
81
|
function verifyTaskHash(task, expectedHash) {
|
|
82
82
|
const computedHash = computeTaskHash(task);
|
|
@@ -88,108 +88,93 @@ function isValidTaskHash(hash) {
|
|
|
88
88
|
}
|
|
89
89
|
return /^[0-9a-fA-F]{64}$/.test(hash);
|
|
90
90
|
}
|
|
91
|
-
function
|
|
92
|
-
|
|
93
|
-
|
|
94
|
-
|
|
95
|
-
|
|
96
|
-
|
|
97
|
-
|
|
98
|
-
|
|
99
|
-
|
|
100
|
-
|
|
101
|
-
|
|
102
|
-
|
|
103
|
-
|
|
104
|
-
|
|
91
|
+
function debugTaskBytes(task) {
|
|
92
|
+
validateTaskData(task);
|
|
93
|
+
const bytes = encodeTaskAsRawBytes(task);
|
|
94
|
+
return uint8ArrayToHex(bytes);
|
|
95
|
+
}
|
|
96
|
+
function encodeTaskAsRawBytes(task) {
|
|
97
|
+
const normalizedContent = task.project_content.normalize("NFC");
|
|
98
|
+
return concatUint8Arrays2([
|
|
99
|
+
new TextEncoder().encode(normalizedContent),
|
|
100
|
+
intToBytesLittleEndian(task.expiration_time),
|
|
101
|
+
intToBytesLittleEndian(task.lovelace_amount),
|
|
102
|
+
combineNativeAssets(task.native_assets)
|
|
103
|
+
]);
|
|
104
|
+
}
|
|
105
|
+
function validateTaskData(task) {
|
|
106
|
+
if (task.project_content.length > 140) {
|
|
107
|
+
throw new Error(
|
|
108
|
+
`project_content exceeds 140 characters (got ${task.project_content.length})`
|
|
109
|
+
);
|
|
110
|
+
}
|
|
111
|
+
if (task.expiration_time < 0n) {
|
|
112
|
+
throw new Error("expiration_time must be non-negative");
|
|
113
|
+
}
|
|
114
|
+
if (task.lovelace_amount < 0n) {
|
|
115
|
+
throw new Error("lovelace_amount must be non-negative");
|
|
116
|
+
}
|
|
117
|
+
for (const [policyId, tokenName, quantity] of task.native_assets) {
|
|
118
|
+
if (policyId.length !== 56) {
|
|
119
|
+
throw new Error(
|
|
120
|
+
`policyId must be 56 hex chars (got ${policyId.length})`
|
|
121
|
+
);
|
|
122
|
+
}
|
|
123
|
+
if (!/^[0-9a-fA-F]*$/.test(policyId)) {
|
|
124
|
+
throw new Error("policyId contains invalid hex characters");
|
|
125
|
+
}
|
|
126
|
+
if (tokenName.length > 64 || tokenName.length % 2 !== 0) {
|
|
127
|
+
throw new Error(
|
|
128
|
+
`tokenName must be 0-64 hex chars with even length (got ${tokenName.length})`
|
|
129
|
+
);
|
|
130
|
+
}
|
|
131
|
+
if (tokenName.length > 0 && !/^[0-9a-fA-F]*$/.test(tokenName)) {
|
|
132
|
+
throw new Error("tokenName contains invalid hex characters");
|
|
133
|
+
}
|
|
134
|
+
if (quantity < 0n) {
|
|
135
|
+
throw new Error("asset quantity must be non-negative");
|
|
136
|
+
}
|
|
137
|
+
}
|
|
105
138
|
}
|
|
106
|
-
function
|
|
107
|
-
if (
|
|
108
|
-
|
|
139
|
+
function intToBytesLittleEndian(n) {
|
|
140
|
+
if (n < 0n) {
|
|
141
|
+
throw new Error("Negative integers not supported");
|
|
109
142
|
}
|
|
110
|
-
|
|
111
|
-
|
|
112
|
-
for (const [assetClass, quantity] of assets) {
|
|
113
|
-
chunks.push(new Uint8Array([130]));
|
|
114
|
-
chunks.push(encodePlutusBuiltinByteString2(new TextEncoder().encode(assetClass)));
|
|
115
|
-
chunks.push(encodePlutusInteger(quantity));
|
|
143
|
+
if (n === 0n) {
|
|
144
|
+
return new Uint8Array([0]);
|
|
116
145
|
}
|
|
117
|
-
|
|
118
|
-
|
|
146
|
+
const bytes = [];
|
|
147
|
+
let remaining = n;
|
|
148
|
+
while (remaining > 0n) {
|
|
149
|
+
bytes.push(Number(remaining & 0xffn));
|
|
150
|
+
remaining = remaining >> 8n;
|
|
151
|
+
}
|
|
152
|
+
return new Uint8Array(bytes);
|
|
119
153
|
}
|
|
120
|
-
function
|
|
121
|
-
if (
|
|
122
|
-
return
|
|
154
|
+
function combineNativeAssets(assets) {
|
|
155
|
+
if (assets.length === 0) {
|
|
156
|
+
return new Uint8Array([]);
|
|
123
157
|
}
|
|
124
158
|
const chunks = [];
|
|
125
|
-
|
|
126
|
-
|
|
127
|
-
|
|
128
|
-
chunks.push(
|
|
159
|
+
for (const [policyId, tokenName, quantity] of assets) {
|
|
160
|
+
chunks.push(hexToBytes(policyId));
|
|
161
|
+
chunks.push(hexToBytes(tokenName));
|
|
162
|
+
chunks.push(intToBytesLittleEndian(quantity));
|
|
129
163
|
}
|
|
130
|
-
chunks.push(new Uint8Array([255]));
|
|
131
164
|
return concatUint8Arrays2(chunks);
|
|
132
165
|
}
|
|
133
|
-
function
|
|
134
|
-
if (
|
|
135
|
-
|
|
136
|
-
return new Uint8Array([n]);
|
|
137
|
-
} else if (n <= 255) {
|
|
138
|
-
return new Uint8Array([24, n]);
|
|
139
|
-
} else if (n <= 65535) {
|
|
140
|
-
return new Uint8Array([25, n >> 8, n & 255]);
|
|
141
|
-
} else if (n <= 4294967295) {
|
|
142
|
-
return new Uint8Array([26, n >> 24 & 255, n >> 16 & 255, n >> 8 & 255, n & 255]);
|
|
143
|
-
} else {
|
|
144
|
-
const buf = new Uint8Array(9);
|
|
145
|
-
buf[0] = 27;
|
|
146
|
-
const big = BigInt(n);
|
|
147
|
-
const view = new DataView(buf.buffer);
|
|
148
|
-
view.setBigUint64(1, big, false);
|
|
149
|
-
return buf;
|
|
150
|
-
}
|
|
151
|
-
} else {
|
|
152
|
-
const absVal = -1 - n;
|
|
153
|
-
if (absVal <= 23) {
|
|
154
|
-
return new Uint8Array([32 + absVal]);
|
|
155
|
-
} else if (absVal <= 255) {
|
|
156
|
-
return new Uint8Array([56, absVal]);
|
|
157
|
-
} else if (absVal <= 65535) {
|
|
158
|
-
return new Uint8Array([57, absVal >> 8, absVal & 255]);
|
|
159
|
-
} else if (absVal <= 4294967295) {
|
|
160
|
-
return new Uint8Array([58, absVal >> 24 & 255, absVal >> 16 & 255, absVal >> 8 & 255, absVal & 255]);
|
|
161
|
-
} else {
|
|
162
|
-
const buf = new Uint8Array(9);
|
|
163
|
-
buf[0] = 59;
|
|
164
|
-
const big = BigInt(absVal);
|
|
165
|
-
const view = new DataView(buf.buffer);
|
|
166
|
-
view.setBigUint64(1, big, false);
|
|
167
|
-
return buf;
|
|
168
|
-
}
|
|
166
|
+
function hexToBytes(hex) {
|
|
167
|
+
if (hex.length === 0) {
|
|
168
|
+
return new Uint8Array([]);
|
|
169
169
|
}
|
|
170
|
-
|
|
171
|
-
|
|
172
|
-
const len = buffer.length;
|
|
173
|
-
if (len <= 23) {
|
|
174
|
-
const result = new Uint8Array(1 + len);
|
|
175
|
-
result[0] = 64 + len;
|
|
176
|
-
result.set(buffer, 1);
|
|
177
|
-
return result;
|
|
178
|
-
} else if (len <= 255) {
|
|
179
|
-
const result = new Uint8Array(2 + len);
|
|
180
|
-
result[0] = 88;
|
|
181
|
-
result[1] = len;
|
|
182
|
-
result.set(buffer, 2);
|
|
183
|
-
return result;
|
|
184
|
-
} else if (len <= 65535) {
|
|
185
|
-
const result = new Uint8Array(3 + len);
|
|
186
|
-
result[0] = 89;
|
|
187
|
-
result[1] = len >> 8;
|
|
188
|
-
result[2] = len & 255;
|
|
189
|
-
result.set(buffer, 3);
|
|
190
|
-
return result;
|
|
170
|
+
if (hex.length % 2 !== 0) {
|
|
171
|
+
throw new Error(`Invalid hex string: odd length (${hex.length})`);
|
|
191
172
|
}
|
|
192
|
-
|
|
173
|
+
const bytes = new Uint8Array(hex.length / 2);
|
|
174
|
+
for (let i = 0; i < bytes.length; i++) {
|
|
175
|
+
bytes[i] = parseInt(hex.slice(i * 2, i * 2 + 2), 16);
|
|
176
|
+
}
|
|
177
|
+
return bytes;
|
|
193
178
|
}
|
|
194
179
|
function concatUint8Arrays2(arrays) {
|
|
195
180
|
const totalLength = arrays.reduce((sum, arr) => sum + arr.length, 0);
|
|
@@ -376,6 +361,6 @@ function assetNameToString(hex) {
|
|
|
376
361
|
return new TextDecoder().decode(bytes);
|
|
377
362
|
}
|
|
378
363
|
|
|
379
|
-
export { ADDRESS_PREFIX, CEXPLORER_URLS, EXPLORER_URLS, NETWORK_MAGIC, POLICY_IDS, assetNameToString, computeAssignmentInfoHash, computeCommitmentHash, computeSltHash, computeSltHashDefinite, computeTaskHash,
|
|
364
|
+
export { ADDRESS_PREFIX, CEXPLORER_URLS, EXPLORER_URLS, NETWORK_MAGIC, POLICY_IDS, assetNameToString, computeAssignmentInfoHash, computeCommitmentHash, computeSltHash, computeSltHashDefinite, computeTaskHash, debugTaskBytes, getAccessTokenPolicyId, getAddressExplorerUrl, getAssetExplorerUrl, getPolicyExplorerUrl, getTxExplorerUrl, isValidAssetName, isValidAssignmentInfoHash, isValidCommitmentHash, isValidPolicyId, isValidSltHash, isValidTaskHash, normalizeForHashing, stringToAssetName, verifyAssignmentInfoHash, verifyCommitmentHash, verifyEvidenceDetailed, verifySltHash, verifyTaskHash };
|
|
380
365
|
//# sourceMappingURL=index.mjs.map
|
|
381
366
|
//# sourceMappingURL=index.mjs.map
|
package/dist/index.mjs.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":["../src/utils/hashing/slt-hash.ts","../src/utils/hashing/task-hash.ts","../src/utils/hashing/commitment-hash.ts","../src/constants/cardano.ts","../src/constants/policies.ts"],"names":["PLUTUS_CHUNK_SIZE","blake2","encodePlutusBuiltinByteString","concatUint8Arrays","encodeCBORByteString","blake3"],"mappings":";;;AAyBA,IAAM,iBAAA,GAAoB,EAAA;AA0BnB,SAAS,eAAe,IAAA,EAAwB;AACrD,EAAA,MAAM,QAAA,GAAW,IAAA,CAAK,GAAA,CAAI,CAAC,GAAA,KAAQ,IAAI,WAAA,EAAY,CAAE,MAAA,CAAO,GAAG,CAAC,CAAA;AAChE,EAAA,MAAM,QAAA,GAAW,oBAAoB,QAAQ,CAAA;AAC7C,EAAA,OAAa,KAAA,CAAA,UAAA,CAAW,QAAA,EAAU,MAAA,EAAW,EAAE,CAAA;AACjD;AAKO,IAAM,sBAAA,GAAyB;AAS/B,SAAS,aAAA,CAAc,MAAgB,YAAA,EAA+B;AAC3E,EAAA,MAAM,YAAA,GAAe,eAAe,IAAI,CAAA;AACxC,EAAA,OAAO,YAAA,CAAa,WAAA,EAAY,KAAM,YAAA,CAAa,WAAA,EAAY;AACjE;AAUO,SAAS,eAAe,IAAA,EAAuB;AACpD,EAAA,IAAI,IAAA,CAAK,WAAW,EAAA,EAAI;AACtB,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,mBAAA,CAAoB,KAAK,IAAI,CAAA;AACtC;AAaA,SAAS,oBAAoB,KAAA,EAAiC;AAC5D,EAAA,MAAM,SAAuB,EAAC;AAG9B,EAAA,MAAA,CAAO,KAAK,IAAI,UAAA,CAAW,CAAC,GAAI,CAAC,CAAC,CAAA;AAGlC,EAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,IAAA,MAAA,CAAO,IAAA,CAAK,6BAAA,CAA8B,IAAI,CAAC,CAAA;AAAA,EACjD;AAGA,EAAA,MAAA,CAAO,KAAK,IAAI,UAAA,CAAW,CAAC,GAAI,CAAC,CAAC,CAAA;AAElC,EAAA,OAAO,kBAAkB,MAAM,CAAA;AACjC;AAUA,SAAS,8BAA8B,MAAA,EAAgC;AACrE,EAAA,IAAI,MAAA,CAAO,UAAU,iBAAA,EAAmB;AAEtC,IAAA,OAAO,qBAAqB,MAAM,CAAA;AAAA,EACpC;AAGA,EAAA,MAAM,SAAuB,EAAC;AAC9B,EAAA,MAAA,CAAO,KAAK,IAAI,UAAA,CAAW,CAAC,EAAI,CAAC,CAAC,CAAA;AAElC,EAAA,KAAA,IAAS,IAAI,CAAA,EAAG,CAAA,GAAI,MAAA,CAAO,MAAA,EAAQ,KAAK,iBAAA,EAAmB;AACzD,IAAA,MAAM,KAAA,GAAQ,MAAA,CAAO,QAAA,CAAS,CAAA,EAAG,IAAA,CAAK,IAAI,CAAA,GAAI,iBAAA,EAAmB,MAAA,CAAO,MAAM,CAAC,CAAA;AAC/E,IAAA,MAAA,CAAO,IAAA,CAAK,oBAAA,CAAqB,KAAK,CAAC,CAAA;AAAA,EACzC;AAEA,EAAA,MAAA,CAAO,KAAK,IAAI,UAAA,CAAW,CAAC,GAAI,CAAC,CAAC,CAAA;AAClC,EAAA,OAAO,kBAAkB,MAAM,CAAA;AACjC;AAOA,SAAS,qBAAqB,MAAA,EAAgC;AAC5D,EAAA,MAAM,MAAM,MAAA,CAAO,MAAA;AAMnB,EAAA,IAAI,OAAO,EAAA,EAAI;AACb,IAAA,MAAM,MAAA,GAAS,IAAI,UAAA,CAAW,CAAA,GAAI,GAAG,CAAA;AACrC,IAAA,MAAA,CAAO,CAAC,IAAI,EAAA,GAAO,GAAA;AACnB,IAAA,MAAA,CAAO,GAAA,CAAI,QAAQ,CAAC,CAAA;AACpB,IAAA,OAAO,MAAA;AAAA,EACT,CAAA,MAAA,IAAW,OAAO,GAAA,EAAK;AACrB,IAAA,MAAM,MAAA,GAAS,IAAI,UAAA,CAAW,CAAA,GAAI,GAAG,CAAA;AACrC,IAAA,MAAA,CAAO,CAAC,CAAA,GAAI,EAAA;AACZ,IAAA,MAAA,CAAO,CAAC,CAAA,GAAI,GAAA;AACZ,IAAA,MAAA,CAAO,GAAA,CAAI,QAAQ,CAAC,CAAA;AACpB,IAAA,OAAO,MAAA;AAAA,EACT,CAAA,MAAA,IAAW,OAAO,KAAA,EAAO;AACvB,IAAA,MAAM,MAAA,GAAS,IAAI,UAAA,CAAW,CAAA,GAAI,GAAG,CAAA;AACrC,IAAA,MAAA,CAAO,CAAC,CAAA,GAAI,EAAA;AACZ,IAAA,MAAA,CAAO,CAAC,IAAI,GAAA,IAAO,CAAA;AACnB,IAAA,MAAA,CAAO,CAAC,IAAI,GAAA,GAAM,GAAA;AAClB,IAAA,MAAA,CAAO,GAAA,CAAI,QAAQ,CAAC,CAAA;AACpB,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,MAAM,IAAI,MAAM,wCAAwC,CAAA;AAC1D;AAOA,SAAS,kBAAkB,MAAA,EAAkC;AAC3D,EAAA,MAAM,WAAA,GAAc,OAAO,MAAA,CAAO,CAAC,KAAK,GAAA,KAAQ,GAAA,GAAM,GAAA,CAAI,MAAA,EAAQ,CAAC,CAAA;AACnE,EAAA,MAAM,MAAA,GAAS,IAAI,UAAA,CAAW,WAAW,CAAA;AACzC,EAAA,IAAI,MAAA,GAAS,CAAA;AACb,EAAA,KAAA,MAAW,OAAO,MAAA,EAAQ;AACxB,IAAA,MAAA,CAAO,GAAA,CAAI,KAAK,MAAM,CAAA;AACtB,IAAA,MAAA,IAAU,GAAA,CAAI,MAAA;AAAA,EAChB;AACA,EAAA,OAAO,MAAA;AACT;AC3JA,IAAMA,kBAAAA,GAAoB,EAAA;AA0BnB,SAAS,gBAAgB,IAAA,EAAwB;AAEtD,EAAA,MAAM,QAAA,GAAW,uBAAuB,IAAI,CAAA;AAG5C,EAAA,OAAaC,KAAA,CAAA,UAAA,CAAW,QAAA,EAAU,MAAA,EAAW,EAAE,CAAA;AACjD;AASO,SAAS,cAAA,CAAe,MAAgB,YAAA,EAA+B;AAC5E,EAAA,MAAM,YAAA,GAAe,gBAAgB,IAAI,CAAA;AACzC,EAAA,OAAO,YAAA,CAAa,WAAA,EAAY,KAAM,YAAA,CAAa,WAAA,EAAY;AACjE;AAOO,SAAS,gBAAgB,IAAA,EAAuB;AACrD,EAAA,IAAI,IAAA,CAAK,WAAW,EAAA,EAAI;AACtB,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,mBAAA,CAAoB,KAAK,IAAI,CAAA;AACtC;AASO,SAAS,cAAc,IAAA,EAAwB;AACpD,EAAA,MAAM,QAAA,GAAW,uBAAuB,IAAI,CAAA;AAC5C,EAAA,OAAO,gBAAgB,QAAQ,CAAA;AACjC;AAgBA,SAAS,uBAAuB,IAAA,EAA4B;AAC1D,EAAA,MAAM,SAAuB,EAAC;AAI9B,EAAA,MAAA,CAAO,KAAK,IAAI,UAAA,CAAW,CAAC,GAAA,EAAM,GAAI,CAAC,CAAC,CAAA;AACxC,EAAA,MAAA,CAAO,KAAK,IAAI,UAAA,CAAW,CAAC,GAAI,CAAC,CAAC,CAAA;AAGlC,EAAA,MAAA,CAAO,IAAA,CAAKC,+BAA8B,IAAI,WAAA,GAAc,MAAA,CAAO,IAAA,CAAK,eAAe,CAAC,CAAC,CAAA;AAGzF,EAAA,MAAA,CAAO,IAAA,CAAK,mBAAA,CAAoB,IAAA,CAAK,eAAe,CAAC,CAAA;AAGrD,EAAA,MAAA,CAAO,IAAA,CAAK,mBAAA,CAAoB,IAAA,CAAK,eAAe,CAAC,CAAA;AAGrD,EAAA,MAAA,CAAO,IAAA,CAAK,kBAAA,CAAmB,IAAA,CAAK,aAAa,CAAC,CAAA;AAGlD,EAAA,MAAA,CAAO,KAAK,IAAI,UAAA,CAAW,CAAC,GAAI,CAAC,CAAC,CAAA;AAElC,EAAA,OAAOC,mBAAkB,MAAM,CAAA;AACjC;AAUA,SAAS,mBAAmB,MAAA,EAAmC;AAC7D,EAAA,IAAI,MAAA,CAAO,WAAW,CAAA,EAAG;AAEvB,IAAA,OAAO,IAAI,UAAA,CAAW,CAAC,GAAI,CAAC,CAAA;AAAA,EAC9B;AAEA,EAAA,MAAM,SAAuB,EAAC;AAG9B,EAAA,MAAA,CAAO,KAAK,IAAI,UAAA,CAAW,CAAC,GAAI,CAAC,CAAC,CAAA;AAElC,EAAA,KAAA,MAAW,CAAC,UAAA,EAAY,QAAQ,CAAA,IAAK,MAAA,EAAQ;AAE3C,IAAA,MAAA,CAAO,KAAK,IAAI,UAAA,CAAW,CAAC,GAAI,CAAC,CAAC,CAAA;AAClC,IAAA,MAAA,CAAO,IAAA,CAAKD,+BAA8B,IAAI,WAAA,GAAc,MAAA,CAAO,UAAU,CAAC,CAAC,CAAA;AAC/E,IAAA,MAAA,CAAO,IAAA,CAAK,mBAAA,CAAoB,QAAQ,CAAC,CAAA;AAAA,EAC3C;AAGA,EAAA,MAAA,CAAO,KAAK,IAAI,UAAA,CAAW,CAAC,GAAI,CAAC,CAAC,CAAA;AAElC,EAAA,OAAOC,mBAAkB,MAAM,CAAA;AACjC;AAUA,SAASD,+BAA8B,MAAA,EAAgC;AACrE,EAAA,IAAI,MAAA,CAAO,UAAUF,kBAAAA,EAAmB;AACtC,IAAA,OAAOI,sBAAqB,MAAM,CAAA;AAAA,EACpC;AAGA,EAAA,MAAM,SAAuB,EAAC;AAC9B,EAAA,MAAA,CAAO,KAAK,IAAI,UAAA,CAAW,CAAC,EAAI,CAAC,CAAC,CAAA;AAElC,EAAA,KAAA,IAAS,IAAI,CAAA,EAAG,CAAA,GAAI,MAAA,CAAO,MAAA,EAAQ,KAAKJ,kBAAAA,EAAmB;AACzD,IAAA,MAAM,KAAA,GAAQ,MAAA,CAAO,QAAA,CAAS,CAAA,EAAG,IAAA,CAAK,IAAI,CAAA,GAAIA,kBAAAA,EAAmB,MAAA,CAAO,MAAM,CAAC,CAAA;AAC/E,IAAA,MAAA,CAAO,IAAA,CAAKI,qBAAAA,CAAqB,KAAK,CAAC,CAAA;AAAA,EACzC;AAEA,EAAA,MAAA,CAAO,KAAK,IAAI,UAAA,CAAW,CAAC,GAAI,CAAC,CAAC,CAAA;AAClC,EAAA,OAAOD,mBAAkB,MAAM,CAAA;AACjC;AAOA,SAAS,oBAAoB,CAAA,EAAuB;AAElD,EAAA,IAAI,KAAK,CAAA,EAAG;AACV,IAAA,IAAI,KAAK,EAAA,EAAI;AACX,MAAA,OAAO,IAAI,UAAA,CAAW,CAAC,CAAC,CAAC,CAAA;AAAA,IAC3B,CAAA,MAAA,IAAW,KAAK,GAAA,EAAM;AACpB,MAAA,OAAO,IAAI,UAAA,CAAW,CAAC,EAAA,EAAM,CAAC,CAAC,CAAA;AAAA,IACjC,CAAA,MAAA,IAAW,KAAK,KAAA,EAAQ;AACtB,MAAA,OAAO,IAAI,WAAW,CAAC,EAAA,EAAM,KAAK,CAAA,EAAG,CAAA,GAAI,GAAI,CAAC,CAAA;AAAA,IAChD,CAAA,MAAA,IAAW,KAAK,UAAA,EAAY;AAC1B,MAAA,OAAO,IAAI,UAAA,CAAW,CAAC,EAAA,EAAO,KAAK,EAAA,GAAM,GAAA,EAAO,CAAA,IAAK,EAAA,GAAM,KAAO,CAAA,IAAK,CAAA,GAAK,GAAA,EAAM,CAAA,GAAI,GAAI,CAAC,CAAA;AAAA,IAC7F,CAAA,MAAO;AAEL,MAAA,MAAM,GAAA,GAAM,IAAI,UAAA,CAAW,CAAC,CAAA;AAC5B,MAAA,GAAA,CAAI,CAAC,CAAA,GAAI,EAAA;AACT,MAAA,MAAM,GAAA,GAAM,OAAO,CAAC,CAAA;AACpB,MAAA,MAAM,IAAA,GAAO,IAAI,QAAA,CAAS,GAAA,CAAI,MAAM,CAAA;AACpC,MAAA,IAAA,CAAK,YAAA,CAAa,CAAA,EAAG,GAAA,EAAK,KAAK,CAAA;AAC/B,MAAA,OAAO,GAAA;AAAA,IACT;AAAA,EACF,CAAA,MAAO;AAEL,IAAA,MAAM,SAAS,EAAA,GAAK,CAAA;AACpB,IAAA,IAAI,UAAU,EAAA,EAAI;AAChB,MAAA,OAAO,IAAI,UAAA,CAAW,CAAC,EAAA,GAAO,MAAM,CAAC,CAAA;AAAA,IACvC,CAAA,MAAA,IAAW,UAAU,GAAA,EAAM;AACzB,MAAA,OAAO,IAAI,UAAA,CAAW,CAAC,EAAA,EAAM,MAAM,CAAC,CAAA;AAAA,IACtC,CAAA,MAAA,IAAW,UAAU,KAAA,EAAQ;AAC3B,MAAA,OAAO,IAAI,WAAW,CAAC,EAAA,EAAM,UAAU,CAAA,EAAG,MAAA,GAAS,GAAI,CAAC,CAAA;AAAA,IAC1D,CAAA,MAAA,IAAW,UAAU,UAAA,EAAY;AAC/B,MAAA,OAAO,IAAI,UAAA,CAAW,CAAC,EAAA,EAAO,UAAU,EAAA,GAAM,GAAA,EAAO,MAAA,IAAU,EAAA,GAAM,KAAO,MAAA,IAAU,CAAA,GAAK,GAAA,EAAM,MAAA,GAAS,GAAI,CAAC,CAAA;AAAA,IACjH,CAAA,MAAO;AACL,MAAA,MAAM,GAAA,GAAM,IAAI,UAAA,CAAW,CAAC,CAAA;AAC5B,MAAA,GAAA,CAAI,CAAC,CAAA,GAAI,EAAA;AACT,MAAA,MAAM,GAAA,GAAM,OAAO,MAAM,CAAA;AACzB,MAAA,MAAM,IAAA,GAAO,IAAI,QAAA,CAAS,GAAA,CAAI,MAAM,CAAA;AACpC,MAAA,IAAA,CAAK,YAAA,CAAa,CAAA,EAAG,GAAA,EAAK,KAAK,CAAA;AAC/B,MAAA,OAAO,GAAA;AAAA,IACT;AAAA,EACF;AACF;AAOA,SAASC,sBAAqB,MAAA,EAAgC;AAC5D,EAAA,MAAM,MAAM,MAAA,CAAO,MAAA;AAEnB,EAAA,IAAI,OAAO,EAAA,EAAI;AACb,IAAA,MAAM,MAAA,GAAS,IAAI,UAAA,CAAW,CAAA,GAAI,GAAG,CAAA;AACrC,IAAA,MAAA,CAAO,CAAC,IAAI,EAAA,GAAO,GAAA;AACnB,IAAA,MAAA,CAAO,GAAA,CAAI,QAAQ,CAAC,CAAA;AACpB,IAAA,OAAO,MAAA;AAAA,EACT,CAAA,MAAA,IAAW,OAAO,GAAA,EAAK;AACrB,IAAA,MAAM,MAAA,GAAS,IAAI,UAAA,CAAW,CAAA,GAAI,GAAG,CAAA;AACrC,IAAA,MAAA,CAAO,CAAC,CAAA,GAAI,EAAA;AACZ,IAAA,MAAA,CAAO,CAAC,CAAA,GAAI,GAAA;AACZ,IAAA,MAAA,CAAO,GAAA,CAAI,QAAQ,CAAC,CAAA;AACpB,IAAA,OAAO,MAAA;AAAA,EACT,CAAA,MAAA,IAAW,OAAO,KAAA,EAAO;AACvB,IAAA,MAAM,MAAA,GAAS,IAAI,UAAA,CAAW,CAAA,GAAI,GAAG,CAAA;AACrC,IAAA,MAAA,CAAO,CAAC,CAAA,GAAI,EAAA;AACZ,IAAA,MAAA,CAAO,CAAC,IAAI,GAAA,IAAO,CAAA;AACnB,IAAA,MAAA,CAAO,CAAC,IAAI,GAAA,GAAM,GAAA;AAClB,IAAA,MAAA,CAAO,GAAA,CAAI,QAAQ,CAAC,CAAA;AACpB,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,MAAM,IAAI,MAAM,wCAAwC,CAAA;AAC1D;AAOA,SAASD,mBAAkB,MAAA,EAAkC;AAC3D,EAAA,MAAM,WAAA,GAAc,OAAO,MAAA,CAAO,CAAC,KAAK,GAAA,KAAQ,GAAA,GAAM,GAAA,CAAI,MAAA,EAAQ,CAAC,CAAA;AACnE,EAAA,MAAM,MAAA,GAAS,IAAI,UAAA,CAAW,WAAW,CAAA;AACzC,EAAA,IAAI,MAAA,GAAS,CAAA;AACb,EAAA,KAAA,MAAW,OAAO,MAAA,EAAQ;AACxB,IAAA,MAAA,CAAO,GAAA,CAAI,KAAK,MAAM,CAAA;AACtB,IAAA,MAAA,IAAU,GAAA,CAAI,MAAA;AAAA,EAChB;AACA,EAAA,OAAO,MAAA;AACT;AAOA,SAAS,gBAAgB,GAAA,EAAyB;AAChD,EAAA,OAAO,MAAM,IAAA,CAAK,GAAG,CAAA,CAClB,GAAA,CAAI,CAAC,CAAA,KAAM,CAAA,CAAE,QAAA,CAAS,EAAE,EAAE,QAAA,CAAS,CAAA,EAAG,GAAG,CAAC,CAAA,CAC1C,KAAK,EAAE,CAAA;AACZ;AC5PO,SAAS,oBAAoB,KAAA,EAAyB;AAC3D,EAAA,IAAI,KAAA,KAAU,IAAA,IAAQ,KAAA,KAAU,MAAA,EAAW;AACzC,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,IAAA,OAAO,MAAM,IAAA,EAAK;AAAA,EACpB;AAEA,EAAA,IAAI,OAAO,KAAA,KAAU,QAAA,IAAY,OAAO,UAAU,SAAA,EAAW;AAC3D,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,IAAI,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACxB,IAAA,OAAO,KAAA,CAAM,IAAI,mBAAmB,CAAA;AAAA,EACtC;AAEA,EAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,IAAA,MAAM,SAAkC,EAAC;AACzC,IAAA,MAAM,IAAA,GAAO,MAAA,CAAO,IAAA,CAAK,KAAgC,EAAE,IAAA,EAAK;AAChE,IAAA,KAAA,MAAW,OAAO,IAAA,EAAM;AACtB,MAAA,MAAM,GAAA,GAAO,MAAkC,GAAG,CAAA;AAClD,MAAA,IAAI,QAAQ,MAAA,EAAW;AACrB,QAAA,MAAA,CAAO,GAAG,CAAA,GAAI,mBAAA,CAAoB,GAAG,CAAA;AAAA,MACvC;AAAA,IACF;AACA,IAAA,OAAO,MAAA;AAAA,EACT;AAEA,EAAA,OAAO,KAAA;AACT;AA4BO,SAAS,sBAAsB,QAAA,EAA2B;AAC/D,EAAA,MAAM,UAAA,GAAa,oBAAoB,QAAQ,CAAA;AAC/C,EAAA,MAAM,UAAA,GAAa,IAAA,CAAK,SAAA,CAAU,UAAU,CAAA;AAC5C,EAAA,MAAM,KAAA,GAAQ,IAAI,WAAA,EAAY,CAAE,OAAO,UAAU,CAAA;AACjD,EAAA,OAAaE,KAAA,CAAA,UAAA,CAAW,KAAA,EAAO,MAAA,EAAW,EAAE,CAAA;AAC9C;AAWO,SAAS,oBAAA,CACd,UACA,YAAA,EACS;AACT,EAAA,MAAM,YAAA,GAAe,sBAAsB,QAAQ,CAAA;AACnD,EAAA,OAAO,YAAA,CAAa,WAAA,EAAY,KAAM,YAAA,CAAa,WAAA,EAAY;AACjE;AAUO,SAAS,sBAAsB,IAAA,EAAuB;AAC3D,EAAA,IAAI,OAAO,SAAS,QAAA,EAAU;AAC5B,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,IAAI,IAAA,CAAK,WAAW,EAAA,EAAI;AACtB,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,mBAAA,CAAoB,KAAK,IAAI,CAAA;AACtC;AA0BO,SAAS,sBAAA,CACd,UACA,WAAA,EAC4B;AAC5B,EAAA,IAAI,CAAC,qBAAA,CAAsB,WAAW,CAAA,EAAG;AACvC,IAAA,OAAO;AAAA,MACL,OAAA,EAAS,KAAA;AAAA,MACT,YAAA,EAAc,EAAA;AAAA,MACd,YAAA,EAAc,WAAA;AAAA,MACd,OAAA,EAAS,kEAAkE,WAAW,CAAA,CAAA;AAAA,KACxF;AAAA,EACF;AAEA,EAAA,MAAM,YAAA,GAAe,sBAAsB,QAAQ,CAAA;AACnD,EAAA,MAAM,OAAA,GAAU,YAAA,CAAa,WAAA,EAAY,KAAM,YAAY,WAAA,EAAY;AAEvE,EAAA,OAAO;AAAA,IACL,OAAA;AAAA,IACA,YAAA;AAAA,IACA,YAAA,EAAc,YAAY,WAAA,EAAY;AAAA,IACtC,OAAA,EAAS,UACL,sCAAA,GACA;AAAA,GACN;AACF;AASO,IAAM,yBAAA,GAA4B;AAKlC,IAAM,wBAAA,GAA2B;AAKjC,IAAM,yBAAA,GAA4B;;;AC9MlC,IAAM,aAAA,GAAgD;AAAA,EAC3D,OAAA,EAAS,wBAAA;AAAA,EACT,OAAA,EAAS,gCAAA;AAAA,EACT,OAAA,EAAS;AACX;AAKO,IAAM,cAAA,GAAiD;AAAA,EAC5D,OAAA,EAAS,sBAAA;AAAA,EACT,OAAA,EAAS,8BAAA;AAAA,EACT,OAAA,EAAS;AACX;AAKO,IAAM,aAAA,GAAgD;AAAA,EAC3D,OAAA,EAAS,SAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,OAAA,EAAS;AACX;AAKO,IAAM,cAAA,GAAiD;AAAA,EAC5D,OAAA,EAAS,MAAA;AAAA,EACT,OAAA,EAAS,WAAA;AAAA,EACT,OAAA,EAAS;AACX;AAKO,SAAS,gBAAA,CACd,SACA,MAAA,EACQ;AACR,EAAA,OAAO,CAAA,EAAG,aAAA,CAAc,OAAO,CAAC,gBAAgB,MAAM,CAAA,CAAA;AACxD;AAKO,SAAS,qBAAA,CACd,SACA,OAAA,EACQ;AACR,EAAA,OAAO,CAAA,EAAG,aAAA,CAAc,OAAO,CAAC,YAAY,OAAO,CAAA,CAAA;AACrD;AAKO,SAAS,mBAAA,CACd,OAAA,EACA,QAAA,EACA,SAAA,EACQ;AACR,EAAA,MAAM,UAAU,SAAA,GAAY,CAAA,EAAG,QAAQ,CAAA,CAAA,EAAI,SAAS,CAAA,CAAA,GAAK,QAAA;AACzD,EAAA,OAAO,CAAA,EAAG,aAAA,CAAc,OAAO,CAAC,UAAU,OAAO,CAAA,CAAA;AACnD;AAKO,SAAS,oBAAA,CACd,SACA,QAAA,EACQ;AACR,EAAA,OAAO,CAAA,EAAG,aAAA,CAAc,OAAO,CAAC,gBAAgB,QAAQ,CAAA,CAAA;AAC1D;;;ACnDO,IAAM,UAAA,GAAsD;AAAA,EACjE,OAAA,EAAS;AAAA,IACP,WAAA,EAAa,0DAAA;AAAA,IACb,WAAA,EAAa,EAAA;AAAA;AAAA,IACb,WAAA,EAAa,EAAA;AAAA;AAAA,IACb,eAAA,EAAiB,EAAA;AAAA;AAAA,IACjB,YAAA,EAAc,EAAA;AAAA;AAAA,IACd,SAAA,EAAW,EAAA;AAAA;AAAA,IACX,gBAAA,EAAkB;AAAA;AAAA,GACpB;AAAA,EACA,OAAA,EAAS;AAAA,IACP,WAAA,EAAa,EAAA;AAAA,IACb,WAAA,EAAa,EAAA;AAAA,IACb,WAAA,EAAa,EAAA;AAAA,IACb,eAAA,EAAiB,EAAA;AAAA,IACjB,YAAA,EAAc,EAAA;AAAA,IACd,SAAA,EAAW,EAAA;AAAA,IACX,gBAAA,EAAkB;AAAA,GACpB;AAAA,EACA,OAAA,EAAS;AAAA,IACP,WAAA,EAAa,EAAA;AAAA,IACb,WAAA,EAAa,EAAA;AAAA,IACb,WAAA,EAAa,EAAA;AAAA,IACb,eAAA,EAAiB,EAAA;AAAA,IACjB,YAAA,EAAc,EAAA;AAAA,IACd,SAAA,EAAW,EAAA;AAAA,IACX,gBAAA,EAAkB;AAAA;AAEtB;AAKO,SAAS,uBAAuB,OAAA,EAAiC;AACtE,EAAA,OAAO,UAAA,CAAW,OAAO,CAAA,CAAE,WAAA;AAC7B;AAKO,SAAS,gBAAgB,QAAA,EAA2B;AACzD,EAAA,IAAI,OAAO,aAAa,QAAA,EAAU;AAChC,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,IAAI,QAAA,CAAS,WAAW,EAAA,EAAI;AAC1B,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,mBAAA,CAAoB,KAAK,QAAQ,CAAA;AAC1C;AAKO,SAAS,iBAAiB,SAAA,EAA4B;AAC3D,EAAA,IAAI,OAAO,cAAc,QAAA,EAAU;AACjC,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,IAAI,SAAA,CAAU,SAAS,EAAA,EAAI;AACzB,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,IAAI,SAAA,CAAU,MAAA,GAAS,CAAA,KAAM,CAAA,EAAG;AAC9B,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,gBAAA,CAAiB,KAAK,SAAS,CAAA;AACxC;AAKO,SAAS,kBAAkB,GAAA,EAAqB;AACrD,EAAA,OAAO,KAAA,CAAM,KAAK,IAAI,WAAA,GAAc,MAAA,CAAO,GAAG,CAAC,CAAA,CAC5C,GAAA,CAAI,CAAC,MAAM,CAAA,CAAE,QAAA,CAAS,EAAE,CAAA,CAAE,QAAA,CAAS,GAAG,GAAG,CAAC,CAAA,CAC1C,IAAA,CAAK,EAAE,CAAA;AACZ;AAKO,SAAS,kBAAkB,GAAA,EAAqB;AACrD,EAAA,MAAM,QAAQ,IAAI,UAAA;AAAA,IAChB,GAAA,CAAI,KAAA,CAAM,SAAS,CAAA,EAAG,GAAA,CAAI,CAAC,IAAA,KAAS,QAAA,CAAS,IAAA,EAAM,EAAE,CAAC,CAAA,IAAK;AAAC,GAC9D;AACA,EAAA,OAAO,IAAI,WAAA,EAAY,CAAE,MAAA,CAAO,KAAK,CAAA;AACvC","file":"index.mjs","sourcesContent":["/**\n * SLT Hash Utility\n *\n * Computes the module token name (hash) from a list of Student Learning Targets (SLTs).\n * This hash is used as the token name when minting module tokens on-chain.\n *\n * The algorithm matches the on-chain Plutus validator:\n * ```haskell\n * sltsToBbs MintModuleV2{slts} = blake2b_256 $ serialiseData $ toBuiltinData $ map stringToBuiltinByteString slts\n * ```\n *\n * Serialization format:\n * 1. Convert each SLT string to UTF-8 bytes\n * 2. Encode as CBOR indefinite-length array of byte strings\n * 3. Hash with Blake2b-256 (32 bytes / 256 bits)\n *\n * @module @andamio/core/hashing\n */\n\nimport * as blake from \"blakejs\";\n\n/**\n * Plutus chunk size for byte strings.\n * Strings longer than this are encoded as indefinite-length chunked byte strings.\n */\nconst PLUTUS_CHUNK_SIZE = 64;\n\n/**\n * Compute the module hash matching Plutus on-chain encoding.\n *\n * Plutus's `stringToBuiltinByteString` chunks byte strings at 64 bytes.\n * This function replicates that behavior:\n * - Strings <= 64 bytes: encoded as regular CBOR byte strings\n * - Strings > 64 bytes: encoded as indefinite-length chunked byte strings\n *\n * @param slts - Array of Student Learning Target strings\n * @returns 64-character hex string (256-bit Blake2b hash)\n *\n * @example\n * ```typescript\n * import { computeSltHash } from \"@andamio/core/hashing\";\n *\n * const slts = [\n * \"I can mint an access token.\",\n * \"I can complete an assignment to earn a credential.\"\n * ];\n *\n * const moduleHash = computeSltHash(slts);\n * // Returns: \"8dcbe1b925d87e6c547bbd8071c23a712db4c32751454b0948f8c846e9246b5c\"\n * ```\n */\nexport function computeSltHash(slts: string[]): string {\n const sltBytes = slts.map((slt) => new TextEncoder().encode(slt));\n const cborData = encodeAsPlutusArray(sltBytes);\n return blake.blake2bHex(cborData, undefined, 32);\n}\n\n/**\n * @deprecated Use `computeSltHash` instead. This alias is kept for backwards compatibility.\n */\nexport const computeSltHashDefinite = computeSltHash;\n\n/**\n * Verify that a given hash matches the computed hash for SLTs.\n *\n * @param slts - Array of Student Learning Target strings\n * @param expectedHash - The hash to verify (64-character hex string)\n * @returns true if the computed hash matches the expected hash\n */\nexport function verifySltHash(slts: string[], expectedHash: string): boolean {\n const computedHash = computeSltHash(slts);\n return computedHash.toLowerCase() === expectedHash.toLowerCase();\n}\n\n/**\n * Validate that a string is a valid SLT hash format.\n *\n * SLT hashes are 64-character hexadecimal strings (256-bit Blake2b hash).\n *\n * @param hash - String to validate\n * @returns true if the string is a valid SLT hash format\n */\nexport function isValidSltHash(hash: string): boolean {\n if (hash.length !== 64) {\n return false;\n }\n return /^[0-9a-fA-F]{64}$/.test(hash);\n}\n\n// =============================================================================\n// Plutus-Compatible Encoding (Internal)\n// =============================================================================\n\n/**\n * Encode an array of byte buffers matching Plutus serialization.\n *\n * Uses indefinite-length array with chunked byte strings for long values.\n *\n * @internal\n */\nfunction encodeAsPlutusArray(items: Uint8Array[]): Uint8Array {\n const chunks: Uint8Array[] = [];\n\n // Start indefinite array\n chunks.push(new Uint8Array([0x9f]));\n\n // Encode each item (with chunking for long strings)\n for (const item of items) {\n chunks.push(encodePlutusBuiltinByteString(item));\n }\n\n // End indefinite array\n chunks.push(new Uint8Array([0xff]));\n\n return concatUint8Arrays(chunks);\n}\n\n/**\n * Encode a byte buffer matching Plutus's stringToBuiltinByteString.\n *\n * - Strings <= 64 bytes: regular CBOR byte string\n * - Strings > 64 bytes: indefinite-length chunked byte string (64-byte chunks)\n *\n * @internal\n */\nfunction encodePlutusBuiltinByteString(buffer: Uint8Array): Uint8Array {\n if (buffer.length <= PLUTUS_CHUNK_SIZE) {\n // Short string: encode normally\n return encodeCBORByteString(buffer);\n }\n\n // Long string: use indefinite-length chunked encoding\n const chunks: Uint8Array[] = [];\n chunks.push(new Uint8Array([0x5f])); // Start indefinite byte string\n\n for (let i = 0; i < buffer.length; i += PLUTUS_CHUNK_SIZE) {\n const chunk = buffer.subarray(i, Math.min(i + PLUTUS_CHUNK_SIZE, buffer.length));\n chunks.push(encodeCBORByteString(chunk));\n }\n\n chunks.push(new Uint8Array([0xff])); // Break\n return concatUint8Arrays(chunks);\n}\n\n/**\n * Encode a byte buffer as a CBOR byte string (definite length).\n *\n * @internal\n */\nfunction encodeCBORByteString(buffer: Uint8Array): Uint8Array {\n const len = buffer.length;\n\n // CBOR byte string encoding (major type 2 = 0x40):\n // - 0-23 bytes: length inline (0x40 + len)\n // - 24-255 bytes: 0x58 + 1-byte length\n // - 256-65535 bytes: 0x59 + 2-byte length (big-endian)\n if (len <= 23) {\n const result = new Uint8Array(1 + len);\n result[0] = 0x40 + len;\n result.set(buffer, 1);\n return result;\n } else if (len <= 255) {\n const result = new Uint8Array(2 + len);\n result[0] = 0x58;\n result[1] = len;\n result.set(buffer, 2);\n return result;\n } else if (len <= 65535) {\n const result = new Uint8Array(3 + len);\n result[0] = 0x59;\n result[1] = len >> 8;\n result[2] = len & 0xff;\n result.set(buffer, 3);\n return result;\n }\n throw new Error(\"Byte string too long for CBOR encoding\");\n}\n\n/**\n * Concatenate multiple Uint8Arrays into one\n *\n * @internal\n */\nfunction concatUint8Arrays(arrays: Uint8Array[]): Uint8Array {\n const totalLength = arrays.reduce((sum, arr) => sum + arr.length, 0);\n const result = new Uint8Array(totalLength);\n let offset = 0;\n for (const arr of arrays) {\n result.set(arr, offset);\n offset += arr.length;\n }\n return result;\n}\n","/**\n * Task Hash Utility\n *\n * Computes the task token name (hash) from task data.\n * This hash is used as the task_hash on-chain (content-addressed identifier).\n *\n * The algorithm matches the on-chain Plutus validator serialization.\n *\n * @module @andamio/core/hashing\n */\n\nimport * as blake from \"blakejs\";\n\n/**\n * Native asset in ListValue format: [policyId.tokenName, quantity]\n */\ntype NativeAsset = [string, number];\n\n/**\n * Task data structure matching the Atlas TX API ManageTasksTxRequest\n *\n * Fields must be arranged in this specific order for hashing:\n * 1. project_content (string, max 140 chars)\n * 2. expiration_time (number, Unix timestamp in milliseconds)\n * 3. lovelace_amount (number)\n * 4. native_assets (array of [asset_class, quantity] tuples)\n */\nexport interface TaskData {\n project_content: string;\n expiration_time: number;\n lovelace_amount: number;\n native_assets: NativeAsset[];\n}\n\n/**\n * Plutus chunk size for byte strings.\n */\nconst PLUTUS_CHUNK_SIZE = 64;\n\n/**\n * Compute the task hash (token name / task_hash) from task data.\n *\n * This produces the same hash as the on-chain Plutus validator, allowing\n * clients to pre-compute or verify task hashes.\n *\n * @param task - Task data object\n * @returns 64-character hex string (256-bit Blake2b hash)\n *\n * @example\n * ```typescript\n * import { computeTaskHash } from \"@andamio/core/hashing\";\n *\n * const task = {\n * project_content: \"Open Task #1\",\n * expiration_time: 1769027280000,\n * lovelace_amount: 15000000,\n * native_assets: []\n * };\n *\n * const taskHash = computeTaskHash(task);\n * // Returns the on-chain task_hash\n * ```\n */\nexport function computeTaskHash(task: TaskData): string {\n // Serialize task data matching Plutus format\n const cborData = encodeTaskAsPlutusData(task);\n\n // Hash with Blake2b-256\n return blake.blake2bHex(cborData, undefined, 32);\n}\n\n/**\n * Verify that a given hash matches the computed hash for a task.\n *\n * @param task - Task data object\n * @param expectedHash - The hash to verify (64-character hex string)\n * @returns true if the computed hash matches the expected hash\n */\nexport function verifyTaskHash(task: TaskData, expectedHash: string): boolean {\n const computedHash = computeTaskHash(task);\n return computedHash.toLowerCase() === expectedHash.toLowerCase();\n}\n\n/**\n * Validate that a string is a valid task hash format.\n *\n * Task hashes are 64-character hexadecimal strings (256-bit Blake2b hash).\n */\nexport function isValidTaskHash(hash: string): boolean {\n if (hash.length !== 64) {\n return false;\n }\n return /^[0-9a-fA-F]{64}$/.test(hash);\n}\n\n/**\n * Debug function to show the CBOR encoding of a task.\n * Useful for comparing against on-chain data.\n *\n * @param task - Task data object\n * @returns Hex string of the CBOR-encoded data (before hashing)\n */\nexport function debugTaskCBOR(task: TaskData): string {\n const cborData = encodeTaskAsPlutusData(task);\n return uint8ArrayToHex(cborData);\n}\n\n// =============================================================================\n// Plutus Data Encoding (Internal)\n// =============================================================================\n\n/**\n * Encode task data matching Plutus serialiseData $ toBuiltinData format.\n *\n * Plutus represents this as a constructor with fields in an INDEFINITE array:\n * Constr 0 [project_content, expiration_time, lovelace_amount, native_assets]\n *\n * IMPORTANT: Plutus uses indefinite-length arrays (0x9f...0xff) not definite (0x84).\n *\n * @internal\n */\nfunction encodeTaskAsPlutusData(task: TaskData): Uint8Array {\n const chunks: Uint8Array[] = [];\n\n // Plutus Constr 0 with indefinite array\n // CBOR tag 121 (0xd879) = Constr 0 in Plutus Data\n chunks.push(new Uint8Array([0xd8, 0x79])); // Tag 121 (Constr 0)\n chunks.push(new Uint8Array([0x9f])); // Start indefinite array\n\n // Field 1: project_content as BuiltinByteString\n chunks.push(encodePlutusBuiltinByteString(new TextEncoder().encode(task.project_content)));\n\n // Field 2: expiration_time as Integer\n chunks.push(encodePlutusInteger(task.expiration_time));\n\n // Field 3: lovelace_amount as Integer\n chunks.push(encodePlutusInteger(task.lovelace_amount));\n\n // Field 4: native_assets as List of pairs\n chunks.push(encodeNativeAssets(task.native_assets));\n\n // End indefinite array\n chunks.push(new Uint8Array([0xff])); // Break\n\n return concatUint8Arrays(chunks);\n}\n\n/**\n * Encode native assets as Plutus List of (AssetClass, Integer) pairs.\n *\n * Each asset is a pair: (policyId.tokenName, quantity)\n * In Plutus, this is: List [(ByteString, Integer)]\n *\n * @internal\n */\nfunction encodeNativeAssets(assets: NativeAsset[]): Uint8Array {\n if (assets.length === 0) {\n // Empty list: definite-length array of 0 elements\n return new Uint8Array([0x80]); // Array(0)\n }\n\n const chunks: Uint8Array[] = [];\n\n // Start indefinite array\n chunks.push(new Uint8Array([0x9f]));\n\n for (const [assetClass, quantity] of assets) {\n // Each asset is a 2-element array: [bytestring, integer]\n chunks.push(new Uint8Array([0x82])); // Array of 2 elements\n chunks.push(encodePlutusBuiltinByteString(new TextEncoder().encode(assetClass)));\n chunks.push(encodePlutusInteger(quantity));\n }\n\n // End indefinite array\n chunks.push(new Uint8Array([0xff]));\n\n return concatUint8Arrays(chunks);\n}\n\n/**\n * Encode a byte buffer matching Plutus's stringToBuiltinByteString.\n *\n * - Strings <= 64 bytes: regular CBOR byte string\n * - Strings > 64 bytes: indefinite-length chunked byte string (64-byte chunks)\n *\n * @internal\n */\nfunction encodePlutusBuiltinByteString(buffer: Uint8Array): Uint8Array {\n if (buffer.length <= PLUTUS_CHUNK_SIZE) {\n return encodeCBORByteString(buffer);\n }\n\n // Long string: use indefinite-length chunked encoding\n const chunks: Uint8Array[] = [];\n chunks.push(new Uint8Array([0x5f])); // Start indefinite byte string\n\n for (let i = 0; i < buffer.length; i += PLUTUS_CHUNK_SIZE) {\n const chunk = buffer.subarray(i, Math.min(i + PLUTUS_CHUNK_SIZE, buffer.length));\n chunks.push(encodeCBORByteString(chunk));\n }\n\n chunks.push(new Uint8Array([0xff])); // Break\n return concatUint8Arrays(chunks);\n}\n\n/**\n * Encode a number as a CBOR integer (Plutus Integer).\n *\n * @internal\n */\nfunction encodePlutusInteger(n: number): Uint8Array {\n // CBOR integer encoding (major type 0 for positive, 1 for negative)\n if (n >= 0) {\n if (n <= 23) {\n return new Uint8Array([n]);\n } else if (n <= 0xff) {\n return new Uint8Array([0x18, n]);\n } else if (n <= 0xffff) {\n return new Uint8Array([0x19, n >> 8, n & 0xff]);\n } else if (n <= 0xffffffff) {\n return new Uint8Array([0x1a, (n >> 24) & 0xff, (n >> 16) & 0xff, (n >> 8) & 0xff, n & 0xff]);\n } else {\n // 64-bit integer - use BigInt for precision\n const buf = new Uint8Array(9);\n buf[0] = 0x1b;\n const big = BigInt(n);\n const view = new DataView(buf.buffer);\n view.setBigUint64(1, big, false); // false = big-endian\n return buf;\n }\n } else {\n // Negative integers: major type 1, encode (-1 - n)\n const absVal = -1 - n;\n if (absVal <= 23) {\n return new Uint8Array([0x20 + absVal]);\n } else if (absVal <= 0xff) {\n return new Uint8Array([0x38, absVal]);\n } else if (absVal <= 0xffff) {\n return new Uint8Array([0x39, absVal >> 8, absVal & 0xff]);\n } else if (absVal <= 0xffffffff) {\n return new Uint8Array([0x3a, (absVal >> 24) & 0xff, (absVal >> 16) & 0xff, (absVal >> 8) & 0xff, absVal & 0xff]);\n } else {\n const buf = new Uint8Array(9);\n buf[0] = 0x3b;\n const big = BigInt(absVal);\n const view = new DataView(buf.buffer);\n view.setBigUint64(1, big, false);\n return buf;\n }\n }\n}\n\n/**\n * Encode a byte buffer as a CBOR byte string (definite length).\n *\n * @internal\n */\nfunction encodeCBORByteString(buffer: Uint8Array): Uint8Array {\n const len = buffer.length;\n\n if (len <= 23) {\n const result = new Uint8Array(1 + len);\n result[0] = 0x40 + len;\n result.set(buffer, 1);\n return result;\n } else if (len <= 255) {\n const result = new Uint8Array(2 + len);\n result[0] = 0x58;\n result[1] = len;\n result.set(buffer, 2);\n return result;\n } else if (len <= 65535) {\n const result = new Uint8Array(3 + len);\n result[0] = 0x59;\n result[1] = len >> 8;\n result[2] = len & 0xff;\n result.set(buffer, 3);\n return result;\n }\n throw new Error(\"Byte string too long for CBOR encoding\");\n}\n\n/**\n * Concatenate multiple Uint8Arrays into one\n *\n * @internal\n */\nfunction concatUint8Arrays(arrays: Uint8Array[]): Uint8Array {\n const totalLength = arrays.reduce((sum, arr) => sum + arr.length, 0);\n const result = new Uint8Array(totalLength);\n let offset = 0;\n for (const arr of arrays) {\n result.set(arr, offset);\n offset += arr.length;\n }\n return result;\n}\n\n/**\n * Convert Uint8Array to hex string\n *\n * @internal\n */\nfunction uint8ArrayToHex(arr: Uint8Array): string {\n return Array.from(arr)\n .map((b) => b.toString(16).padStart(2, \"0\"))\n .join(\"\");\n}\n","/**\n * Commitment Hash Utility\n *\n * Functions for computing and verifying hashes of commitment evidence.\n * The hash is stored on-chain as `commitment_hash` in the course state datum,\n * while the full evidence (Tiptap JSON document) is stored in the database.\n *\n * This provides:\n * - Compact on-chain storage (64-char hex hash vs full JSON)\n * - Tamper-evidence (can verify DB content matches on-chain commitment)\n * - Privacy (evidence details not exposed on-chain)\n *\n * @module @andamio/core/hashing\n */\n\nimport * as blake from \"blakejs\";\n\n/**\n * Tiptap document structure (simplified)\n * The actual structure can be more complex with nested content\n */\nexport type TiptapDoc = {\n type: \"doc\";\n content?: TiptapNode[];\n [key: string]: unknown;\n};\n\nexport type TiptapNode = {\n type: string;\n content?: TiptapNode[];\n text?: string;\n marks?: TiptapMark[];\n attrs?: Record<string, unknown>;\n [key: string]: unknown;\n};\n\nexport type TiptapMark = {\n type: string;\n attrs?: Record<string, unknown>;\n [key: string]: unknown;\n};\n\n/**\n * Normalizes a value for consistent hashing.\n *\n * Normalization rules:\n * - Objects: Sort keys alphabetically, recursively normalize values\n * - Arrays: Preserve order, recursively normalize items\n * - Strings: Trim whitespace\n * - Numbers/Booleans/null: Keep as-is\n * - undefined: Convert to null\n *\n * @param value - Any JSON-serializable value\n * @returns Normalized value\n */\nexport function normalizeForHashing(value: unknown): unknown {\n if (value === null || value === undefined) {\n return null;\n }\n\n if (typeof value === \"string\") {\n return value.trim();\n }\n\n if (typeof value === \"number\" || typeof value === \"boolean\") {\n return value;\n }\n\n if (Array.isArray(value)) {\n return value.map(normalizeForHashing);\n }\n\n if (typeof value === \"object\") {\n const sorted: Record<string, unknown> = {};\n const keys = Object.keys(value as Record<string, unknown>).sort();\n for (const key of keys) {\n const val = (value as Record<string, unknown>)[key];\n if (val !== undefined) {\n sorted[key] = normalizeForHashing(val);\n }\n }\n return sorted;\n }\n\n return value;\n}\n\n/**\n * Computes the commitment hash from evidence content.\n *\n * The hash is computed as:\n * 1. Normalize the evidence (sort keys, trim strings, etc.)\n * 2. Serialize to JSON string (deterministic due to normalization)\n * 3. Apply Blake2b-256 hash\n *\n * @param evidence - The evidence content (Tiptap JSON document or any JSON-serializable data)\n * @returns 64-character lowercase hex string (Blake2b-256 hash)\n *\n * @example\n * ```typescript\n * import { computeCommitmentHash } from \"@andamio/core/hashing\";\n *\n * const evidence = {\n * type: \"doc\",\n * content: [\n * { type: \"paragraph\", content: [{ type: \"text\", text: \"My submission\" }] }\n * ]\n * };\n *\n * const hash = computeCommitmentHash(evidence);\n * // Use this hash as commitment_hash in the transaction\n * ```\n */\nexport function computeCommitmentHash(evidence: unknown): string {\n const normalized = normalizeForHashing(evidence);\n const jsonString = JSON.stringify(normalized);\n const bytes = new TextEncoder().encode(jsonString);\n return blake.blake2bHex(bytes, undefined, 32);\n}\n\n/**\n * Verifies that evidence content matches an expected hash.\n *\n * Use this to verify that database evidence matches the on-chain commitment.\n *\n * @param evidence - The evidence content to verify\n * @param expectedHash - The expected hash (from on-chain data)\n * @returns True if the evidence produces the expected hash\n */\nexport function verifyCommitmentHash(\n evidence: unknown,\n expectedHash: string\n): boolean {\n const computedHash = computeCommitmentHash(evidence);\n return computedHash.toLowerCase() === expectedHash.toLowerCase();\n}\n\n/**\n * Validates that a string is a valid commitment hash format.\n *\n * A valid hash is a 64-character hexadecimal string (Blake2b-256 output).\n *\n * @param hash - The string to validate\n * @returns True if the string is a valid hash format\n */\nexport function isValidCommitmentHash(hash: string): boolean {\n if (typeof hash !== \"string\") {\n return false;\n }\n if (hash.length !== 64) {\n return false;\n }\n return /^[0-9a-fA-F]{64}$/.test(hash);\n}\n\n/**\n * Result of comparing evidence with an on-chain hash\n */\nexport type EvidenceVerificationResult = {\n /** Whether the evidence matches the on-chain hash */\n isValid: boolean;\n /** The hash computed from the evidence */\n computedHash: string;\n /** The expected hash (from on-chain) */\n expectedHash: string;\n /** Human-readable status message */\n message: string;\n};\n\n/**\n * Performs a detailed verification of evidence against an on-chain hash.\n *\n * Returns a detailed result object with both hashes and a status message,\n * useful for debugging and user feedback.\n *\n * @param evidence - The evidence content to verify\n * @param onChainHash - The hash from on-chain data\n * @returns Detailed verification result\n */\nexport function verifyEvidenceDetailed(\n evidence: unknown,\n onChainHash: string\n): EvidenceVerificationResult {\n if (!isValidCommitmentHash(onChainHash)) {\n return {\n isValid: false,\n computedHash: \"\",\n expectedHash: onChainHash,\n message: `Invalid on-chain hash format: expected 64 hex characters, got \"${onChainHash}\"`,\n };\n }\n\n const computedHash = computeCommitmentHash(evidence);\n const isValid = computedHash.toLowerCase() === onChainHash.toLowerCase();\n\n return {\n isValid,\n computedHash,\n expectedHash: onChainHash.toLowerCase(),\n message: isValid\n ? \"Evidence matches on-chain commitment\"\n : \"Evidence does not match on-chain commitment - content may have been modified\",\n };\n}\n\n// =============================================================================\n// Backwards Compatibility Aliases (deprecated)\n// =============================================================================\n\n/**\n * @deprecated Use `computeCommitmentHash` instead.\n */\nexport const computeAssignmentInfoHash = computeCommitmentHash;\n\n/**\n * @deprecated Use `verifyCommitmentHash` instead.\n */\nexport const verifyAssignmentInfoHash = verifyCommitmentHash;\n\n/**\n * @deprecated Use `isValidCommitmentHash` instead.\n */\nexport const isValidAssignmentInfoHash = isValidCommitmentHash;\n","/**\n * Cardano Network Constants\n *\n * Network identifiers, explorer URLs, and other Cardano-specific constants.\n *\n * @module @andamio/core/constants\n */\n\n/**\n * Supported Cardano networks\n */\nexport type CardanoNetwork = \"mainnet\" | \"preprod\" | \"preview\";\n\n/**\n * Block explorer URLs by network\n */\nexport const EXPLORER_URLS: Record<CardanoNetwork, string> = {\n mainnet: \"https://cardanoscan.io\",\n preprod: \"https://preprod.cardanoscan.io\",\n preview: \"https://preview.cardanoscan.io\",\n} as const;\n\n/**\n * CExplorer URLs by network (alternative explorer)\n */\nexport const CEXPLORER_URLS: Record<CardanoNetwork, string> = {\n mainnet: \"https://cexplorer.io\",\n preprod: \"https://preprod.cexplorer.io\",\n preview: \"https://preview.cexplorer.io\",\n} as const;\n\n/**\n * Network magic numbers for Cardano networks\n */\nexport const NETWORK_MAGIC: Record<CardanoNetwork, number> = {\n mainnet: 764824073,\n preprod: 1,\n preview: 2,\n} as const;\n\n/**\n * Bech32 address prefixes by network\n */\nexport const ADDRESS_PREFIX: Record<CardanoNetwork, string> = {\n mainnet: \"addr\",\n preprod: \"addr_test\",\n preview: \"addr_test\",\n} as const;\n\n/**\n * Get explorer URL for a transaction\n */\nexport function getTxExplorerUrl(\n network: CardanoNetwork,\n txHash: string\n): string {\n return `${EXPLORER_URLS[network]}/transaction/${txHash}`;\n}\n\n/**\n * Get explorer URL for an address\n */\nexport function getAddressExplorerUrl(\n network: CardanoNetwork,\n address: string\n): string {\n return `${EXPLORER_URLS[network]}/address/${address}`;\n}\n\n/**\n * Get explorer URL for a token/asset\n */\nexport function getAssetExplorerUrl(\n network: CardanoNetwork,\n policyId: string,\n assetName?: string\n): string {\n const assetId = assetName ? `${policyId}.${assetName}` : policyId;\n return `${EXPLORER_URLS[network]}/token/${assetId}`;\n}\n\n/**\n * Get explorer URL for a policy\n */\nexport function getPolicyExplorerUrl(\n network: CardanoNetwork,\n policyId: string\n): string {\n return `${EXPLORER_URLS[network]}/tokenPolicy/${policyId}`;\n}\n","/**\n * Andamio Policy IDs\n *\n * Policy IDs for Andamio protocol tokens by network.\n * These are used to identify access tokens, course tokens, and other\n * protocol-specific assets on-chain.\n *\n * @module @andamio/core/constants\n */\n\nimport type { CardanoNetwork } from \"./cardano\";\n\n/**\n * Policy ID configuration for a network\n */\nexport interface NetworkPolicies {\n /** Access token policy ID - identifies user access tokens */\n accessToken: string;\n /** Course token policy ID - identifies course tokens */\n courseToken: string;\n /** Module token policy ID - identifies module tokens */\n moduleToken: string;\n /** Assignment token policy ID - identifies assignment tokens */\n assignmentToken: string;\n /** Project token policy ID - identifies project tokens */\n projectToken: string;\n /** Task token policy ID - identifies task tokens */\n taskToken: string;\n /** Contributor token policy ID - identifies contributor tokens */\n contributorToken: string;\n}\n\n/**\n * Policy IDs by network\n *\n * Note: These should be loaded from environment variables in production.\n * The values here are examples/defaults for the preprod network.\n */\nexport const POLICY_IDS: Record<CardanoNetwork, NetworkPolicies> = {\n preprod: {\n accessToken: \"4758613867a8a7aa500b5d57a0e877f01a8e63c1365469589b12063c\",\n courseToken: \"\", // Set via environment\n moduleToken: \"\", // Set via environment\n assignmentToken: \"\", // Set via environment\n projectToken: \"\", // Set via environment\n taskToken: \"\", // Set via environment\n contributorToken: \"\", // Set via environment\n },\n preview: {\n accessToken: \"\",\n courseToken: \"\",\n moduleToken: \"\",\n assignmentToken: \"\",\n projectToken: \"\",\n taskToken: \"\",\n contributorToken: \"\",\n },\n mainnet: {\n accessToken: \"\",\n courseToken: \"\",\n moduleToken: \"\",\n assignmentToken: \"\",\n projectToken: \"\",\n taskToken: \"\",\n contributorToken: \"\",\n },\n} as const;\n\n/**\n * Get the access token policy ID for a network\n */\nexport function getAccessTokenPolicyId(network: CardanoNetwork): string {\n return POLICY_IDS[network].accessToken;\n}\n\n/**\n * Validate a policy ID format (56 hex characters)\n */\nexport function isValidPolicyId(policyId: string): boolean {\n if (typeof policyId !== \"string\") {\n return false;\n }\n if (policyId.length !== 56) {\n return false;\n }\n return /^[0-9a-fA-F]{56}$/.test(policyId);\n}\n\n/**\n * Validate an asset name format (hex string, max 64 chars / 32 bytes)\n */\nexport function isValidAssetName(assetName: string): boolean {\n if (typeof assetName !== \"string\") {\n return false;\n }\n if (assetName.length > 64) {\n return false;\n }\n if (assetName.length % 2 !== 0) {\n return false;\n }\n return /^[0-9a-fA-F]*$/.test(assetName);\n}\n\n/**\n * Convert a UTF-8 string to hex asset name\n */\nexport function stringToAssetName(str: string): string {\n return Array.from(new TextEncoder().encode(str))\n .map((b) => b.toString(16).padStart(2, \"0\"))\n .join(\"\");\n}\n\n/**\n * Convert a hex asset name to UTF-8 string\n */\nexport function assetNameToString(hex: string): string {\n const bytes = new Uint8Array(\n hex.match(/.{1,2}/g)?.map((byte) => parseInt(byte, 16)) ?? []\n );\n return new TextDecoder().decode(bytes);\n}\n"]}
|
|
1
|
+
{"version":3,"sources":["../src/utils/hashing/slt-hash.ts","../src/utils/hashing/task-hash.ts","../src/utils/hashing/commitment-hash.ts","../src/constants/cardano.ts","../src/constants/policies.ts"],"names":["blake","concatUint8Arrays"],"mappings":";;;AAyBA,IAAM,iBAAA,GAAoB,EAAA;AA0BnB,SAAS,eAAe,IAAA,EAAwB;AACrD,EAAA,MAAM,QAAA,GAAW,IAAA,CAAK,GAAA,CAAI,CAAC,GAAA,KAAQ,IAAI,WAAA,EAAY,CAAE,MAAA,CAAO,GAAG,CAAC,CAAA;AAChE,EAAA,MAAM,QAAA,GAAW,oBAAoB,QAAQ,CAAA;AAC7C,EAAA,OAAO,KAAA,CAAM,UAAA,CAAW,QAAA,EAAU,MAAA,EAAW,EAAE,CAAA;AACjD;AAKO,IAAM,sBAAA,GAAyB;AAS/B,SAAS,aAAA,CAAc,MAAgB,YAAA,EAA+B;AAC3E,EAAA,MAAM,YAAA,GAAe,eAAe,IAAI,CAAA;AACxC,EAAA,OAAO,YAAA,CAAa,WAAA,EAAY,KAAM,YAAA,CAAa,WAAA,EAAY;AACjE;AAUO,SAAS,eAAe,IAAA,EAAuB;AACpD,EAAA,IAAI,IAAA,CAAK,WAAW,EAAA,EAAI;AACtB,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,mBAAA,CAAoB,KAAK,IAAI,CAAA;AACtC;AAaA,SAAS,oBAAoB,KAAA,EAAiC;AAC5D,EAAA,MAAM,SAAuB,EAAC;AAG9B,EAAA,MAAA,CAAO,KAAK,IAAI,UAAA,CAAW,CAAC,GAAI,CAAC,CAAC,CAAA;AAGlC,EAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,IAAA,MAAA,CAAO,IAAA,CAAK,6BAAA,CAA8B,IAAI,CAAC,CAAA;AAAA,EACjD;AAGA,EAAA,MAAA,CAAO,KAAK,IAAI,UAAA,CAAW,CAAC,GAAI,CAAC,CAAC,CAAA;AAElC,EAAA,OAAO,kBAAkB,MAAM,CAAA;AACjC;AAUA,SAAS,8BAA8B,MAAA,EAAgC;AACrE,EAAA,IAAI,MAAA,CAAO,UAAU,iBAAA,EAAmB;AAEtC,IAAA,OAAO,qBAAqB,MAAM,CAAA;AAAA,EACpC;AAGA,EAAA,MAAM,SAAuB,EAAC;AAC9B,EAAA,MAAA,CAAO,KAAK,IAAI,UAAA,CAAW,CAAC,EAAI,CAAC,CAAC,CAAA;AAElC,EAAA,KAAA,IAAS,IAAI,CAAA,EAAG,CAAA,GAAI,MAAA,CAAO,MAAA,EAAQ,KAAK,iBAAA,EAAmB;AACzD,IAAA,MAAM,KAAA,GAAQ,MAAA,CAAO,QAAA,CAAS,CAAA,EAAG,IAAA,CAAK,IAAI,CAAA,GAAI,iBAAA,EAAmB,MAAA,CAAO,MAAM,CAAC,CAAA;AAC/E,IAAA,MAAA,CAAO,IAAA,CAAK,oBAAA,CAAqB,KAAK,CAAC,CAAA;AAAA,EACzC;AAEA,EAAA,MAAA,CAAO,KAAK,IAAI,UAAA,CAAW,CAAC,GAAI,CAAC,CAAC,CAAA;AAClC,EAAA,OAAO,kBAAkB,MAAM,CAAA;AACjC;AAOA,SAAS,qBAAqB,MAAA,EAAgC;AAC5D,EAAA,MAAM,MAAM,MAAA,CAAO,MAAA;AAMnB,EAAA,IAAI,OAAO,EAAA,EAAI;AACb,IAAA,MAAM,MAAA,GAAS,IAAI,UAAA,CAAW,CAAA,GAAI,GAAG,CAAA;AACrC,IAAA,MAAA,CAAO,CAAC,IAAI,EAAA,GAAO,GAAA;AACnB,IAAA,MAAA,CAAO,GAAA,CAAI,QAAQ,CAAC,CAAA;AACpB,IAAA,OAAO,MAAA;AAAA,EACT,CAAA,MAAA,IAAW,OAAO,GAAA,EAAK;AACrB,IAAA,MAAM,MAAA,GAAS,IAAI,UAAA,CAAW,CAAA,GAAI,GAAG,CAAA;AACrC,IAAA,MAAA,CAAO,CAAC,CAAA,GAAI,EAAA;AACZ,IAAA,MAAA,CAAO,CAAC,CAAA,GAAI,GAAA;AACZ,IAAA,MAAA,CAAO,GAAA,CAAI,QAAQ,CAAC,CAAA;AACpB,IAAA,OAAO,MAAA;AAAA,EACT,CAAA,MAAA,IAAW,OAAO,KAAA,EAAO;AACvB,IAAA,MAAM,MAAA,GAAS,IAAI,UAAA,CAAW,CAAA,GAAI,GAAG,CAAA;AACrC,IAAA,MAAA,CAAO,CAAC,CAAA,GAAI,EAAA;AACZ,IAAA,MAAA,CAAO,CAAC,IAAI,GAAA,IAAO,CAAA;AACnB,IAAA,MAAA,CAAO,CAAC,IAAI,GAAA,GAAM,GAAA;AAClB,IAAA,MAAA,CAAO,GAAA,CAAI,QAAQ,CAAC,CAAA;AACpB,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,MAAM,IAAI,MAAM,wCAAwC,CAAA;AAC1D;AAOA,SAAS,kBAAkB,MAAA,EAAkC;AAC3D,EAAA,MAAM,WAAA,GAAc,OAAO,MAAA,CAAO,CAAC,KAAK,GAAA,KAAQ,GAAA,GAAM,GAAA,CAAI,MAAA,EAAQ,CAAC,CAAA;AACnE,EAAA,MAAM,MAAA,GAAS,IAAI,UAAA,CAAW,WAAW,CAAA;AACzC,EAAA,IAAI,MAAA,GAAS,CAAA;AACb,EAAA,KAAA,MAAW,OAAO,MAAA,EAAQ;AACxB,IAAA,MAAA,CAAO,GAAA,CAAI,KAAK,MAAM,CAAA;AACtB,IAAA,MAAA,IAAU,GAAA,CAAI,MAAA;AAAA,EAChB;AACA,EAAA,OAAO,MAAA;AACT;ACnHO,SAAS,gBAAgB,IAAA,EAAwB;AAEtD,EAAA,gBAAA,CAAiB,IAAI,CAAA;AAGrB,EAAA,MAAM,KAAA,GAAQ,qBAAqB,IAAI,CAAA;AAGvC,EAAA,OAAOA,KAAAA,CAAM,UAAA,CAAW,KAAA,EAAO,MAAA,EAAW,EAAE,CAAA;AAC9C;AASO,SAAS,cAAA,CAAe,MAAgB,YAAA,EAA+B;AAC5E,EAAA,MAAM,YAAA,GAAe,gBAAgB,IAAI,CAAA;AACzC,EAAA,OAAO,YAAA,CAAa,WAAA,EAAY,KAAM,YAAA,CAAa,WAAA,EAAY;AACjE;AAOO,SAAS,gBAAgB,IAAA,EAAuB;AACrD,EAAA,IAAI,IAAA,CAAK,WAAW,EAAA,EAAI;AACtB,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,mBAAA,CAAoB,KAAK,IAAI,CAAA;AACtC;AASO,SAAS,eAAe,IAAA,EAAwB;AACrD,EAAA,gBAAA,CAAiB,IAAI,CAAA;AACrB,EAAA,MAAM,KAAA,GAAQ,qBAAqB,IAAI,CAAA;AACvC,EAAA,OAAO,gBAAgB,KAAK,CAAA;AAC9B;AAaA,SAAS,qBAAqB,IAAA,EAA4B;AAExD,EAAA,MAAM,iBAAA,GAAoB,IAAA,CAAK,eAAA,CAAgB,SAAA,CAAU,KAAK,CAAA;AAE9D,EAAA,OAAOC,kBAAAA,CAAkB;AAAA,IACvB,IAAI,WAAA,EAAY,CAAE,MAAA,CAAO,iBAAiB,CAAA;AAAA,IAC1C,sBAAA,CAAuB,KAAK,eAAe,CAAA;AAAA,IAC3C,sBAAA,CAAuB,KAAK,eAAe,CAAA;AAAA,IAC3C,mBAAA,CAAoB,KAAK,aAAa;AAAA,GACvC,CAAA;AACH;AAQA,SAAS,iBAAiB,IAAA,EAAsB;AAE9C,EAAA,IAAI,IAAA,CAAK,eAAA,CAAgB,MAAA,GAAS,GAAA,EAAK;AACrC,IAAA,MAAM,IAAI,KAAA;AAAA,MACR,CAAA,4CAAA,EAA+C,IAAA,CAAK,eAAA,CAAgB,MAAM,CAAA,CAAA;AAAA,KAC5E;AAAA,EACF;AAGA,EAAA,IAAI,IAAA,CAAK,kBAAkB,EAAA,EAAI;AAC7B,IAAA,MAAM,IAAI,MAAM,sCAAsC,CAAA;AAAA,EACxD;AACA,EAAA,IAAI,IAAA,CAAK,kBAAkB,EAAA,EAAI;AAC7B,IAAA,MAAM,IAAI,MAAM,sCAAsC,CAAA;AAAA,EACxD;AAGA,EAAA,KAAA,MAAW,CAAC,QAAA,EAAU,SAAA,EAAW,QAAQ,CAAA,IAAK,KAAK,aAAA,EAAe;AAChE,IAAA,IAAI,QAAA,CAAS,WAAW,EAAA,EAAI;AAC1B,MAAA,MAAM,IAAI,KAAA;AAAA,QACR,CAAA,mCAAA,EAAsC,SAAS,MAAM,CAAA,CAAA;AAAA,OACvD;AAAA,IACF;AACA,IAAA,IAAI,CAAC,gBAAA,CAAiB,IAAA,CAAK,QAAQ,CAAA,EAAG;AACpC,MAAA,MAAM,IAAI,MAAM,0CAA0C,CAAA;AAAA,IAC5D;AACA,IAAA,IAAI,UAAU,MAAA,GAAS,EAAA,IAAM,SAAA,CAAU,MAAA,GAAS,MAAM,CAAA,EAAG;AACvD,MAAA,MAAM,IAAI,KAAA;AAAA,QACR,CAAA,uDAAA,EAA0D,UAAU,MAAM,CAAA,CAAA;AAAA,OAC5E;AAAA,IACF;AACA,IAAA,IAAI,UAAU,MAAA,GAAS,CAAA,IAAK,CAAC,gBAAA,CAAiB,IAAA,CAAK,SAAS,CAAA,EAAG;AAC7D,MAAA,MAAM,IAAI,MAAM,2CAA2C,CAAA;AAAA,IAC7D;AACA,IAAA,IAAI,WAAW,EAAA,EAAI;AACjB,MAAA,MAAM,IAAI,MAAM,qCAAqC,CAAA;AAAA,IACvD;AAAA,EACF;AACF;AAaA,SAAS,uBAAuB,CAAA,EAAuB;AACrD,EAAA,IAAI,IAAI,EAAA,EAAI;AACV,IAAA,MAAM,IAAI,MAAM,iCAAiC,CAAA;AAAA,EACnD;AACA,EAAA,IAAI,MAAM,EAAA,EAAI;AACZ,IAAA,OAAO,IAAI,UAAA,CAAW,CAAC,CAAC,CAAC,CAAA;AAAA,EAC3B;AAEA,EAAA,MAAM,QAAkB,EAAC;AACzB,EAAA,IAAI,SAAA,GAAY,CAAA;AAEhB,EAAA,OAAO,YAAY,EAAA,EAAI;AACrB,IAAA,KAAA,CAAM,IAAA,CAAK,MAAA,CAAO,SAAA,GAAY,KAAK,CAAC,CAAA;AACpC,IAAA,SAAA,GAAY,SAAA,IAAa,EAAA;AAAA,EAC3B;AAEA,EAAA,OAAO,IAAI,WAAW,KAAK,CAAA;AAC7B;AAUA,SAAS,oBAAoB,MAAA,EAA4C;AACvE,EAAA,IAAI,MAAA,CAAO,WAAW,CAAA,EAAG;AACvB,IAAA,OAAO,IAAI,UAAA,CAAW,EAAE,CAAA;AAAA,EAC1B;AAEA,EAAA,MAAM,SAAuB,EAAC;AAC9B,EAAA,KAAA,MAAW,CAAC,QAAA,EAAU,SAAA,EAAW,QAAQ,KAAK,MAAA,EAAQ;AACpD,IAAA,MAAA,CAAO,IAAA,CAAK,UAAA,CAAW,QAAQ,CAAC,CAAA;AAChC,IAAA,MAAA,CAAO,IAAA,CAAK,UAAA,CAAW,SAAS,CAAC,CAAA;AACjC,IAAA,MAAA,CAAO,IAAA,CAAK,sBAAA,CAAuB,QAAQ,CAAC,CAAA;AAAA,EAC9C;AACA,EAAA,OAAOA,mBAAkB,MAAM,CAAA;AACjC;AASA,SAAS,WAAW,GAAA,EAAyB;AAC3C,EAAA,IAAI,GAAA,CAAI,WAAW,CAAA,EAAG;AACpB,IAAA,OAAO,IAAI,UAAA,CAAW,EAAE,CAAA;AAAA,EAC1B;AAGA,EAAA,IAAI,GAAA,CAAI,MAAA,GAAS,CAAA,KAAM,CAAA,EAAG;AACxB,IAAA,MAAM,IAAI,KAAA,CAAM,CAAA,gCAAA,EAAmC,GAAA,CAAI,MAAM,CAAA,CAAA,CAAG,CAAA;AAAA,EAClE;AAEA,EAAA,MAAM,KAAA,GAAQ,IAAI,UAAA,CAAW,GAAA,CAAI,SAAS,CAAC,CAAA;AAC3C,EAAA,KAAA,IAAS,CAAA,GAAI,CAAA,EAAG,CAAA,GAAI,KAAA,CAAM,QAAQ,CAAA,EAAA,EAAK;AACrC,IAAA,KAAA,CAAM,CAAC,CAAA,GAAI,QAAA,CAAS,GAAA,CAAI,KAAA,CAAM,CAAA,GAAI,CAAA,EAAG,CAAA,GAAI,CAAA,GAAI,CAAC,CAAA,EAAG,EAAE,CAAA;AAAA,EACrD;AACA,EAAA,OAAO,KAAA;AACT;AAOA,SAASA,mBAAkB,MAAA,EAAkC;AAC3D,EAAA,MAAM,WAAA,GAAc,OAAO,MAAA,CAAO,CAAC,KAAK,GAAA,KAAQ,GAAA,GAAM,GAAA,CAAI,MAAA,EAAQ,CAAC,CAAA;AACnE,EAAA,MAAM,MAAA,GAAS,IAAI,UAAA,CAAW,WAAW,CAAA;AACzC,EAAA,IAAI,MAAA,GAAS,CAAA;AACb,EAAA,KAAA,MAAW,OAAO,MAAA,EAAQ;AACxB,IAAA,MAAA,CAAO,GAAA,CAAI,KAAK,MAAM,CAAA;AACtB,IAAA,MAAA,IAAU,GAAA,CAAI,MAAA;AAAA,EAChB;AACA,EAAA,OAAO,MAAA;AACT;AAOA,SAAS,gBAAgB,GAAA,EAAyB;AAChD,EAAA,OAAO,MAAM,IAAA,CAAK,GAAG,CAAA,CAClB,GAAA,CAAI,CAAC,CAAA,KAAM,CAAA,CAAE,QAAA,CAAS,EAAE,EAAE,QAAA,CAAS,CAAA,EAAG,GAAG,CAAC,CAAA,CAC1C,KAAK,EAAE,CAAA;AACZ;AChPO,SAAS,oBAAoB,KAAA,EAAyB;AAC3D,EAAA,IAAI,KAAA,KAAU,IAAA,IAAQ,KAAA,KAAU,MAAA,EAAW;AACzC,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,IAAA,OAAO,MAAM,IAAA,EAAK;AAAA,EACpB;AAEA,EAAA,IAAI,OAAO,KAAA,KAAU,QAAA,IAAY,OAAO,UAAU,SAAA,EAAW;AAC3D,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,IAAI,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACxB,IAAA,OAAO,KAAA,CAAM,IAAI,mBAAmB,CAAA;AAAA,EACtC;AAEA,EAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,IAAA,MAAM,SAAkC,EAAC;AACzC,IAAA,MAAM,IAAA,GAAO,MAAA,CAAO,IAAA,CAAK,KAAgC,EAAE,IAAA,EAAK;AAChE,IAAA,KAAA,MAAW,OAAO,IAAA,EAAM;AACtB,MAAA,MAAM,GAAA,GAAO,MAAkC,GAAG,CAAA;AAClD,MAAA,IAAI,QAAQ,MAAA,EAAW;AACrB,QAAA,MAAA,CAAO,GAAG,CAAA,GAAI,mBAAA,CAAoB,GAAG,CAAA;AAAA,MACvC;AAAA,IACF;AACA,IAAA,OAAO,MAAA;AAAA,EACT;AAEA,EAAA,OAAO,KAAA;AACT;AA4BO,SAAS,sBAAsB,QAAA,EAA2B;AAC/D,EAAA,MAAM,UAAA,GAAa,oBAAoB,QAAQ,CAAA;AAC/C,EAAA,MAAM,UAAA,GAAa,IAAA,CAAK,SAAA,CAAU,UAAU,CAAA;AAC5C,EAAA,MAAM,KAAA,GAAQ,IAAI,WAAA,EAAY,CAAE,OAAO,UAAU,CAAA;AACjD,EAAA,OAAOD,KAAAA,CAAM,UAAA,CAAW,KAAA,EAAO,MAAA,EAAW,EAAE,CAAA;AAC9C;AAWO,SAAS,oBAAA,CACd,UACA,YAAA,EACS;AACT,EAAA,MAAM,YAAA,GAAe,sBAAsB,QAAQ,CAAA;AACnD,EAAA,OAAO,YAAA,CAAa,WAAA,EAAY,KAAM,YAAA,CAAa,WAAA,EAAY;AACjE;AAUO,SAAS,sBAAsB,IAAA,EAAuB;AAC3D,EAAA,IAAI,OAAO,SAAS,QAAA,EAAU;AAC5B,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,IAAI,IAAA,CAAK,WAAW,EAAA,EAAI;AACtB,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,mBAAA,CAAoB,KAAK,IAAI,CAAA;AACtC;AA0BO,SAAS,sBAAA,CACd,UACA,WAAA,EAC4B;AAC5B,EAAA,IAAI,CAAC,qBAAA,CAAsB,WAAW,CAAA,EAAG;AACvC,IAAA,OAAO;AAAA,MACL,OAAA,EAAS,KAAA;AAAA,MACT,YAAA,EAAc,EAAA;AAAA,MACd,YAAA,EAAc,WAAA;AAAA,MACd,OAAA,EAAS,kEAAkE,WAAW,CAAA,CAAA;AAAA,KACxF;AAAA,EACF;AAEA,EAAA,MAAM,YAAA,GAAe,sBAAsB,QAAQ,CAAA;AACnD,EAAA,MAAM,OAAA,GAAU,YAAA,CAAa,WAAA,EAAY,KAAM,YAAY,WAAA,EAAY;AAEvE,EAAA,OAAO;AAAA,IACL,OAAA;AAAA,IACA,YAAA;AAAA,IACA,YAAA,EAAc,YAAY,WAAA,EAAY;AAAA,IACtC,OAAA,EAAS,UACL,sCAAA,GACA;AAAA,GACN;AACF;AASO,IAAM,yBAAA,GAA4B;AAKlC,IAAM,wBAAA,GAA2B;AAKjC,IAAM,yBAAA,GAA4B;;;AC9MlC,IAAM,aAAA,GAAgD;AAAA,EAC3D,OAAA,EAAS,wBAAA;AAAA,EACT,OAAA,EAAS,gCAAA;AAAA,EACT,OAAA,EAAS;AACX;AAKO,IAAM,cAAA,GAAiD;AAAA,EAC5D,OAAA,EAAS,sBAAA;AAAA,EACT,OAAA,EAAS,8BAAA;AAAA,EACT,OAAA,EAAS;AACX;AAKO,IAAM,aAAA,GAAgD;AAAA,EAC3D,OAAA,EAAS,SAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,OAAA,EAAS;AACX;AAKO,IAAM,cAAA,GAAiD;AAAA,EAC5D,OAAA,EAAS,MAAA;AAAA,EACT,OAAA,EAAS,WAAA;AAAA,EACT,OAAA,EAAS;AACX;AAKO,SAAS,gBAAA,CACd,SACA,MAAA,EACQ;AACR,EAAA,OAAO,CAAA,EAAG,aAAA,CAAc,OAAO,CAAC,gBAAgB,MAAM,CAAA,CAAA;AACxD;AAKO,SAAS,qBAAA,CACd,SACA,OAAA,EACQ;AACR,EAAA,OAAO,CAAA,EAAG,aAAA,CAAc,OAAO,CAAC,YAAY,OAAO,CAAA,CAAA;AACrD;AAKO,SAAS,mBAAA,CACd,OAAA,EACA,QAAA,EACA,SAAA,EACQ;AACR,EAAA,MAAM,UAAU,SAAA,GAAY,CAAA,EAAG,QAAQ,CAAA,CAAA,EAAI,SAAS,CAAA,CAAA,GAAK,QAAA;AACzD,EAAA,OAAO,CAAA,EAAG,aAAA,CAAc,OAAO,CAAC,UAAU,OAAO,CAAA,CAAA;AACnD;AAKO,SAAS,oBAAA,CACd,SACA,QAAA,EACQ;AACR,EAAA,OAAO,CAAA,EAAG,aAAA,CAAc,OAAO,CAAC,gBAAgB,QAAQ,CAAA,CAAA;AAC1D;;;ACnDO,IAAM,UAAA,GAAsD;AAAA,EACjE,OAAA,EAAS;AAAA,IACP,WAAA,EAAa,0DAAA;AAAA,IACb,WAAA,EAAa,EAAA;AAAA;AAAA,IACb,WAAA,EAAa,EAAA;AAAA;AAAA,IACb,eAAA,EAAiB,EAAA;AAAA;AAAA,IACjB,YAAA,EAAc,EAAA;AAAA;AAAA,IACd,SAAA,EAAW,EAAA;AAAA;AAAA,IACX,gBAAA,EAAkB;AAAA;AAAA,GACpB;AAAA,EACA,OAAA,EAAS;AAAA,IACP,WAAA,EAAa,EAAA;AAAA,IACb,WAAA,EAAa,EAAA;AAAA,IACb,WAAA,EAAa,EAAA;AAAA,IACb,eAAA,EAAiB,EAAA;AAAA,IACjB,YAAA,EAAc,EAAA;AAAA,IACd,SAAA,EAAW,EAAA;AAAA,IACX,gBAAA,EAAkB;AAAA,GACpB;AAAA,EACA,OAAA,EAAS;AAAA,IACP,WAAA,EAAa,EAAA;AAAA,IACb,WAAA,EAAa,EAAA;AAAA,IACb,WAAA,EAAa,EAAA;AAAA,IACb,eAAA,EAAiB,EAAA;AAAA,IACjB,YAAA,EAAc,EAAA;AAAA,IACd,SAAA,EAAW,EAAA;AAAA,IACX,gBAAA,EAAkB;AAAA;AAEtB;AAKO,SAAS,uBAAuB,OAAA,EAAiC;AACtE,EAAA,OAAO,UAAA,CAAW,OAAO,CAAA,CAAE,WAAA;AAC7B;AAKO,SAAS,gBAAgB,QAAA,EAA2B;AACzD,EAAA,IAAI,OAAO,aAAa,QAAA,EAAU;AAChC,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,IAAI,QAAA,CAAS,WAAW,EAAA,EAAI;AAC1B,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,mBAAA,CAAoB,KAAK,QAAQ,CAAA;AAC1C;AAKO,SAAS,iBAAiB,SAAA,EAA4B;AAC3D,EAAA,IAAI,OAAO,cAAc,QAAA,EAAU;AACjC,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,IAAI,SAAA,CAAU,SAAS,EAAA,EAAI;AACzB,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,IAAI,SAAA,CAAU,MAAA,GAAS,CAAA,KAAM,CAAA,EAAG;AAC9B,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,gBAAA,CAAiB,KAAK,SAAS,CAAA;AACxC;AAKO,SAAS,kBAAkB,GAAA,EAAqB;AACrD,EAAA,OAAO,KAAA,CAAM,KAAK,IAAI,WAAA,GAAc,MAAA,CAAO,GAAG,CAAC,CAAA,CAC5C,GAAA,CAAI,CAAC,MAAM,CAAA,CAAE,QAAA,CAAS,EAAE,CAAA,CAAE,QAAA,CAAS,GAAG,GAAG,CAAC,CAAA,CAC1C,IAAA,CAAK,EAAE,CAAA;AACZ;AAKO,SAAS,kBAAkB,GAAA,EAAqB;AACrD,EAAA,MAAM,QAAQ,IAAI,UAAA;AAAA,IAChB,GAAA,CAAI,KAAA,CAAM,SAAS,CAAA,EAAG,GAAA,CAAI,CAAC,IAAA,KAAS,QAAA,CAAS,IAAA,EAAM,EAAE,CAAC,CAAA,IAAK;AAAC,GAC9D;AACA,EAAA,OAAO,IAAI,WAAA,EAAY,CAAE,MAAA,CAAO,KAAK,CAAA;AACvC","file":"index.mjs","sourcesContent":["/**\n * SLT Hash Utility\n *\n * Computes the module token name (hash) from a list of Student Learning Targets (SLTs).\n * This hash is used as the token name when minting module tokens on-chain.\n *\n * The algorithm matches the on-chain Plutus validator:\n * ```haskell\n * sltsToBbs MintModuleV2{slts} = blake2b_256 $ serialiseData $ toBuiltinData $ map stringToBuiltinByteString slts\n * ```\n *\n * Serialization format:\n * 1. Convert each SLT string to UTF-8 bytes\n * 2. Encode as CBOR indefinite-length array of byte strings\n * 3. Hash with Blake2b-256 (32 bytes / 256 bits)\n *\n * @module @andamio/core/hashing\n */\n\nimport blake from \"blakejs\";\n\n/**\n * Plutus chunk size for byte strings.\n * Strings longer than this are encoded as indefinite-length chunked byte strings.\n */\nconst PLUTUS_CHUNK_SIZE = 64;\n\n/**\n * Compute the module hash matching Plutus on-chain encoding.\n *\n * Plutus's `stringToBuiltinByteString` chunks byte strings at 64 bytes.\n * This function replicates that behavior:\n * - Strings <= 64 bytes: encoded as regular CBOR byte strings\n * - Strings > 64 bytes: encoded as indefinite-length chunked byte strings\n *\n * @param slts - Array of Student Learning Target strings\n * @returns 64-character hex string (256-bit Blake2b hash)\n *\n * @example\n * ```typescript\n * import { computeSltHash } from \"@andamio/core/hashing\";\n *\n * const slts = [\n * \"I can mint an access token.\",\n * \"I can complete an assignment to earn a credential.\"\n * ];\n *\n * const moduleHash = computeSltHash(slts);\n * // Returns: \"8dcbe1b925d87e6c547bbd8071c23a712db4c32751454b0948f8c846e9246b5c\"\n * ```\n */\nexport function computeSltHash(slts: string[]): string {\n const sltBytes = slts.map((slt) => new TextEncoder().encode(slt));\n const cborData = encodeAsPlutusArray(sltBytes);\n return blake.blake2bHex(cborData, undefined, 32);\n}\n\n/**\n * @deprecated Use `computeSltHash` instead. This alias is kept for backwards compatibility.\n */\nexport const computeSltHashDefinite = computeSltHash;\n\n/**\n * Verify that a given hash matches the computed hash for SLTs.\n *\n * @param slts - Array of Student Learning Target strings\n * @param expectedHash - The hash to verify (64-character hex string)\n * @returns true if the computed hash matches the expected hash\n */\nexport function verifySltHash(slts: string[], expectedHash: string): boolean {\n const computedHash = computeSltHash(slts);\n return computedHash.toLowerCase() === expectedHash.toLowerCase();\n}\n\n/**\n * Validate that a string is a valid SLT hash format.\n *\n * SLT hashes are 64-character hexadecimal strings (256-bit Blake2b hash).\n *\n * @param hash - String to validate\n * @returns true if the string is a valid SLT hash format\n */\nexport function isValidSltHash(hash: string): boolean {\n if (hash.length !== 64) {\n return false;\n }\n return /^[0-9a-fA-F]{64}$/.test(hash);\n}\n\n// =============================================================================\n// Plutus-Compatible Encoding (Internal)\n// =============================================================================\n\n/**\n * Encode an array of byte buffers matching Plutus serialization.\n *\n * Uses indefinite-length array with chunked byte strings for long values.\n *\n * @internal\n */\nfunction encodeAsPlutusArray(items: Uint8Array[]): Uint8Array {\n const chunks: Uint8Array[] = [];\n\n // Start indefinite array\n chunks.push(new Uint8Array([0x9f]));\n\n // Encode each item (with chunking for long strings)\n for (const item of items) {\n chunks.push(encodePlutusBuiltinByteString(item));\n }\n\n // End indefinite array\n chunks.push(new Uint8Array([0xff]));\n\n return concatUint8Arrays(chunks);\n}\n\n/**\n * Encode a byte buffer matching Plutus's stringToBuiltinByteString.\n *\n * - Strings <= 64 bytes: regular CBOR byte string\n * - Strings > 64 bytes: indefinite-length chunked byte string (64-byte chunks)\n *\n * @internal\n */\nfunction encodePlutusBuiltinByteString(buffer: Uint8Array): Uint8Array {\n if (buffer.length <= PLUTUS_CHUNK_SIZE) {\n // Short string: encode normally\n return encodeCBORByteString(buffer);\n }\n\n // Long string: use indefinite-length chunked encoding\n const chunks: Uint8Array[] = [];\n chunks.push(new Uint8Array([0x5f])); // Start indefinite byte string\n\n for (let i = 0; i < buffer.length; i += PLUTUS_CHUNK_SIZE) {\n const chunk = buffer.subarray(i, Math.min(i + PLUTUS_CHUNK_SIZE, buffer.length));\n chunks.push(encodeCBORByteString(chunk));\n }\n\n chunks.push(new Uint8Array([0xff])); // Break\n return concatUint8Arrays(chunks);\n}\n\n/**\n * Encode a byte buffer as a CBOR byte string (definite length).\n *\n * @internal\n */\nfunction encodeCBORByteString(buffer: Uint8Array): Uint8Array {\n const len = buffer.length;\n\n // CBOR byte string encoding (major type 2 = 0x40):\n // - 0-23 bytes: length inline (0x40 + len)\n // - 24-255 bytes: 0x58 + 1-byte length\n // - 256-65535 bytes: 0x59 + 2-byte length (big-endian)\n if (len <= 23) {\n const result = new Uint8Array(1 + len);\n result[0] = 0x40 + len;\n result.set(buffer, 1);\n return result;\n } else if (len <= 255) {\n const result = new Uint8Array(2 + len);\n result[0] = 0x58;\n result[1] = len;\n result.set(buffer, 2);\n return result;\n } else if (len <= 65535) {\n const result = new Uint8Array(3 + len);\n result[0] = 0x59;\n result[1] = len >> 8;\n result[2] = len & 0xff;\n result.set(buffer, 3);\n return result;\n }\n throw new Error(\"Byte string too long for CBOR encoding\");\n}\n\n/**\n * Concatenate multiple Uint8Arrays into one\n *\n * @internal\n */\nfunction concatUint8Arrays(arrays: Uint8Array[]): Uint8Array {\n const totalLength = arrays.reduce((sum, arr) => sum + arr.length, 0);\n const result = new Uint8Array(totalLength);\n let offset = 0;\n for (const arr of arrays) {\n result.set(arr, offset);\n offset += arr.length;\n }\n return result;\n}\n","/**\n * Task Hash Utility\n *\n * Computes the task token name (hash) from task data.\n * This hash is used as the task_hash on-chain (content-addressed identifier).\n *\n * The algorithm matches the on-chain Aiken hash_project_data function using\n * raw byte concatenation and little-endian integer encoding.\n *\n * @module @andamio/core/hashing\n */\n\nimport blake from \"blakejs\";\n\n/**\n * Native asset in Cardano format: [policyId, tokenName, quantity]\n *\n * @example\n * ```typescript\n * const asset: NativeAsset = [\n * \"abc123def456...\".repeat(4), // 56 hex chars (28 bytes) - policy ID\n * \"746f6b656e\", // hex-encoded token name\n * 1000n // quantity as bigint\n * ];\n * ```\n */\nexport type NativeAsset = [\n policyId: string, // 56 hex chars (28 bytes)\n tokenName: string, // hex encoded (0-64 chars / 0-32 bytes)\n quantity: bigint, // arbitrary precision integer\n];\n\n/**\n * Task data structure matching the Aiken ProjectData type.\n *\n * Fields are concatenated in this order for hashing:\n * 1. project_content (UTF-8 bytes, NFC normalized)\n * 2. expiration_time (little-endian, minimal bytes)\n * 3. lovelace_amount (little-endian, minimal bytes)\n * 4. native_assets (raw concatenation of each asset's bytes)\n */\nexport interface TaskData {\n /** Task description (max 140 characters) */\n project_content: string;\n /** Unix timestamp in milliseconds */\n expiration_time: bigint;\n /** Lovelace amount (micro-ADA) */\n lovelace_amount: bigint;\n /** Native assets attached to task */\n native_assets: readonly NativeAsset[];\n}\n\n/**\n * Compute the task hash (token name / task_hash) from task data.\n *\n * This produces the same hash as the on-chain Aiken hash_project_data function,\n * allowing clients to pre-compute or verify task hashes.\n *\n * @param task - Task data object\n * @returns 64-character hex string (256-bit Blake2b hash)\n * @throws Error if task data validation fails\n *\n * @example\n * ```typescript\n * import { computeTaskHash } from \"@andamio/core/hashing\";\n *\n * const task = {\n * project_content: \"Open Task #1\",\n * expiration_time: 1769027280000n,\n * lovelace_amount: 15000000n,\n * native_assets: []\n * };\n *\n * const taskHash = computeTaskHash(task);\n * // Returns the on-chain task_hash\n * ```\n */\nexport function computeTaskHash(task: TaskData): string {\n // Validate inputs\n validateTaskData(task);\n\n // Encode task as raw bytes matching Aiken format\n const bytes = encodeTaskAsRawBytes(task);\n\n // Hash with Blake2b-256\n return blake.blake2bHex(bytes, undefined, 32);\n}\n\n/**\n * Verify that a given hash matches the computed hash for a task.\n *\n * @param task - Task data object\n * @param expectedHash - The hash to verify (64-character hex string)\n * @returns true if the computed hash matches the expected hash\n */\nexport function verifyTaskHash(task: TaskData, expectedHash: string): boolean {\n const computedHash = computeTaskHash(task);\n return computedHash.toLowerCase() === expectedHash.toLowerCase();\n}\n\n/**\n * Validate that a string is a valid task hash format.\n *\n * Task hashes are 64-character hexadecimal strings (256-bit Blake2b hash).\n */\nexport function isValidTaskHash(hash: string): boolean {\n if (hash.length !== 64) {\n return false;\n }\n return /^[0-9a-fA-F]{64}$/.test(hash);\n}\n\n/**\n * Debug function to show the raw byte encoding of a task.\n * Useful for comparing against on-chain data.\n *\n * @param task - Task data object\n * @returns Hex string of the encoded data (before hashing)\n */\nexport function debugTaskBytes(task: TaskData): string {\n validateTaskData(task);\n const bytes = encodeTaskAsRawBytes(task);\n return uint8ArrayToHex(bytes);\n}\n\n// =============================================================================\n// Raw Byte Encoding (Internal) - Matches Aiken hash_project_data\n// =============================================================================\n\n/**\n * Encode task data as raw bytes matching Aiken's hash_project_data format.\n *\n * Format: project_content ++ int_to_bbs(deadline) ++ int_to_bbs(lovelace) ++ combine_flat_val(tokens)\n *\n * @internal\n */\nfunction encodeTaskAsRawBytes(task: TaskData): Uint8Array {\n // Normalize Unicode for consistent hashing\n const normalizedContent = task.project_content.normalize(\"NFC\");\n\n return concatUint8Arrays([\n new TextEncoder().encode(normalizedContent),\n intToBytesLittleEndian(task.expiration_time),\n intToBytesLittleEndian(task.lovelace_amount),\n combineNativeAssets(task.native_assets),\n ]);\n}\n\n/**\n * Validate TaskData before hashing.\n *\n * @throws Error if validation fails\n * @internal\n */\nfunction validateTaskData(task: TaskData): void {\n // Validate project_content\n if (task.project_content.length > 140) {\n throw new Error(\n `project_content exceeds 140 characters (got ${task.project_content.length})`,\n );\n }\n\n // Validate numeric fields\n if (task.expiration_time < 0n) {\n throw new Error(\"expiration_time must be non-negative\");\n }\n if (task.lovelace_amount < 0n) {\n throw new Error(\"lovelace_amount must be non-negative\");\n }\n\n // Validate native assets\n for (const [policyId, tokenName, quantity] of task.native_assets) {\n if (policyId.length !== 56) {\n throw new Error(\n `policyId must be 56 hex chars (got ${policyId.length})`,\n );\n }\n if (!/^[0-9a-fA-F]*$/.test(policyId)) {\n throw new Error(\"policyId contains invalid hex characters\");\n }\n if (tokenName.length > 64 || tokenName.length % 2 !== 0) {\n throw new Error(\n `tokenName must be 0-64 hex chars with even length (got ${tokenName.length})`,\n );\n }\n if (tokenName.length > 0 && !/^[0-9a-fA-F]*$/.test(tokenName)) {\n throw new Error(\"tokenName contains invalid hex characters\");\n }\n if (quantity < 0n) {\n throw new Error(\"asset quantity must be non-negative\");\n }\n }\n}\n\n/**\n * Convert a non-negative bigint to little-endian byte representation.\n * Matches Aiken's integer_to_bytearray(False, 0, int).\n *\n * - False = little-endian byte order\n * - 0 = minimal byte length (no zero-padding)\n *\n * @param n - Non-negative bigint to convert\n * @returns Uint8Array with little-endian byte representation\n * @internal\n */\nfunction intToBytesLittleEndian(n: bigint): Uint8Array {\n if (n < 0n) {\n throw new Error(\"Negative integers not supported\");\n }\n if (n === 0n) {\n return new Uint8Array([0]);\n }\n\n const bytes: number[] = [];\n let remaining = n;\n\n while (remaining > 0n) {\n bytes.push(Number(remaining & 0xffn));\n remaining = remaining >> 8n;\n }\n\n return new Uint8Array(bytes);\n}\n\n/**\n * Combine native assets into raw bytes matching Aiken's combine_flat_val.\n * Format: policy_id ++ token_name ++ quantity for each asset.\n *\n * @param assets - Array of native assets\n * @returns Uint8Array of concatenated asset bytes\n * @internal\n */\nfunction combineNativeAssets(assets: readonly NativeAsset[]): Uint8Array {\n if (assets.length === 0) {\n return new Uint8Array([]);\n }\n\n const chunks: Uint8Array[] = [];\n for (const [policyId, tokenName, quantity] of assets) {\n chunks.push(hexToBytes(policyId));\n chunks.push(hexToBytes(tokenName));\n chunks.push(intToBytesLittleEndian(quantity));\n }\n return concatUint8Arrays(chunks);\n}\n\n/**\n * Convert hex string to Uint8Array.\n *\n * @param hex - Hexadecimal string (must be even length)\n * @returns Uint8Array of bytes\n * @internal\n */\nfunction hexToBytes(hex: string): Uint8Array {\n if (hex.length === 0) {\n return new Uint8Array([]);\n }\n\n // Validation already done in validateTaskData, but defensive check\n if (hex.length % 2 !== 0) {\n throw new Error(`Invalid hex string: odd length (${hex.length})`);\n }\n\n const bytes = new Uint8Array(hex.length / 2);\n for (let i = 0; i < bytes.length; i++) {\n bytes[i] = parseInt(hex.slice(i * 2, i * 2 + 2), 16);\n }\n return bytes;\n}\n\n/**\n * Concatenate multiple Uint8Arrays into one.\n *\n * @internal\n */\nfunction concatUint8Arrays(arrays: Uint8Array[]): Uint8Array {\n const totalLength = arrays.reduce((sum, arr) => sum + arr.length, 0);\n const result = new Uint8Array(totalLength);\n let offset = 0;\n for (const arr of arrays) {\n result.set(arr, offset);\n offset += arr.length;\n }\n return result;\n}\n\n/**\n * Convert Uint8Array to hex string.\n *\n * @internal\n */\nfunction uint8ArrayToHex(arr: Uint8Array): string {\n return Array.from(arr)\n .map((b) => b.toString(16).padStart(2, \"0\"))\n .join(\"\");\n}\n","/**\n * Commitment Hash Utility\n *\n * Functions for computing and verifying hashes of commitment evidence.\n * The hash is stored on-chain as `commitment_hash` in the course state datum,\n * while the full evidence (Tiptap JSON document) is stored in the database.\n *\n * This provides:\n * - Compact on-chain storage (64-char hex hash vs full JSON)\n * - Tamper-evidence (can verify DB content matches on-chain commitment)\n * - Privacy (evidence details not exposed on-chain)\n *\n * @module @andamio/core/hashing\n */\n\nimport blake from \"blakejs\";\n\n/**\n * Tiptap document structure (simplified)\n * The actual structure can be more complex with nested content\n */\nexport type TiptapDoc = {\n type: \"doc\";\n content?: TiptapNode[];\n [key: string]: unknown;\n};\n\nexport type TiptapNode = {\n type: string;\n content?: TiptapNode[];\n text?: string;\n marks?: TiptapMark[];\n attrs?: Record<string, unknown>;\n [key: string]: unknown;\n};\n\nexport type TiptapMark = {\n type: string;\n attrs?: Record<string, unknown>;\n [key: string]: unknown;\n};\n\n/**\n * Normalizes a value for consistent hashing.\n *\n * Normalization rules:\n * - Objects: Sort keys alphabetically, recursively normalize values\n * - Arrays: Preserve order, recursively normalize items\n * - Strings: Trim whitespace\n * - Numbers/Booleans/null: Keep as-is\n * - undefined: Convert to null\n *\n * @param value - Any JSON-serializable value\n * @returns Normalized value\n */\nexport function normalizeForHashing(value: unknown): unknown {\n if (value === null || value === undefined) {\n return null;\n }\n\n if (typeof value === \"string\") {\n return value.trim();\n }\n\n if (typeof value === \"number\" || typeof value === \"boolean\") {\n return value;\n }\n\n if (Array.isArray(value)) {\n return value.map(normalizeForHashing);\n }\n\n if (typeof value === \"object\") {\n const sorted: Record<string, unknown> = {};\n const keys = Object.keys(value as Record<string, unknown>).sort();\n for (const key of keys) {\n const val = (value as Record<string, unknown>)[key];\n if (val !== undefined) {\n sorted[key] = normalizeForHashing(val);\n }\n }\n return sorted;\n }\n\n return value;\n}\n\n/**\n * Computes the commitment hash from evidence content.\n *\n * The hash is computed as:\n * 1. Normalize the evidence (sort keys, trim strings, etc.)\n * 2. Serialize to JSON string (deterministic due to normalization)\n * 3. Apply Blake2b-256 hash\n *\n * @param evidence - The evidence content (Tiptap JSON document or any JSON-serializable data)\n * @returns 64-character lowercase hex string (Blake2b-256 hash)\n *\n * @example\n * ```typescript\n * import { computeCommitmentHash } from \"@andamio/core/hashing\";\n *\n * const evidence = {\n * type: \"doc\",\n * content: [\n * { type: \"paragraph\", content: [{ type: \"text\", text: \"My submission\" }] }\n * ]\n * };\n *\n * const hash = computeCommitmentHash(evidence);\n * // Use this hash as commitment_hash in the transaction\n * ```\n */\nexport function computeCommitmentHash(evidence: unknown): string {\n const normalized = normalizeForHashing(evidence);\n const jsonString = JSON.stringify(normalized);\n const bytes = new TextEncoder().encode(jsonString);\n return blake.blake2bHex(bytes, undefined, 32);\n}\n\n/**\n * Verifies that evidence content matches an expected hash.\n *\n * Use this to verify that database evidence matches the on-chain commitment.\n *\n * @param evidence - The evidence content to verify\n * @param expectedHash - The expected hash (from on-chain data)\n * @returns True if the evidence produces the expected hash\n */\nexport function verifyCommitmentHash(\n evidence: unknown,\n expectedHash: string\n): boolean {\n const computedHash = computeCommitmentHash(evidence);\n return computedHash.toLowerCase() === expectedHash.toLowerCase();\n}\n\n/**\n * Validates that a string is a valid commitment hash format.\n *\n * A valid hash is a 64-character hexadecimal string (Blake2b-256 output).\n *\n * @param hash - The string to validate\n * @returns True if the string is a valid hash format\n */\nexport function isValidCommitmentHash(hash: string): boolean {\n if (typeof hash !== \"string\") {\n return false;\n }\n if (hash.length !== 64) {\n return false;\n }\n return /^[0-9a-fA-F]{64}$/.test(hash);\n}\n\n/**\n * Result of comparing evidence with an on-chain hash\n */\nexport type EvidenceVerificationResult = {\n /** Whether the evidence matches the on-chain hash */\n isValid: boolean;\n /** The hash computed from the evidence */\n computedHash: string;\n /** The expected hash (from on-chain) */\n expectedHash: string;\n /** Human-readable status message */\n message: string;\n};\n\n/**\n * Performs a detailed verification of evidence against an on-chain hash.\n *\n * Returns a detailed result object with both hashes and a status message,\n * useful for debugging and user feedback.\n *\n * @param evidence - The evidence content to verify\n * @param onChainHash - The hash from on-chain data\n * @returns Detailed verification result\n */\nexport function verifyEvidenceDetailed(\n evidence: unknown,\n onChainHash: string\n): EvidenceVerificationResult {\n if (!isValidCommitmentHash(onChainHash)) {\n return {\n isValid: false,\n computedHash: \"\",\n expectedHash: onChainHash,\n message: `Invalid on-chain hash format: expected 64 hex characters, got \"${onChainHash}\"`,\n };\n }\n\n const computedHash = computeCommitmentHash(evidence);\n const isValid = computedHash.toLowerCase() === onChainHash.toLowerCase();\n\n return {\n isValid,\n computedHash,\n expectedHash: onChainHash.toLowerCase(),\n message: isValid\n ? \"Evidence matches on-chain commitment\"\n : \"Evidence does not match on-chain commitment - content may have been modified\",\n };\n}\n\n// =============================================================================\n// Backwards Compatibility Aliases (deprecated)\n// =============================================================================\n\n/**\n * @deprecated Use `computeCommitmentHash` instead.\n */\nexport const computeAssignmentInfoHash = computeCommitmentHash;\n\n/**\n * @deprecated Use `verifyCommitmentHash` instead.\n */\nexport const verifyAssignmentInfoHash = verifyCommitmentHash;\n\n/**\n * @deprecated Use `isValidCommitmentHash` instead.\n */\nexport const isValidAssignmentInfoHash = isValidCommitmentHash;\n","/**\n * Cardano Network Constants\n *\n * Network identifiers, explorer URLs, and other Cardano-specific constants.\n *\n * @module @andamio/core/constants\n */\n\n/**\n * Supported Cardano networks\n */\nexport type CardanoNetwork = \"mainnet\" | \"preprod\" | \"preview\";\n\n/**\n * Block explorer URLs by network\n */\nexport const EXPLORER_URLS: Record<CardanoNetwork, string> = {\n mainnet: \"https://cardanoscan.io\",\n preprod: \"https://preprod.cardanoscan.io\",\n preview: \"https://preview.cardanoscan.io\",\n} as const;\n\n/**\n * CExplorer URLs by network (alternative explorer)\n */\nexport const CEXPLORER_URLS: Record<CardanoNetwork, string> = {\n mainnet: \"https://cexplorer.io\",\n preprod: \"https://preprod.cexplorer.io\",\n preview: \"https://preview.cexplorer.io\",\n} as const;\n\n/**\n * Network magic numbers for Cardano networks\n */\nexport const NETWORK_MAGIC: Record<CardanoNetwork, number> = {\n mainnet: 764824073,\n preprod: 1,\n preview: 2,\n} as const;\n\n/**\n * Bech32 address prefixes by network\n */\nexport const ADDRESS_PREFIX: Record<CardanoNetwork, string> = {\n mainnet: \"addr\",\n preprod: \"addr_test\",\n preview: \"addr_test\",\n} as const;\n\n/**\n * Get explorer URL for a transaction\n */\nexport function getTxExplorerUrl(\n network: CardanoNetwork,\n txHash: string\n): string {\n return `${EXPLORER_URLS[network]}/transaction/${txHash}`;\n}\n\n/**\n * Get explorer URL for an address\n */\nexport function getAddressExplorerUrl(\n network: CardanoNetwork,\n address: string\n): string {\n return `${EXPLORER_URLS[network]}/address/${address}`;\n}\n\n/**\n * Get explorer URL for a token/asset\n */\nexport function getAssetExplorerUrl(\n network: CardanoNetwork,\n policyId: string,\n assetName?: string\n): string {\n const assetId = assetName ? `${policyId}.${assetName}` : policyId;\n return `${EXPLORER_URLS[network]}/token/${assetId}`;\n}\n\n/**\n * Get explorer URL for a policy\n */\nexport function getPolicyExplorerUrl(\n network: CardanoNetwork,\n policyId: string\n): string {\n return `${EXPLORER_URLS[network]}/tokenPolicy/${policyId}`;\n}\n","/**\n * Andamio Policy IDs\n *\n * Policy IDs for Andamio protocol tokens by network.\n * These are used to identify access tokens, course tokens, and other\n * protocol-specific assets on-chain.\n *\n * @module @andamio/core/constants\n */\n\nimport type { CardanoNetwork } from \"./cardano\";\n\n/**\n * Policy ID configuration for a network\n */\nexport interface NetworkPolicies {\n /** Access token policy ID - identifies user access tokens */\n accessToken: string;\n /** Course token policy ID - identifies course tokens */\n courseToken: string;\n /** Module token policy ID - identifies module tokens */\n moduleToken: string;\n /** Assignment token policy ID - identifies assignment tokens */\n assignmentToken: string;\n /** Project token policy ID - identifies project tokens */\n projectToken: string;\n /** Task token policy ID - identifies task tokens */\n taskToken: string;\n /** Contributor token policy ID - identifies contributor tokens */\n contributorToken: string;\n}\n\n/**\n * Policy IDs by network\n *\n * Note: These should be loaded from environment variables in production.\n * The values here are examples/defaults for the preprod network.\n */\nexport const POLICY_IDS: Record<CardanoNetwork, NetworkPolicies> = {\n preprod: {\n accessToken: \"4758613867a8a7aa500b5d57a0e877f01a8e63c1365469589b12063c\",\n courseToken: \"\", // Set via environment\n moduleToken: \"\", // Set via environment\n assignmentToken: \"\", // Set via environment\n projectToken: \"\", // Set via environment\n taskToken: \"\", // Set via environment\n contributorToken: \"\", // Set via environment\n },\n preview: {\n accessToken: \"\",\n courseToken: \"\",\n moduleToken: \"\",\n assignmentToken: \"\",\n projectToken: \"\",\n taskToken: \"\",\n contributorToken: \"\",\n },\n mainnet: {\n accessToken: \"\",\n courseToken: \"\",\n moduleToken: \"\",\n assignmentToken: \"\",\n projectToken: \"\",\n taskToken: \"\",\n contributorToken: \"\",\n },\n} as const;\n\n/**\n * Get the access token policy ID for a network\n */\nexport function getAccessTokenPolicyId(network: CardanoNetwork): string {\n return POLICY_IDS[network].accessToken;\n}\n\n/**\n * Validate a policy ID format (56 hex characters)\n */\nexport function isValidPolicyId(policyId: string): boolean {\n if (typeof policyId !== \"string\") {\n return false;\n }\n if (policyId.length !== 56) {\n return false;\n }\n return /^[0-9a-fA-F]{56}$/.test(policyId);\n}\n\n/**\n * Validate an asset name format (hex string, max 64 chars / 32 bytes)\n */\nexport function isValidAssetName(assetName: string): boolean {\n if (typeof assetName !== \"string\") {\n return false;\n }\n if (assetName.length > 64) {\n return false;\n }\n if (assetName.length % 2 !== 0) {\n return false;\n }\n return /^[0-9a-fA-F]*$/.test(assetName);\n}\n\n/**\n * Convert a UTF-8 string to hex asset name\n */\nexport function stringToAssetName(str: string): string {\n return Array.from(new TextEncoder().encode(str))\n .map((b) => b.toString(16).padStart(2, \"0\"))\n .join(\"\");\n}\n\n/**\n * Convert a hex asset name to UTF-8 string\n */\nexport function assetNameToString(hex: string): string {\n const bytes = new Uint8Array(\n hex.match(/.{1,2}/g)?.map((byte) => parseInt(byte, 16)) ?? []\n );\n return new TextDecoder().decode(bytes);\n}\n"]}
|
|
@@ -69,37 +69,56 @@ declare function isValidSltHash(hash: string): boolean;
|
|
|
69
69
|
* Computes the task token name (hash) from task data.
|
|
70
70
|
* This hash is used as the task_hash on-chain (content-addressed identifier).
|
|
71
71
|
*
|
|
72
|
-
* The algorithm matches the on-chain
|
|
72
|
+
* The algorithm matches the on-chain Aiken hash_project_data function using
|
|
73
|
+
* raw byte concatenation and little-endian integer encoding.
|
|
73
74
|
*
|
|
74
75
|
* @module @andamio/core/hashing
|
|
75
76
|
*/
|
|
76
77
|
/**
|
|
77
|
-
* Native asset in
|
|
78
|
+
* Native asset in Cardano format: [policyId, tokenName, quantity]
|
|
79
|
+
*
|
|
80
|
+
* @example
|
|
81
|
+
* ```typescript
|
|
82
|
+
* const asset: NativeAsset = [
|
|
83
|
+
* "abc123def456...".repeat(4), // 56 hex chars (28 bytes) - policy ID
|
|
84
|
+
* "746f6b656e", // hex-encoded token name
|
|
85
|
+
* 1000n // quantity as bigint
|
|
86
|
+
* ];
|
|
87
|
+
* ```
|
|
78
88
|
*/
|
|
79
|
-
type NativeAsset = [
|
|
89
|
+
type NativeAsset = [
|
|
90
|
+
policyId: string,
|
|
91
|
+
tokenName: string,
|
|
92
|
+
quantity: bigint
|
|
93
|
+
];
|
|
80
94
|
/**
|
|
81
|
-
* Task data structure matching the
|
|
95
|
+
* Task data structure matching the Aiken ProjectData type.
|
|
82
96
|
*
|
|
83
|
-
* Fields
|
|
84
|
-
* 1. project_content (
|
|
85
|
-
* 2. expiration_time (
|
|
86
|
-
* 3. lovelace_amount (
|
|
87
|
-
* 4. native_assets (
|
|
97
|
+
* Fields are concatenated in this order for hashing:
|
|
98
|
+
* 1. project_content (UTF-8 bytes, NFC normalized)
|
|
99
|
+
* 2. expiration_time (little-endian, minimal bytes)
|
|
100
|
+
* 3. lovelace_amount (little-endian, minimal bytes)
|
|
101
|
+
* 4. native_assets (raw concatenation of each asset's bytes)
|
|
88
102
|
*/
|
|
89
103
|
interface TaskData {
|
|
104
|
+
/** Task description (max 140 characters) */
|
|
90
105
|
project_content: string;
|
|
91
|
-
|
|
92
|
-
|
|
93
|
-
|
|
106
|
+
/** Unix timestamp in milliseconds */
|
|
107
|
+
expiration_time: bigint;
|
|
108
|
+
/** Lovelace amount (micro-ADA) */
|
|
109
|
+
lovelace_amount: bigint;
|
|
110
|
+
/** Native assets attached to task */
|
|
111
|
+
native_assets: readonly NativeAsset[];
|
|
94
112
|
}
|
|
95
113
|
/**
|
|
96
114
|
* Compute the task hash (token name / task_hash) from task data.
|
|
97
115
|
*
|
|
98
|
-
* This produces the same hash as the on-chain
|
|
99
|
-
* clients to pre-compute or verify task hashes.
|
|
116
|
+
* This produces the same hash as the on-chain Aiken hash_project_data function,
|
|
117
|
+
* allowing clients to pre-compute or verify task hashes.
|
|
100
118
|
*
|
|
101
119
|
* @param task - Task data object
|
|
102
120
|
* @returns 64-character hex string (256-bit Blake2b hash)
|
|
121
|
+
* @throws Error if task data validation fails
|
|
103
122
|
*
|
|
104
123
|
* @example
|
|
105
124
|
* ```typescript
|
|
@@ -107,8 +126,8 @@ interface TaskData {
|
|
|
107
126
|
*
|
|
108
127
|
* const task = {
|
|
109
128
|
* project_content: "Open Task #1",
|
|
110
|
-
* expiration_time:
|
|
111
|
-
* lovelace_amount:
|
|
129
|
+
* expiration_time: 1769027280000n,
|
|
130
|
+
* lovelace_amount: 15000000n,
|
|
112
131
|
* native_assets: []
|
|
113
132
|
* };
|
|
114
133
|
*
|
|
@@ -132,13 +151,13 @@ declare function verifyTaskHash(task: TaskData, expectedHash: string): boolean;
|
|
|
132
151
|
*/
|
|
133
152
|
declare function isValidTaskHash(hash: string): boolean;
|
|
134
153
|
/**
|
|
135
|
-
* Debug function to show the
|
|
154
|
+
* Debug function to show the raw byte encoding of a task.
|
|
136
155
|
* Useful for comparing against on-chain data.
|
|
137
156
|
*
|
|
138
157
|
* @param task - Task data object
|
|
139
|
-
* @returns Hex string of the
|
|
158
|
+
* @returns Hex string of the encoded data (before hashing)
|
|
140
159
|
*/
|
|
141
|
-
declare function
|
|
160
|
+
declare function debugTaskBytes(task: TaskData): string;
|
|
142
161
|
|
|
143
162
|
/**
|
|
144
163
|
* Commitment Hash Utility
|
|
@@ -273,4 +292,4 @@ declare const verifyAssignmentInfoHash: typeof verifyCommitmentHash;
|
|
|
273
292
|
*/
|
|
274
293
|
declare const isValidAssignmentInfoHash: typeof isValidCommitmentHash;
|
|
275
294
|
|
|
276
|
-
export { type EvidenceVerificationResult, type TaskData, type TiptapDoc, type TiptapMark, type TiptapNode, computeAssignmentInfoHash, computeCommitmentHash, computeSltHash, computeSltHashDefinite, computeTaskHash,
|
|
295
|
+
export { type EvidenceVerificationResult, type NativeAsset, type TaskData, type TiptapDoc, type TiptapMark, type TiptapNode, computeAssignmentInfoHash, computeCommitmentHash, computeSltHash, computeSltHashDefinite, computeTaskHash, debugTaskBytes, isValidAssignmentInfoHash, isValidCommitmentHash, isValidSltHash, isValidTaskHash, normalizeForHashing, verifyAssignmentInfoHash, verifyCommitmentHash, verifyEvidenceDetailed, verifySltHash, verifyTaskHash };
|
|
@@ -69,37 +69,56 @@ declare function isValidSltHash(hash: string): boolean;
|
|
|
69
69
|
* Computes the task token name (hash) from task data.
|
|
70
70
|
* This hash is used as the task_hash on-chain (content-addressed identifier).
|
|
71
71
|
*
|
|
72
|
-
* The algorithm matches the on-chain
|
|
72
|
+
* The algorithm matches the on-chain Aiken hash_project_data function using
|
|
73
|
+
* raw byte concatenation and little-endian integer encoding.
|
|
73
74
|
*
|
|
74
75
|
* @module @andamio/core/hashing
|
|
75
76
|
*/
|
|
76
77
|
/**
|
|
77
|
-
* Native asset in
|
|
78
|
+
* Native asset in Cardano format: [policyId, tokenName, quantity]
|
|
79
|
+
*
|
|
80
|
+
* @example
|
|
81
|
+
* ```typescript
|
|
82
|
+
* const asset: NativeAsset = [
|
|
83
|
+
* "abc123def456...".repeat(4), // 56 hex chars (28 bytes) - policy ID
|
|
84
|
+
* "746f6b656e", // hex-encoded token name
|
|
85
|
+
* 1000n // quantity as bigint
|
|
86
|
+
* ];
|
|
87
|
+
* ```
|
|
78
88
|
*/
|
|
79
|
-
type NativeAsset = [
|
|
89
|
+
type NativeAsset = [
|
|
90
|
+
policyId: string,
|
|
91
|
+
tokenName: string,
|
|
92
|
+
quantity: bigint
|
|
93
|
+
];
|
|
80
94
|
/**
|
|
81
|
-
* Task data structure matching the
|
|
95
|
+
* Task data structure matching the Aiken ProjectData type.
|
|
82
96
|
*
|
|
83
|
-
* Fields
|
|
84
|
-
* 1. project_content (
|
|
85
|
-
* 2. expiration_time (
|
|
86
|
-
* 3. lovelace_amount (
|
|
87
|
-
* 4. native_assets (
|
|
97
|
+
* Fields are concatenated in this order for hashing:
|
|
98
|
+
* 1. project_content (UTF-8 bytes, NFC normalized)
|
|
99
|
+
* 2. expiration_time (little-endian, minimal bytes)
|
|
100
|
+
* 3. lovelace_amount (little-endian, minimal bytes)
|
|
101
|
+
* 4. native_assets (raw concatenation of each asset's bytes)
|
|
88
102
|
*/
|
|
89
103
|
interface TaskData {
|
|
104
|
+
/** Task description (max 140 characters) */
|
|
90
105
|
project_content: string;
|
|
91
|
-
|
|
92
|
-
|
|
93
|
-
|
|
106
|
+
/** Unix timestamp in milliseconds */
|
|
107
|
+
expiration_time: bigint;
|
|
108
|
+
/** Lovelace amount (micro-ADA) */
|
|
109
|
+
lovelace_amount: bigint;
|
|
110
|
+
/** Native assets attached to task */
|
|
111
|
+
native_assets: readonly NativeAsset[];
|
|
94
112
|
}
|
|
95
113
|
/**
|
|
96
114
|
* Compute the task hash (token name / task_hash) from task data.
|
|
97
115
|
*
|
|
98
|
-
* This produces the same hash as the on-chain
|
|
99
|
-
* clients to pre-compute or verify task hashes.
|
|
116
|
+
* This produces the same hash as the on-chain Aiken hash_project_data function,
|
|
117
|
+
* allowing clients to pre-compute or verify task hashes.
|
|
100
118
|
*
|
|
101
119
|
* @param task - Task data object
|
|
102
120
|
* @returns 64-character hex string (256-bit Blake2b hash)
|
|
121
|
+
* @throws Error if task data validation fails
|
|
103
122
|
*
|
|
104
123
|
* @example
|
|
105
124
|
* ```typescript
|
|
@@ -107,8 +126,8 @@ interface TaskData {
|
|
|
107
126
|
*
|
|
108
127
|
* const task = {
|
|
109
128
|
* project_content: "Open Task #1",
|
|
110
|
-
* expiration_time:
|
|
111
|
-
* lovelace_amount:
|
|
129
|
+
* expiration_time: 1769027280000n,
|
|
130
|
+
* lovelace_amount: 15000000n,
|
|
112
131
|
* native_assets: []
|
|
113
132
|
* };
|
|
114
133
|
*
|
|
@@ -132,13 +151,13 @@ declare function verifyTaskHash(task: TaskData, expectedHash: string): boolean;
|
|
|
132
151
|
*/
|
|
133
152
|
declare function isValidTaskHash(hash: string): boolean;
|
|
134
153
|
/**
|
|
135
|
-
* Debug function to show the
|
|
154
|
+
* Debug function to show the raw byte encoding of a task.
|
|
136
155
|
* Useful for comparing against on-chain data.
|
|
137
156
|
*
|
|
138
157
|
* @param task - Task data object
|
|
139
|
-
* @returns Hex string of the
|
|
158
|
+
* @returns Hex string of the encoded data (before hashing)
|
|
140
159
|
*/
|
|
141
|
-
declare function
|
|
160
|
+
declare function debugTaskBytes(task: TaskData): string;
|
|
142
161
|
|
|
143
162
|
/**
|
|
144
163
|
* Commitment Hash Utility
|
|
@@ -273,4 +292,4 @@ declare const verifyAssignmentInfoHash: typeof verifyCommitmentHash;
|
|
|
273
292
|
*/
|
|
274
293
|
declare const isValidAssignmentInfoHash: typeof isValidCommitmentHash;
|
|
275
294
|
|
|
276
|
-
export { type EvidenceVerificationResult, type TaskData, type TiptapDoc, type TiptapMark, type TiptapNode, computeAssignmentInfoHash, computeCommitmentHash, computeSltHash, computeSltHashDefinite, computeTaskHash,
|
|
295
|
+
export { type EvidenceVerificationResult, type NativeAsset, type TaskData, type TiptapDoc, type TiptapMark, type TiptapNode, computeAssignmentInfoHash, computeCommitmentHash, computeSltHash, computeSltHashDefinite, computeTaskHash, debugTaskBytes, isValidAssignmentInfoHash, isValidCommitmentHash, isValidSltHash, isValidTaskHash, normalizeForHashing, verifyAssignmentInfoHash, verifyCommitmentHash, verifyEvidenceDetailed, verifySltHash, verifyTaskHash };
|