@sig-net/midnight 0.10.0 → 0.11.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +8 -8
- package/dist/constants.d.ts +1 -1
- package/dist/constants.js +1 -1
- package/dist/ecdsa-attestation.d.ts +53 -1
- package/dist/ecdsa-attestation.d.ts.map +1 -1
- package/dist/ecdsa-attestation.js +96 -4
- package/dist/ecdsa-attestation.js.map +1 -1
- package/dist/epsilon-derivation.d.ts +8 -8
- package/dist/epsilon-derivation.d.ts.map +1 -1
- package/dist/epsilon-derivation.js +15 -17
- package/dist/epsilon-derivation.js.map +1 -1
- package/dist/managed/compiler/contract-info.json +42 -24
- package/dist/managed/compiler/contract-manifest.json +8 -8
- package/dist/managed/contract/index.d.ts +14 -10
- package/dist/managed/contract/index.js +142 -86
- package/dist/managed/contract/index.js.map +1 -1
- package/dist/signature-requests-state-reader.d.ts +2 -2
- package/dist/signature-requests-state-reader.d.ts.map +1 -1
- package/dist/signature-requests-state-reader.js +32 -15
- package/dist/signature-requests-state-reader.js.map +1 -1
- package/dist/signature-response-verification.d.ts +1 -1
- package/dist/signature-response-verification.js +5 -5
- package/dist/signature-response-verification.js.map +1 -1
- package/dist/signet-contract-state-reader.d.ts +49 -30
- package/dist/signet-contract-state-reader.d.ts.map +1 -1
- package/dist/signet-contract-state-reader.js +55 -35
- package/dist/signet-contract-state-reader.js.map +1 -1
- package/dist/signet-evtype2tx-requests.d.ts +47 -44
- package/dist/signet-evtype2tx-requests.d.ts.map +1 -1
- package/dist/signet-evtype2tx-requests.js +47 -79
- package/dist/signet-evtype2tx-requests.js.map +1 -1
- package/dist/signet-request-response-reader.d.ts +3 -3
- package/dist/signet-request-response-reader.js +9 -9
- package/dist/signet-request-response-reader.js.map +1 -1
- package/dist/signet-requests.d.ts +4 -4
- package/dist/signet-requests.js +1 -1
- package/package.json +1 -1
- package/src/Signet.compact +85 -51
|
@@ -15,27 +15,58 @@ const _descriptor_5 = new __compactRuntime.CompactTypeBytes(128);
|
|
|
15
15
|
|
|
16
16
|
const _descriptor_6 = new __compactRuntime.CompactTypeUnsignedInteger(255n, 1);
|
|
17
17
|
|
|
18
|
-
class
|
|
18
|
+
class _AffinePoint_0 {
|
|
19
19
|
alignment() {
|
|
20
|
-
return
|
|
20
|
+
return _descriptor_0.alignment().concat(_descriptor_0.alignment());
|
|
21
21
|
}
|
|
22
22
|
fromValue(value_0) {
|
|
23
23
|
return {
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
|
|
24
|
+
x: _descriptor_0.fromValue(value_0),
|
|
25
|
+
y: _descriptor_0.fromValue(value_0)
|
|
26
|
+
}
|
|
27
|
+
}
|
|
28
|
+
toValue(value_0) {
|
|
29
|
+
return _descriptor_0.toValue(value_0.x).concat(_descriptor_0.toValue(value_0.y));
|
|
30
|
+
}
|
|
31
|
+
}
|
|
32
|
+
|
|
33
|
+
const _descriptor_7 = new _AffinePoint_0();
|
|
34
|
+
|
|
35
|
+
class _Signature_0 {
|
|
36
|
+
alignment() {
|
|
37
|
+
return _descriptor_7.alignment().concat(_descriptor_0.alignment().concat(_descriptor_6.alignment()));
|
|
38
|
+
}
|
|
39
|
+
fromValue(value_0) {
|
|
40
|
+
return {
|
|
41
|
+
bigR: _descriptor_7.fromValue(value_0),
|
|
27
42
|
s: _descriptor_0.fromValue(value_0),
|
|
28
43
|
recoveryId: _descriptor_6.fromValue(value_0)
|
|
29
44
|
}
|
|
30
45
|
}
|
|
31
46
|
toValue(value_0) {
|
|
32
|
-
return
|
|
47
|
+
return _descriptor_7.toValue(value_0.bigR).concat(_descriptor_0.toValue(value_0.s).concat(_descriptor_6.toValue(value_0.recoveryId)));
|
|
33
48
|
}
|
|
34
49
|
}
|
|
35
50
|
|
|
36
|
-
const
|
|
51
|
+
const _descriptor_8 = new _Signature_0();
|
|
52
|
+
|
|
53
|
+
class _RespondBidirectionalEvent_0 {
|
|
54
|
+
alignment() {
|
|
55
|
+
return _descriptor_5.alignment().concat(_descriptor_6.alignment().concat(_descriptor_8.alignment()));
|
|
56
|
+
}
|
|
57
|
+
fromValue(value_0) {
|
|
58
|
+
return {
|
|
59
|
+
serializedOutput: _descriptor_5.fromValue(value_0),
|
|
60
|
+
outputLen: _descriptor_6.fromValue(value_0),
|
|
61
|
+
signature: _descriptor_8.fromValue(value_0)
|
|
62
|
+
}
|
|
63
|
+
}
|
|
64
|
+
toValue(value_0) {
|
|
65
|
+
return _descriptor_5.toValue(value_0.serializedOutput).concat(_descriptor_6.toValue(value_0.outputLen).concat(_descriptor_8.toValue(value_0.signature)));
|
|
66
|
+
}
|
|
67
|
+
}
|
|
37
68
|
|
|
38
|
-
const
|
|
69
|
+
const _descriptor_9 = new _RespondBidirectionalEvent_0();
|
|
39
70
|
|
|
40
71
|
class _ContractAddress_0 {
|
|
41
72
|
alignment() {
|
|
@@ -51,7 +82,7 @@ class _ContractAddress_0 {
|
|
|
51
82
|
}
|
|
52
83
|
}
|
|
53
84
|
|
|
54
|
-
const
|
|
85
|
+
const _descriptor_10 = new _ContractAddress_0();
|
|
55
86
|
|
|
56
87
|
class _SignBidirectionalEventNotification_0 {
|
|
57
88
|
alignment() {
|
|
@@ -68,30 +99,32 @@ class _SignBidirectionalEventNotification_0 {
|
|
|
68
99
|
}
|
|
69
100
|
}
|
|
70
101
|
|
|
71
|
-
const
|
|
102
|
+
const _descriptor_11 = new _SignBidirectionalEventNotification_0();
|
|
72
103
|
|
|
73
|
-
const
|
|
104
|
+
const _descriptor_12 = __compactRuntime.CompactTypeSecp256k1Scalar;
|
|
74
105
|
|
|
75
|
-
const
|
|
106
|
+
const _descriptor_13 = __compactRuntime.CompactTypeSecp256k1Base;
|
|
107
|
+
|
|
108
|
+
const _descriptor_14 = new __compactRuntime.CompactTypeBytes(160);
|
|
76
109
|
|
|
77
110
|
class _Secp256k1EcdsaSignature_0 {
|
|
78
111
|
alignment() {
|
|
79
|
-
return
|
|
112
|
+
return _descriptor_12.alignment().concat(_descriptor_12.alignment());
|
|
80
113
|
}
|
|
81
114
|
fromValue(value_0) {
|
|
82
115
|
return {
|
|
83
|
-
r:
|
|
84
|
-
s:
|
|
116
|
+
r: _descriptor_12.fromValue(value_0),
|
|
117
|
+
s: _descriptor_12.fromValue(value_0)
|
|
85
118
|
}
|
|
86
119
|
}
|
|
87
120
|
toValue(value_0) {
|
|
88
|
-
return
|
|
121
|
+
return _descriptor_12.toValue(value_0.r).concat(_descriptor_12.toValue(value_0.s));
|
|
89
122
|
}
|
|
90
123
|
}
|
|
91
124
|
|
|
92
|
-
const
|
|
125
|
+
const _descriptor_15 = new _Secp256k1EcdsaSignature_0();
|
|
93
126
|
|
|
94
|
-
const
|
|
127
|
+
const _descriptor_16 = new __compactRuntime.CompactTypeUnsignedInteger(18446744073709551615n, 8);
|
|
95
128
|
|
|
96
129
|
class _Either_0 {
|
|
97
130
|
alignment() {
|
|
@@ -109,9 +142,9 @@ class _Either_0 {
|
|
|
109
142
|
}
|
|
110
143
|
}
|
|
111
144
|
|
|
112
|
-
const
|
|
145
|
+
const _descriptor_17 = new _Either_0();
|
|
113
146
|
|
|
114
|
-
const
|
|
147
|
+
const _descriptor_18 = new __compactRuntime.CompactTypeUnsignedInteger(4294967295n, 4);
|
|
115
148
|
|
|
116
149
|
export class Contract {
|
|
117
150
|
witnesses;
|
|
@@ -249,15 +282,11 @@ export class Contract {
|
|
|
249
282
|
r_0;
|
|
250
283
|
}
|
|
251
284
|
_persistentHash_0(value_0) {
|
|
252
|
-
const result_0 = __compactRuntime.persistentHash(
|
|
253
|
-
return result_0;
|
|
254
|
-
}
|
|
255
|
-
_persistentHash_1(value_0) {
|
|
256
|
-
const result_0 = __compactRuntime.persistentHash(_descriptor_5, value_0);
|
|
285
|
+
const result_0 = __compactRuntime.persistentHash(_descriptor_3, value_0);
|
|
257
286
|
return result_0;
|
|
258
287
|
}
|
|
259
|
-
|
|
260
|
-
const result_0 = __compactRuntime.
|
|
288
|
+
_keccak256_0(value_0) {
|
|
289
|
+
const result_0 = __compactRuntime.keccak256(_descriptor_14, value_0);
|
|
261
290
|
return result_0;
|
|
262
291
|
}
|
|
263
292
|
_mul_0(x_0, y_0) {
|
|
@@ -294,35 +323,71 @@ export class Contract {
|
|
|
294
323
|
...Array.from(new Uint8Array(95), BigInt)],
|
|
295
324
|
Number) };
|
|
296
325
|
}
|
|
297
|
-
_signetAttestationDigest_0(requestId_0, serializedOutput_0
|
|
298
|
-
const
|
|
299
|
-
|
|
300
|
-
|
|
301
|
-
|
|
302
|
-
|
|
326
|
+
_signetAttestationDigest_0(requestId_0, serializedOutput_0) {
|
|
327
|
+
const requestIdBytes_0 = requestId_0;
|
|
328
|
+
return this._keccak256_0(Uint8Array.from([...Array.from(requestIdBytes_0,
|
|
329
|
+
BigInt),
|
|
330
|
+
...Array.from(serializedOutput_0,
|
|
331
|
+
BigInt)],
|
|
332
|
+
Number));
|
|
333
|
+
}
|
|
334
|
+
_reverseBytes32_0(b_0) {
|
|
335
|
+
const v_0 = Array.from(b_0, BigInt);
|
|
336
|
+
return Uint8Array.from([v_0[31],
|
|
337
|
+
v_0[30],
|
|
338
|
+
v_0[29],
|
|
339
|
+
v_0[28],
|
|
340
|
+
v_0[27],
|
|
341
|
+
v_0[26],
|
|
342
|
+
v_0[25],
|
|
343
|
+
v_0[24],
|
|
344
|
+
v_0[23],
|
|
345
|
+
v_0[22],
|
|
346
|
+
v_0[21],
|
|
347
|
+
v_0[20],
|
|
348
|
+
v_0[19],
|
|
349
|
+
v_0[18],
|
|
350
|
+
v_0[17],
|
|
351
|
+
v_0[16],
|
|
352
|
+
v_0[15],
|
|
353
|
+
v_0[14],
|
|
354
|
+
v_0[13],
|
|
355
|
+
v_0[12],
|
|
356
|
+
v_0[11],
|
|
357
|
+
v_0[10],
|
|
358
|
+
v_0[9],
|
|
359
|
+
v_0[8],
|
|
360
|
+
v_0[7],
|
|
361
|
+
v_0[6],
|
|
362
|
+
v_0[5],
|
|
363
|
+
v_0[4],
|
|
364
|
+
v_0[3],
|
|
365
|
+
v_0[2],
|
|
366
|
+
v_0[1],
|
|
367
|
+
v_0[0]],
|
|
368
|
+
Number);
|
|
303
369
|
}
|
|
304
370
|
_verifyRespondBidirectionalEvent_0(requestId_0,
|
|
305
371
|
respondBidirectionalEvent_0,
|
|
306
372
|
mpcResponseKey_0)
|
|
307
373
|
{
|
|
308
374
|
return this._secp256k1EcdsaVerify_0(this._signetAttestationDigest_0(requestId_0,
|
|
309
|
-
respondBidirectionalEvent_0.serializedOutput,
|
|
310
|
-
respondBidirectionalEvent_0.outputLen),
|
|
375
|
+
respondBidirectionalEvent_0.serializedOutput),
|
|
311
376
|
{ r:
|
|
312
377
|
__compactRuntime.convertBytesToField(115792089237316195423570985008687907852837564279074904382605163141518161494336n,
|
|
313
378
|
32,
|
|
314
|
-
respondBidirectionalEvent_0.
|
|
379
|
+
this._reverseBytes32_0(respondBidirectionalEvent_0.signature.bigR.x),
|
|
315
380
|
'Secp256k1Scalar',
|
|
316
|
-
'Signet.compact line
|
|
381
|
+
'Signet.compact line 341 char 12'),
|
|
317
382
|
s:
|
|
318
383
|
__compactRuntime.convertBytesToField(115792089237316195423570985008687907852837564279074904382605163141518161494336n,
|
|
319
384
|
32,
|
|
320
|
-
respondBidirectionalEvent_0.s,
|
|
385
|
+
this._reverseBytes32_0(respondBidirectionalEvent_0.signature.s),
|
|
321
386
|
'Secp256k1Scalar',
|
|
322
|
-
'Signet.compact line
|
|
387
|
+
'Signet.compact line 342 char 12') },
|
|
323
388
|
mpcResponseKey_0);
|
|
324
389
|
}
|
|
325
|
-
_signetKeyHash_0(pk_0) { return this.
|
|
390
|
+
_signetKeyHash_0(pk_0) { return this._persistentHash_0(pk_0); }
|
|
326
391
|
_evmAddressAbiWord_0(addr_0) {
|
|
327
392
|
return Uint8Array.from([...Array.from(new Uint8Array(12), BigInt),
|
|
328
393
|
...Array.from(addr_0, BigInt)],
|
|
@@ -331,7 +396,7 @@ export class Contract {
|
|
|
331
396
|
_numericAbiWord_0(value_0) {
|
|
332
397
|
const le_0 = Array.from(__compactRuntime.convertBigintToBytes(16,
|
|
333
398
|
value_0,
|
|
334
|
-
'Signet.compact line
|
|
399
|
+
'Signet.compact line 424 char 17'),
|
|
335
400
|
BigInt);
|
|
336
401
|
return Uint8Array.from([...Array.from(new Uint8Array(16), BigInt),
|
|
337
402
|
le_0[15],
|
|
@@ -363,7 +428,7 @@ export class Contract {
|
|
|
363
428
|
((e, i) => e.slice(i, i+16))(word_0,
|
|
364
429
|
Number(0n)),
|
|
365
430
|
'Field',
|
|
366
|
-
'Signet.compact line
|
|
431
|
+
'Signet.compact line 443 char 12')
|
|
367
432
|
===
|
|
368
433
|
0n,
|
|
369
434
|
'ABI word exceeds Uint<128>');
|
|
@@ -372,77 +437,77 @@ export class Contract {
|
|
|
372
437
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
373
438
|
Number(16n)),
|
|
374
439
|
'Field',
|
|
375
|
-
'Signet.compact line
|
|
440
|
+
'Signet.compact line 444 char 17');
|
|
376
441
|
const b1_0 = __compactRuntime.addField(__compactRuntime.mulField(b0_0, 256n),
|
|
377
442
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
378
443
|
1,
|
|
379
444
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
380
445
|
Number(17n)),
|
|
381
446
|
'Field',
|
|
382
|
-
'Signet.compact line
|
|
447
|
+
'Signet.compact line 445 char 30'));
|
|
383
448
|
const b2_0 = __compactRuntime.addField(__compactRuntime.mulField(b1_0, 256n),
|
|
384
449
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
385
450
|
1,
|
|
386
451
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
387
452
|
Number(18n)),
|
|
388
453
|
'Field',
|
|
389
|
-
'Signet.compact line
|
|
454
|
+
'Signet.compact line 446 char 30'));
|
|
390
455
|
const b3_0 = __compactRuntime.addField(__compactRuntime.mulField(b2_0, 256n),
|
|
391
456
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
392
457
|
1,
|
|
393
458
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
394
459
|
Number(19n)),
|
|
395
460
|
'Field',
|
|
396
|
-
'Signet.compact line
|
|
461
|
+
'Signet.compact line 447 char 30'));
|
|
397
462
|
const b4_0 = __compactRuntime.addField(__compactRuntime.mulField(b3_0, 256n),
|
|
398
463
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
399
464
|
1,
|
|
400
465
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
401
466
|
Number(20n)),
|
|
402
467
|
'Field',
|
|
403
|
-
'Signet.compact line
|
|
468
|
+
'Signet.compact line 448 char 30'));
|
|
404
469
|
const b5_0 = __compactRuntime.addField(__compactRuntime.mulField(b4_0, 256n),
|
|
405
470
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
406
471
|
1,
|
|
407
472
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
408
473
|
Number(21n)),
|
|
409
474
|
'Field',
|
|
410
|
-
'Signet.compact line
|
|
475
|
+
'Signet.compact line 449 char 30'));
|
|
411
476
|
const b6_0 = __compactRuntime.addField(__compactRuntime.mulField(b5_0, 256n),
|
|
412
477
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
413
478
|
1,
|
|
414
479
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
415
480
|
Number(22n)),
|
|
416
481
|
'Field',
|
|
417
|
-
'Signet.compact line
|
|
482
|
+
'Signet.compact line 450 char 30'));
|
|
418
483
|
const b7_0 = __compactRuntime.addField(__compactRuntime.mulField(b6_0, 256n),
|
|
419
484
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
420
485
|
1,
|
|
421
486
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
422
487
|
Number(23n)),
|
|
423
488
|
'Field',
|
|
424
|
-
'Signet.compact line
|
|
489
|
+
'Signet.compact line 451 char 30'));
|
|
425
490
|
const b8_0 = __compactRuntime.addField(__compactRuntime.mulField(b7_0, 256n),
|
|
426
491
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
427
492
|
1,
|
|
428
493
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
429
494
|
Number(24n)),
|
|
430
495
|
'Field',
|
|
431
|
-
'Signet.compact line
|
|
496
|
+
'Signet.compact line 452 char 30'));
|
|
432
497
|
const b9_0 = __compactRuntime.addField(__compactRuntime.mulField(b8_0, 256n),
|
|
433
498
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
434
499
|
1,
|
|
435
500
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
436
501
|
Number(25n)),
|
|
437
502
|
'Field',
|
|
438
|
-
'Signet.compact line
|
|
503
|
+
'Signet.compact line 453 char 30'));
|
|
439
504
|
const b10_0 = __compactRuntime.addField(__compactRuntime.mulField(b9_0, 256n),
|
|
440
505
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
441
506
|
1,
|
|
442
507
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
443
508
|
Number(26n)),
|
|
444
509
|
'Field',
|
|
445
|
-
'Signet.compact line
|
|
510
|
+
'Signet.compact line 454 char 30'));
|
|
446
511
|
const b11_0 = __compactRuntime.addField(__compactRuntime.mulField(b10_0,
|
|
447
512
|
256n),
|
|
448
513
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
@@ -450,7 +515,7 @@ export class Contract {
|
|
|
450
515
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
451
516
|
Number(27n)),
|
|
452
517
|
'Field',
|
|
453
|
-
'Signet.compact line
|
|
518
|
+
'Signet.compact line 455 char 30'));
|
|
454
519
|
const b12_0 = __compactRuntime.addField(__compactRuntime.mulField(b11_0,
|
|
455
520
|
256n),
|
|
456
521
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
@@ -458,7 +523,7 @@ export class Contract {
|
|
|
458
523
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
459
524
|
Number(28n)),
|
|
460
525
|
'Field',
|
|
461
|
-
'Signet.compact line
|
|
526
|
+
'Signet.compact line 456 char 30'));
|
|
462
527
|
const b13_0 = __compactRuntime.addField(__compactRuntime.mulField(b12_0,
|
|
463
528
|
256n),
|
|
464
529
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
@@ -466,7 +531,7 @@ export class Contract {
|
|
|
466
531
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
467
532
|
Number(29n)),
|
|
468
533
|
'Field',
|
|
469
|
-
'Signet.compact line
|
|
534
|
+
'Signet.compact line 457 char 30'));
|
|
470
535
|
const b14_0 = __compactRuntime.addField(__compactRuntime.mulField(b13_0,
|
|
471
536
|
256n),
|
|
472
537
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
@@ -474,7 +539,7 @@ export class Contract {
|
|
|
474
539
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
475
540
|
Number(30n)),
|
|
476
541
|
'Field',
|
|
477
|
-
'Signet.compact line
|
|
542
|
+
'Signet.compact line 458 char 30'));
|
|
478
543
|
const b15_0 = __compactRuntime.addField(__compactRuntime.mulField(b14_0,
|
|
479
544
|
256n),
|
|
480
545
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
@@ -482,10 +547,10 @@ export class Contract {
|
|
|
482
547
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
483
548
|
Number(31n)),
|
|
484
549
|
'Field',
|
|
485
|
-
'Signet.compact line
|
|
550
|
+
'Signet.compact line 459 char 30'));
|
|
486
551
|
return ((t1) => {
|
|
487
552
|
if (t1 > 340282366920938463463374607431768211455n) {
|
|
488
|
-
throw new __compactRuntime.CompactError('Signet.compact line
|
|
553
|
+
throw new __compactRuntime.CompactError('Signet.compact line 460 char 12: cast from Field or Uint value to smaller Uint value failed: ' + t1 + ' is greater than 340282366920938463463374607431768211455');
|
|
489
554
|
}
|
|
490
555
|
return t1;
|
|
491
556
|
})(b15_0);
|
|
@@ -496,7 +561,7 @@ export class Contract {
|
|
|
496
561
|
((e, i) => e.slice(i, i+31))(word_0,
|
|
497
562
|
Number(0n)),
|
|
498
563
|
'Field',
|
|
499
|
-
'Signet.compact line
|
|
564
|
+
'Signet.compact line 466 char 12')
|
|
500
565
|
===
|
|
501
566
|
0n,
|
|
502
567
|
'ABI word is not a canonical Boolean');
|
|
@@ -505,7 +570,7 @@ export class Contract {
|
|
|
505
570
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
506
571
|
Number(31n)),
|
|
507
572
|
'Field',
|
|
508
|
-
'Signet.compact line
|
|
573
|
+
'Signet.compact line 467 char 18');
|
|
509
574
|
__compactRuntime.assert(last_0 === 0n || last_0 === 1n,
|
|
510
575
|
'ABI word is not a canonical Boolean');
|
|
511
576
|
return last_0 === 1n;
|
|
@@ -541,14 +606,14 @@ export const pureCircuits = {
|
|
|
541
606
|
if (!(typeof(callerAddress_0) === 'object' && callerAddress_0.bytes.buffer instanceof ArrayBuffer && callerAddress_0.bytes.BYTES_PER_ELEMENT === 1 && callerAddress_0.bytes.length === 32)) {
|
|
542
607
|
__compactRuntime.typeError('constructSignBidirectionalEventNotificationV1',
|
|
543
608
|
'argument 1',
|
|
544
|
-
'Signet.compact line
|
|
609
|
+
'Signet.compact line 213 char 3',
|
|
545
610
|
'struct ContractAddress<bytes: Bytes<32>>',
|
|
546
611
|
callerAddress_0)
|
|
547
612
|
}
|
|
548
613
|
if (!(typeof(requestsIndexField_0) === 'bigint' && requestsIndexField_0 >= 0n && requestsIndexField_0 <= 255n)) {
|
|
549
614
|
__compactRuntime.typeError('constructSignBidirectionalEventNotificationV1',
|
|
550
615
|
'argument 2',
|
|
551
|
-
'Signet.compact line
|
|
616
|
+
'Signet.compact line 213 char 3',
|
|
552
617
|
'Uint<0..256>',
|
|
553
618
|
requestsIndexField_0)
|
|
554
619
|
}
|
|
@@ -556,36 +621,27 @@ export const pureCircuits = {
|
|
|
556
621
|
requestsIndexField_0);
|
|
557
622
|
},
|
|
558
623
|
signetAttestationDigest: (...args_0) => {
|
|
559
|
-
if (args_0.length !==
|
|
560
|
-
throw new __compactRuntime.CompactError(`signetAttestationDigest: expected
|
|
624
|
+
if (args_0.length !== 2) {
|
|
625
|
+
throw new __compactRuntime.CompactError(`signetAttestationDigest: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
|
|
561
626
|
}
|
|
562
627
|
const requestId_0 = args_0[0];
|
|
563
628
|
const serializedOutput_0 = args_0[1];
|
|
564
|
-
const outputLen_0 = args_0[2];
|
|
565
629
|
if (!(requestId_0.buffer instanceof ArrayBuffer && requestId_0.BYTES_PER_ELEMENT === 1 && requestId_0.length === 32)) {
|
|
566
630
|
__compactRuntime.typeError('signetAttestationDigest',
|
|
567
631
|
'argument 1',
|
|
568
|
-
'Signet.compact line
|
|
632
|
+
'Signet.compact line 300 char 3',
|
|
569
633
|
'Bytes<32>',
|
|
570
634
|
requestId_0)
|
|
571
635
|
}
|
|
572
636
|
if (!(serializedOutput_0.buffer instanceof ArrayBuffer && serializedOutput_0.BYTES_PER_ELEMENT === 1 && serializedOutput_0.length === 128)) {
|
|
573
637
|
__compactRuntime.typeError('signetAttestationDigest',
|
|
574
638
|
'argument 2',
|
|
575
|
-
'Signet.compact line
|
|
639
|
+
'Signet.compact line 300 char 3',
|
|
576
640
|
'Bytes<128>',
|
|
577
641
|
serializedOutput_0)
|
|
578
642
|
}
|
|
579
|
-
if (!(typeof(outputLen_0) === 'bigint' && outputLen_0 >= 0n && outputLen_0 <= 255n)) {
|
|
580
|
-
__compactRuntime.typeError('signetAttestationDigest',
|
|
581
|
-
'argument 3',
|
|
582
|
-
'Signet.compact line 280 char 3',
|
|
583
|
-
'Uint<0..256>',
|
|
584
|
-
outputLen_0)
|
|
585
|
-
}
|
|
586
643
|
return _dummyContract._signetAttestationDigest_0(requestId_0,
|
|
587
|
-
serializedOutput_0
|
|
588
|
-
outputLen_0);
|
|
644
|
+
serializedOutput_0);
|
|
589
645
|
},
|
|
590
646
|
verifyRespondBidirectionalEvent: (...args_0) => {
|
|
591
647
|
if (args_0.length !== 3) {
|
|
@@ -597,15 +653,15 @@ export const pureCircuits = {
|
|
|
597
653
|
if (!(requestId_0.buffer instanceof ArrayBuffer && requestId_0.BYTES_PER_ELEMENT === 1 && requestId_0.length === 32)) {
|
|
598
654
|
__compactRuntime.typeError('verifyRespondBidirectionalEvent',
|
|
599
655
|
'argument 1',
|
|
600
|
-
'Signet.compact line
|
|
656
|
+
'Signet.compact line 333 char 3',
|
|
601
657
|
'Bytes<32>',
|
|
602
658
|
requestId_0)
|
|
603
659
|
}
|
|
604
|
-
if (!(typeof(respondBidirectionalEvent_0) === 'object' && respondBidirectionalEvent_0.serializedOutput.buffer instanceof ArrayBuffer && respondBidirectionalEvent_0.serializedOutput.BYTES_PER_ELEMENT === 1 && respondBidirectionalEvent_0.serializedOutput.length === 128 && typeof(respondBidirectionalEvent_0.outputLen) === 'bigint' && respondBidirectionalEvent_0.outputLen >= 0n && respondBidirectionalEvent_0.outputLen <= 255n && respondBidirectionalEvent_0.
|
|
660
|
+
if (!(typeof(respondBidirectionalEvent_0) === 'object' && respondBidirectionalEvent_0.serializedOutput.buffer instanceof ArrayBuffer && respondBidirectionalEvent_0.serializedOutput.BYTES_PER_ELEMENT === 1 && respondBidirectionalEvent_0.serializedOutput.length === 128 && typeof(respondBidirectionalEvent_0.outputLen) === 'bigint' && respondBidirectionalEvent_0.outputLen >= 0n && respondBidirectionalEvent_0.outputLen <= 255n && typeof(respondBidirectionalEvent_0.signature) === 'object' && typeof(respondBidirectionalEvent_0.signature.bigR) === 'object' && respondBidirectionalEvent_0.signature.bigR.x.buffer instanceof ArrayBuffer && respondBidirectionalEvent_0.signature.bigR.x.BYTES_PER_ELEMENT === 1 && respondBidirectionalEvent_0.signature.bigR.x.length === 32 && respondBidirectionalEvent_0.signature.bigR.y.buffer instanceof ArrayBuffer && respondBidirectionalEvent_0.signature.bigR.y.BYTES_PER_ELEMENT === 1 && respondBidirectionalEvent_0.signature.bigR.y.length === 32 && respondBidirectionalEvent_0.signature.s.buffer instanceof ArrayBuffer && respondBidirectionalEvent_0.signature.s.BYTES_PER_ELEMENT === 1 && respondBidirectionalEvent_0.signature.s.length === 32 && typeof(respondBidirectionalEvent_0.signature.recoveryId) === 'bigint' && respondBidirectionalEvent_0.signature.recoveryId >= 0n && respondBidirectionalEvent_0.signature.recoveryId <= 255n)) {
|
|
605
661
|
__compactRuntime.typeError('verifyRespondBidirectionalEvent',
|
|
606
662
|
'argument 2',
|
|
607
|
-
'Signet.compact line
|
|
608
|
-
'struct RespondBidirectionalEvent<serializedOutput: Bytes<128>, outputLen: Uint<0..256>,
|
|
663
|
+
'Signet.compact line 333 char 3',
|
|
664
|
+
'struct RespondBidirectionalEvent<serializedOutput: Bytes<128>, outputLen: Uint<0..256>, signature: struct Signature<bigR: struct AffinePoint<x: Bytes<32>, y: Bytes<32>>, s: Bytes<32>, recoveryId: Uint<0..256>>>',
|
|
609
665
|
respondBidirectionalEvent_0)
|
|
610
666
|
}
|
|
611
667
|
return _dummyContract._verifyRespondBidirectionalEvent_0(requestId_0,
|
|
@@ -627,7 +683,7 @@ export const pureCircuits = {
|
|
|
627
683
|
if (!(addr_0.buffer instanceof ArrayBuffer && addr_0.BYTES_PER_ELEMENT === 1 && addr_0.length === 20)) {
|
|
628
684
|
__compactRuntime.typeError('evmAddressAbiWord',
|
|
629
685
|
'argument 1',
|
|
630
|
-
'Signet.compact line
|
|
686
|
+
'Signet.compact line 415 char 3',
|
|
631
687
|
'Bytes<20>',
|
|
632
688
|
addr_0)
|
|
633
689
|
}
|
|
@@ -641,7 +697,7 @@ export const pureCircuits = {
|
|
|
641
697
|
if (!(typeof(value_0) === 'bigint' && value_0 >= 0n && value_0 <= 340282366920938463463374607431768211455n)) {
|
|
642
698
|
__compactRuntime.typeError('numericAbiWord',
|
|
643
699
|
'argument 1',
|
|
644
|
-
'Signet.compact line
|
|
700
|
+
'Signet.compact line 421 char 3',
|
|
645
701
|
'Uint<0..340282366920938463463374607431768211456>',
|
|
646
702
|
value_0)
|
|
647
703
|
}
|
|
@@ -655,7 +711,7 @@ export const pureCircuits = {
|
|
|
655
711
|
if (!(typeof(value_0) === 'boolean')) {
|
|
656
712
|
__compactRuntime.typeError('boolAbiWord',
|
|
657
713
|
'argument 1',
|
|
658
|
-
'Signet.compact line
|
|
714
|
+
'Signet.compact line 434 char 3',
|
|
659
715
|
'Boolean',
|
|
660
716
|
value_0)
|
|
661
717
|
}
|
|
@@ -669,7 +725,7 @@ export const pureCircuits = {
|
|
|
669
725
|
if (!(word_0.buffer instanceof ArrayBuffer && word_0.BYTES_PER_ELEMENT === 1 && word_0.length === 32)) {
|
|
670
726
|
__compactRuntime.typeError('abiWordToUint128',
|
|
671
727
|
'argument 1',
|
|
672
|
-
'Signet.compact line
|
|
728
|
+
'Signet.compact line 442 char 3',
|
|
673
729
|
'Bytes<32>',
|
|
674
730
|
word_0)
|
|
675
731
|
}
|
|
@@ -683,7 +739,7 @@ export const pureCircuits = {
|
|
|
683
739
|
if (!(word_0.buffer instanceof ArrayBuffer && word_0.BYTES_PER_ELEMENT === 1 && word_0.length === 32)) {
|
|
684
740
|
__compactRuntime.typeError('abiWordToBool',
|
|
685
741
|
'argument 1',
|
|
686
|
-
'Signet.compact line
|
|
742
|
+
'Signet.compact line 465 char 3',
|
|
687
743
|
'Bytes<32>',
|
|
688
744
|
word_0)
|
|
689
745
|
}
|
|
@@ -4,5 +4,5 @@
|
|
|
4
4
|
"sourceRoot": "../../../",
|
|
5
5
|
"sources": ["src/circuits.compact", "src/./Signet.compact", "compiler/zkir-v3-library.compact"],
|
|
6
6
|
"names": [],
|
|
7
|
-
"mappings": "
|
|
7
|
+
"mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAAA;;;;;;;;;;MCoNE,MAAA,6CAWC;;OAAA;MA4ED,MAAA,uBAMC;;OAAA;MA2BD,MAAA,+BAaC;;OAAA;MAKD,MAAA,aAEC;;OAAA;MA8DD,MAAA,iBAEC;;OAAA;MAID,MAAA,cASC;;OAAA;MAID,MAAA,WAEC;;OAAA;MAMD,MAAA,gBAmBC;;OAAA;MAID,MAAA,aAKC;;OAAA;;;;GD7bF;EAxBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwBC;EEID,AAAA,yBAA8B;UACtB,iBAAI;UACJ,gCACQ;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;0CACA;;;;gDACP;;;;EAqBT,AAAA,wBACiB,WACA,OACA;UAET,oCAA2C;UAC3C,2BAAS;UAAT,MAAA;UAAA,MAAA;UACA,kBAAyB;UACzB,mBAA0B,KAAG;UAC7B,mBAA0B,KAAG;UAC7B,+CAA6C;gDAAW,MAAI;;;;8GAC1C;;;;;WAA2C;;EA/FrE,AAAA,kBAAA;oEAAA;;;EAAA,AAAA,aAAA;gEAAA;;;EAAA,AAAA,OAAA,KAAA;yDAAA,KAAA;;;EAAA,AAAA,OAAA;yDAAA;;;EAAA,AAAA,mBAAA;sDAAA;;;EAAA,AAAA,SAAA,KAAA;mDAAA,KAAA;;;EAAA,AAAA,SAAA,KAAA;mDAAA,KAAA;;;EAAA,AAAA,kBAAA;4DAAA;;;EDoNE,AAAA,gDAWC,CARC,eAA8B;mDAC9B,oBAA2B;;;;8CAKP,eAAa;gCAAQ,oBAAkB;;;GAE5D;EA4ED,AAAA,0BAMC,CALC,WAAoB,EACpB,kBAA4B;UAEtB,gBAAuC,GAAtB,WAAS;4DACM,gBAAc;;4DAAK,kBAAgB;;;GAC1E;EAKD,AAAA,iBAMC,CAN2B,GAAY;UAChC,GAA4B,cAAxB,GAAC;4BACE,GAAC;4BAAM,GAAC;4BAAM,GAAC;4BAAM,GAAC;4BAAM,GAAC;4BAAM,GAAC;4BAAM,GAAC;4BAAM,GAAC;4BAClD,GAAC;4BAAM,GAAC;4BAAM,GAAC;4BAAM,GAAC;4BAAM,GAAC;4BAAM,GAAC;4BAAM,GAAC;4BAAM,GAAC;4BAClD,GAAC;4BAAM,GAAC;4BAAM,GAAC;4BAAM,GAAC;4BAAM,GAAC;4BAAM,GAAC;4BAAM,GAAC;4BAAM,GAAC;4BAClD,GAAC;4BAAM,GAAC;4BAAM,GAAC;4BAAM,GAAC;4BAAM,GAAC;4BAAM,GAAC;4BAAM,GAAC;4BAAM,GAAC;;GAChE;EAgBD,AAAA,kCAaC,CAZC,WAAoB;qCACpB,2BAAoD;qCACpD,gBAA8B;;wEAGJ,WAAS;wEAAE,2BAAyB;;;;wGAExC,2BAAyB;;;;;;wGACzB,2BAAyB;;;wCAE7C,gBAAc;GAEjB;EAKD,AAAA,gBAEC,CAFiC,IAAkB,kCACZ,IAAE,IACzC;EA8DD,AAAA,oBAEC,CAFqC,MAAe;;0CACZ,MAAI;;GAC5C;EAID,AAAA,iBASC,CATkC,OAAgB;UAG3C,IAAgD;kEAA1C,OAAK;;;;4BAGf,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAK,IAAE;4BACzD,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAM,IAAE;4BAAK,IAAE;;GAE5D;EAID,AAAA,cAEC,CAF+B,OAAc;;4BACR,OAAK;;GAC1C;EAMD,AAAA,mBAmBC,CAnBoC,MAAe;;;6FACjC,MAAI;;;;;;;UACf,IAAiC;;iFAAlB,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;;;;;;;;;cAC/B,KAAG;GACX;EAID,AAAA,gBAKC,CALiC,MAAe;;;6FAC9B,MAAI;;;;;;;UACf,MAAkC;;mFAAlB,MAAI;;;;4BACnB,MAAI,WAAkB,MAAI;;WAC1B,MAAI;GACZ;;;;;;;;;;;;;;;;;;;;;;;EAjQD,AAAA,6CAWC;;;;UARC,eAA8B;UAC9B,oBAA2B;;;;;;;;;;;;;;;2EAD3B,eAA8B;2EAC9B,oBAA2B;GAO5B;EA4ED,AAAA,uBAMC;;;;UALC,WAAoB;UACpB,kBAA4B;;;;;;;;;;;;;;;qDAD5B,WAAoB;qDACpB,kBAA4B;GAI7B;EA2BD,AAAA,+BAaC;;;;UAZC,WAAoB;UACpB,2BAAoD;UACpD,gBAA8B;;;;;;;;;;;;;;;6DAF9B,WAAoB;6DACpB,2BAAoD;6DACpD,gBAA8B;GAU/B;EAKD,AAAA,aAEC;;;;UAFiC,IAAkB;2CAAlB,IAAkB;GAEnD;EA8DD,AAAA,iBAEC;;;;UAFqC,MAAe;;;;;;;;+CAAf,MAAe;GAEpD;EAID,AAAA,cASC;;;;UATkC,OAAgB;;;;;;;;4CAAhB,OAAgB;GASlD;EAID,AAAA,WAEC;;;;UAF+B,OAAc;;;;;;;;yCAAd,OAAc;GAE7C;EAMD,AAAA,gBAmBC;;;;UAnBoC,MAAe;;;;;;;;8CAAf,MAAe;GAmBnD;EAID,AAAA,aAKC;;;;UALiC,MAAe;;;;;;;;2CAAf,MAAe;GAKhD;;;;;;"
|
|
8
8
|
}
|
|
@@ -4,8 +4,8 @@ import { type RawContractState } from "./signature-state-reading.ts";
|
|
|
4
4
|
* Aligned-value entry count of an event record EXCLUDING the capacity-scaled
|
|
5
5
|
* vectors: sender (1) + requestNonce (1) + keyVersion (1) + path (1) +
|
|
6
6
|
* algo (1) + dest (1) + params (1) + txParamType (1, enums are one atom
|
|
7
|
-
* whatever their byte width) + the
|
|
8
|
-
* (
|
|
7
|
+
* whatever their byte width) + the EvmType2TxParams fixed fields
|
|
8
|
+
* (chainId..value = 7, accessListEntryCount = 1) + the calldata Maybe's
|
|
9
9
|
* is_some (1), selector (1) and noWords (1) + caip2Id (1) + the two schema
|
|
10
10
|
* fields (1 each). A stored event cell therefore holds
|
|
11
11
|
* `REQUEST_FIXED_VALUE_ATOMS + maxCalldataWords
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"signature-requests-state-reader.d.ts","sourceRoot":"","sources":["../src/signature-requests-state-reader.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"signature-requests-state-reader.d.ts","sourceRoot":"","sources":["../src/signature-requests-state-reader.ts"],"names":[],"mappings":"AAmBA,OAAO,EAEL,KAAK,YAAY,EACjB,KAAK,sBAAsB,EAC3B,KAAK,2BAA2B,EACjC,MAAM,sBAAsB,CAAC;AAK9B,OAAO,EAIL,KAAK,gBAAgB,EACtB,MAAM,8BAA8B,CAAC;AAEtC;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,yBAAyB,KAAK,CAAC;AA6F5C;;;;;;GAMG;AACH,MAAM,WAAW,oBAAoB;IACnC,uCAAuC;IACvC,KAAK,EAAE,MAAM,CAAC;IACd,kDAAkD;IAClD,aAAa,EAAE,2BAA2B,CAAC;CAC5C;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,iCAAiC,CAC/C,GAAG,EAAE,gBAAgB,EACrB,kBAAkB,EAAE,MAAM,EAC1B,UAAU,EAAE,MAAM,GACjB,oBAAoB,CAqBtB;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,gBAAgB,EACrB,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,YAAY,GACtB,sBAAsB,GAAG,SAAS,CA2BpC"}
|