@sig-net/midnight 0.12.0 → 0.14.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 +22 -10
- package/dist/abi-serde.d.ts.map +1 -1
- package/dist/abi-serde.js +35 -28
- package/dist/abi-serde.js.map +1 -1
- package/dist/constants.d.ts +22 -23
- package/dist/constants.d.ts.map +1 -1
- package/dist/constants.js +24 -26
- package/dist/constants.js.map +1 -1
- 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 +0 -7
- package/dist/managed/compiler/contract-manifest.json +8 -8
- package/dist/managed/contract/index.d.ts +2 -4
- package/dist/managed/contract/index.js +46 -54
- package/dist/managed/contract/index.js.map +1 -1
- package/dist/signet-contract-state-reader.d.ts +11 -11
- package/dist/signet-contract-state-reader.d.ts.map +1 -1
- package/dist/signet-contract-state-reader.js +8 -16
- package/dist/signet-contract-state-reader.js.map +1 -1
- package/dist/signet-request-response-reader.d.ts +31 -5
- package/dist/signet-request-response-reader.d.ts.map +1 -1
- package/dist/signet-request-response-reader.js +34 -4
- package/dist/signet-request-response-reader.js.map +1 -1
- package/package.json +2 -2
- package/src/Signet.compact +57 -65
|
@@ -29,8 +29,7 @@ export type PureCircuits = {
|
|
|
29
29
|
serializedOutput_0: Uint8Array): Uint8Array;
|
|
30
30
|
verifyRespondBidirectionalEvent32(requestId_0: Uint8Array,
|
|
31
31
|
serializedOutput_0: Uint8Array,
|
|
32
|
-
respondBidirectionalEvent_0: {
|
|
33
|
-
signature: { bigR: { x: Uint8Array,
|
|
32
|
+
respondBidirectionalEvent_0: { signature: { bigR: { x: Uint8Array,
|
|
34
33
|
y: Uint8Array
|
|
35
34
|
},
|
|
36
35
|
s: Uint8Array,
|
|
@@ -68,8 +67,7 @@ export type Circuits<PS> = {
|
|
|
68
67
|
verifyRespondBidirectionalEvent32(context: __compactRuntime.CircuitContext<PS>,
|
|
69
68
|
requestId_0: Uint8Array,
|
|
70
69
|
serializedOutput_0: Uint8Array,
|
|
71
|
-
respondBidirectionalEvent_0: {
|
|
72
|
-
signature: { bigR: { x: Uint8Array,
|
|
70
|
+
respondBidirectionalEvent_0: { signature: { bigR: { x: Uint8Array,
|
|
73
71
|
y: Uint8Array
|
|
74
72
|
},
|
|
75
73
|
s: Uint8Array,
|
|
@@ -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
|
|
|
@@ -441,23 +440,20 @@ export class Contract {
|
|
|
441
440
|
{
|
|
442
441
|
const digest_0 = this._calculateSignetAttestationDigest_2(requestId_0,
|
|
443
442
|
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;
|
|
443
|
+
return this._secp256k1EcdsaVerify_0(digest_0,
|
|
444
|
+
{ r:
|
|
445
|
+
__compactRuntime.convertBytesToField(115792089237316195423570985008687907852837564279074904382605163141518161494336n,
|
|
446
|
+
32,
|
|
447
|
+
this._reverseBytes32_0(respondBidirectionalEvent_0.signature.bigR.x),
|
|
448
|
+
'Secp256k1Scalar',
|
|
449
|
+
'Signet.compact line 349 char 12'),
|
|
450
|
+
s:
|
|
451
|
+
__compactRuntime.convertBytesToField(115792089237316195423570985008687907852837564279074904382605163141518161494336n,
|
|
452
|
+
32,
|
|
453
|
+
this._reverseBytes32_0(respondBidirectionalEvent_0.signature.s),
|
|
454
|
+
'Secp256k1Scalar',
|
|
455
|
+
'Signet.compact line 350 char 12') },
|
|
456
|
+
mpcResponseKey_0);
|
|
461
457
|
}
|
|
462
458
|
_signetKeyHash_0(pk_0) { return this._persistentHash_0(pk_0); }
|
|
463
459
|
_evmAddressAbiWord_0(addr_0) {
|
|
@@ -468,7 +464,7 @@ export class Contract {
|
|
|
468
464
|
_numericAbiWord_0(value_0) {
|
|
469
465
|
const le_0 = Array.from(__compactRuntime.convertBigintToBytes(16,
|
|
470
466
|
value_0,
|
|
471
|
-
'Signet.compact line
|
|
467
|
+
'Signet.compact line 431 char 17'),
|
|
472
468
|
BigInt);
|
|
473
469
|
return Uint8Array.from([...Array.from(new Uint8Array(16), BigInt),
|
|
474
470
|
le_0[15],
|
|
@@ -500,7 +496,7 @@ export class Contract {
|
|
|
500
496
|
((e, i) => e.slice(i, i+16))(word_0,
|
|
501
497
|
Number(0n)),
|
|
502
498
|
'Field',
|
|
503
|
-
'Signet.compact line
|
|
499
|
+
'Signet.compact line 450 char 12')
|
|
504
500
|
===
|
|
505
501
|
0n,
|
|
506
502
|
'ABI word exceeds Uint<128>');
|
|
@@ -509,77 +505,77 @@ export class Contract {
|
|
|
509
505
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
510
506
|
Number(16n)),
|
|
511
507
|
'Field',
|
|
512
|
-
'Signet.compact line
|
|
508
|
+
'Signet.compact line 451 char 17');
|
|
513
509
|
const b1_0 = __compactRuntime.addField(__compactRuntime.mulField(b0_0, 256n),
|
|
514
510
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
515
511
|
1,
|
|
516
512
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
517
513
|
Number(17n)),
|
|
518
514
|
'Field',
|
|
519
|
-
'Signet.compact line
|
|
515
|
+
'Signet.compact line 452 char 30'));
|
|
520
516
|
const b2_0 = __compactRuntime.addField(__compactRuntime.mulField(b1_0, 256n),
|
|
521
517
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
522
518
|
1,
|
|
523
519
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
524
520
|
Number(18n)),
|
|
525
521
|
'Field',
|
|
526
|
-
'Signet.compact line
|
|
522
|
+
'Signet.compact line 453 char 30'));
|
|
527
523
|
const b3_0 = __compactRuntime.addField(__compactRuntime.mulField(b2_0, 256n),
|
|
528
524
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
529
525
|
1,
|
|
530
526
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
531
527
|
Number(19n)),
|
|
532
528
|
'Field',
|
|
533
|
-
'Signet.compact line
|
|
529
|
+
'Signet.compact line 454 char 30'));
|
|
534
530
|
const b4_0 = __compactRuntime.addField(__compactRuntime.mulField(b3_0, 256n),
|
|
535
531
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
536
532
|
1,
|
|
537
533
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
538
534
|
Number(20n)),
|
|
539
535
|
'Field',
|
|
540
|
-
'Signet.compact line
|
|
536
|
+
'Signet.compact line 455 char 30'));
|
|
541
537
|
const b5_0 = __compactRuntime.addField(__compactRuntime.mulField(b4_0, 256n),
|
|
542
538
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
543
539
|
1,
|
|
544
540
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
545
541
|
Number(21n)),
|
|
546
542
|
'Field',
|
|
547
|
-
'Signet.compact line
|
|
543
|
+
'Signet.compact line 456 char 30'));
|
|
548
544
|
const b6_0 = __compactRuntime.addField(__compactRuntime.mulField(b5_0, 256n),
|
|
549
545
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
550
546
|
1,
|
|
551
547
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
552
548
|
Number(22n)),
|
|
553
549
|
'Field',
|
|
554
|
-
'Signet.compact line
|
|
550
|
+
'Signet.compact line 457 char 30'));
|
|
555
551
|
const b7_0 = __compactRuntime.addField(__compactRuntime.mulField(b6_0, 256n),
|
|
556
552
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
557
553
|
1,
|
|
558
554
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
559
555
|
Number(23n)),
|
|
560
556
|
'Field',
|
|
561
|
-
'Signet.compact line
|
|
557
|
+
'Signet.compact line 458 char 30'));
|
|
562
558
|
const b8_0 = __compactRuntime.addField(__compactRuntime.mulField(b7_0, 256n),
|
|
563
559
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
564
560
|
1,
|
|
565
561
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
566
562
|
Number(24n)),
|
|
567
563
|
'Field',
|
|
568
|
-
'Signet.compact line
|
|
564
|
+
'Signet.compact line 459 char 30'));
|
|
569
565
|
const b9_0 = __compactRuntime.addField(__compactRuntime.mulField(b8_0, 256n),
|
|
570
566
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
571
567
|
1,
|
|
572
568
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
573
569
|
Number(25n)),
|
|
574
570
|
'Field',
|
|
575
|
-
'Signet.compact line
|
|
571
|
+
'Signet.compact line 460 char 30'));
|
|
576
572
|
const b10_0 = __compactRuntime.addField(__compactRuntime.mulField(b9_0, 256n),
|
|
577
573
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
578
574
|
1,
|
|
579
575
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
580
576
|
Number(26n)),
|
|
581
577
|
'Field',
|
|
582
|
-
'Signet.compact line
|
|
578
|
+
'Signet.compact line 461 char 30'));
|
|
583
579
|
const b11_0 = __compactRuntime.addField(__compactRuntime.mulField(b10_0,
|
|
584
580
|
256n),
|
|
585
581
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
@@ -587,7 +583,7 @@ export class Contract {
|
|
|
587
583
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
588
584
|
Number(27n)),
|
|
589
585
|
'Field',
|
|
590
|
-
'Signet.compact line
|
|
586
|
+
'Signet.compact line 462 char 30'));
|
|
591
587
|
const b12_0 = __compactRuntime.addField(__compactRuntime.mulField(b11_0,
|
|
592
588
|
256n),
|
|
593
589
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
@@ -595,7 +591,7 @@ export class Contract {
|
|
|
595
591
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
596
592
|
Number(28n)),
|
|
597
593
|
'Field',
|
|
598
|
-
'Signet.compact line
|
|
594
|
+
'Signet.compact line 463 char 30'));
|
|
599
595
|
const b13_0 = __compactRuntime.addField(__compactRuntime.mulField(b12_0,
|
|
600
596
|
256n),
|
|
601
597
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
@@ -603,7 +599,7 @@ export class Contract {
|
|
|
603
599
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
604
600
|
Number(29n)),
|
|
605
601
|
'Field',
|
|
606
|
-
'Signet.compact line
|
|
602
|
+
'Signet.compact line 464 char 30'));
|
|
607
603
|
const b14_0 = __compactRuntime.addField(__compactRuntime.mulField(b13_0,
|
|
608
604
|
256n),
|
|
609
605
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
@@ -611,7 +607,7 @@ export class Contract {
|
|
|
611
607
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
612
608
|
Number(30n)),
|
|
613
609
|
'Field',
|
|
614
|
-
'Signet.compact line
|
|
610
|
+
'Signet.compact line 465 char 30'));
|
|
615
611
|
const b15_0 = __compactRuntime.addField(__compactRuntime.mulField(b14_0,
|
|
616
612
|
256n),
|
|
617
613
|
__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
@@ -619,10 +615,10 @@ export class Contract {
|
|
|
619
615
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
620
616
|
Number(31n)),
|
|
621
617
|
'Field',
|
|
622
|
-
'Signet.compact line
|
|
618
|
+
'Signet.compact line 466 char 30'));
|
|
623
619
|
return ((t1) => {
|
|
624
620
|
if (t1 > 340282366920938463463374607431768211455n) {
|
|
625
|
-
throw new __compactRuntime.CompactError('Signet.compact line
|
|
621
|
+
throw new __compactRuntime.CompactError('Signet.compact line 467 char 12: cast from Field or Uint value to smaller Uint value failed: ' + t1 + ' is greater than 340282366920938463463374607431768211455');
|
|
626
622
|
}
|
|
627
623
|
return t1;
|
|
628
624
|
})(b15_0);
|
|
@@ -633,7 +629,7 @@ export class Contract {
|
|
|
633
629
|
((e, i) => e.slice(i, i+31))(word_0,
|
|
634
630
|
Number(0n)),
|
|
635
631
|
'Field',
|
|
636
|
-
'Signet.compact line
|
|
632
|
+
'Signet.compact line 473 char 12')
|
|
637
633
|
===
|
|
638
634
|
0n,
|
|
639
635
|
'ABI word is not a canonical Boolean');
|
|
@@ -642,7 +638,7 @@ export class Contract {
|
|
|
642
638
|
((e, i) => e.slice(i, i+1))(word_0,
|
|
643
639
|
Number(31n)),
|
|
644
640
|
'Field',
|
|
645
|
-
'Signet.compact line
|
|
641
|
+
'Signet.compact line 474 char 18');
|
|
646
642
|
__compactRuntime.assert(last_0 === 0n || last_0 === 1n,
|
|
647
643
|
'ABI word is not a canonical Boolean');
|
|
648
644
|
return last_0 === 1n;
|
|
@@ -669,10 +665,6 @@ export class Contract {
|
|
|
669
665
|
respondBidirectionalEvent_0,
|
|
670
666
|
mpcResponseKey_0);
|
|
671
667
|
}
|
|
672
|
-
_equal_0(x0, y0) {
|
|
673
|
-
if (!x0.every((x, i) => y0[i] === x)) { return false; }
|
|
674
|
-
return true;
|
|
675
|
-
}
|
|
676
668
|
}
|
|
677
669
|
export function ledger(stateOrChargedState) {
|
|
678
670
|
const state = stateOrChargedState instanceof __compactRuntime.StateValue ? stateOrChargedState : stateOrChargedState.state;
|
|
@@ -704,14 +696,14 @@ export const pureCircuits = {
|
|
|
704
696
|
if (!(typeof(callerAddress_0) === 'object' && callerAddress_0.bytes.buffer instanceof ArrayBuffer && callerAddress_0.bytes.BYTES_PER_ELEMENT === 1 && callerAddress_0.bytes.length === 32)) {
|
|
705
697
|
__compactRuntime.typeError('constructSignBidirectionalEventNotificationV1',
|
|
706
698
|
'argument 1',
|
|
707
|
-
'Signet.compact line
|
|
699
|
+
'Signet.compact line 218 char 3',
|
|
708
700
|
'struct ContractAddress<bytes: Bytes<32>>',
|
|
709
701
|
callerAddress_0)
|
|
710
702
|
}
|
|
711
703
|
if (!(typeof(requestsIndexField_0) === 'bigint' && requestsIndexField_0 >= 0n && requestsIndexField_0 <= 255n)) {
|
|
712
704
|
__compactRuntime.typeError('constructSignBidirectionalEventNotificationV1',
|
|
713
705
|
'argument 2',
|
|
714
|
-
'Signet.compact line
|
|
706
|
+
'Signet.compact line 218 char 3',
|
|
715
707
|
'Uint<0..256>',
|
|
716
708
|
requestsIndexField_0)
|
|
717
709
|
}
|
|
@@ -733,7 +725,7 @@ export const pureCircuits = {
|
|
|
733
725
|
if (!(addr_0.buffer instanceof ArrayBuffer && addr_0.BYTES_PER_ELEMENT === 1 && addr_0.length === 20)) {
|
|
734
726
|
__compactRuntime.typeError('evmAddressAbiWord',
|
|
735
727
|
'argument 1',
|
|
736
|
-
'Signet.compact line
|
|
728
|
+
'Signet.compact line 422 char 3',
|
|
737
729
|
'Bytes<20>',
|
|
738
730
|
addr_0)
|
|
739
731
|
}
|
|
@@ -747,7 +739,7 @@ export const pureCircuits = {
|
|
|
747
739
|
if (!(typeof(value_0) === 'bigint' && value_0 >= 0n && value_0 <= 340282366920938463463374607431768211455n)) {
|
|
748
740
|
__compactRuntime.typeError('numericAbiWord',
|
|
749
741
|
'argument 1',
|
|
750
|
-
'Signet.compact line
|
|
742
|
+
'Signet.compact line 428 char 3',
|
|
751
743
|
'Uint<0..340282366920938463463374607431768211456>',
|
|
752
744
|
value_0)
|
|
753
745
|
}
|
|
@@ -761,7 +753,7 @@ export const pureCircuits = {
|
|
|
761
753
|
if (!(typeof(value_0) === 'boolean')) {
|
|
762
754
|
__compactRuntime.typeError('boolAbiWord',
|
|
763
755
|
'argument 1',
|
|
764
|
-
'Signet.compact line
|
|
756
|
+
'Signet.compact line 441 char 3',
|
|
765
757
|
'Boolean',
|
|
766
758
|
value_0)
|
|
767
759
|
}
|
|
@@ -775,7 +767,7 @@ export const pureCircuits = {
|
|
|
775
767
|
if (!(word_0.buffer instanceof ArrayBuffer && word_0.BYTES_PER_ELEMENT === 1 && word_0.length === 32)) {
|
|
776
768
|
__compactRuntime.typeError('abiWordToUint128',
|
|
777
769
|
'argument 1',
|
|
778
|
-
'Signet.compact line
|
|
770
|
+
'Signet.compact line 449 char 3',
|
|
779
771
|
'Bytes<32>',
|
|
780
772
|
word_0)
|
|
781
773
|
}
|
|
@@ -789,7 +781,7 @@ export const pureCircuits = {
|
|
|
789
781
|
if (!(word_0.buffer instanceof ArrayBuffer && word_0.BYTES_PER_ELEMENT === 1 && word_0.length === 32)) {
|
|
790
782
|
__compactRuntime.typeError('abiWordToBool',
|
|
791
783
|
'argument 1',
|
|
792
|
-
'Signet.compact line
|
|
784
|
+
'Signet.compact line 472 char 3',
|
|
793
785
|
'Bytes<32>',
|
|
794
786
|
word_0)
|
|
795
787
|
}
|
|
@@ -886,11 +878,11 @@ export const pureCircuits = {
|
|
|
886
878
|
'Bytes<32>',
|
|
887
879
|
serializedOutput_0)
|
|
888
880
|
}
|
|
889
|
-
if (!(typeof(respondBidirectionalEvent_0) === 'object' &&
|
|
881
|
+
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
882
|
__compactRuntime.typeError('verifyRespondBidirectionalEvent32',
|
|
891
883
|
'argument 3',
|
|
892
884
|
'circuits.compact line 55 char 1',
|
|
893
|
-
'struct RespondBidirectionalEvent<
|
|
885
|
+
'struct RespondBidirectionalEvent<signature: struct Signature<bigR: struct AffinePoint<x: Bytes<32>, y: Bytes<32>>, s: Bytes<32>, recoveryId: Uint<0..256>>>',
|
|
894
886
|
respondBidirectionalEvent_0)
|
|
895
887
|
}
|
|
896
888
|
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;;;;;;;;;;MCyNE,MAAA,6CAWC;;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;MD3bH,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;;;EDyNE,AAAA,gDAWC,CARC,eAA8B;mDAC9B,oBAA2B;;;;8CAKP,eAAa;gCAAQ,oBAAkB;;;GAE5D;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;ED3bH,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;;;;;;;;;;;;;;;;;;;;;;;ECuJC,AAAA,6CAWC;;;;UARC,eAA8B;UAC9B,oBAA2B;;;;;;;;;;;;;;;2EAD3B,eAA8B;2EAC9B,oBAA2B;GAO5B;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;ED3bH,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
|
}
|
|
@@ -58,17 +58,17 @@ export interface SignatureRespondedEvent {
|
|
|
58
58
|
export declare const signatureRespondedEventType: CompactType<SignatureRespondedEvent>;
|
|
59
59
|
/**
|
|
60
60
|
* The MPC's respond-bidirectional attestation of a request's remote EVM
|
|
61
|
-
* execution (Compact `RespondBidirectionalEvent`): the
|
|
62
|
-
* `keccak256(requestId || serializedOutput)
|
|
63
|
-
*
|
|
64
|
-
* digest (`calculateSignetAttestationDigest`) and
|
|
65
|
-
*
|
|
66
|
-
*
|
|
67
|
-
* (in-circuit via
|
|
61
|
+
* execution (Compact `RespondBidirectionalEvent`): the ECDSA signature over
|
|
62
|
+
* the attestation digest `keccak256(requestId || serializedOutput)`. Both the
|
|
63
|
+
* digest and the output travel off chain: readers fetch the output, recompute
|
|
64
|
+
* the digest (`calculateSignetAttestationDigest`) and verify the signature
|
|
65
|
+
* over it. Stored UNVERIFIED by the signet contract, so that signature check
|
|
66
|
+
* against the expected MPC response key is the only thing separating a
|
|
67
|
+
* genuine post from garbage (in-circuit via
|
|
68
|
+
* `verifyRespondBidirectionalEvent`, off chain via
|
|
69
|
+
* {@link verifyRespondBidirectionalSignature}).
|
|
68
70
|
*/
|
|
69
71
|
export interface RespondBidirectionalEvent {
|
|
70
|
-
/** The signed attestation digest: `keccak256(requestId || serializedOutput)`. */
|
|
71
|
-
attestationDigest: Uint8Array;
|
|
72
72
|
/** ECDSA signature over the attestation digest. */
|
|
73
73
|
signature: MpcSignature;
|
|
74
74
|
}
|
|
@@ -91,8 +91,8 @@ export interface SignetMapKey {
|
|
|
91
91
|
*/
|
|
92
92
|
export declare const signetMapKeyType: CompactType<SignetMapKey>;
|
|
93
93
|
/**
|
|
94
|
-
* Hand-composed descriptor for {@link RespondBidirectionalEvent}
|
|
95
|
-
*
|
|
94
|
+
* Hand-composed descriptor for {@link RespondBidirectionalEvent}: the single
|
|
95
|
+
* {@link MpcSignature} field, matching the Compact struct.
|
|
96
96
|
*/
|
|
97
97
|
export declare const respondBidirectionalEventType: CompactType<RespondBidirectionalEvent>;
|
|
98
98
|
/**
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"signet-contract-state-reader.d.ts","sourceRoot":"","sources":["../src/signet-contract-state-reader.ts"],"names":[],"mappings":"AAiBA,OAAO,EAGL,KAAK,WAAW,EACjB,MAAM,iCAAiC,CAAC;AAEzC,OAAO,EAGL,KAAK,SAAS,EACd,KAAK,YAAY,EAClB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAIL,KAAK,gBAAgB,EACtB,MAAM,8BAA8B,CAAC;AAEtC,8EAA8E;AAC9E,eAAO,MAAM,uDAAuD,IAAI,CAAC;AAEzE,sEAAsE;AACtE,eAAO,MAAM,+CAA+C,IAAI,CAAC;AAEjE,2EAA2E;AAC3E,eAAO,MAAM,yBAAyB,IAAI,CAAC;AAE3C,wEAAwE;AACxE,eAAO,MAAM,iBAAiB,IAAI,CAAC;AAEnC,uFAAuF;AACvF,eAAO,MAAM,uCAAuC,IAAI,CAAC;AAEzD,+EAA+E;AAC/E,eAAO,MAAM,+BAA+B,IAAI,CAAC;AAajD;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,6CAA6C;IAC7C,CAAC,EAAE,UAAU,CAAC;IACd,6CAA6C;IAC7C,CAAC,EAAE,UAAU,CAAC;CACf;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,YAAY;IAC3B,qCAAqC;IACrC,IAAI,EAAE,WAAW,CAAC;IAClB,+CAA+C;IAC/C,CAAC,EAAE,UAAU,CAAC;IACd,2CAA2C;IAC3C,UAAU,EAAE,MAAM,CAAC;CACpB;AA2CD;;;;;GAKG;AACH,MAAM,WAAW,uBAAuB;IACtC,0EAA0E;IAC1E,SAAS,EAAE,YAAY,CAAC;CACzB;AAED;;;GAGG;AACH,eAAO,MAAM,2BAA2B,EAAE,WAAW,CAAC,uBAAuB,CAuB5E,CAAC;AAEF
|
|
1
|
+
{"version":3,"file":"signet-contract-state-reader.d.ts","sourceRoot":"","sources":["../src/signet-contract-state-reader.ts"],"names":[],"mappings":"AAiBA,OAAO,EAGL,KAAK,WAAW,EACjB,MAAM,iCAAiC,CAAC;AAEzC,OAAO,EAGL,KAAK,SAAS,EACd,KAAK,YAAY,EAClB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAIL,KAAK,gBAAgB,EACtB,MAAM,8BAA8B,CAAC;AAEtC,8EAA8E;AAC9E,eAAO,MAAM,uDAAuD,IAAI,CAAC;AAEzE,sEAAsE;AACtE,eAAO,MAAM,+CAA+C,IAAI,CAAC;AAEjE,2EAA2E;AAC3E,eAAO,MAAM,yBAAyB,IAAI,CAAC;AAE3C,wEAAwE;AACxE,eAAO,MAAM,iBAAiB,IAAI,CAAC;AAEnC,uFAAuF;AACvF,eAAO,MAAM,uCAAuC,IAAI,CAAC;AAEzD,+EAA+E;AAC/E,eAAO,MAAM,+BAA+B,IAAI,CAAC;AAajD;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,6CAA6C;IAC7C,CAAC,EAAE,UAAU,CAAC;IACd,6CAA6C;IAC7C,CAAC,EAAE,UAAU,CAAC;CACf;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,YAAY;IAC3B,qCAAqC;IACrC,IAAI,EAAE,WAAW,CAAC;IAClB,+CAA+C;IAC/C,CAAC,EAAE,UAAU,CAAC;IACd,2CAA2C;IAC3C,UAAU,EAAE,MAAM,CAAC;CACpB;AA2CD;;;;;GAKG;AACH,MAAM,WAAW,uBAAuB;IACtC,0EAA0E;IAC1E,SAAS,EAAE,YAAY,CAAC;CACzB;AAED;;;GAGG;AACH,eAAO,MAAM,2BAA2B,EAAE,WAAW,CAAC,uBAAuB,CAuB5E,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,yBAAyB;IACxC,mDAAmD;IACnD,SAAS,EAAE,YAAY,CAAC;CACzB;AAED;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,6EAA6E;IAC7E,KAAK,EAAE,MAAM,CAAC;IACd,uDAAuD;IACvD,SAAS,EAAE,SAAS,CAAC;CACtB;AAED;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,EAAE,WAAW,CAAC,YAAY,CA0BtD,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,6BAA6B,EAAE,WAAW,CAAC,yBAAyB,CAuBhF,CAAC;AAKF;;;;GAIG;AACH,MAAM,WAAW,mCAAmC;IAClD,iEAAiE;IACjE,OAAO,EAAE,MAAM,CAAC;IAChB,+EAA+E;IAC/E,OAAO,EAAE,UAAU,CAAC;CACrB;AAED;;;GAGG;AACH,eAAO,MAAM,iCAAiC,EAAE,WAAW,CAAC,mCAAmC,CA8B5F,CAAC;AAWJ;;;;;;;GAOG;AACH,MAAM,WAAW,6BAA6B;IAC5C,gEAAgE;IAChE,OAAO,EAAE,MAAM,CAAC;IAChB;;;;;OAKG;IACH,aAAa,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,kBAAkB,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,mCAAmC,CACjD,MAAM,EAAE,mCAAmC,GAC1C,6BAA6B,CA0B/B;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,kCAAkC,GAAG,GAAG,CAClD,YAAY,EACZ,mCAAmC,CACpC,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,GAAG,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;AAE3D;;;;GAIG;AACH,MAAM,MAAM,sBAAsB,GAAG,GAAG,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;AAE1E;;;GAGG;AACH,MAAM,MAAM,yBAAyB,GAAG,GAAG,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAAC;AAE/E;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAEzE;AA2CD;;;;;;;;;;;;GAYG;AACH,wBAAgB,+CAA+C,CAC7D,GAAG,EAAE,gBAAgB,GACpB,kCAAkC,CAyBpC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,oBAAoB;IACnC,gEAAgE;IAChE,4CAA4C,EAAE,kBAAkB,CAAC;IACjE;;;OAGG;IACH,qCAAqC,EAAE,kCAAkC,CAAC;IAC1E,6DAA6D;IAC7D,iBAAiB,EAAE,kBAAkB,CAAC;IACtC,mFAAmF;IACnF,UAAU,EAAE,sBAAsB,CAAC;IACnC,yEAAyE;IACzE,8BAA8B,EAAE,kBAAkB,CAAC;IACnD,0FAA0F;IAC1F,uBAAuB,EAAE,yBAAyB,CAAC;CACpD;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,iCAAiC,CAC/C,GAAG,EAAE,gBAAgB,GACpB,oBAAoB,CA2BtB"}
|
|
@@ -138,39 +138,31 @@ export const signetMapKeyType = {
|
|
|
138
138
|
},
|
|
139
139
|
};
|
|
140
140
|
/**
|
|
141
|
-
* Hand-composed descriptor for {@link RespondBidirectionalEvent}
|
|
142
|
-
*
|
|
141
|
+
* Hand-composed descriptor for {@link RespondBidirectionalEvent}: the single
|
|
142
|
+
* {@link MpcSignature} field, matching the Compact struct.
|
|
143
143
|
*/
|
|
144
144
|
export const respondBidirectionalEventType = {
|
|
145
|
-
/** @returns
|
|
145
|
+
/** @returns Alignment of the struct's single signature field. */
|
|
146
146
|
alignment() {
|
|
147
|
-
return
|
|
148
|
-
.alignment()
|
|
149
|
-
.concat(mpcSignatureType.alignment());
|
|
147
|
+
return mpcSignatureType.alignment();
|
|
150
148
|
},
|
|
151
149
|
/**
|
|
152
|
-
* Decode one response record from an aligned value
|
|
153
|
-
* by field.
|
|
150
|
+
* Decode one response record from an aligned value.
|
|
154
151
|
*
|
|
155
152
|
* @param value - Mutable aligned value cursor: pass a copy.
|
|
156
153
|
* @returns The decoded record.
|
|
157
154
|
*/
|
|
158
155
|
fromValue(value) {
|
|
159
|
-
return {
|
|
160
|
-
attestationDigest: bytes32.fromValue(value),
|
|
161
|
-
signature: mpcSignatureType.fromValue(value),
|
|
162
|
-
};
|
|
156
|
+
return { signature: mpcSignatureType.fromValue(value) };
|
|
163
157
|
},
|
|
164
158
|
/**
|
|
165
159
|
* Encode a response record into its aligned on-ledger representation.
|
|
166
160
|
*
|
|
167
161
|
* @param record - The record to encode.
|
|
168
|
-
* @returns The aligned value
|
|
162
|
+
* @returns The aligned value.
|
|
169
163
|
*/
|
|
170
164
|
toValue(record) {
|
|
171
|
-
return
|
|
172
|
-
.toValue(record.attestationDigest)
|
|
173
|
-
.concat(mpcSignatureType.toValue(record.signature));
|
|
165
|
+
return mpcSignatureType.toValue(record.signature);
|
|
174
166
|
},
|
|
175
167
|
};
|
|
176
168
|
/** Descriptor for the notification's packed V1 payload (`Bytes<128>`). */
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"signet-contract-state-reader.js","sourceRoot":"","sources":["../src/signet-contract-state-reader.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,uEAAuE;AACvE,6EAA6E;AAC7E,oEAAoE;AACpE,2EAA2E;AAC3E,4BAA4B;AAC5B,oFAAoF;AACpF,qFAAqF;AACrF,yDAAyD;AACzD,qEAAqE;AACrE,sEAAsE;AACtE,oFAAoF;AACpF,6DAA6D;AAC7D,oEAAoE;AACpE,0EAA0E;AAC1E,kDAAkD;AAElD,OAAO,EACL,gBAAgB,EAChB,0BAA0B,GAE3B,MAAM,iCAAiC,CAAC;AAEzC,OAAO,EACL,UAAU,EACV,YAAY,GAGb,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EACL,aAAa,EACb,eAAe,EACf,GAAG,GAEJ,MAAM,8BAA8B,CAAC;AAEtC,8EAA8E;AAC9E,MAAM,CAAC,MAAM,uDAAuD,GAAG,CAAC,CAAC;AAEzE,sEAAsE;AACtE,MAAM,CAAC,MAAM,+CAA+C,GAAG,CAAC,CAAC;AAEjE,2EAA2E;AAC3E,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC;AAE3C,wEAAwE;AACxE,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAEnC,uFAAuF;AACvF,MAAM,CAAC,MAAM,uCAAuC,GAAG,CAAC,CAAC;AAEzD,+EAA+E;AAC/E,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC,CAAC;AAEjD,0EAA0E;AAC1E,kEAAkE;AAClE,6EAA6E;AAC7E,+DAA+D;AAE/D,yEAAyE;AACzE,MAAM,OAAO,GAAG,IAAI,gBAAgB,CAAC,EAAE,CAAC,CAAC;AAEzC,oEAAoE;AACpE,MAAM,EAAE,GAAG,IAAI,0BAA0B,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AAgCnD;;;GAGG;AACH,MAAM,gBAAgB,GAA8B;IAClD,+EAA+E;IAC/E,SAAS;QACP,OAAO,OAAO;aACX,SAAS,EAAE;aACX,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;aAC3B,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;aAC3B,MAAM,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC;IAC5B,CAAC;IACD;;;;;OAKG;IACH,SAAS,CAAC,KAAK;QACb,OAAO;YACL,IAAI,EAAE,EAAE,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE;YAClE,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC;YAC3B,UAAU,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC;SAChC,CAAC;IACJ,CAAC;IACD;;;;;OAKG;IACH,OAAO,CAAC,MAAM;QACZ,OAAO,OAAO;aACX,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;aACtB,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;aACtC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;aACjC,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IAC3C,CAAC;CACF,CAAC;AAaF;;;GAGG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAyC;IAC/E,iEAAiE;IACjE,SAAS;QACP,OAAO,gBAAgB,CAAC,SAAS,EAAE,CAAC;IACtC,CAAC;IACD;;;;;OAKG;IACH,SAAS,CAAC,KAAK;QACb,OAAO,EAAE,SAAS,EAAE,gBAAgB,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;IAC1D,CAAC;IACD;;;;;OAKG;IACH,OAAO,CAAC,MAAM;QACZ,OAAO,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACpD,CAAC;CACF,CAAC;AAgCF;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAA8B;IACzD,+EAA+E;IAC/E,SAAS;QACP,OAAO,GAAG,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,EAAE,CAAC,CAAC;IAC3D,CAAC;IACD;;;;;OAKG;IACH,SAAS,CAAC,KAAK;QACb,OAAO;YACL,KAAK,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC;YAC3B,SAAS,EAAE,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC;SAC1C,CAAC;IACJ,CAAC;IACD;;;;;OAKG;IACH,OAAO,CAAC,GAAG;QACT,OAAO,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;IAC7E,CAAC;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAA2C;IACnF
|
|
1
|
+
{"version":3,"file":"signet-contract-state-reader.js","sourceRoot":"","sources":["../src/signet-contract-state-reader.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,uEAAuE;AACvE,6EAA6E;AAC7E,oEAAoE;AACpE,2EAA2E;AAC3E,4BAA4B;AAC5B,oFAAoF;AACpF,qFAAqF;AACrF,yDAAyD;AACzD,qEAAqE;AACrE,sEAAsE;AACtE,oFAAoF;AACpF,6DAA6D;AAC7D,oEAAoE;AACpE,0EAA0E;AAC1E,kDAAkD;AAElD,OAAO,EACL,gBAAgB,EAChB,0BAA0B,GAE3B,MAAM,iCAAiC,CAAC;AAEzC,OAAO,EACL,UAAU,EACV,YAAY,GAGb,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EACL,aAAa,EACb,eAAe,EACf,GAAG,GAEJ,MAAM,8BAA8B,CAAC;AAEtC,8EAA8E;AAC9E,MAAM,CAAC,MAAM,uDAAuD,GAAG,CAAC,CAAC;AAEzE,sEAAsE;AACtE,MAAM,CAAC,MAAM,+CAA+C,GAAG,CAAC,CAAC;AAEjE,2EAA2E;AAC3E,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC;AAE3C,wEAAwE;AACxE,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAEnC,uFAAuF;AACvF,MAAM,CAAC,MAAM,uCAAuC,GAAG,CAAC,CAAC;AAEzD,+EAA+E;AAC/E,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC,CAAC;AAEjD,0EAA0E;AAC1E,kEAAkE;AAClE,6EAA6E;AAC7E,+DAA+D;AAE/D,yEAAyE;AACzE,MAAM,OAAO,GAAG,IAAI,gBAAgB,CAAC,EAAE,CAAC,CAAC;AAEzC,oEAAoE;AACpE,MAAM,EAAE,GAAG,IAAI,0BAA0B,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AAgCnD;;;GAGG;AACH,MAAM,gBAAgB,GAA8B;IAClD,+EAA+E;IAC/E,SAAS;QACP,OAAO,OAAO;aACX,SAAS,EAAE;aACX,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;aAC3B,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;aAC3B,MAAM,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC;IAC5B,CAAC;IACD;;;;;OAKG;IACH,SAAS,CAAC,KAAK;QACb,OAAO;YACL,IAAI,EAAE,EAAE,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE;YAClE,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC;YAC3B,UAAU,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC;SAChC,CAAC;IACJ,CAAC;IACD;;;;;OAKG;IACH,OAAO,CAAC,MAAM;QACZ,OAAO,OAAO;aACX,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;aACtB,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;aACtC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;aACjC,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IAC3C,CAAC;CACF,CAAC;AAaF;;;GAGG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAyC;IAC/E,iEAAiE;IACjE,SAAS;QACP,OAAO,gBAAgB,CAAC,SAAS,EAAE,CAAC;IACtC,CAAC;IACD;;;;;OAKG;IACH,SAAS,CAAC,KAAK;QACb,OAAO,EAAE,SAAS,EAAE,gBAAgB,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;IAC1D,CAAC;IACD;;;;;OAKG;IACH,OAAO,CAAC,MAAM;QACZ,OAAO,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACpD,CAAC;CACF,CAAC;AAgCF;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAA8B;IACzD,+EAA+E;IAC/E,SAAS;QACP,OAAO,GAAG,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,EAAE,CAAC,CAAC;IAC3D,CAAC;IACD;;;;;OAKG;IACH,SAAS,CAAC,KAAK;QACb,OAAO;YACL,KAAK,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC;YAC3B,SAAS,EAAE,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC;SAC1C,CAAC;IACJ,CAAC;IACD;;;;;OAKG;IACH,OAAO,CAAC,GAAG;QACT,OAAO,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;IAC7E,CAAC;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAA2C;IACnF,iEAAiE;IACjE,SAAS;QACP,OAAO,gBAAgB,CAAC,SAAS,EAAE,CAAC;IACtC,CAAC;IACD;;;;;OAKG;IACH,SAAS,CAAC,KAAK;QACb,OAAO,EAAE,SAAS,EAAE,gBAAgB,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;IAC1D,CAAC;IACD;;;;;OAKG;IACH,OAAO,CAAC,MAAM;QACZ,OAAO,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACpD,CAAC;CACF,CAAC;AAEF,0EAA0E;AAC1E,MAAM,eAAe,GAAG,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC;AAclD;;;GAGG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAC5C;IACE,+EAA+E;IAC/E,SAAS;QACP,OAAO,EAAE,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,SAAS,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD;;;;;;OAMG;IACH,SAAS,CAAC,KAAK;QACb,OAAO;YACL,OAAO,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC;YAC5B,OAAO,EAAE,eAAe,CAAC,SAAS,CAAC,KAAK,CAAC;SAC1C,CAAC;IACJ,CAAC;IACD;;;;;OAKG;IACH,OAAO,CAAC,MAAM;QACZ,OAAO,EAAE;aACN,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC;aACvB,MAAM,CAAC,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IACrD,CAAC;CACF,CAAC;AAEJ,yFAAyF;AACzF,MAAM,kCAAkC,GAAG,CAAC,CAAC;AAE7C,gFAAgF;AAChF,MAAM,wCAAwC,GAAG,EAAE,CAAC;AAEpD,qGAAqG;AACrG,MAAM,8BAA8B,GAAG,EAAE,CAAC;AA4B1C;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,mCAAmC,CACjD,MAA2C;IAE3C,IAAI,MAAM,CAAC,OAAO,KAAK,8BAA8B,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CACb,8CAA8C,MAAM,CAAC,OAAO,oBAAoB;YAC9E,qCAAqC,8BAA8B,GAAG,CACzE,CAAC;IACJ,CAAC;IACD,MAAM,aAAa,GAAG,UAAU,CAC9B,MAAM,CAAC,OAAO,CAAC,KAAK,CAClB,kCAAkC,EAClC,wCAAwC,CACzC,CACF,CAAC;IACF,MAAM,kBAAkB,GACtB,MAAM,CAAC,OAAO,CAAC,wCAAwC,CAAC,CAAC;IAC3D,IAAI,kBAAkB,KAAK,SAAS,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CACb,iDAAiD,MAAM,CAAC,OAAO,CAAC,MAAM,UAAU;YAC9E,qDAAqD,wCAAwC,EAAE,CAClG,CAAC;IACJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;QAC/B,aAAa;QACb,kBAAkB;KACnB,CAAC;AACJ,CAAC;AAmCD;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAAC,EAAgB,EAAE,KAAa;IAC/D,OAAO,GAAG,EAAE,IAAI,KAAK,EAAE,CAAC;AAC1B,CAAC;AAED,yFAAyF;AACzF,SAAS,cAAc,CAAC,GAAqB,EAAE,KAAa;IAC1D,MAAM,UAAU,GAAG,eAAe,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;IACvD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,gBAAgB,KAAK,eAAe,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,KAAK,GAAuB,IAAI,GAAG,EAAE,CAAC;IAC5C,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC;QACpC,gEAAgE;QAChE,MAAM,SAAS,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1D,2CAA2C;QAC3C,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC;QAC3C,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+EAA+E;AAC/E,SAAS,kBAAkB,CACzB,GAAqB,EACrB,KAAa,EACb,SAAyB;IAEzB,MAAM,GAAG,GAAG,eAAe,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;IAChD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,gBAAgB,KAAK,eAAe,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAa,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1D,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC;QACpC,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,KAAK,CAAC,GAAG,CACP,iBAAiB,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,EAC/D,SAAS,CAAC,SAAS,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CACrC,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,+CAA+C,CAC7D,GAAqB;IAErB,MAAM,eAAe,GAAG,eAAe,CACrC,GAAG,EACH,+CAA+C,CAChD,CAAC,KAAK,EAAE,CAAC;IACV,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CACb,gBAAgB,+CAA+C,eAAe,CAC/E,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAuC,IAAI,GAAG,EAAE,CAAC;IAC5D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC/C,KAAK,MAAM,GAAG,IAAI,eAAe,CAAC,IAAI,EAAE,EAAE,CAAC;QACzC,gEAAgE;QAChE,MAAM,MAAM,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1D,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC;QAChD,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,MAAM,EAAE,GAAG,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,qDAAqD;QACrD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,IAAI,MAAM,CAAC,KAAK;YAAE,SAAS;QACzD,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QAC7B,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,iCAAiC,CAAC,SAAS,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AA2BD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,iCAAiC,CAC/C,GAAqB;IAErB,OAAO;QACL,4CAA4C,EAAE,cAAc,CAC1D,GAAG,EACH,uDAAuD,CACxD;QACD,qCAAqC,EACnC,+CAA+C,CAAC,GAAG,CAAC;QACtD,iBAAiB,EAAE,cAAc,CAC/B,GAAG,EACH,yBAAyB,CAC1B;QACD,UAAU,EAAE,kBAAkB,CAC5B,GAAG,EACH,iBAAiB,EACjB,2BAA2B,CAC5B;QACD,8BAA8B,EAAE,cAAc,CAC5C,GAAG,EACH,uCAAuC,CACxC;QACD,uBAAuB,EAAE,kBAAkB,CACzC,GAAG,EACH,+BAA+B,EAC/B,6BAA6B,CAC9B;KACF,CAAC;AACJ,CAAC"}
|
|
@@ -1,8 +1,9 @@
|
|
|
1
1
|
import type { PublicDataProvider } from "@midnight-ntwrk/midnight-js-types";
|
|
2
2
|
import type { Transaction } from "ethers";
|
|
3
3
|
import { type SignatureRespondedEvent, type RespondBidirectionalEvent } from "./signet-contract-state-reader.ts";
|
|
4
|
+
import { type Secp256k1Point } from "./ecdsa-attestation.ts";
|
|
4
5
|
import type { RawContractState } from "./signature-state-reading.ts";
|
|
5
|
-
import type
|
|
6
|
+
import { type SignBidirectionalEvent, type RequestIdHex } from "./signet-requests.ts";
|
|
6
7
|
/**
|
|
7
8
|
* The least of midnight-js's `PublicDataProvider` the reader needs: raw
|
|
8
9
|
* contract state by address. Declared structurally so tests can satisfy it
|
|
@@ -153,10 +154,11 @@ export declare class SignetRequestResponseReader {
|
|
|
153
154
|
/**
|
|
154
155
|
* Fetch every respond-bidirectional response posted for `requestId`, in
|
|
155
156
|
* post (count) order. UNVERIFIED: the signet contract stores posts without
|
|
156
|
-
* checking them, so any entry may be garbage.
|
|
157
|
-
*
|
|
158
|
-
*
|
|
159
|
-
*
|
|
157
|
+
* checking them, so any entry may be garbage. Each post carries a signature
|
|
158
|
+
* and nothing else, so verifying it against the MPC response key you expect
|
|
159
|
+
* is the only way to pick the genuine one: in-circuit at claim time, or off
|
|
160
|
+
* chain with {@link verifyRespondBidirectionalSignature} over the output you
|
|
161
|
+
* fetched. An empty array simply means none posted yet: poll again.
|
|
160
162
|
*
|
|
161
163
|
* @param requestId - The request id whose responses to enumerate.
|
|
162
164
|
* @returns The posted records, index = count, empty when none yet.
|
|
@@ -164,5 +166,29 @@ export declare class SignetRequestResponseReader {
|
|
|
164
166
|
* disagrees with the log (inconsistent ledger).
|
|
165
167
|
*/
|
|
166
168
|
getRespondBidirectionalEvents(requestId: RequestIdHex): Promise<RespondBidirectionalEvent[]>;
|
|
169
|
+
/**
|
|
170
|
+
* Fetch the respond-bidirectional posts for `requestId` and return the
|
|
171
|
+
* first (lowest count) one whose signature verifies over
|
|
172
|
+
* `serializedOutput` against `mpcResponseKey`: the off-chain twin of the
|
|
173
|
+
* check the client contract runs in-circuit, and the only way to pick a
|
|
174
|
+
* genuine post out of an unauthenticated log now that posts carry nothing
|
|
175
|
+
* but a signature.
|
|
176
|
+
*
|
|
177
|
+
* The output must be the exact unpadded bytes the attestation commits to
|
|
178
|
+
* (the packed respond payload, recomputed from the execution output the
|
|
179
|
+
* client fetched), so a post that verifies here is the post that proves at
|
|
180
|
+
* claim time.
|
|
181
|
+
*
|
|
182
|
+
* @param requestId - The request id to fetch a verified attestation for.
|
|
183
|
+
* @param serializedOutput - The serialised execution output the attestation
|
|
184
|
+
* must commit to, exact unpadded bytes.
|
|
185
|
+
* @param mpcResponseKey - The MPC response key the requesting contract
|
|
186
|
+
* pinned at deploy (see `deriveMidnightResponseKey`).
|
|
187
|
+
* @returns The first verifying post, or `undefined` when none has been
|
|
188
|
+
* posted yet (poll again) or none attests this output.
|
|
189
|
+
* @throws Error when the signet contract has no state, or its counter
|
|
190
|
+
* disagrees with the log (inconsistent ledger).
|
|
191
|
+
*/
|
|
192
|
+
getVerifiedRespondBidirectionalEvent(requestId: RequestIdHex, serializedOutput: Uint8Array, mpcResponseKey: Secp256k1Point): Promise<RespondBidirectionalEvent | undefined>;
|
|
167
193
|
}
|
|
168
194
|
//# sourceMappingURL=signet-request-response-reader.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"signet-request-response-reader.d.ts","sourceRoot":"","sources":["../src/signet-request-response-reader.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AAC5E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,QAAQ,CAAC;AAG1C,OAAO,EAGL,KAAK,uBAAuB,EAC5B,KAAK,yBAAyB,EAC/B,MAAM,mCAAmC,CAAC;AAE3C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAKrE,OAAO,KAAK,
|
|
1
|
+
{"version":3,"file":"signet-request-response-reader.d.ts","sourceRoot":"","sources":["../src/signet-request-response-reader.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AAC5E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,QAAQ,CAAC;AAG1C,OAAO,EAGL,KAAK,uBAAuB,EAC5B,KAAK,yBAAyB,EAC/B,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EAEL,KAAK,cAAc,EACpB,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAKrE,OAAO,EAEL,KAAK,sBAAsB,EAC3B,KAAK,YAAY,EAClB,MAAM,sBAAsB,CAAC;AAE9B;;;;;GAKG;AACH,MAAM,WAAW,uBAAuB;IACtC;;;;;;OAMG;IACH,kBAAkB,CAChB,eAAe,EAAE,UAAU,CAAC,kBAAkB,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,GACvE,OAAO,CAAC;QAAE,IAAI,EAAE,gBAAgB,CAAA;KAAE,GAAG,IAAI,CAAC,CAAC;CAC/C;AAED,yEAAyE;AACzE,MAAM,WAAW,iCAAiC;IAChD,2EAA2E;IAC3E,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C;;;;;OAKG;IACH,QAAQ,CAAC,2BAA2B,EAAE,MAAM,CAAC;IAC7C,8CAA8C;IAC9C,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,oFAAoF;IACpF,QAAQ,CAAC,kBAAkB,EAAE,uBAAuB,CAAC;CACtD;AAED,4DAA4D;AAC5D,MAAM,WAAW,wBAAwB;IACvC,kEAAkE;IAClE,KAAK,EAAE,MAAM,CAAC;IACd,6CAA6C;IAC7C,QAAQ,EAAE,uBAAuB,CAAC;IAClC,0EAA0E;IAC1E,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,gEAAgE;IAChE,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,2FAA2F;AAC3F,MAAM,WAAW,+BAA+B;IAC9C;;;OAGG;IACH,QAAQ,CAAC,EAAE,uBAAuB,CAAC;IACnC;;;OAGG;IACH,QAAQ,EAAE,wBAAwB,EAAE,CAAC;CACtC;AAED;;;;;GAKG;AACH,qBAAa,2BAA2B;IACtC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAoC;IAG3D,OAAO,CAAC,QAAQ,CAAC,YAAY,CAGzB;IAEJ;;OAEG;gBACS,MAAM,EAAE,iCAAiC;IAIrD;;;;;;;OAOG;YACW,aAAa;IAc3B;;;;;;;;;OASG;IACG,mBAAmB,CACvB,SAAS,EAAE,YAAY,GACtB,OAAO,CAAC,sBAAsB,CAAC;IAwBlC;;;;;;;;;OASG;IACG,qBAAqB,CACzB,SAAS,EAAE,YAAY,GACtB,OAAO,CAAC,uBAAuB,EAAE,CAAC;IAwBrC;;;;;;;;;;;;;OAaG;IACG,kCAAkC,CACtC,SAAS,EAAE,YAAY,EACvB,cAAc,EAAE,MAAM,GACrB,OAAO,CAAC,+BAA+B,CAAC;IAiC3C;;;;;;;;;;;OAWG;IACG,yBAAyB,CAC7B,SAAS,EAAE,YAAY,GACtB,OAAO,CAAC,WAAW,CAAC;IAMvB;;;;;;;;;;;;;;;OAeG;IACG,uBAAuB,CAC3B,SAAS,EAAE,YAAY,EACvB,cAAc,EAAE,MAAM,GACrB,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC;IAcnC;;;;;;;;;;;;;OAaG;IACG,6BAA6B,CACjC,SAAS,EAAE,YAAY,GACtB,OAAO,CAAC,yBAAyB,EAAE,CAAC;IAwBvC;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACG,oCAAoC,CACxC,SAAS,EAAE,YAAY,EACvB,gBAAgB,EAAE,UAAU,EAC5B,cAAc,EAAE,cAAc,GAC7B,OAAO,CAAC,yBAAyB,GAAG,SAAS,CAAC;CAWlD"}
|