@sig-net/midnight 0.0.2 → 0.0.4

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.
Files changed (45) hide show
  1. package/README.md +137 -18
  2. package/dist/index.d.ts.map +1 -1
  3. package/dist/index.js +3 -4
  4. package/dist/index.js.map +1 -1
  5. package/dist/managed/compiler/contract-info.json +1 -1
  6. package/dist/managed/compiler/contract-manifest.json +5 -5
  7. package/dist/managed/contract/index.js +169 -169
  8. package/dist/managed/contract/index.js.map +1 -1
  9. package/dist/signature-requests-state-reader.d.ts +21 -22
  10. package/dist/signature-requests-state-reader.d.ts.map +1 -1
  11. package/dist/signature-requests-state-reader.js +24 -20
  12. package/dist/signature-requests-state-reader.js.map +1 -1
  13. package/dist/signature-state-reading.d.ts +21 -6
  14. package/dist/signature-state-reading.d.ts.map +1 -1
  15. package/dist/signature-state-reading.js +42 -10
  16. package/dist/signature-state-reading.js.map +1 -1
  17. package/dist/signet-request-response-reader.d.ts +9 -2
  18. package/dist/signet-request-response-reader.d.ts.map +1 -1
  19. package/dist/signet-request-response-reader.js +6 -6
  20. package/dist/signet-request-response-reader.js.map +1 -1
  21. package/dist/signet-requests.d.ts +2 -1
  22. package/dist/signet-requests.d.ts.map +1 -1
  23. package/dist/signet-requests.js +4 -4
  24. package/dist/signet-requests.js.map +1 -1
  25. package/package.json +10 -5
  26. package/src/Schnorr.compact +1 -1
  27. package/src/Signet.compact +11 -11
  28. package/src/circuits.compact +1 -1
  29. package/src/constants.ts +0 -97
  30. package/src/epsilon-derivation.ts +0 -62
  31. package/src/index.ts +0 -29
  32. package/src/managed/compiler/contract-info.json +0 -222
  33. package/src/managed/compiler/contract-manifest.json +0 -32
  34. package/src/managed/contract/index.d.ts +0 -78
  35. package/src/managed/contract/index.js +0 -676
  36. package/src/managed/contract/index.js.map +0 -8
  37. package/src/schnorr.ts +0 -210
  38. package/src/signature-requests-state-reader.ts +0 -223
  39. package/src/signature-response-verification.ts +0 -64
  40. package/src/signature-state-reading.ts +0 -87
  41. package/src/signet-contract-state-reader.ts +0 -587
  42. package/src/signet-request-feed.ts +0 -208
  43. package/src/signet-request-resolver.ts +0 -116
  44. package/src/signet-request-response-reader.ts +0 -324
  45. package/src/signet-requests.ts +0 -762
package/dist/managed/contract/index.js CHANGED
@@ -1,5 +1,5 @@
1
1
  import * as __compactRuntime from '@midnight-ntwrk/compact-runtime';
2
- __compactRuntime.checkRuntimeVersion('0.18.0-rc.0');
2
+ __compactRuntime.checkRuntimeVersion('0.18.0-rc.1');
3
3
 
4
4
  const _descriptor_0 = new __compactRuntime.CompactTypeBytes(32);
5
5
 
@@ -189,153 +189,153 @@ export class Contract {
189
189
  Number) };
190
190
  }
