@sig-net/midnight 0.24.0-rc.1 → 0.24.0-rc.2

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 (51) hide show
  1. package/README.md +11 -8
  2. package/dist/compact-descriptors.d.ts +8 -6
  3. package/dist/compact-descriptors.d.ts.map +1 -1
  4. package/dist/compact-descriptors.js +18 -7
  5. package/dist/compact-descriptors.js.map +1 -1
  6. package/dist/constants.d.ts +2 -21
  7. package/dist/constants.d.ts.map +1 -1
  8. package/dist/constants.js +2 -24
  9. package/dist/constants.js.map +1 -1
  10. package/dist/ecdsa-attestation.d.ts +41 -13
  11. package/dist/ecdsa-attestation.d.ts.map +1 -1
  12. package/dist/ecdsa-attestation.js +44 -14
  13. package/dist/ecdsa-attestation.js.map +1 -1
  14. package/dist/index.d.ts +5 -5
  15. package/dist/index.d.ts.map +1 -1
  16. package/dist/index.js +4 -4
  17. package/dist/index.js.map +1 -1
  18. package/dist/managed/compiler/contract-info.json +258 -9
  19. package/dist/managed/compiler/contract-manifest.json +8 -8
  20. package/dist/managed/contract/index.d.ts +61 -7
  21. package/dist/managed/contract/index.js +357 -160
  22. package/dist/managed/contract/index.js.map +1 -1
  23. package/dist/mpc-output-cache.d.ts +5 -29
  24. package/dist/mpc-output-cache.d.ts.map +1 -1
  25. package/dist/mpc-output-cache.js +6 -40
  26. package/dist/mpc-output-cache.js.map +1 -1
  27. package/dist/signet-contract-events.d.ts +39 -9
  28. package/dist/signet-contract-events.d.ts.map +1 -1
  29. package/dist/signet-contract-events.js +79 -29
  30. package/dist/signet-contract-events.js.map +1 -1
  31. package/dist/signet-evtype2tx-record-decoding.js +2 -2
  32. package/dist/signet-evtype2tx-record-decoding.js.map +1 -1
  33. package/dist/signet-request-id.d.ts +2 -1
  34. package/dist/signet-request-id.d.ts.map +1 -1
  35. package/dist/signet-request-id.js +13 -3
  36. package/dist/signet-request-id.js.map +1 -1
  37. package/dist/signet-request-response-reader.d.ts +2 -4
  38. package/dist/signet-request-response-reader.d.ts.map +1 -1
  39. package/dist/signet-request-response-reader.js +7 -11
  40. package/dist/signet-request-response-reader.js.map +1 -1
  41. package/dist/signet-requests.d.ts +43 -8
  42. package/dist/signet-requests.d.ts.map +1 -1
  43. package/dist/signet-requests.js +23 -3
  44. package/dist/signet-requests.js.map +1 -1
  45. package/dist/testing.d.ts +1 -1
  46. package/dist/testing.d.ts.map +1 -1
  47. package/dist/testing.js +3 -8
  48. package/dist/testing.js.map +1 -1
  49. package/package.json +2 -2
  50. package/src/Signet.compact +107 -38
  51. package/src/circuits.compact +33 -11
@@ -164,7 +164,7 @@
164
164
  }
165
165
  },
166
166
  {
167
- "name": "calculateSignetAttestationDigest1",
167
+ "name": "calculateSignetAttestationDigest0",
168
168
  "pure": true,
169
169
  "proof": false,
170
170
  "arguments": [
@@ -186,11 +186,23 @@
186
186
  "maxval": 18446744073709551615
187
187
  }
188
188
  },
189
+ {
190
+ "name": "outputKind",
191
+ "type": {
192
+ "type-name": "Enum",
193
+ "name": "OutputKind",
194
+ "elements": [
195
+ "executed",
196
+ "failed",
197
+ "unviable"
198
+ ]
199
+ }
200
+ },
189
201
  {
190
202
  "name": "serializedOutput",
191
203
  "type": {
192
204
  "type-name": "Bytes",
193
- "length": 1
205
+ "length": 0
194
206
  }
195
207
  }
196
208
  ],
@@ -200,7 +212,7 @@
200
212
  }
201
213
  },
