@sig-net/midnight 0.13.0 → 0.15.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 +39 -12
- package/dist/ecdsa-attestation.d.ts +29 -1
- package/dist/ecdsa-attestation.d.ts.map +1 -1
- package/dist/ecdsa-attestation.js +55 -0
- package/dist/ecdsa-attestation.js.map +1 -1
- package/dist/managed/compiler/contract-info.json +12 -8
- package/dist/managed/compiler/contract-manifest.json +8 -8
- package/dist/managed/contract/index.d.ts +10 -10
- package/dist/managed/contract/index.js +92 -84
- package/dist/managed/contract/index.js.map +1 -1
- package/dist/signature-requests-state-reader.d.ts +6 -5
- package/dist/signature-requests-state-reader.d.ts.map +1 -1
- package/dist/signature-requests-state-reader.js +17 -16
- package/dist/signature-requests-state-reader.js.map +1 -1
- package/dist/signature-state-reading.d.ts +17 -25
- package/dist/signature-state-reading.d.ts.map +1 -1
- package/dist/signature-state-reading.js +37 -57
- package/dist/signature-state-reading.js.map +1 -1
- package/dist/signet-contract-state-reader.d.ts +24 -18
- package/dist/signet-contract-state-reader.d.ts.map +1 -1
- package/dist/signet-contract-state-reader.js +42 -32
- package/dist/signet-contract-state-reader.js.map +1 -1
- package/dist/signet-request-resolver.d.ts +1 -1
- package/dist/signet-request-resolver.js +2 -2
- package/dist/signet-request-resolver.js.map +1 -1
- package/dist/signet-request-response-reader.d.ts +39 -14
- package/dist/signet-request-response-reader.d.ts.map +1 -1
- package/dist/signet-request-response-reader.js +38 -10
- package/dist/signet-request-response-reader.js.map +1 -1
- package/package.json +2 -2
- package/src/Signet.compact +102 -70
|
@@ -44,16 +44,15 @@ const _descriptor_4 = new _Signature_0();
|
|
|
44
44
|
|
|
45
45
|
class _RespondBidirectionalEvent_0 {
|
|
46
46
|
alignment() {
|
|
47
|
-
return
|
|
47
|
+
return _descriptor_4.alignment();
|
|
48
48
|
}
|
|
49
49
|
fromValue(value_0) {
|
|
50
50
|
return {
|
|
51
|
-
attestationDigest: _descriptor_0.fromValue(value_0),
|
|
52
51
|
signature: _descriptor_4.fromValue(value_0)
|
|
53
52
|
}
|
|
54
53
|
}
|
|
55
54
|
toValue(value_0) {
|
|
56
|
-
return
|
|
55
|
+
return _descriptor_4.toValue(value_0.signature);
|
|
57
56
|
}
|
|
58
57
|
}
|
|
59
58
|
|
|
@@ -85,28 +84,30 @@ class _ContractAddress_0 {
|
|
|
85
84
|
|
|
86
85
|
const _descriptor_11 = new _ContractAddress_0();
|
|
87
86
|
|
|
88
|
-
const _descriptor_12 = new __compactRuntime.
|
|
87
|
+
const _descriptor_12 = new __compactRuntime.CompactTypeVector(4, _descriptor_3);
|
|
88
|
+
|
|
89
|
+
const _descriptor_13 = new __compactRuntime.CompactTypeBytes(128);
|
|
89
90
|
|
|
90
91
|
class _SignBidirectionalEventNotification_0 {
|
|
91
92
|
alignment() {
|
|
92
|
-
return _descriptor_3.alignment().concat(
|
|
93
|
+
return _descriptor_3.alignment().concat(_descriptor_13.alignment());
|
|
93
94
|
}
|
|
94
95
|
fromValue(value_0) {
|
|
95
96
|
return {
|
|
96
97
|
version: _descriptor_3.fromValue(value_0),
|
|
97
|
-
payload:
|
|
98
|
+
payload: _descriptor_13.fromValue(value_0)
|
|
98
99
|
}
|
|
99
100
|
}
|
|
100
101
|
toValue(value_0) {
|
|
101
|
-
return _descriptor_3.toValue(value_0.version).concat(
|
|
102
|
+
return _descriptor_3.toValue(value_0.version).concat(_descriptor_13.toValue(value_0.payload));
|
|
102
103
|
}
|
|
103
104
|
}
|
|
104
105
|
|
|
105
|
-
const
|
|
106
|
+
const _descriptor_14 = new _SignBidirectionalEventNotification_0();
|
|
106
107
|
|
|
107
|
-
const
|
|
108
|
+
const _descriptor_15 = __compactRuntime.CompactTypeSecp256k1Scalar;
|
|
108
109
|
|
|
109
|
-
const
|
|
110
|
+
const _descriptor_16 = __compactRuntime.CompactTypeSecp256k1Base;
|
|
110
111
|
|
|
111
112
|
class _tuple_0 {
|
|
112
113
|
alignment() {
|
|
@@ -123,7 +124,7 @@ class _tuple_0 {
|
|
|
123
124
|
}
|
|
124
125
|
}
|
|
125
126
|
|
|
126
|
-
const
|
|
127
|
+
const _descriptor_17 = new _tuple_0();
|
|
127
128
|
|
|
128
129
|
class _tuple_1 {
|
|
129
130
|
alignment() {
|
|
@@ -140,7 +141,7 @@ class _tuple_1 {
|
|
|
140
141
|
}
|
|
141
142
|
}
|
|
142
143
|
|
|
143
|
-
const
|
|
144
|
+
const _descriptor_18 = new _tuple_1();
|
|
144
145
|
|
|
145
146
|
class _tuple_2 {
|
|
146
147
|
alignment() {
|
|
@@ -157,26 +158,26 @@ class _tuple_2 {
|
|
|
157
158
|
}
|
|
158
159
|
}
|
|
159
160
|
|
|
160
|
-
const
|
|
161
|
+
const _descriptor_19 = new _tuple_2();
|
|
161
162
|
|
|
162
163
|
class _Secp256k1EcdsaSignature_0 {
|
|
163
164
|
alignment() {
|
|
164
|
-
return
|
|
165
|
+
return _descriptor_15.alignment().concat(_descriptor_15.alignment());
|
|
165
166
|
}
|
|
166
167
|
fromValue(value_0) {
|
|
167
168
|
return {
|
|
168
|
-
r:
|
|
169
|
-
s:
|
|
169
|
+
r: _descriptor_15.fromValue(value_0),
|
|
170
|
+
s: _descriptor_15.fromValue(value_0)
|
|
170
171
|
}
|
|
171
172
|
}
|
|
172
173
|
toValue(value_0) {
|
|
173
|
-
return
|
|
174
|
+
return _descriptor_15.toValue(value_0.r).concat(_descriptor_15.toValue(value_0.s));
|
|
174
175
|
}
|
|
175
176
|
}
|
|
176
177
|
|
|
177
|
-
const
|
|
178
|
+
const _descriptor_20 = new _Secp256k1EcdsaSignature_0();
|
|
178
179
|
|
|
179
|
-
const
|
|
180
|
+
const _descriptor_21 = new __compactRuntime.CompactTypeUnsignedInteger(18446744073709551615n, 8);
|
|
180
181
|
|
|
181
182
|
class _Either_0 {
|
|
182
183
|
alignment() {
|
|
@@ -194,9 +195,9 @@ class _Either_0 {
|
|
|
194
195
|
}
|
|
195
196
|
}
|
|
196
197
|
|
|
197
|
-
const
|
|
198
|
+
const _descriptor_22 = new _Either_0();
|
|
198
199
|
|
|
199
|
-
const
|
|
200
|
+
const _descriptor_23 = new __compactRuntime.CompactTypeUnsignedInteger(4294967295n, 4);
|
|
200
201
|
|
|
201
202
|
export class Contract {
|
|
202
203
|
witnesses;
|
|
@@ -344,15 +345,15 @@ export class Contract {
|
|
|
344
345
|
return result_0;
|
|
345
346
|
}
|
|
346
347
|
_keccak256_0(value_0) {
|
|
347
|
-
const result_0 = __compactRuntime.keccak256(
|
|
348
|
+
const result_0 = __compactRuntime.keccak256(_descriptor_19, value_0);
|
|
348
349
|
return result_0;
|
|
349
350
|
}
|
|
350
351
|
_keccak256_1(value_0) {
|
|
351
|
-
const result_0 = __compactRuntime.keccak256(
|
|
352
|
+
const result_0 = __compactRuntime.keccak256(_descriptor_17, value_0);
|
|
352
353
|
return result_0;
|
|
353
354
|
}
|
|
354
355
|
_keccak256_2(value_0) {
|
|
355
|
-
const result_0 = __compactRuntime.keccak256(
|
|
356
|
+
const result_0 = __compactRuntime.keccak256(_descriptor_18, value_0);
|
|
356
357
|
return result_0;
|
|
357
358
|
}
|
|
358
359
|
_mul_0(x_0, y_0) {
|
|
@@ -380,13 +381,18 @@ export class Contract {
|
|
|
380
381
|
return result_0;
|
|
381
382
|
}
|
|
382
383
|
_constructSignBidirectionalEventNotificationV1_0(callerAddress_0,
|
|
383
|
-
|
|
384
|
+
requestsPathDepth_0,
|
|
385
|
+
requestsPath_0)
|
|
384
386
|
{
|
|
385
387
|
return { version: 1n,
|
|
386
388
|
payload:
|
|
387
389
|
Uint8Array.from([...Array.from(callerAddress_0.bytes, BigInt),
|
|
388
|
-
|
|
389
|
-
|
|
390
|
+
requestsPathDepth_0,
|
|
391
|
+
requestsPath_0[0],
|
|
392
|
+
requestsPath_0[1],
|
|
393
|
+
requestsPath_0[2],
|
|
394
|
+
requestsPath_0[3],
|
|
395
|
+
...Array.from(new Uint8Array(91), BigInt)],
|
|
390
396
|
Number) };
|
|
391
397
|
}
|
|
392
398
|
_calculateSignetAttestationDigest_0(requestId_0, serializedOutput_0) {
|
|
@@ -441,23 +447,20 @@ export class Contract {
|
|
|
441
447
|
{
|
|
442
448
|
const digest_0 = this._calculateSignetAttestationDigest_2(requestId_0,
|
|
443
449
|
serializedOutput_0);
|
|
444
|
-
|
|
445
|
-
|
|
446
|
-
|
|
447
|
-
|
|
448
|
-
|
|
449
|
-
|
|
450
|
-
|
|
451
|
-
|
|
452
|
-
|
|
453
|
-
|
|
454
|
-
|
|
455
|
-
|
|
456
|
-
|
|
457
|
-
|
|
458
|
-
'Signet.compact line 357 char 12') },
|
|
459
|
-
mpcResponseKey_0);
|
|
460
|
-
return checkpointMatches_0 && signatureValid_0;
|
|
450
|
+
return this._secp256k1EcdsaVerify_0(digest_0,
|
|
451
|
+
{ r:
|
|
452
|
+
__compactRuntime.convertBytesToField(115792089237316195423570985008687907852837564279074904382605163141518161494336n,
|
|
453
|
+
32,
|
|
454
|
+
this._reverseBytes32_0(respondBidirectionalEvent_0.signature.bigR.x),
|
|
455
|
+
'Secp256k1Scalar',
|
|
456
|
+
'Signet.compact line 389 char 12'),
|
|
457
|
+
s:
|
|
458
|
+
__compactRuntime.convertBytesToField(115792089237316195423570985008687907852837564279074904382605163141518161494336n,
|
|
459
|
+
32,
|
|
460
|
+
this._reverseBytes32_0(respondBidirectionalEvent_0.signature.s),
|
|
461
|
+
'Secp256k1Scalar',
|
|
462
|
+
'Signet.compact line 390 char 12') },
|
|
463
|
+
mpcResponseKey_0);
|
|
461
464
|
}
|
|
462
465
|
_signetKeyHash_0(pk_0) { return this._persistentHash_0(pk_0); }
|
|
463
466
|
_evmAddressAbiWord_0(addr_0) {
|
|
@@ -468,7 +471,7 @@ export class Contract {
|
|
|
468
471
|
_numericAbiWord_0(value_0) {
|
|
469
472
|
const le_0 = Array.from(__compactRuntime.convertBigintToBytes(16,
|
|
470
473
|
value_0,
|
|
471
|
-
'Signet.compact line
|
|
474
|
+
'Signet.compact line 471 char 17'),
|
|
472
475
|
BigInt);
|
|
473
476
|
return Uint8Array.from([...Array.from(new Uint8Array(16), BigInt),
|
|
474
477
|
le_0[15],
|
|
@@ -500,7 +503,7 @@ export class Contract {
|
|
|
500
503
|
((e, i) => e.slice(i, i+16))(word_0,
|
|
501
504
|
Number(0n)),
|
|
502
505
|
'Field',
|
|
503
|
-
'Signet.compact line
|
|
506
|
+
'Signet.compact line 490 char 12')
|
|
504
507
|
===
|
|
505
508
|
0n,
|
|
506
509
|
'ABI word exceeds Uint<128>');
|
|
@@ -509,77 +512,77 @@ export class Contract {
|
|
|
509
512
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
510
513
|
Number(16n)),
|
|
511
514
|
'Field',
|
|
512
|
-
'Signet.compact line
|
|
515
|
+
'Signet.compact line 491 char 17');
|
|
513
516
|
const b1_0 = __compactRuntime.addField(__compactRuntime.mulField(b0_0, 256n),
|
|
514
517
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
515
518
|
1,
|
|
516
519
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
517
520
|
Number(17n)),
|
|
518
521
|
'Field',
|
|
519
|
-
'Signet.compact line
|
|
522
|
+
'Signet.compact line 492 char 30'));
|
|
520
523
|
const b2_0 = __compactRuntime.addField(__compactRuntime.mulField(b1_0, 256n),
|
|
521
524
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
522
525
|
1,
|
|
523
526
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
524
527
|
Number(18n)),
|
|
525
528
|
'Field',
|
|
526
|
-
'Signet.compact line
|
|
529
|
+
'Signet.compact line 493 char 30'));
|
|
527
530
|
const b3_0 = __compactRuntime.addField(__compactRuntime.mulField(b2_0, 256n),
|
|
528
531
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
529
532
|
1,
|
|
530
533
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
531
534
|
Number(19n)),
|
|
532
535
|
'Field',
|
|
533
|
-
'Signet.compact line
|
|
536
|
+
'Signet.compact line 494 char 30'));
|
|
534
537
|
const b4_0 = __compactRuntime.addField(__compactRuntime.mulField(b3_0, 256n),
|
|
535
538
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
536
539
|
1,
|
|
537
540
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
538
541
|
Number(20n)),
|
|
539
542
|
'Field',
|
|
540
|
-
'Signet.compact line
|
|
543
|
+
'Signet.compact line 495 char 30'));
|
|
541
544
|
const b5_0 = __compactRuntime.addField(__compactRuntime.mulField(b4_0, 256n),
|
|
542
545
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
543
546
|
1,
|
|
544
547
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
545
548
|
Number(21n)),
|
|
546
549
|
'Field',
|
|
547
|
-
'Signet.compact line
|
|
550
|
+
'Signet.compact line 496 char 30'));
|
|
548
551
|
const b6_0 = __compactRuntime.addField(__compactRuntime.mulField(b5_0, 256n),
|
|
549
552
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
550
553
|
1,
|
|
551
554
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
552
555
|
Number(22n)),
|
|
553
556
|
'Field',
|
|
554
|
-
'Signet.compact line
|
|
557
|
+
'Signet.compact line 497 char 30'));
|
|
555
558
|
const b7_0 = __compactRuntime.addField(__compactRuntime.mulField(b6_0, 256n),
|
|
556
559
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
557
560
|
1,
|
|
558
561
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
559
562
|
Number(23n)),
|
|
560
563
|
'Field',
|
|
561
|
-
'Signet.compact line
|
|
564
|
+
'Signet.compact line 498 char 30'));
|
|
562
565
|
const b8_0 = __compactRuntime.addField(__compactRuntime.mulField(b7_0, 256n),
|
|
563
566
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
564
567
|
1,
|
|
565
568
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
566
569
|
Number(24n)),
|
|
567
570
|
'Field',
|
|
568
|
-
'Signet.compact line
|
|
571
|
+
'Signet.compact line 499 char 30'));
|
|
569
572
|
const b9_0 = __compactRuntime.addField(__compactRuntime.mulField(b8_0, 256n),
|
|
570
573
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
571
574
|
1,
|
|
572
575
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
573
576
|
Number(25n)),
|
|
574
577
|
'Field',
|
|
575
|
-
'Signet.compact line
|
|
578
|
+
'Signet.compact line 500 char 30'));
|
|
576
579
|
const b10_0 = __compactRuntime.addField(__compactRuntime.mulField(b9_0, 256n),
|
|
577
580
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
578
581
|
1,
|
|
579
582
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
580
583
|
Number(26n)),
|
|
581
584
|
'Field',
|
|
582
|
-
'Signet.compact line
|
|
585
|
+
'Signet.compact line 501 char 30'));
|
|
583
586
|
const b11_0 = __compactRuntime.addField(__compactRuntime.mulField(b10_0,
|
|
584
587
|
256n),
|
|
585
588
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
@@ -587,7 +590,7 @@ export class Contract {
|
|
|
587
590
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
588
591
|
Number(27n)),
|
|
589
592
|
'Field',
|
|
590
|
-
'Signet.compact line
|
|
593
|
+
'Signet.compact line 502 char 30'));
|
|
591
594
|
const b12_0 = __compactRuntime.addField(__compactRuntime.mulField(b11_0,
|
|
592
595
|
256n),
|
|
593
596
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
@@ -595,7 +598,7 @@ export class Contract {
|
|
|
595
598
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
596
599
|
Number(28n)),
|
|
597
600
|
'Field',
|
|
598
|
-
'Signet.compact line
|
|
601
|
+
'Signet.compact line 503 char 30'));
|
|
599
602
|
const b13_0 = __compactRuntime.addField(__compactRuntime.mulField(b12_0,
|
|
600
603
|
256n),
|
|
601
604
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
@@ -603,7 +606,7 @@ export class Contract {
|
|
|
603
606
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
604
607
|
Number(29n)),
|
|
605
608
|
'Field',
|
|
606
|
-
'Signet.compact line
|
|
609
|
+
'Signet.compact line 504 char 30'));
|
|
607
610
|
const b14_0 = __compactRuntime.addField(__compactRuntime.mulField(b13_0,
|
|
608
611
|
256n),
|
|
609
612
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
@@ -611,7 +614,7 @@ export class Contract {
|
|
|
611
614
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
612
615
|
Number(30n)),
|
|
613
616
|
'Field',
|
|
614
|
-
'Signet.compact line
|
|
617
|
+
'Signet.compact line 505 char 30'));
|
|
615
618
|
const b15_0 = __compactRuntime.addField(__compactRuntime.mulField(b14_0,
|
|
616
619
|
256n),
|
|
617
620
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
@@ -619,10 +622,10 @@ export class Contract {
|
|
|
619
622
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
620
623
|
Number(31n)),
|
|
621
624
|
'Field',
|
|
622
|
-
'Signet.compact line
|
|
625
|
+
'Signet.compact line 506 char 30'));
|
|
623
626
|
return ((t1) => {
|
|
624
627
|
if (t1 > 340282366920938463463374607431768211455n) {
|
|
625
|
-
throw new __compactRuntime.CompactError('Signet.compact line
|
|
628
|
+
throw new __compactRuntime.CompactError('Signet.compact line 507 char 12: cast from Field or Uint value to smaller Uint value failed: ' + t1 + ' is greater than 340282366920938463463374607431768211455');
|
|
626
629
|
}
|
|
627
630
|
return t1;
|
|
628
631
|
})(b15_0);
|
|
@@ -633,7 +636,7 @@ export class Contract {
|
|
|
633
636
|
((e, i) => e.slice(i, i+31))(word_0,
|
|
634
637
|
Number(0n)),
|
|
635
638
|
'Field',
|
|
636
|
-
'Signet.compact line
|
|
639
|
+
'Signet.compact line 513 char 12')
|
|
637
640
|
===
|
|
638
641
|
0n,
|
|
639
642
|
'ABI word is not a canonical Boolean');
|
|
@@ -642,7 +645,7 @@ export class Contract {
|
|
|
642
645
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
643
646
|
Number(31n)),
|
|
644
647
|
'Field',
|
|
645
|
-
'Signet.compact line
|
|
648
|
+
'Signet.compact line 514 char 18');
|
|
646
649
|
__compactRuntime.assert(last_0 === 0n || last_0 === 1n,
|
|
647
650
|
'ABI word is not a canonical Boolean');
|
|
648
651
|
return last_0 === 1n;
|
|
@@ -669,10 +672,6 @@ export class Contract {
|
|
|
669
672
|
respondBidirectionalEvent_0,
|
|
670
673
|
mpcResponseKey_0);
|
|
671
674
|
}
|
|
672
|
-
_equal_0(x0, y0) {
|
|
673
|
-
if (!x0.every((x, i) => y0[i] === x)) { return false; }
|
|
674
|
-
return true;
|
|
675
|
-
}
|
|
676
675
|
}
|
|
677
676
|
export function ledger(stateOrChargedState) {
|
|
678
677
|
const state = stateOrChargedState instanceof __compactRuntime.StateValue ? stateOrChargedState : stateOrChargedState.state;
|
|
@@ -696,27 +695,36 @@ const _emptyContext = {
|
|
|
696
695
|
const _dummyContract = new Contract({ });
|
|
697
696
|
export const pureCircuits = {
|
|
698
697
|
constructSignBidirectionalEventNotificationV1: (...args_0) => {
|
|
699
|
-
if (args_0.length !==
|
|
700
|
-
throw new __compactRuntime.CompactError(`constructSignBidirectionalEventNotificationV1: expected
|
|
698
|
+
if (args_0.length !== 3) {
|
|
699
|
+
throw new __compactRuntime.CompactError(`constructSignBidirectionalEventNotificationV1: expected 3 arguments (as invoked from Typescript), received ${args_0.length}`);
|
|
701
700
|
}
|
|
702
701
|
const callerAddress_0 = args_0[0];
|
|
703
|
-
const
|
|
702
|
+
const requestsPathDepth_0 = args_0[1];
|
|
703
|
+
const requestsPath_0 = args_0[2];
|
|
704
704
|
if (!(typeof(callerAddress_0) === 'object' && callerAddress_0.bytes.buffer instanceof ArrayBuffer && callerAddress_0.bytes.BYTES_PER_ELEMENT === 1 && callerAddress_0.bytes.length === 32)) {
|
|
705
705
|
__compactRuntime.typeError('constructSignBidirectionalEventNotificationV1',
|
|
706
706
|
'argument 1',
|
|
707
|
-
'Signet.compact line
|
|
707
|
+
'Signet.compact line 247 char 3',
|
|
708
708
|
'struct ContractAddress<bytes: Bytes<32>>',
|
|
709
709
|
callerAddress_0)
|
|
710
710
|
}
|
|
711
|
-
if (!(typeof(
|
|
711
|
+
if (!(typeof(requestsPathDepth_0) === 'bigint' && requestsPathDepth_0 >= 0n && requestsPathDepth_0 <= 255n)) {
|
|
712
712
|
__compactRuntime.typeError('constructSignBidirectionalEventNotificationV1',
|
|
713
713
|
'argument 2',
|
|
714
|
-
'Signet.compact line
|
|
714
|
+
'Signet.compact line 247 char 3',
|
|
715
715
|
'Uint<0..256>',
|
|
716
|
-
|
|
716
|
+
requestsPathDepth_0)
|
|
717
|
+
}
|
|
718
|
+
if (!(Array.isArray(requestsPath_0) && requestsPath_0.length === 4 && requestsPath_0.every((t) => typeof(t) === 'bigint' && t >= 0n && t <= 255n))) {
|
|
719
|
+
__compactRuntime.typeError('constructSignBidirectionalEventNotificationV1',
|
|
720
|
+
'argument 3',
|
|
721
|
+
'Signet.compact line 247 char 3',
|
|
722
|
+
'Vector<4, Uint<0..256>>',
|
|
723
|
+
requestsPath_0)
|
|
717
724
|
}
|
|
718
725
|
return _dummyContract._constructSignBidirectionalEventNotificationV1_0(callerAddress_0,
|
|
719
|
-
|
|
726
|
+
requestsPathDepth_0,
|
|
727
|
+
requestsPath_0);
|
|
720
728
|
},
|
|
721
729
|
signetKeyHash: (...args_0) => {
|
|
722
730
|
if (args_0.length !== 1) {
|
|
@@ -733,7 +741,7 @@ export const pureCircuits = {
|
|
|
733
741
|
if (!(addr_0.buffer instanceof ArrayBuffer && addr_0.BYTES_PER_ELEMENT === 1 && addr_0.length === 20)) {
|
|
734
742
|
__compactRuntime.typeError('evmAddressAbiWord',
|
|
735
743
|
'argument 1',
|
|
736
|
-
'Signet.compact line
|
|
744
|
+
'Signet.compact line 462 char 3',
|
|
737
745
|
'Bytes<20>',
|
|
738
746
|
addr_0)
|
|
739
747
|
}
|
|
@@ -747,7 +755,7 @@ export const pureCircuits = {
|
|
|
747
755
|
if (!(typeof(value_0) === 'bigint' && value_0 >= 0n && value_0 <= 340282366920938463463374607431768211455n)) {
|
|
748
756
|
__compactRuntime.typeError('numericAbiWord',
|
|
749
757
|
'argument 1',
|
|
750
|
-
'Signet.compact line
|
|
758
|
+
'Signet.compact line 468 char 3',
|
|
751
759
|
'Uint<0..340282366920938463463374607431768211456>',
|
|
752
760
|
value_0)
|
|
753
761
|
}
|
|
@@ -761,7 +769,7 @@ export const pureCircuits = {
|
|
|
761
769
|
if (!(typeof(value_0) === 'boolean')) {
|
|
762
770
|
__compactRuntime.typeError('boolAbiWord',
|
|
763
771
|
'argument 1',
|
|
764
|
-
'Signet.compact line
|
|
772
|
+
'Signet.compact line 481 char 3',
|
|
765
773
|
'Boolean',
|
|
766
774
|
value_0)
|
|
767
775
|
}
|
|
@@ -775,7 +783,7 @@ export const pureCircuits = {
|
|
|
775
783
|
if (!(word_0.buffer instanceof ArrayBuffer && word_0.BYTES_PER_ELEMENT === 1 && word_0.length === 32)) {
|
|
776
784
|
__compactRuntime.typeError('abiWordToUint128',
|
|
777
785
|
'argument 1',
|
|
778
|
-
'Signet.compact line
|
|
786
|
+
'Signet.compact line 489 char 3',
|
|
779
787
|
'Bytes<32>',
|
|
780
788
|
word_0)
|
|
781
789
|
}
|
|
@@ -789,7 +797,7 @@ export const pureCircuits = {
|
|
|
789
797
|
if (!(word_0.buffer instanceof ArrayBuffer && word_0.BYTES_PER_ELEMENT === 1 && word_0.length === 32)) {
|
|
790
798
|
__compactRuntime.typeError('abiWordToBool',
|
|
791
799
|
'argument 1',
|
|
792
|
-
'Signet.compact line
|
|
800
|
+
'Signet.compact line 512 char 3',
|
|
793
801
|
'Bytes<32>',
|
|
794
802
|
word_0)
|
|
795
803
|
}
|
|
@@ -886,11 +894,11 @@ export const pureCircuits = {
|
|
|
886
894
|
'Bytes<32>',
|
|
887
895
|
serializedOutput_0)
|
|
888
896
|
}
|
|
889
|
-
if (!(typeof(respondBidirectionalEvent_0) === 'object' &&
|
|
897
|
+
if (!(typeof(respondBidirectionalEvent_0) === 'object' && 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)) {
|
|
890
898
|
__compactRuntime.typeError('verifyRespondBidirectionalEvent32',
|
|
891
899
|
'argument 3',
|
|
892
900
|
'circuits.compact line 55 char 1',
|
|
893
|
-
'struct RespondBidirectionalEvent<
|
|
901
|
+
'struct RespondBidirectionalEvent<signature: struct Signature<bigR: struct AffinePoint<x: Bytes<32>, y: Bytes<32>>, s: Bytes<32>, recoveryId: Uint<0..256>>>',
|
|
894
902
|
respondBidirectionalEvent_0)
|
|
895
903
|
}
|
|
896
904
|
return _dummyContract._verifyRespondBidirectionalEvent32_0(requestId_0,
|
|
@@ -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;;;;;;;;;;MCsPE,MAAA,6CAsBC;;OAAA;MAkID,MAAA,aAEC;;OAAA;MA6DD,MAAA,iBAEC;;OAAA;MAID,MAAA,cASC;;OAAA;MAID,MAAA,WAEC;;OAAA;MAMD,MAAA,gBAmBC;;OAAA;MAID,MAAA,aAKC;;OAAA;MDneH,MAAA,iCAKC;;OAAA;MAED,MAAA,kCAKC;;OAAA;MAED,MAAA,mCAKC;;OAAA;MAED,MAAA,iCAYC;;OAAA;;;;GACA;EAnED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmEC;EEvCD,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,aAAA;gEAAA;;;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;;;EDsPE,AAAA,gDAsBC,CAnBC,eAA8B;mDAG9B,mBAA0B;mDAI1B,cAAgC;;;;8CAMzB,eAAa;gCAChB,mBAAiB;gCACjB,cAAY;gCAAK,cAAY;gCAAK,cAAY;gCAAK,cAAY;;;GAIpE;EAyED,AAAA,mCAKC,CAJC,WAAoB,EACpB,kBAA+C;8BAEe,WAAS,EAAE,kBAAgB;GAC1F;EALD,AAAA,mCAKC,CAJC,WAAoB,EACpB,kBAA+C;8BAEe,WAAS,EAAE,kBAAgB;GAC1F;EALD,AAAA,mCAKC,CAJC,WAAoB,EACpB,kBAA+C;8BAEe,WAAS,EAAE,kBAAgB;GAC1F;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;EAiBD,AAAA,kCAmBC,CAlBC,WAAoB;qCACpB,kBAA+C;qCAC/C,2BAAoD;qCACpD,gBAA8B;;UAExB,QAGL,4CAFC,WAAS;8DACT,kBAAgB;wCAIhB,QAAM;;;;wGAEc,2BAAyB;;;;;;wGACzB,2BAAyB;;;wCAE7C,gBAAc;GAEjB;EAKD,AAAA,gBAEC,CAFiC,IAAkB,kCACZ,IAAE,IACzC;EA6DD,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;EDneH,AAAA,oCAKC,CAJC,WAAoB,EACpB,kBAA0B;oDAEiB,WAAS;oDAAE,kBAAgB;GACvE;EAED,AAAA,qCAKC,CAJC,WAAoB,EACpB,kBAA2B;oDAEiB,WAAS;oDAAE,kBAAgB;GACxE;EAED,AAAA,sCAKC,CAJC,WAAoB,EACpB,kBAA4B;oDAEiB,WAAS;oDAAE,kBAAgB;GACzE;EAED,AAAA,oCAYC,CAXC,WAAoB;uCACpB,kBAA2B;uCAC3B,2BAAoD;uCACpD,gBAA8B;;mDAG5B,WAAS;mDACT,kBAAgB;mDAChB,2BAAyB;mDACzB,gBAAc;GAEjB;;;;;;;;;;;;;;;;;;;;;;;ECoLC,AAAA,6CAsBC;;;;UAnBC,eAA8B;UAG9B,mBAA0B;UAI1B,cAAgC;;;;;;;;;;;;;;;;;;;;;;2EAPhC,eAA8B;2EAG9B,mBAA0B;2EAI1B,cAAgC;GAYjC;EAkID,AAAA,aAEC;;;;UAFiC,IAAkB;2CAAlB,IAAkB;GAEnD;EA6DD,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;EDneH,AAAA,iCAKC;;;;UAJC,WAAoB;UACpB,kBAA0B;;;;;;;;;;;;;;;+DAD1B,WAAoB;+DACpB,kBAA0B;GAG3B;EAED,AAAA,kCAKC;;;;UAJC,WAAoB;UACpB,kBAA2B;;;;;;;;;;;;;;;gEAD3B,WAAoB;gEACpB,kBAA2B;GAG5B;EAED,AAAA,mCAKC;;;;UAJC,WAAoB;UACpB,kBAA4B;;;;;;;;;;;;;;;iEAD5B,WAAoB;iEACpB,kBAA4B;GAG7B;EAED,AAAA,iCAYC;;;;UAXC,WAAoB;UACpB,kBAA2B;UAC3B,2BAAoD;UACpD,gBAA8B;;;;;;;;;;;;;;;;;;;;;;+DAH9B,WAAoB;+DACpB,kBAA2B;+DAC3B,2BAAoD;+DACpD,gBAA8B;GAQ/B;;;;;;"
|
|
8
8
|
}
|
|
@@ -38,13 +38,13 @@ export interface SignetRequestsLedger {
|
|
|
38
38
|
*
|
|
39
39
|
* @param raw - Raw contract state, e.g. `queryContractState(address).data`
|
|
40
40
|
* from the indexer or `ctx.currentQueryContext.state` from the simulator.
|
|
41
|
-
* @param
|
|
42
|
-
* @param
|
|
41
|
+
* @param requestsIndexPath - Resolved ledger-tree path of the request index.
|
|
42
|
+
* @param noncePath - Resolved ledger-tree path of the request counter.
|
|
43
43
|
* @returns The decoded {@link SignetRequestsLedger}.
|
|
44
44
|
* @throws Error if a field is missing, has the wrong state-value shape, or a
|
|
45
45
|
* record matches no capacity split.
|
|
46
46
|
*/
|
|
47
|
-
export declare function readSignetRequestsLedgerFromState(raw: RawContractState,
|
|
47
|
+
export declare function readSignetRequestsLedgerFromState(raw: RawContractState, requestsIndexPath: readonly number[], noncePath: readonly number[]): SignetRequestsLedger;
|
|
48
48
|
/**
|
|
49
49
|
* Look up ONE request by id in a contract's request index at an arbitrary
|
|
50
50
|
* ledger field, the single-record sibling of
|
|
@@ -66,9 +66,10 @@ export declare function readSignetRequestsLedgerFromState(raw: RawContractState,
|
|
|
66
66
|
* fieldIndex, …).requestsIndex.get(requestId)`.
|
|
67
67
|
*
|
|
68
68
|
* @param raw - Raw contract state, e.g. `queryContractState(address).data`.
|
|
69
|
-
* @param
|
|
69
|
+
* @param requestsPath - Resolved ledger-tree path of the request index in
|
|
70
|
+
* `raw`, as the notification carries it.
|
|
70
71
|
* @param requestId - The request id to look up.
|
|
71
72
|
* @returns The stored request record, or `undefined` when it is not a member.
|
|
72
73
|
*/
|
|
73
|
-
export declare function lookupSignetRequestAt(raw: RawContractState,
|
|
74
|
+
export declare function lookupSignetRequestAt(raw: RawContractState, requestsPath: readonly number[], requestId: RequestIdHex): SignBidirectionalEvent | undefined;
|
|
74
75
|
//# sourceMappingURL=signature-requests-state-reader.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
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,
|
|
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,iBAAiB,EAAE,SAAS,MAAM,EAAE,EACpC,SAAS,EAAE,SAAS,MAAM,EAAE,GAC3B,oBAAoB,CAqBtB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,gBAAgB,EACrB,YAAY,EAAE,SAAS,MAAM,EAAE,EAC/B,SAAS,EAAE,YAAY,GACtB,sBAAsB,GAAG,SAAS,CA2BpC"}
|