191
191
  _evmAddressAbiValue_0(addr_0) {
192
- const a0_0 = __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
193
- 1,
194
- ((e, i) => e.slice(i, i+1))(addr_0,
195
- Number(0n)),
196
- 'Field',
197
- 'Signet.compact line 234 char 17');
192
+ const a0_0 = __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
193
+ 1,
194
+ ((e, i) => e.slice(i, i+1))(addr_0,
195
+ Number(0n)),
196
+ 'Field',
197
+ 'Signet.compact line 234 char 17');
198
198
  const a1_0 = __compactRuntime.addField(__compactRuntime.mulField(a0_0, 256n),
199
- __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
200
- 1,
201
- ((e, i) => e.slice(i, i+1))(addr_0,
202
- Number(1n)),
203
- 'Field',
204
- 'Signet.compact line 235 char 30'));
199
+ __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
200
+ 1,
201
+ ((e, i) => e.slice(i, i+1))(addr_0,
202
+ Number(1n)),
203
+ 'Field',
204
+ 'Signet.compact line 235 char 30'));
205
205
  const a2_0 = __compactRuntime.addField(__compactRuntime.mulField(a1_0, 256n),
206
- __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
207
- 1,
208
- ((e, i) => e.slice(i, i+1))(addr_0,
209
- Number(2n)),
210
- 'Field',
211
- 'Signet.compact line 236 char 30'));
206
+ __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
207
+ 1,
208
+ ((e, i) => e.slice(i, i+1))(addr_0,
209
+ Number(2n)),
210
+ 'Field',
211
+ 'Signet.compact line 236 char 30'));
212
212
  const a3_0 = __compactRuntime.addField(__compactRuntime.mulField(a2_0, 256n),
213
- __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
214
- 1,
215
- ((e, i) => e.slice(i, i+1))(addr_0,
216
- Number(3n)),
217
- 'Field',
218
- 'Signet.compact line 237 char 30'));
213
+ __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
214
+ 1,
215
+ ((e, i) => e.slice(i, i+1))(addr_0,
216
+ Number(3n)),
217
+ 'Field',
218
+ 'Signet.compact line 237 char 30'));
219
219
  const a4_0 = __compactRuntime.addField(__compactRuntime.mulField(a3_0, 256n),
220
- __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
221
- 1,
222
- ((e, i) => e.slice(i, i+1))(addr_0,
223
- Number(4n)),
224
- 'Field',
225
- 'Signet.compact line 238 char 30'));
220
+ __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
221
+ 1,
222
+ ((e, i) => e.slice(i, i+1))(addr_0,
223
+ Number(4n)),
224
+ 'Field',
225
+ 'Signet.compact line 238 char 30'));
226
226
  const a5_0 = __compactRuntime.addField(__compactRuntime.mulField(a4_0, 256n),
227
- __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
228
- 1,
229
- ((e, i) => e.slice(i, i+1))(addr_0,
230
- Number(5n)),
231
- 'Field',
232
- 'Signet.compact line 239 char 30'));
227
+ __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
228
+ 1,
229
+ ((e, i) => e.slice(i, i+1))(addr_0,
230
+ Number(5n)),
231
+ 'Field',
232
+ 'Signet.compact line 239 char 30'));
233
233
  const a6_0 = __compactRuntime.addField(__compactRuntime.mulField(a5_0, 256n),
234
- __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
235
- 1,
236
- ((e, i) => e.slice(i, i+1))(addr_0,
237
- Number(6n)),
238
- 'Field',
239
- 'Signet.compact line 240 char 30'));
234
+ __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
235
+ 1,
236
+ ((e, i) => e.slice(i, i+1))(addr_0,
237
+ Number(6n)),
238
+ 'Field',
239
+ 'Signet.compact line 240 char 30'));
240
240
  const a7_0 = __compactRuntime.addField(__compactRuntime.mulField(a6_0, 256n),
241
- __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
242
- 1,
243
- ((e, i) => e.slice(i, i+1))(addr_0,
244
- Number(7n)),
245
- 'Field',
246
- 'Signet.compact line 241 char 30'));
241
+ __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
242
+ 1,
243
+ ((e, i) => e.slice(i, i+1))(addr_0,
244
+ Number(7n)),
245
+ 'Field',
246
+ 'Signet.compact line 241 char 30'));
247
247
  const a8_0 = __compactRuntime.addField(__compactRuntime.mulField(a7_0, 256n),
248
- __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
249
- 1,
250
- ((e, i) => e.slice(i, i+1))(addr_0,
251
- Number(8n)),
252
- 'Field',
253
- 'Signet.compact line 242 char 30'));
248
+ __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
249
+ 1,
250
+ ((e, i) => e.slice(i, i+1))(addr_0,
251
+ Number(8n)),
252
+ 'Field',
253
+ 'Signet.compact line 242 char 30'));
254
254
  const a9_0 = __compactRuntime.addField(__compactRuntime.mulField(a8_0, 256n),
255
- __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
256
- 1,
257
- ((e, i) => e.slice(i, i+1))(addr_0,
258
- Number(9n)),
259
- 'Field',
260
- 'Signet.compact line 243 char 30'));
255
+ __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
256
+ 1,
257
+ ((e, i) => e.slice(i, i+1))(addr_0,
258
+ Number(9n)),
259
+ 'Field',
260
+ 'Signet.compact line 243 char 30'));
261
261
  const a10_0 = __compactRuntime.addField(__compactRuntime.mulField(a9_0, 256n),
262
- __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
263
- 1,
264
- ((e, i) => e.slice(i, i+1))(addr_0,
265
- Number(10n)),
266
- 'Field',
267
- 'Signet.compact line 244 char 30'));
262
+ __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
263
+ 1,
264
+ ((e, i) => e.slice(i, i+1))(addr_0,
265
+ Number(10n)),
266
+ 'Field',
267
+ 'Signet.compact line 244 char 30'));
268
268
  const a11_0 = __compactRuntime.addField(__compactRuntime.mulField(a10_0,
269
269
  256n),
270
- __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
271
- 1,
272
- ((e, i) => e.slice(i, i+1))(addr_0,
273
- Number(11n)),
274
- 'Field',
275
- 'Signet.compact line 245 char 30'));
270
+ __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
271
+ 1,
272
+ ((e, i) => e.slice(i, i+1))(addr_0,
273
+ Number(11n)),
274
+ 'Field',
275
+ 'Signet.compact line 245 char 30'));
276
276
  const a12_0 = __compactRuntime.addField(__compactRuntime.mulField(a11_0,
277
277
  256n),
278
- __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
279
- 1,
280
- ((e, i) => e.slice(i, i+1))(addr_0,
281
- Number(12n)),
282
- 'Field',
283
- 'Signet.compact line 246 char 30'));
278
+ __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
279
+ 1,
280
+ ((e, i) => e.slice(i, i+1))(addr_0,
281
+ Number(12n)),
282
+ 'Field',
283
+ 'Signet.compact line 246 char 30'));
284
284
  const a13_0 = __compactRuntime.addField(__compactRuntime.mulField(a12_0,
285
285
  256n),
286
- __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
287
- 1,
288
- ((e, i) => e.slice(i, i+1))(addr_0,
289
- Number(13n)),
290
- 'Field',
291
- 'Signet.compact line 247 char 30'));
286
+ __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
287
+ 1,
288
+ ((e, i) => e.slice(i, i+1))(addr_0,
289
+ Number(13n)),
290
+ 'Field',
291
+ 'Signet.compact line 247 char 30'));
292
292
  const a14_0 = __compactRuntime.addField(__compactRuntime.mulField(a13_0,
293
293
  256n),
294
- __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
295
- 1,
296
- ((e, i) => e.slice(i, i+1))(addr_0,
297
- Number(14n)),
298
- 'Field',
299
- 'Signet.compact line 248 char 30'));
294
+ __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
295
+ 1,
296
+ ((e, i) => e.slice(i, i+1))(addr_0,
297
+ Number(14n)),
298
+ 'Field',
299
+ 'Signet.compact line 248 char 30'));
300
300
  const a15_0 = __compactRuntime.addField(__compactRuntime.mulField(a14_0,
301
301
  256n),
302
- __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
303
- 1,
304
- ((e, i) => e.slice(i, i+1))(addr_0,
305
- Number(15n)),
306
- 'Field',
307
- 'Signet.compact line 249 char 30'));
302
+ __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
303
+ 1,
304
+ ((e, i) => e.slice(i, i+1))(addr_0,
305
+ Number(15n)),
306
+ 'Field',
307
+ 'Signet.compact line 249 char 30'));
308
308
  const a16_0 = __compactRuntime.addField(__compactRuntime.mulField(a15_0,
309
309
  256n),
310
- __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
311
- 1,
312
- ((e, i) => e.slice(i, i+1))(addr_0,
313
- Number(16n)),
314
- 'Field',
315
- 'Signet.compact line 250 char 30'));
310
+ __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
311
+ 1,
312
+ ((e, i) => e.slice(i, i+1))(addr_0,
313
+ Number(16n)),
314
+ 'Field',
315
+ 'Signet.compact line 250 char 30'));
316
316
  const a17_0 = __compactRuntime.addField(__compactRuntime.mulField(a16_0,
317
317
  256n),
318
- __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
319
- 1,
320
- ((e, i) => e.slice(i, i+1))(addr_0,
321
- Number(17n)),
322
- 'Field',
323
- 'Signet.compact line 251 char 30'));
318
+ __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
319
+ 1,
320
+ ((e, i) => e.slice(i, i+1))(addr_0,
321
+ Number(17n)),
322
+ 'Field',
323
+ 'Signet.compact line 251 char 30'));
324
324
  const a18_0 = __compactRuntime.addField(__compactRuntime.mulField(a17_0,
325
325
  256n),
326
- __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
327
- 1,
328
- ((e, i) => e.slice(i, i+1))(addr_0,
329
- Number(18n)),
330
- 'Field',
331
- 'Signet.compact line 252 char 30'));
326
+ __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
327
+ 1,
328
+ ((e, i) => e.slice(i, i+1))(addr_0,
329
+ Number(18n)),
330
+ 'Field',
331
+ 'Signet.compact line 252 char 30'));
332
332
  return __compactRuntime.addField(__compactRuntime.mulField(a18_0, 256n),
333
- __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
334
- 1,
335
- ((e, i) => e.slice(i, i+1))(addr_0,
336
- Number(19n)),
337
- 'Field',
338
- 'Signet.compact line 253 char 30'));
333
+ __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
334
+ 1,
335
+ ((e, i) => e.slice(i, i+1))(addr_0,
336
+ Number(19n)),
337
+ 'Field',
338
+ 'Signet.compact line 253 char 30'));
339
339
  }