202
214
  {
203
- "name": "calculateSignetAttestationDigest2",
215
+ "name": "calculateSignetAttestationDigest1",
204
216
  "pure": true,
205
217
  "proof": false,
206
218
  "arguments": [
@@ -222,11 +234,23 @@
222
234
  "maxval": 18446744073709551615
223
235
  }
224
236
  },
237
+ {
238
+ "name": "outputKind",
239
+ "type": {
240
+ "type-name": "Enum",
241
+ "name": "OutputKind",
242
+ "elements": [
243
+ "executed",
244
+ "failed",
245
+ "unviable"
246
+ ]
247
+ }
248
+ },
225
249
  {
226
250
  "name": "serializedOutput",
227
251
  "type": {
228
252
  "type-name": "Bytes",
229
- "length": 2
253
+ "length": 1
230
254
  }
231
255
  }
232
256
  ],
@@ -236,7 +260,7 @@
236
260
  }
237
261
  },
238
262
  {
239
- "name": "calculateSignetAttestationDigest32",
263
+ "name": "calculateSignetAttestationDigest2",
240
264
  "pure": true,
241
265
  "proof": false,
242
266
  "arguments": [
@@ -258,11 +282,23 @@
258
282
  "maxval": 18446744073709551615
259
283
  }
260
284
  },
285
+ {
286
+ "name": "outputKind",
287
+ "type": {
288
+ "type-name": "Enum",
289
+ "name": "OutputKind",
290
+ "elements": [
291
+ "executed",
292
+ "failed",
293
+ "unviable"
294
+ ]
295
+ }
296
+ },
261
297
  {
262
298
  "name": "serializedOutput",
263
299
  "type": {
264
300
  "type-name": "Bytes",
265
- "length": 32
301
+ "length": 2
266
302
  }
267
303
  }
268
304
  ],
@@ -272,7 +308,7 @@
272
308
  }
273
309
  },
274
310
  {
275
- "name": "calculateSignetAttestationDigest100",
311
+ "name": "calculateSignetAttestationDigest32",
276
312
  "pure": true,
277
313
  "proof": false,
278
314
  "arguments": [
@@ -294,11 +330,23 @@
294
330
  "maxval": 18446744073709551615
295
331
  }
296
332
  },
333
+ {
334
+ "name": "outputKind",
335
+ "type": {
336
+ "type-name": "Enum",
337
+ "name": "OutputKind",
338
+ "elements": [
339
+ "executed",
340
+ "failed",
341
+ "unviable"
342
+ ]
343
+ }
344
+ },
297
345
  {
298
346
  "name": "serializedOutput",
299
347
  "type": {
300
348
  "type-name": "Bytes",
301
- "length": 100
349
+ "length": 32
302
350
  }
303
351
  }
304
352
  ],
@@ -308,7 +356,7 @@
308
356
  }
309
357
  },
310
358
  {
311
- "name": "verifyRespondBidirectionalEvent32",
359
+ "name": "calculateSignetAttestationDigest100",
312
360
  "pure": true,
313
361
  "proof": false,
314
362
  "arguments": [
@@ -330,6 +378,163 @@
330
378
  "maxval": 18446744073709551615
331
379
  }
332
380
  },