340
340
  _signetAttestationMessage_0(requestId_0, serializedOutput_0, outputLen_0) {
341
341
  const rid_0 = requestId_0;
@@ -343,30 +343,30 @@ export class Contract {
343
343
  __compactRuntime.convertBigintToBytes(32,
344
344
  outputLen_0,
345
345
  'Signet.compact line 369 char 7')]);
346
- return [__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
347
- 16,
348
- ((e, i) => e.slice(i, i+16))(rid_0,
349
- Number(0n)),
350
- 'Field',
351
- 'Signet.compact line 372 char 7'),
352
- __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
353
- 16,
354
- ((e, i) => e.slice(i, i+16))(rid_0,
355
- Number(16n)),
356
- 'Field',
357
- 'Signet.compact line 373 char 7'),
358
- __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
359
- 16,
360
- ((e, i) => e.slice(i, i+16))(outHash_0,
361
- Number(0n)),
362
- 'Field',
363
- 'Signet.compact line 374 char 7'),
364
- __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
365
- 16,
366
- ((e, i) => e.slice(i, i+16))(outHash_0,
367
- Number(16n)),
368
- 'Field',
369
- 'Signet.compact line 375 char 7')];
346
+ return [__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
347
+ 16,
348
+ ((e, i) => e.slice(i, i+16))(rid_0,
349
+ Number(0n)),
350
+ 'Field',
351
+ 'Signet.compact line 372 char 7'),
352
+ __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
353
+ 16,
354
+ ((e, i) => e.slice(i, i+16))(rid_0,
355
+ Number(16n)),
356
+ 'Field',
357
+ 'Signet.compact line 373 char 7'),
358
+ __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
359
+ 16,
360
+ ((e, i) => e.slice(i, i+16))(outHash_0,
361
+ Number(0n)),
362
+ 'Field',
363
+ 'Signet.compact line 374 char 7'),
364
+ __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
365
+ 16,
366
+ ((e, i) => e.slice(i, i+16))(outHash_0,
367
+ Number(16n)),
368
+ 'Field',
369
+ 'Signet.compact line 375 char 7')];
370
370
  }
371
371
  _charToNibble_0(c_0) {
372
372
  const isDigit_0 = c_0 >= 48n && c_0 <= 57n;
@@ -383,30 +383,30 @@ export class Contract {
383
383
  _assertHexOf_0(commitment_0, hexStr_0) {
384
384
  this._folder_0(((t_0, i_0) =>
385
385
  {
386
- const hi_0 = this._charToNibble_0(__compactRuntime.convertBytesToBigint(255n,
387
- 1,
388
- ((e, i) => e.slice(i, i+1))(hexStr_0,
389
- Number(2n
390
- *
391
- i_0)),
392
- 'Uint<0..256>',
393
- 'Signet.compact line 402 char 31'));
394
- const lo_0 = this._charToNibble_0(__compactRuntime.convertBytesToBigint(255n,
395
- 1,
396
- ((e, i) => e.slice(i, i+1))(hexStr_0,
397
- Number(2n
398
- *
399
- i_0
400
- +
401
- 1n)),
402
- 'Uint<0..256>',
403
- 'Signet.compact line 403 char 31'));
404
- __compactRuntime.assert(__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
405
- 1,
406
- ((e, i) => e.slice(i, i+1))(commitment_0,
407
- Number(i_0)),
408
- 'Field',
409
- 'Signet.compact line 404 char 15')
386
+ const hi_0 = this._charToNibble_0(__compactRuntime.convertBytesToUint(255n,
387
+ 1,
388
+ ((e, i) => e.slice(i, i+1))(hexStr_0,
389
+ Number(2n
390
+ *
391
+ i_0)),
392
+ 'Uint<0..256>',
393
+ 'Signet.compact line 402 char 31'));
394
+ const lo_0 = this._charToNibble_0(__compactRuntime.convertBytesToUint(255n,
395
+ 1,
396
+ ((e, i) => e.slice(i, i+1))(hexStr_0,
397
+ Number(2n
398
+ *
399
+ i_0
400
+ +
401
+ 1n)),
402
+ 'Uint<0..256>',
403
+ 'Signet.compact line 403 char 31'));
404
+ __compactRuntime.assert(__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
405
+ 1,
406
+ ((e, i) => e.slice(i, i+1))(commitment_0,
407
+ Number(i_0)),
408
+ 'Field',
409
+ 'Signet.compact line 404 char 15')
410
410
  ===
411
411
  __compactRuntime.addField(__compactRuntime.mulField(hi_0,
412
412
  16n),
package/dist/managed/contract/index.js.map CHANGED
@@ -4,5 +4,5 @@
4
4
  "sourceRoot": "../../../",
5
5
  "sources": ["src/circuits.compact", "src/./Signet.compact", "src/./Schnorr.compact", "compiler/zkir-v3-library.compact"],
6
6
  "names": [],
7
- "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAAA;;;;;;;;;;MCmIE,MAAA,wCASC;;OAAA;MA4FD,MAAA,kBAqBC;;OAAA;MA2GD,MAAA,wBAgBC;;OAAA;MAuBD,MAAA,WAOC;;OAAA;MAQD,MAAA,oBAMC;;OAAA;MCnXD,MAAA,gBAYC;;OAAA;;;;GFtBF;EAvCD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCC;EGvCD,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,kBAAA;qEAAA;;;EAAA,AAAA,kBAAA;oEAAA;;;EFmIE,AAAA,2CASC,CARC,eAA8B;8CAC9B,WAAoB;8CACpB,oBAA2B;;;;8CAIP,eAAa;8CAAW,WAAS;gCAAE,oBAAkB;;GAE1E;EA4FD,AAAA,qBAqBC,CArBsC,MAAe;UAC9C,IAAgC;;mFAAjB,MAAI;;;;UACnB,IAA+C,uDAAzC,IAAE;;;6GAAoB,MAAI;;;;UAChC,IAA+C,uDAAzC,IAAE;;;6GAAoB,MAAI;;;;UAChC,IAA+C,uDAAzC,IAAE;;;6GAAoB,MAAI;;;;UAChC,IAA+C,uDAAzC,IAAE;;;6GAAoB,MAAI;;;;UAChC,IAA+C,uDAAzC,IAAE;;;6GAAoB,MAAI;;;;UAChC,IAA+C,uDAAzC,IAAE;;;6GAAoB,MAAI;;;;UAChC,IAA+C,uDAAzC,IAAE;;;6GAAoB,MAAI;;;;UAChC,IAA+C,uDAAzC,IAAE;;;6GAAoB,MAAI;;;;UAChC,IAA+C,uDAAzC,IAAE;;;6GAAoB,MAAI;;;;UAChC,KAA+C,uDAAzC,IAAE;;;8GAAoB,MAAI;;;;UAChC,KAA+C,uDAAzC,KAAG;;;;8GAAmB,MAAI;;;;UAChC,KAA+C,uDAAzC,KAAG;;;;8GAAmB,MAAI;;;;UAChC,KAA+C,uDAAzC,KAAG;;;;8GAAmB,MAAI;;;;UAChC,KAA+C,uDAAzC,KAAG;;;;8GAAmB,MAAI;;;;UAChC,KAA+C,uDAAzC,KAAG;;;;8GAAmB,MAAI;;;;UAChC,KAA+C,uDAAzC,KAAG;;;;8GAAmB,MAAI;;;;UAChC,KAA+C,uDAAzC,KAAG;;;;8GAAmB,MAAI;;;;UAChC,KAA+C,uDAAzC,KAAG;;;;8GAAmB,MAAI;;;;+DAC1B,KAAG;;;uGAAmB,MAAI;;;;GACvC;EA2GD,AAAA,2BAgBC,CAfC,WAAoB,EACpB,kBAA4B,EAC5B,WAAkB;UAEZ,KAA4B,GAAtB,WAAS;UACf,SAGJ,kDAF2B,kBAAgB;;oFAC3C,WAAS;;;;+EAGC,KAAG;;;;;;+EACH,KAAG;;;;;;+EACH,SAAO;;;;;;+EACP,SAAO;;;;GAEpB;EAaD,AAAA,eAOC,CAPyB,GAAU;UAC5B,SAAgC,GAArB,GAAC,WAAY,GAAC;UACzB,SAAiC,GAAtB,GAAC,WAAY,GAAC;4BACxB,SAAO,IAAI,SAAO;UACnB,MAAa,4BAAN,GAAC;;oBAAD,GAAC;UACR,QAAyB,GAAhB,SAAO;4BACf,MAAI,IAAG,QAAM;;WAAb,MAAI,GAAG,QAAM;GACrB;EAGD,AAAA,cAOC,CAP+B,YAAqB,EAAE,QAAiB;qBACtE,GAKC,EALD,GAKC;;4BAJO,IAAqD;;0HAA1B,QAAM;;;iIAAM,GAAC;;;4BACxC,IAAyD;;0HAA9B,QAAM;;;iIAAM,GAAC;;;;;;;gHAC7B,YAAU;uHAAE,GAAC;;;;kGAAgB,IAAE;;wEAAmB,IAAE;;6BAHvE,GAKC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GACF;EAQD,AAAA,uBAMC,CALC,YAAqB,EACrB,MAAgB;wBAEJ,YAAU;qDAAY,MAAI;wEACpB,MAAI;;;;;GACvB;ECnXD,AAAA,mBAYC,CAXqB,OAAY,EACZ,OAAY,EACZ,MAAW,EACX,MAAW,EACX,KAAqB;UAEnC,OAGK,kCAD4B,OAAK;mDAAS,OAAK;kDAAQ,MAAI;kDAAQ,MAAI;iDAAO,KAAG;WAEpF,OAAK;GACd;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EDsED,AAAA,wCASC;;;;UARC,eAA8B;UAC9B,WAAoB;UACpB,oBAA2B;;;;;;;;;;;;;;;;;;;;;;sEAF3B,eAA8B;sEAC9B,WAAoB;sEACpB,oBAA2B;GAM5B;EA4FD,AAAA,kBAqBC;;;;UArBsC,MAAe;;;;;;;;gDAAf,MAAe;GAqBrD;EA2GD,AAAA,wBAgBC;;;;UAfC,WAAoB;UACpB,kBAA4B;UAC5B,WAAkB;;;;;;;;;;;;;;;;;;;;;;sDAFlB,WAAoB;sDACpB,kBAA4B;sDAC5B,WAAkB;GAanB;EAuBD,AAAA,WAOC;;;;UAP+B,YAAqB;UAAE,QAAiB;;;;;;;;;;;;;;;yCAAxC,YAAqB,EAAE,QAAiB;GAOvE;EAQD,AAAA,oBAMC;;;;UALC,YAAqB;UACrB,MAAgB;;;;;;;;;;;;;;;kDADhB,YAAqB,EACrB,MAAgB;GAIjB;ECnXD,AAAA,gBAYC;;;;UAXqB,OAAY;UACZ,OAAY;UACZ,MAAW;UACX,MAAW;UACX,KAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8CAJrB,OAAY;8CACZ,OAAY;8CACZ,MAAW;8CACX,MAAW;8CACX,KAAqB;GAO1C;;;;;;"
7
+ "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAAA;;;;;;;;;;MCmIE,MAAA,wCASC;;OAAA;MA4FD,MAAA,kBAqBC;;OAAA;MA2GD,MAAA,wBAgBC;;OAAA;MAuBD,MAAA,WAOC;;OAAA;MAQD,MAAA,oBAMC;;OAAA;MCnXD,MAAA,gBAYC;;OAAA;;;;GFtBF;EAvCD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCC;EGvCD,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,kBAAA;qEAAA;;;EAAA,AAAA,kBAAA;oEAAA;;;EFmIE,AAAA,2CASC,CARC,eAA8B;8CAC9B,WAAoB;8CACpB,oBAA2B;;;;8CAIP,eAAa;8CAAW,WAAS;gCAAE,oBAAkB;;GAE1E;EA4FD,AAAA,qBAqBC,CArBsC,MAAe;UAC9C,IAAgC;;iFAAjB,MAAI;;;;UACnB,IAA+C,uDAAzC,IAAE;;;2GAAoB,MAAI;;;;UAChC,IAA+C,uDAAzC,IAAE;;;2GAAoB,MAAI;;;;UAChC,IAA+C,uDAAzC,IAAE;;;2GAAoB,MAAI;;;;UAChC,IAA+C,uDAAzC,IAAE;;;2GAAoB,MAAI;;;;UAChC,IAA+C,uDAAzC,IAAE;;;2GAAoB,MAAI;;;;UAChC,IAA+C,uDAAzC,IAAE;;;2GAAoB,MAAI;;;;UAChC,IAA+C,uDAAzC,IAAE;;;2GAAoB,MAAI;;;;UAChC,IAA+C,uDAAzC,IAAE;;;2GAAoB,MAAI;;;;UAChC,IAA+C,uDAAzC,IAAE;;;2GAAoB,MAAI;;;;UAChC,KAA+C,uDAAzC,IAAE;;;4GAAoB,MAAI;;;;UAChC,KAA+C,uDAAzC,KAAG;;;;4GAAmB,MAAI;;;;UAChC,KAA+C,uDAAzC,KAAG;;;;4GAAmB,MAAI;;;;UAChC,KAA+C,uDAAzC,KAAG;;;;4GAAmB,MAAI;;;;UAChC,KAA+C,uDAAzC,KAAG;;;;4GAAmB,MAAI;;;;UAChC,KAA+C,uDAAzC,KAAG;;;;4GAAmB,MAAI;;;;UAChC,KAA+C,uDAAzC,KAAG;;;;4GAAmB,MAAI;;;;UAChC,KAA+C,uDAAzC,KAAG;;;;4GAAmB,MAAI;;;;UAChC,KAA+C,uDAAzC,KAAG;;;;4GAAmB,MAAI;;;;+DAC1B,KAAG;;;qGAAmB,MAAI;;;;GACvC;EA2GD,AAAA,2BAgBC,CAfC,WAAoB,EACpB,kBAA4B,EAC5B,WAAkB;UAEZ,KAA4B,GAAtB,WAAS;UACf,SAGJ,kDAF2B,kBAAgB;;oFAC3C,WAAS;;;;6EAGC,KAAG;;;;;;6EACH,KAAG;;;;;;6EACH,SAAO;;;;;;6EACP,SAAO;;;;GAEpB;EAaD,AAAA,eAOC,CAPyB,GAAU;UAC5B,SAAgC,GAArB,GAAC,WAAY,GAAC;UACzB,SAAiC,GAAtB,GAAC,WAAY,GAAC;4BACxB,SAAO,IAAI,SAAO;UACnB,MAAa,4BAAN,GAAC;;oBAAD,GAAC;UACR,QAAyB,GAAhB,SAAO;4BACf,MAAI,IAAG,QAAM;;WAAb,MAAI,GAAG,QAAM;GACrB;EAGD,AAAA,cAOC,CAP+B,YAAqB,EAAE,QAAiB;qBACtE,GAKC,EALD,GAKC;;4BAJO,IAAqD;;wHAA1B,QAAM;;;+HAAM,GAAC;;;4BACxC,IAAyD;;wHAA9B,QAAM;;;+HAAM,GAAC;;;;;;;8GAC7B,YAAU;qHAAE,GAAC;;;;kGAAgB,IAAE;;wEAAmB,IAAE;;6BAHvE,GAKC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GACF;EAQD,AAAA,uBAMC,CALC,YAAqB,EACrB,MAAgB;wBAEJ,YAAU;qDAAY,MAAI;wEACpB,MAAI;;;;;GACvB;ECnXD,AAAA,mBAYC,CAXqB,OAAY,EACZ,OAAY,EACZ,MAAW,EACX,MAAW,EACX,KAAqB;UAEnC,OAGK,kCAD4B,OAAK;mDAAS,OAAK;kDAAQ,MAAI;kDAAQ,MAAI;iDAAO,KAAG;WAEpF,OAAK;GACd;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EDsED,AAAA,wCASC;;;;UARC,eAA8B;UAC9B,WAAoB;UACpB,oBAA2B;;;;;;;;;;;;;;;;;;;;;;sEAF3B,eAA8B;sEAC9B,WAAoB;sEACpB,oBAA2B;GAM5B;EA4FD,AAAA,kBAqBC;;;;UArBsC,MAAe;;;;;;;;gDAAf,MAAe;GAqBrD;EA2GD,AAAA,wBAgBC;;;;UAfC,WAAoB;UACpB,kBAA4B;UAC5B,WAAkB;;;;;;;;;;;;;;;;;;;;;;sDAFlB,WAAoB;sDACpB,kBAA4B;sDAC5B,WAAkB;GAanB;EAuBD,AAAA,WAOC;;;;UAP+B,YAAqB;UAAE,QAAiB;;;;;;;;;;;;;;;yCAAxC,YAAqB,EAAE,QAAiB;GAOvE;EAQD,AAAA,oBAMC;;;;UALC,YAAqB;UACrB,MAAgB;;;;;;;;;;;;;;;kDADhB,YAAqB,EACrB,MAAgB;GAIjB;ECnXD,AAAA,gBAYC;;;;UAXqB,OAAY;UACZ,OAAY;UACZ,MAAW;UACX,MAAW;UACX,KAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8CAJrB,OAAY;8CACZ,OAAY;8CACZ,MAAW;8CACX,MAAW;8CACX,KAAqB;GAO1C;;;;;;"
8
8
  }
package/dist/signature-requests-state-reader.d.ts CHANGED
@@ -1,9 +1,5 @@
1
1
  import { type RequestIdHex, type SignBidirectionalRequest, type SignBidirectionalRequestIndex } from "./signet-requests.ts";
2
2
  import { type RawContractState } from "./signature-state-reading.ts";
3
- /** Signet layout convention: the request index is ledger field 0. */
4
- export declare const SIGNET_REQUESTS_INDEX_FIELD = 0;
5
- /** Signet layout convention: the request counter (`SignetNonce`) is ledger field 1. */
6
- export declare const SIGNET_NONCE_FIELD = 1;
7
3
  /**
8
4
  * Aligned-value entry count of a request record EXCLUDING the capacity-scaled
9
5
  * vectors: requestNonce (1) + txParamType (1, enums are one atom whatever
@@ -18,39 +14,42 @@ export declare const SIGNET_NONCE_FIELD = 1;
18
14
  */
19
15
  export declare const REQUEST_FIXED_VALUE_ATOMS = 21;
20
16
  /**
21
- * The decoded signet ledger fields of a conforming contract — the complete
22
- * view the MPC needs: the request index (field 0) and the request counter
23
- * (field 1, Compact `SignetNonce`), whose value doubles as a cheap
24
- * change-detection signal (unchanged nonce ⇒ no new requests).
17
+ * The decoded signet ledger fields of a requesting contract: its request
18
+ * index and its contract-local request counter (Compact `SignetNonce`, the
19
+ * source of each request's `requestNonce` — nothing off-chain depends on it,
20
+ * it is decoded here only because both fields travel together in tests and
21
+ * diagnostics).
25
22
  */
26
23
  export interface SignetRequestsLedger {
27
- /** The request counter (ledger field {@link SIGNET_NONCE_FIELD}). */
24
+ /** The request counter (`SignetNonce`). */
28
25
  nonce: bigint;
29
- /**
30
- * The request index (ledger field {@link SIGNET_REQUESTS_INDEX_FIELD}),
31
- * keyed by hex request id.
32
- */
26
+ /** The request index, keyed by hex request id. */
33
27
  requestsIndex: SignBidirectionalRequestIndex;
34
28
  }
35
29
  /**
36
30
  * MPC-style read: parse the signet ledger fields out of raw contract state
37
31
  * by field position alone — no compiled contract, no generated `ledger()`,
38
- * only the signet layout convention and the canonical descriptors from
39
- * signet-requests.ts.
32
+ * only the caller-supplied field positions and the canonical descriptors
33
+ * from signet-requests.ts. A contract chooses its own layout, so the caller
34
+ * must know where the fields sit (the caller contract in this repo uses
35
+ * index 0 / counter 1; a notification names the index position of the
36
+ * contract it points at).
40
37
  *
41
38
  * @param raw - Raw contract state, e.g. `queryContractState(address).data`
42
39
  * from the indexer or `ctx.currentQueryContext.state` from the simulator.
40
+ * @param requestsIndexField - Ledger field position of the request index.
41
+ * @param nonceField - Ledger field position of the request counter.
43
42
  * @returns The decoded {@link SignetRequestsLedger}.
44
43
  * @throws Error if a field is missing, has the wrong state-value shape, or a
45
44
  * record matches no capacity split.
46
45
  */
47
- export declare function readSignetRequestsLedgerFromState(raw: RawContractState): SignetRequestsLedger;
46
+ export declare function readSignetRequestsLedgerFromState(raw: RawContractState, requestsIndexField: number, nonceField: number): SignetRequestsLedger;
48
47
  /**
49
48
  * Look up ONE request by id in a contract's request index at an arbitrary
50
- * ledger field — the generalization of {@link readSignetRequestsLedgerFromState}
51
- * the discovery path needs: a notification names both the requester contract
52
- * AND which field holds its index, so the field is no longer assumed to be
53
- * {@link SIGNET_REQUESTS_INDEX_FIELD}.
49
+ * ledger field — the single-record sibling of
50
+ * {@link readSignetRequestsLedgerFromState}, and what the discovery path
51
+ * uses: a notification names both the requester contract AND which field
52
+ * holds its index.
54
53
  *
55
54
  * This is the mandatory membership check of the discovery flow (see
56
55
  * signet-request-resolver.ts): `undefined` means the id is NOT a member of the
@@ -62,8 +61,8 @@ export declare function readSignetRequestsLedgerFromState(raw: RawContractState)
62
61
  *
63
62
  * Only the matched record is decoded (not the whole index), and it is decoded
64
63
  * by the same {@link decodeSignBidirectionalRequest} the full reader uses, so
65
- * the result is `toEqual` to `readSignetRequestsLedgerFromState(raw)
66
- * .requestsIndex.get(requestId)` when `fieldIndex` is the index field.
64
+ * the result is `toEqual` to `readSignetRequestsLedgerFromState(raw,
65
+ * fieldIndex, …).requestsIndex.get(requestId)`.
67
66
  *
68
67
  * @param raw - Raw contract state, e.g. `queryContractState(address).data`.
69
68
  * @param fieldIndex - Ledger field position of the request index in `raw`.
package/dist/signature-requests-state-reader.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"signature-requests-state-reader.d.ts","sourceRoot":"","sources":["../src/signature-requests-state-reader.ts"],"names":[],"mappings":"AAaA,OAAO,EAGL,KAAK,YAAY,EACjB,KAAK,wBAAwB,EAC7B,KAAK,6BAA6B,EACnC,MAAM,sBAAsB,CAAC;AAK9B,OAAO,EAIL,KAAK,gBAAgB,EACtB,MAAM,8BAA8B,CAAC;AAEtC,qEAAqE;AACrE,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAE7C,uFAAuF;AACvF,eAAO,MAAM,kBAAkB,IAAI,CAAC;AAEpC;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,yBAAyB,KAAK,CAAC;AA+D5C;;;;;GAKG;AACH,MAAM,WAAW,oBAAoB;IACnC,qEAAqE;IACrE,KAAK,EAAE,MAAM,CAAC;IACd;;;OAGG;IACH,aAAa,EAAE,6BAA6B,CAAC;CAC9C;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,iCAAiC,CAAC,GAAG,EAAE,gBAAgB,GAAG,oBAAoB,CAwB7F;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,gBAAgB,EACrB,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,YAAY,GACtB,wBAAwB,GAAG,SAAS,CA2BtC"}
1
+ {"version":3,"file":"signature-requests-state-reader.d.ts","sourceRoot":"","sources":["../src/signature-requests-state-reader.ts"],"names":[],"mappings":"AAeA,OAAO,EAGL,KAAK,YAAY,EACjB,KAAK,wBAAwB,EAC7B,KAAK,6BAA6B,EACnC,MAAM,sBAAsB,CAAC;AAK9B,OAAO,EAIL,KAAK,gBAAgB,EACtB,MAAM,8BAA8B,CAAC;AAEtC;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,yBAAyB,KAAK,CAAC;AAgE5C;;;;;;GAMG;AACH,MAAM,WAAW,oBAAoB;IACnC,2CAA2C;IAC3C,KAAK,EAAE,MAAM,CAAC;IACd,kDAAkD;IAClD,aAAa,EAAE,6BAA6B,CAAC;CAC9C;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,iCAAiC,CAC/C,GAAG,EAAE,gBAAgB,EACrB,kBAAkB,EAAE,MAAM,EAC1B,UAAU,EAAE,MAAM,GACjB,oBAAoB,CAwBtB;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,gBAAgB,EACrB,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,YAAY,GACtB,wBAAwB,GAAG,SAAS,CA2BtC"}