381
+ {
382
+ "name": "outputKind",
383
+ "type": {
384
+ "type-name": "Enum",
385
+ "name": "OutputKind",
386
+ "elements": [
387
+ "executed",
388
+ "failed",
389
+ "unviable"
390
+ ]
391
+ }
392
+ },
393
+ {
394
+ "name": "serializedOutput",
395
+ "type": {
396
+ "type-name": "Bytes",
397
+ "length": 100
398
+ }
399
+ }
400
+ ],
401
+ "result-type": {
402
+ "type-name": "Bytes",
403
+ "length": 32
404
+ }
405
+ },
406
+ {
407
+ "name": "verifyRespondBidirectionalEvent0",
408
+ "pure": true,
409
+ "proof": false,
410
+ "arguments": [
411
+ {
412
+ "name": "serializedOutput",
413
+ "type": {
414
+ "type-name": "Bytes",
415
+ "length": 0
416
+ }
417
+ },
418
+ {
419
+ "name": "respondBidirectionalEvent",
420
+ "type": {
421
+ "type-name": "Struct",
422
+ "name": "RespondBidirectionalEvent",
423
+ "elements": [
424
+ {
425
+ "name": "requestId",
426
+ "type": {
427
+ "type-name": "Alias",
428
+ "name": "RequestId",
429
+ "type": {
430
+ "type-name": "Bytes",
431
+ "length": 32
432
+ }
433
+ }
434
+ },
435
+ {
436
+ "name": "blockHeight",
437
+ "type": {
438
+ "type-name": "Uint",
439
+ "maxval": 18446744073709551615
440
+ }
441
+ },
442
+ {
443
+ "name": "outputKind",
444
+ "type": {
445
+ "type-name": "Enum",
446
+ "name": "OutputKind",
447
+ "elements": [
448
+ "executed",
449
+ "failed",
450
+ "unviable"
451
+ ]
452
+ }
453
+ },
454
+ {
455
+ "name": "serializedOutputLength",
456
+ "type": {
457
+ "type-name": "Uint",
458
+ "maxval": 18446744073709551615
459
+ }
460
+ },
461
+ {
462
+ "name": "digest",
463
+ "type": {
464
+ "type-name": "Bytes",
465
+ "length": 32
466
+ }
467
+ },
468
+ {
469
+ "name": "signature",
470
+ "type": {
471
+ "type-name": "Struct",
472
+ "name": "Signature",
473
+ "elements": [
474
+ {
475
+ "name": "bigR",
476
+ "type": {
477
+ "type-name": "Struct",
478
+ "name": "AffinePoint",
479
+ "elements": [
480
+ {
481
+ "name": "x",
482
+ "type": {
483
+ "type-name": "Bytes",
484
+ "length": 32
485
+ }
486
+ },
487
+ {
488
+ "name": "y",
489
+ "type": {
490
+ "type-name": "Bytes",
491
+ "length": 32
492
+ }
493
+ }
494
+ ]
495
+ }
496
+ },
497
+ {
498
+ "name": "s",
499
+ "type": {
500
+ "type-name": "Bytes",
501
+ "length": 32
502
+ }
503
+ },
504
+ {
505
+ "name": "recoveryId",
506
+ "type": {
507
+ "type-name": "Uint",
508
+ "maxval": 255
509
+ }
510
+ }
511
+ ]
512
+ }
513
+ }
514
+ ]
515
+ }
516
+ },
517
+ {
518
+ "name": "mpcResponseKey",
519
+ "type": {
520
+ "type-name": "Alias",
521
+ "name": "Secp256k1Point",
522
+ "type": {
523
+ "type-name": "Opaque",
524
+ "tsType": "Secp256k1Point"
525
+ }
526
+ }
527
+ }
528
+ ],
529
+ "result-type": {
530
+ "type-name": "Boolean"
531
+ }
532
+ },
533
+ {
534
+ "name": "verifyRespondBidirectionalEvent32",
535
+ "pure": true,
536
+ "proof": false,
537
+ "arguments": [
333
538
  {
334
539
  "name": "serializedOutput",
335
540
  "type": {
@@ -343,6 +548,50 @@
343
548
  "type-name": "Struct",
344
549
  "name": "RespondBidirectionalEvent",
345
550
  "elements": [
551
+ {
552
+ "name": "requestId",
553
+ "type": {
554
+ "type-name": "Alias",
555
+ "name": "RequestId",
556
+ "type": {
557
+ "type-name": "Bytes",
558
+ "length": 32
559
+ }
560
+ }
561
+ },
562
+ {
563
+ "name": "blockHeight",
564
+ "type": {
565
+ "type-name": "Uint",
566
+ "maxval": 18446744073709551615
567
+ }
568
+ },
569
+ {
570
+ "name": "outputKind",
571
+ "type": {
572
+ "type-name": "Enum",
573
+ "name": "OutputKind",
574
+ "elements": [
575
+ "executed",
576
+ "failed",
577
+ "unviable"
578
+ ]
579
+ }
580
+ },
581
+ {
582
+ "name": "serializedOutputLength",
583
+ "type": {
584
+ "type-name": "Uint",
585
+ "maxval": 18446744073709551615
586
+ }
587
+ },
588
+ {
589
+ "name": "digest",
590
+ "type": {
591
+ "type-name": "Bytes",
592
+ "length": 32
593
+ }
594
+ },
346
595
  {
347
596
  "name": "signature",
348
597
  "type": {
@@ -7,26 +7,26 @@
7
7
  "type": "directory",
8
8
  "contract-info.json": {
9
9
  "type": "file",
10
- "size": 9366,
11
- "hash": "9b6d635514d427e216bf4eaf59a63b87c98bff313c6c78270249aaffdbb29988"
10
+ "size": 15932,
11
+ "hash": "3b8f4f67d354e15c7d993847ccc7eaad3d2b44b1f28aa2440942228f3574b970"
12
12
  }
13
13
  },
14
14
  "contract": {
15
15
  "type": "directory",
16
16
  "index.d.ts": {
17
17
  "type": "file",
18
- "size": 7438,
19
- "hash": "4c96529090ff4ef485c8f9f51cbf33ee4a206a1d367221f418cde28b6eba3aba"
18
+ "size": 11942,
19
+ "hash": "d630431aa643e6d90a7a77a944bdcdd45b2d143a87a2409d647261266a5c0b5f"
20
20
  },
21
21
  "index.js": {
22
22
  "type": "file",
23
- "size": 47565,
24
- "hash": "dde928e918b4a9e79016ea091f1009b72cd24ce97606a6527cceb1ab4fd37c0c"
23
+ "size": 62804,
24
+ "hash": "e8fdd71f38998f06b27df9bc57e4ffacf7085ff8252eb501001637fe23ef80e8"
25
25
  },
26
26
  "index.js.map": {
27
27
  "type": "file",
28
- "size": 5124,
29
- "hash": "10ce78fc9176c1175101611345ab1374ea6b66b1119dc07d560acc65797c4b41"
28
+ "size": 6253,
29
+ "hash": "9087ad1a8910d5ea37000a6148a9b8950247668a9170b57bca108bcd6771b130"
30
30
  }
31
31
  }
32
32
  }
@@ -1,5 +1,7 @@
1
1
  import type * as __compactRuntime from '@midnight-ntwrk/compact-runtime';
2
2
 
3
+ export enum OutputKind { executed = 0, failed = 1, unviable = 2 }
4
+
3
5
  export type Witnesses<PS> = {
4
6
  }
5
7
 
@@ -22,22 +24,47 @@ export type PureCircuits = {
22
24
  boolAbiWord(value_0: boolean): Uint8Array;
23
25
  abiWordToUint128(word_0: Uint8Array): bigint;
24
26
  abiWordToBool(word_0: Uint8Array): boolean;
27
+ calculateSignetAttestationDigest0(requestId_0: Uint8Array,
28
+ blockHeight_0: bigint,
29
+ outputKind_0: OutputKind,
30
+ serializedOutput_0: Uint8Array): Uint8Array;
25
31
  calculateSignetAttestationDigest1(requestId_0: Uint8Array,
26
32
  blockHeight_0: bigint,
33
+ outputKind_0: OutputKind,
27
34
  serializedOutput_0: Uint8Array): Uint8Array;
28
35
  calculateSignetAttestationDigest2(requestId_0: Uint8Array,
29
36
  blockHeight_0: bigint,
37
+ outputKind_0: OutputKind,
30
38
  serializedOutput_0: Uint8Array): Uint8Array;
31
39
  calculateSignetAttestationDigest32(requestId_0: Uint8Array,
32
40
  blockHeight_0: bigint,
41
+ outputKind_0: OutputKind,
33
42
  serializedOutput_0: Uint8Array): Uint8Array;
34
43
  calculateSignetAttestationDigest100(requestId_0: Uint8Array,
35
44
  blockHeight_0: bigint,
45
+ outputKind_0: OutputKind,
36
46
  serializedOutput_0: Uint8Array): Uint8Array;
37
- verifyRespondBidirectionalEvent32(requestId_0: Uint8Array,
38
- blockHeight_0: bigint,
39
- serializedOutput_0: Uint8Array,
40
- respondBidirectionalEvent_0: { signature: { bigR: { x: Uint8Array,
47
+ verifyRespondBidirectionalEvent0(serializedOutput_0: Uint8Array,
48
+ respondBidirectionalEvent_0: { requestId: Uint8Array,
49
+ blockHeight: bigint,
50
+ outputKind: OutputKind,
51
+ serializedOutputLength: bigint,
52
+ digest: Uint8Array,
53
+ signature: { bigR: { x: Uint8Array,
54
+ y: Uint8Array
55
+ },
56
+ s: Uint8Array,
57
+ recoveryId: bigint
58
+ }
59
+ },
60
+ mpcResponseKey_0: __compactRuntime.Secp256k1Point): boolean;
61
+ verifyRespondBidirectionalEvent32(serializedOutput_0: Uint8Array,
62
+ respondBidirectionalEvent_0: { requestId: Uint8Array,
63
+ blockHeight: bigint,
64
+ outputKind: OutputKind,
65
+ serializedOutputLength: bigint,
66
+ digest: Uint8Array,
67
+ signature: { bigR: { x: Uint8Array,
41
68
  y: Uint8Array
42
69
  },
43
70
  s: Uint8Array,
@@ -63,27 +90,54 @@ export type Circuits<PS> = {
63
90
  abiWordToUint128(context: __compactRuntime.CircuitContext<PS>,
64
91
  word_0: Uint8Array): Promise<__compactRuntime.CircuitResults<PS, bigint>>;
65
92
  abiWordToBool(context: __compactRuntime.CircuitContext<PS>, word_0: Uint8Array): Promise<__compactRuntime.CircuitResults<PS, boolean>>;
93
+ calculateSignetAttestationDigest0(context: __compactRuntime.CircuitContext<PS>,
94
+ requestId_0: Uint8Array,
95
+ blockHeight_0: bigint,
96
+ outputKind_0: OutputKind,
97
+ serializedOutput_0: Uint8Array): Promise<__compactRuntime.CircuitResults<PS, Uint8Array>>;
66
98
  calculateSignetAttestationDigest1(context: __compactRuntime.CircuitContext<PS>,
67
99
  requestId_0: Uint8Array,
68
100
  blockHeight_0: bigint,
101
+ outputKind_0: OutputKind,
69
102
  serializedOutput_0: Uint8Array): Promise<__compactRuntime.CircuitResults<PS, Uint8Array>>;
70
103
  calculateSignetAttestationDigest2(context: __compactRuntime.CircuitContext<PS>,
71
104
  requestId_0: Uint8Array,
72
105
  blockHeight_0: bigint,
106
+ outputKind_0: OutputKind,
73
107
  serializedOutput_0: Uint8Array): Promise<__compactRuntime.CircuitResults<PS, Uint8Array>>;
74
108
  calculateSignetAttestationDigest32(context: __compactRuntime.CircuitContext<PS>,
75
109
  requestId_0: Uint8Array,
76
110
  blockHeight_0: bigint,
111
+ outputKind_0: OutputKind,
77
112
  serializedOutput_0: Uint8Array): Promise<__compactRuntime.CircuitResults<PS, Uint8Array>>;
78
113
  calculateSignetAttestationDigest100(context: __compactRuntime.CircuitContext<PS>,
79
114
  requestId_0: Uint8Array,
80
115
  blockHeight_0: bigint,
116
+ outputKind_0: OutputKind,
81
117
  serializedOutput_0: Uint8Array): Promise<__compactRuntime.CircuitResults<PS, Uint8Array>>;
118
+ verifyRespondBidirectionalEvent0(context: __compactRuntime.CircuitContext<PS>,
119
+ serializedOutput_0: Uint8Array,
120
+ respondBidirectionalEvent_0: { requestId: Uint8Array,
121
+ blockHeight: bigint,
122
+ outputKind: OutputKind,
123
+ serializedOutputLength: bigint,
124
+ digest: Uint8Array,
125
+ signature: { bigR: { x: Uint8Array,
126
+ y: Uint8Array
127
+ },
128
+ s: Uint8Array,
129
+ recoveryId: bigint
130
+ }
131
+ },
132
+ mpcResponseKey_0: __compactRuntime.Secp256k1Point): Promise<__compactRuntime.CircuitResults<PS, boolean>>;
82
133
  verifyRespondBidirectionalEvent32(context: __compactRuntime.CircuitContext<PS>,
83
- requestId_0: Uint8Array,
84
- blockHeight_0: bigint,
85
134
  serializedOutput_0: Uint8Array,
86
- respondBidirectionalEvent_0: { signature: { bigR: { x: Uint8Array,
135
+ respondBidirectionalEvent_0: { requestId: Uint8Array,
136
+ blockHeight: bigint,
137
+ outputKind: OutputKind,
138
+ serializedOutputLength: bigint,
139
+ digest: Uint8Array,
140
+ signature: { bigR: { x: Uint8Array,
87
141
  y: Uint8Array
88
142
  },
89
143
  s: Uint8Array,