@proto-kit/protocol 0.1.1-develop.164 → 0.1.1-develop.185

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (100) hide show
  1. package/dist/model/MethodPublicOutput.d.ts +6 -7
  2. package/dist/model/MethodPublicOutput.d.ts.map +1 -1
  3. package/dist/model/Option.d.ts +11 -7
  4. package/dist/model/Option.d.ts.map +1 -1
  5. package/dist/model/Option.js +10 -0
  6. package/dist/model/StateTransition.d.ts +11 -0
  7. package/dist/model/StateTransition.d.ts.map +1 -1
  8. package/dist/model/StateTransition.js +7 -0
  9. package/dist/model/StateTransitionProvableBatch.d.ts +4 -4
  10. package/dist/model/StateTransitionProvableBatch.d.ts.map +1 -1
  11. package/dist/model/StateTransitionProvableBatch.js +6 -6
  12. package/dist/model/network/NetworkState.d.ts.map +1 -1
  13. package/dist/model/network/NetworkState.js +1 -3
  14. package/dist/model/transaction/RuntimeTransaction.d.ts +9 -1
  15. package/dist/model/transaction/RuntimeTransaction.d.ts.map +1 -1
  16. package/dist/model/transaction/RuntimeTransaction.js +5 -2
  17. package/dist/protocol/Protocol.d.ts +1 -1
  18. package/dist/protocol/Protocol.d.ts.map +1 -1
  19. package/dist/protocol/ProtocolModule.d.ts +1 -1
  20. package/dist/protocol/ProtocolModule.d.ts.map +1 -1
  21. package/dist/protocol/ProtocolModule.js +3 -3
  22. package/dist/prover/block/BlockProvable.d.ts +1 -1
  23. package/dist/prover/block/BlockProvable.d.ts.map +1 -1
  24. package/dist/prover/block/BlockProver.d.ts.map +1 -1
  25. package/dist/prover/statetransition/StateTransitionProver.d.ts +2 -2
  26. package/dist/prover/statetransition/StateTransitionProver.d.ts.map +1 -1
  27. package/dist/prover/statetransition/StateTransitionProver.js +5 -4
  28. package/dist/prover/statetransition/StateTransitionWitnessProvider.d.ts +1 -1
  29. package/dist/prover/statetransition/StateTransitionWitnessProvider.d.ts.map +1 -1
  30. package/dist/prover/statetransition/StateTransitionWitnessProvider.js +1 -1
  31. package/dist/prover/statetransition/StateTransitionWitnessProviderReference.d.ts.map +1 -1
  32. package/dist/utils/merkletree/InMemoryMerkleTreeStorage.d.ts.map +1 -1
  33. package/dist/utils/merkletree/InMemoryMerkleTreeStorage.js +3 -3
  34. package/dist/utils/merkletree/RollupMerkleTree.d.ts +6 -6
  35. package/dist/utils/merkletree/RollupMerkleTree.d.ts.map +1 -1
  36. package/dist/utils/merkletree/RollupMerkleTree.js +4 -4
  37. package/dist/utils/{Utils.d.ts → utils.d.ts} +2 -5
  38. package/dist/utils/{Utils.d.ts.map → utils.d.ts.map} +1 -1
  39. package/dist/utils/utils.js +51 -0
  40. package/package.json +5 -6
  41. package/src/model/Option.ts +13 -0
  42. package/src/model/StateTransition.ts +8 -0
  43. package/src/model/StateTransitionProvableBatch.ts +8 -7
  44. package/src/model/network/NetworkState.ts +1 -3
  45. package/src/model/transaction/RuntimeTransaction.ts +5 -1
  46. package/src/protocol/Protocol.ts +1 -1
  47. package/src/protocol/ProtocolModule.ts +4 -5
  48. package/src/prover/block/BlockProvable.ts +2 -2
  49. package/src/prover/block/BlockProver.ts +6 -1
  50. package/src/prover/statetransition/StateTransitionProver.ts +6 -9
  51. package/src/prover/statetransition/StateTransitionWitnessProvider.ts +1 -1
  52. package/src/prover/statetransition/StateTransitionWitnessProviderReference.ts +2 -2
  53. package/src/utils/merkletree/InMemoryMerkleTreeStorage.ts +4 -4
  54. package/src/utils/merkletree/MerkleTreeStore.ts +1 -1
  55. package/src/utils/merkletree/RollupMerkleTree.ts +9 -4
  56. package/src/utils/utils.ts +29 -45
  57. package/test/utils.test.ts +30 -0
  58. package/dist/config/ConfigurableModule.d.ts +0 -18
  59. package/dist/config/ConfigurableModule.d.ts.map +0 -1
  60. package/dist/config/ConfigurableModule.js +0 -20
  61. package/dist/config/ConfigurationAggregator.d.ts +0 -10
  62. package/dist/config/ConfigurationAggregator.d.ts.map +0 -1
  63. package/dist/config/ConfigurationAggregator.js +0 -35
  64. package/dist/config/ConfigurationReceiver.d.ts +0 -25
  65. package/dist/config/ConfigurationReceiver.d.ts.map +0 -1
  66. package/dist/config/ConfigurationReceiver.js +0 -36
  67. package/dist/config/ModuleContainer.d.ts +0 -44
  68. package/dist/config/ModuleContainer.d.ts.map +0 -1
  69. package/dist/config/ModuleContainer.js +0 -89
  70. package/dist/config/types.d.ts +0 -2
  71. package/dist/config/types.d.ts.map +0 -1
  72. package/dist/config/types.js +0 -1
  73. package/dist/model/MethodPublicInput.d.ts +0 -51
  74. package/dist/model/MethodPublicInput.d.ts.map +0 -1
  75. package/dist/model/MethodPublicInput.js +0 -11
  76. package/dist/prover/block/BlockScopedModule.d.ts +0 -3
  77. package/dist/prover/block/BlockScopedModule.d.ts.map +0 -1
  78. package/dist/prover/block/BlockScopedModule.js +0 -6
  79. package/dist/src/model/Option.d.ts +0 -158
  80. package/dist/src/model/Option.d.ts.map +0 -1
  81. package/dist/src/model/Option.js +0 -53
  82. package/dist/src/model/Path.d.ts +0 -35
  83. package/dist/src/model/Path.d.ts.map +0 -1
  84. package/dist/src/model/Path.js +0 -51
  85. package/dist/src/model/StateTransition.d.ts +0 -201
  86. package/dist/src/model/StateTransition.d.ts.map +0 -1
  87. package/dist/src/model/StateTransition.js +0 -43
  88. package/dist/src/utils/PrefixedHashList.d.ts +0 -15
  89. package/dist/src/utils/PrefixedHashList.d.ts.map +0 -1
  90. package/dist/src/utils/PrefixedHashList.js +0 -28
  91. package/dist/src/utils/ProvableHashList.d.ts +0 -30
  92. package/dist/src/utils/ProvableHashList.d.ts.map +0 -1
  93. package/dist/src/utils/ProvableHashList.js +0 -43
  94. package/dist/utils/PrefixedHashList.d.ts +0 -14
  95. package/dist/utils/PrefixedHashList.d.ts.map +0 -1
  96. package/dist/utils/PrefixedHashList.js +0 -12
  97. package/dist/utils/Utils.js +0 -64
  98. package/dist/utils/merkletree/MemoryMerkleTreeStorage.d.ts +0 -26
  99. package/dist/utils/merkletree/MemoryMerkleTreeStorage.d.ts.map +0 -1
  100. package/dist/utils/merkletree/MemoryMerkleTreeStorage.js +0 -79
@@ -1,25 +1,24 @@
1
- import { Bool } from "snarkyjs";
2
1
  declare const MethodPublicOutput_base: (new (value: {
3
2
  stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
4
- status: Bool;
3
+ status: import("snarkyjs/dist/node/lib/bool").Bool;
5
4
  transactionHash: import("snarkyjs/dist/node/lib/field").Field;
6
5
  networkStateHash: import("snarkyjs/dist/node/lib/field").Field;
7
6
  }) => {
8
7
  stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
9
- status: Bool;
8
+ status: import("snarkyjs/dist/node/lib/bool").Bool;
10
9
  transactionHash: import("snarkyjs/dist/node/lib/field").Field;
11
10
  networkStateHash: import("snarkyjs/dist/node/lib/field").Field;
12
11
  }) & {
13
12
  _isStruct: true;
14
13
  } & import("snarkyjs/dist/node/snarky").ProvablePure<{
15
14
  stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
16
- status: Bool;
15
+ status: import("snarkyjs/dist/node/lib/bool").Bool;
17
16
  transactionHash: import("snarkyjs/dist/node/lib/field").Field;
18
17
  networkStateHash: import("snarkyjs/dist/node/lib/field").Field;
19
18
  }> & {
20
19
  toInput: (x: {
21
20
  stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
22
- status: Bool;
21
+ status: import("snarkyjs/dist/node/lib/bool").Bool;
23
22
  transactionHash: import("snarkyjs/dist/node/lib/field").Field;
24
23
  networkStateHash: import("snarkyjs/dist/node/lib/field").Field;
25
24
  }) => {
@@ -28,7 +27,7 @@ declare const MethodPublicOutput_base: (new (value: {
28
27
  };
29
28
  toJSON: (x: {
30
29
  stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
31
- status: Bool;
30
+ status: import("snarkyjs/dist/node/lib/bool").Bool;
32
31
  transactionHash: import("snarkyjs/dist/node/lib/field").Field;
33
32
  networkStateHash: import("snarkyjs/dist/node/lib/field").Field;
34
33
  }) => {
@@ -44,7 +43,7 @@ declare const MethodPublicOutput_base: (new (value: {
44
43
  networkStateHash: string;
45
44
  }) => {
46
45
  stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
47
- status: Bool;
46
+ status: import("snarkyjs/dist/node/lib/bool").Bool;
48
47
  transactionHash: import("snarkyjs/dist/node/lib/field").Field;
49
48
  networkStateHash: import("snarkyjs/dist/node/lib/field").Field;
50
49
  };
@@ -1 +1 @@
1
- {"version":3,"file":"MethodPublicOutput.d.ts","sourceRoot":"","sources":["../../src/model/MethodPublicOutput.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAiB,MAAM,UAAU,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE/C;;;GAGG;AACH,qBAAa,kBAAmB,SAAQ,uBAKtC;CAAG"}
1
+ {"version":3,"file":"MethodPublicOutput.d.ts","sourceRoot":"","sources":["../../src/model/MethodPublicOutput.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEA;;;GAGG;AACH,qBAAa,kBAAmB,SAAQ,uBAKtC;CAAG"}
@@ -1,25 +1,25 @@
1
1
  import { Bool, Field, type FlexibleProvablePure } from "snarkyjs";
2
2
  declare const ProvableOption_base: (new (value: {
3
- isSome: Bool;
3
+ isSome: import("snarkyjs/dist/node/lib/bool").Bool;
4
4
  value: import("snarkyjs/dist/node/lib/field").Field;
5
5
  }) => {
6
- isSome: Bool;
6
+ isSome: import("snarkyjs/dist/node/lib/bool").Bool;
7
7
  value: import("snarkyjs/dist/node/lib/field").Field;
8
8
  }) & {
9
9
  _isStruct: true;
10
10
  } & import("snarkyjs/dist/node/snarky").ProvablePure<{
11
- isSome: Bool;
11
+ isSome: import("snarkyjs/dist/node/lib/bool").Bool;
12
12
  value: import("snarkyjs/dist/node/lib/field").Field;
13
13
  }> & {
14
14
  toInput: (x: {
15
- isSome: Bool;
15
+ isSome: import("snarkyjs/dist/node/lib/bool").Bool;
16
16
  value: import("snarkyjs/dist/node/lib/field").Field;
17
17
  }) => {
18
18
  fields?: import("snarkyjs/dist/node/lib/field").Field[] | undefined;
19
19
  packed?: [import("snarkyjs/dist/node/lib/field").Field, number][] | undefined;
20
20
  };
21
21
  toJSON: (x: {
22
- isSome: Bool;
22
+ isSome: import("snarkyjs/dist/node/lib/bool").Bool;
23
23
  value: import("snarkyjs/dist/node/lib/field").Field;
24
24
  }) => {
25
25
  isSome: boolean;
@@ -29,7 +29,7 @@ declare const ProvableOption_base: (new (value: {
29
29
  isSome: boolean;
30
30
  value: string;
31
31
  }) => {
32
- isSome: Bool;
32
+ isSome: import("snarkyjs/dist/node/lib/bool").Bool;
33
33
  value: import("snarkyjs/dist/node/lib/field").Field;
34
34
  };
35
35
  };
@@ -72,7 +72,7 @@ export declare class Option<Value> {
72
72
  * @returns Dummy value for the given value type
73
73
  */
74
74
  static dummyValue<Value>(valueType: FlexibleProvablePure<Value>): Value;
75
- isForcedSome: Bool;
75
+ isForcedSome: import("snarkyjs/dist/node/lib/bool").Bool;
76
76
  constructor(isSome: Bool, value: Value, valueType: FlexibleProvablePure<Value>);
77
77
  clone(): Option<Value>;
78
78
  forceSome(): void;
@@ -89,6 +89,10 @@ export declare class Option<Value> {
89
89
  * @returns Provable representation of the current option.
90
90
  */
91
91
  toProvable(): ProvableOption;
92
+ toJSON(): {
93
+ isSome: boolean;
94
+ value: string;
95
+ };
92
96
  }
93
97
  export {};
94
98
  //# sourceMappingURL=Option.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"Option.d.ts","sourceRoot":"","sources":["../../src/model/Option.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,KAAK,EACL,KAAK,oBAAoB,EAI1B,MAAM,UAAU,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAElB,qBAAa,cAAe,SAAQ,mBAGlC;IACO,MAAM;CAId;AAED;;GAEG;AACH,qBAAa,MAAM,CAAC,KAAK;IA+Dd,MAAM,EAAE,IAAI;IACZ,KAAK,EAAE,KAAK;IACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAhE/C;;;;;;;OAOG;WACW,IAAI,CAAC,KAAK,EACtB,MAAM,EAAE,IAAI,EACZ,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAKxC;;;;;;OAMG;WACW,SAAS,CAAC,KAAK,EAC3B,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAKxC;;OAEG;WACW,IAAI;WAIJ,gBAAgB,CAAC,KAAK,EAClC,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC,GACrC,KAAK,EAAE;IAKV;;;;;OAKG;WACW,UAAU,CAAC,KAAK,EAC5B,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC,GACrC,KAAK;IAOD,YAAY,OAAe;gBAGzB,MAAM,EAAE,IAAI,EACZ,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAGxC,KAAK;IAIL,SAAS;IAKhB;;OAEG;IACH,IAAW,SAAS,iDAQnB;IAED;;;OAGG;IACI,QAAQ,IAAI,KAAK,EAAE;IAO1B;;OAEG;IACI,UAAU;CAMlB"}
1
+ {"version":3,"file":"Option.d.ts","sourceRoot":"","sources":["../../src/model/Option.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,KAAK,EACL,KAAK,oBAAoB,EAI1B,MAAM,UAAU,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAElB,qBAAa,cAAe,SAAQ,mBAGlC;IACO,MAAM;CAId;AAED;;GAEG;AACH,qBAAa,MAAM,CAAC,KAAK;IA+Dd,MAAM,EAAE,IAAI;IACZ,KAAK,EAAE,KAAK;IACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAhE/C;;;;;;;OAOG;WACW,IAAI,CAAC,KAAK,EACtB,MAAM,EAAE,IAAI,EACZ,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAKxC;;;;;;OAMG;WACW,SAAS,CAAC,KAAK,EAC3B,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAKxC;;OAEG;WACW,IAAI;WAIJ,gBAAgB,CAAC,KAAK,EAClC,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC,GACrC,KAAK,EAAE;IAKV;;;;;OAKG;WACW,UAAU,CAAC,KAAK,EAC5B,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC,GACrC,KAAK;IAOD,YAAY,6CAAe;gBAGzB,MAAM,EAAE,IAAI,EACZ,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAGxC,KAAK;IAIL,SAAS;IAKhB;;OAEG;IACH,IAAW,SAAS,iDAQnB;IAED;;;OAGG;IACI,QAAQ,IAAI,KAAK,EAAE;IAO1B;;OAEG;IACI,UAAU;IAOV,MAAM;;;;CAYd"}
@@ -93,4 +93,14 @@ export class Option {
93
93
  value: this.treeValue,
94
94
  });
95
95
  }
96
+ toJSON() {
97
+ const valueContent = this.valueType
98
+ .toFields(this.value)
99
+ .map((field) => field.toString())
100
+ .reduce((a, b) => `${a}, ${b}`);
101
+ return {
102
+ isSome: this.isSome.toBoolean(),
103
+ value: `[${valueContent}]`,
104
+ };
105
+ }
96
106
  }
@@ -80,6 +80,17 @@ export declare class StateTransition<Value> {
80
80
  * while enforcing the 'from' property to be 'Some' in all cases.
81
81
  */
82
82
  toProvable(): ProvableStateTransition;
83
+ toJSON(): {
84
+ path: string;
85
+ from: {
86
+ isSome: boolean;
87
+ value: string;
88
+ };
89
+ to: {
90
+ isSome: boolean;
91
+ value: string;
92
+ };
93
+ };
83
94
  }
84
95
  export {};
85
96
  //# sourceMappingURL=StateTransition.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"StateTransition.d.ts","sourceRoot":"","sources":["../../src/model/StateTransition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAU,MAAM,UAAU,CAAC;AAEzC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAErD;;;;GAIG;AACH,qBAAa,uBAAwB,SAAQ,4BAQ3C;WACc,KAAK,IAAI,uBAAuB;CAO/C;AAED;;;GAGG;AACH,qBAAa,eAAe,CAAC,KAAK;IAcvB,IAAI,EAAE,KAAK;IACX,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;IACxC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;WAfjC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC;WAIjD,MAAM,CAAC,KAAK,EACxB,IAAI,EAAE,KAAK,EACX,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,EACxB,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC;gBAMf,IAAI,EAAE,KAAK,EACX,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,EACxC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;IAG/C,IAAW,IAAI,4EAId;IAED,IAAW,EAAE,4EAEZ;IAED;;;OAGG;IACI,UAAU,IAAI,uBAAuB;CAO7C"}
1
+ {"version":3,"file":"StateTransition.d.ts","sourceRoot":"","sources":["../../src/model/StateTransition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAU,MAAM,UAAU,CAAC;AAEzC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAErD;;;;GAIG;AACH,qBAAa,uBAAwB,SAAQ,4BAQ3C;WACc,KAAK,IAAI,uBAAuB;CAO/C;AAED;;;GAGG;AACH,qBAAa,eAAe,CAAC,KAAK;IAcvB,IAAI,EAAE,KAAK;IACX,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;IACxC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;WAfjC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC;WAIjD,MAAM,CAAC,KAAK,EACxB,IAAI,EAAE,KAAK,EACX,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,EACxB,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC;gBAMf,IAAI,EAAE,KAAK,EACX,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,EACxC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;IAG/C,IAAW,IAAI,4EAId;IAED,IAAW,EAAE,4EAEZ;IAED;;;OAGG;IACI,UAAU,IAAI,uBAAuB;IAQrC,MAAM;;;;;;;;;;;CAOd"}
@@ -55,4 +55,11 @@ export class StateTransition {
55
55
  to: this.to.toProvable(),
56
56
  });
57
57
  }
58
+ toJSON() {
59
+ return {
60
+ path: this.path.toString(),
61
+ from: this.from.toJSON(),
62
+ to: this.to.toJSON(),
63
+ };
64
+ }
58
65
  }
@@ -5,14 +5,14 @@ declare const StateTransitionProvableBatch_base: (new (value: {
5
5
  batch: ProvableStateTransition[];
6
6
  }) & {
7
7
  _isStruct: true;
8
- } & import("snarkyjs/dist/node/snarky.js").ProvablePure<{
8
+ } & import("snarkyjs/dist/node/snarky").ProvablePure<{
9
9
  batch: ProvableStateTransition[];
10
10
  }> & {
11
11
  toInput: (x: {
12
12
  batch: ProvableStateTransition[];
13
13
  }) => {
14
- fields?: import("snarkyjs/dist/node/lib/field.js").Field[] | undefined;
15
- packed?: [import("snarkyjs/dist/node/lib/field.js").Field, number][] | undefined;
14
+ fields?: import("snarkyjs/dist/node/lib/field").Field[] | undefined;
15
+ packed?: [import("snarkyjs/dist/node/lib/field").Field, number][] | undefined;
16
16
  };
17
17
  toJSON: (x: {
18
18
  batch: ProvableStateTransition[];
@@ -50,8 +50,8 @@ declare const StateTransitionProvableBatch_base: (new (value: {
50
50
  * to prove multiple STs at once
51
51
  */
52
52
  export declare class StateTransitionProvableBatch extends StateTransitionProvableBatch_base {
53
- private constructor();
54
53
  static fromTransitions(transitions: ProvableStateTransition[]): StateTransitionProvableBatch;
54
+ private constructor();
55
55
  }
56
56
  export {};
57
57
  //# sourceMappingURL=StateTransitionProvableBatch.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"StateTransitionProvableBatch.d.ts","sourceRoot":"","sources":["../../src/model/StateTransitionProvableBatch.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAG/D;;;GAGG;AACH,qBAAa,4BAA6B,SAAQ,iCAKhD;IACA,OAAO;WAIO,eAAe,CAC3B,WAAW,EAAE,uBAAuB,EAAE,GACrC,4BAA4B;CAShC"}
1
+ {"version":3,"file":"StateTransitionProvableBatch.d.ts","sourceRoot":"","sources":["../../src/model/StateTransitionProvableBatch.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE/D;;;GAGG;AACH,qBAAa,4BAA6B,SAAQ,iCAKhD;WACc,eAAe,CAC3B,WAAW,EAAE,uBAAuB,EAAE,GACrC,4BAA4B;IAU/B,OAAO;CAGR"}
@@ -1,16 +1,13 @@
1
- import { Circuit, Struct } from "snarkyjs";
2
- import { ProvableStateTransition } from "./StateTransition.js";
1
+ import { Provable, Struct } from "snarkyjs";
3
2
  import { constants } from "../Constants";
3
+ import { ProvableStateTransition } from "./StateTransition.js";
4
4
  /**
5
5
  * A Batch of StateTransitions to be consumed by the StateTransitionProver
6
6
  * to prove multiple STs at once
7
7
  */
8
8
  export class StateTransitionProvableBatch extends Struct({
9
- batch: Circuit.array(ProvableStateTransition, constants.stateTransitionProverBatchSize),
9
+ batch: Provable.Array(ProvableStateTransition, constants.stateTransitionProverBatchSize),
10
10
  }) {
11
- constructor(object) {
12
- super(object);
13
- }
14
11
  static fromTransitions(transitions) {
15
12
  const array = transitions.slice();
16
13
  while (array.length < constants.stateTransitionProverBatchSize) {
@@ -18,4 +15,7 @@ export class StateTransitionProvableBatch extends Struct({
18
15
  }
19
16
  return new StateTransitionProvableBatch({ batch: array });
20
17
  }
18
+ constructor(object) {
19
+ super(object);
20
+ }
21
21
  }
@@ -1 +1 @@
1
- {"version":3,"file":"NetworkState.d.ts","sourceRoot":"","sources":["../../../src/model/network/NetworkState.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAoB,MAAM,EAAE,MAAM,UAAU,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE3D,qBAAa,YAAa,SAAQ,iBAEhC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEL,qBAAa,YAAa,SAAQ,iBAEhC;IACO,IAAI,IAAI,KAAK;CAKrB"}
1
+ {"version":3,"file":"NetworkState.d.ts","sourceRoot":"","sources":["../../../src/model/network/NetworkState.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAoB,MAAM,EAAE,MAAM,UAAU,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE3D,qBAAa,YAAa,SAAQ,iBAEhC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEL,qBAAa,YAAa,SAAQ,iBAEhC;IACO,IAAI,IAAI,KAAK;CAGrB"}
@@ -7,8 +7,6 @@ export class NetworkState extends Struct({
7
7
  block: CurrentBlock,
8
8
  }) {
9
9
  hash() {
10
- return Poseidon.hash([
11
- ...CurrentBlock.toFields(this.block)
12
- ]);
10
+ return Poseidon.hash(CurrentBlock.toFields(this.block));
13
11
  }
14
12
  }
@@ -1,21 +1,25 @@
1
1
  import { Field, PublicKey, UInt64 } from "snarkyjs";
2
2
  import { ProtocolTransaction } from "./ProtocolTransaction";
3
3
  declare const RuntimeTransaction_base: (new (value: {
4
+ methodId: import("snarkyjs/dist/node/lib/field").Field;
4
5
  nonce: UInt64;
5
6
  sender: PublicKey;
6
7
  argsHash: import("snarkyjs/dist/node/lib/field").Field;
7
8
  }) => {
9
+ methodId: import("snarkyjs/dist/node/lib/field").Field;
8
10
  nonce: UInt64;
9
11
  sender: PublicKey;
10
12
  argsHash: import("snarkyjs/dist/node/lib/field").Field;
11
13
  }) & {
12
14
  _isStruct: true;
13
15
  } & import("snarkyjs/dist/node/snarky").ProvablePure<{
16
+ methodId: import("snarkyjs/dist/node/lib/field").Field;
14
17
  nonce: UInt64;
15
18
  sender: PublicKey;
16
19
  argsHash: import("snarkyjs/dist/node/lib/field").Field;
17
20
  }> & {
18
21
  toInput: (x: {
22
+ methodId: import("snarkyjs/dist/node/lib/field").Field;
19
23
  nonce: UInt64;
20
24
  sender: PublicKey;
21
25
  argsHash: import("snarkyjs/dist/node/lib/field").Field;
@@ -24,19 +28,23 @@ declare const RuntimeTransaction_base: (new (value: {
24
28
  packed?: [import("snarkyjs/dist/node/lib/field").Field, number][] | undefined;
25
29
  };
26
30
  toJSON: (x: {
31
+ methodId: import("snarkyjs/dist/node/lib/field").Field;
27
32
  nonce: UInt64;
28
33
  sender: PublicKey;
29
34
  argsHash: import("snarkyjs/dist/node/lib/field").Field;
30
35
  }) => {
36
+ methodId: string;
31
37
  nonce: string;
32
38
  sender: string;
33
39
  argsHash: string;
34
40
  };
35
41
  fromJSON: (x: {
42
+ methodId: string;
36
43
  nonce: string;
37
44
  sender: string;
38
45
  argsHash: string;
39
46
  }) => {
47
+ methodId: import("snarkyjs/dist/node/lib/field").Field;
40
48
  nonce: UInt64;
41
49
  sender: PublicKey;
42
50
  argsHash: import("snarkyjs/dist/node/lib/field").Field;
@@ -48,7 +56,7 @@ declare const RuntimeTransaction_base: (new (value: {
48
56
  * For example, we don't want to expose the signature or args as fields.
49
57
  */
50
58
  export declare class RuntimeTransaction extends RuntimeTransaction_base {
51
- static fromProtocolTransaction({ nonce, sender, argsHash, }: ProtocolTransaction): RuntimeTransaction;
59
+ static fromProtocolTransaction({ methodId, nonce, sender, argsHash, }: ProtocolTransaction): RuntimeTransaction;
52
60
  hash(): Field;
53
61
  }
54
62
  export {};
@@ -1 +1 @@
1
- {"version":3,"file":"RuntimeTransaction.d.ts","sourceRoot":"","sources":["../../../src/model/transaction/RuntimeTransaction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAY,SAAS,EAAU,MAAM,EAAE,MAAM,UAAU,CAAC;AAEtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE5D;;;;GAIG;AACH,qBAAa,kBAAmB,SAAQ,uBAItC;WACc,uBAAuB,CAAC,EACpC,KAAK,EACL,MAAM,EACN,QAAQ,GACT,EAAE,mBAAmB,GAAG,kBAAkB;IAQpC,IAAI,IAAI,KAAK;CAOrB"}
1
+ {"version":3,"file":"RuntimeTransaction.d.ts","sourceRoot":"","sources":["../../../src/model/transaction/RuntimeTransaction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAY,SAAS,EAAU,MAAM,EAAE,MAAM,UAAU,CAAC;AAEtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE5D;;;;GAIG;AACH,qBAAa,kBAAmB,SAAQ,uBAKtC;WACc,uBAAuB,CAAC,EACpC,QAAQ,EACR,KAAK,EACL,MAAM,EACN,QAAQ,GACT,EAAE,mBAAmB,GAAG,kBAAkB;IASpC,IAAI,IAAI,KAAK;CAQrB"}
@@ -5,12 +5,14 @@ import { Field, Poseidon, PublicKey, Struct, UInt64 } from "snarkyjs";
5
5
  * For example, we don't want to expose the signature or args as fields.
6
6
  */
7
7
  export class RuntimeTransaction extends Struct({
8
+ methodId: Field,
8
9
  nonce: UInt64,
9
10
  sender: PublicKey,
10
11
  argsHash: Field,
11
12
  }) {
12
- static fromProtocolTransaction({ nonce, sender, argsHash, }) {
13
+ static fromProtocolTransaction({ methodId, nonce, sender, argsHash, }) {
13
14
  return new RuntimeTransaction({
15
+ methodId,
14
16
  nonce,
15
17
  sender,
16
18
  argsHash,
@@ -18,8 +20,9 @@ export class RuntimeTransaction extends Struct({
18
20
  }
19
21
  hash() {
20
22
  return Poseidon.hash([
21
- ...this.nonce.toFields(),
23
+ this.methodId,
22
24
  ...this.sender.toFields(),
25
+ ...this.nonce.toFields(),
23
26
  this.argsHash,
24
27
  ]);
25
28
  }
@@ -21,7 +21,7 @@ export interface ProtocolDefinition<Modules extends ProtocolModulesRecord> {
21
21
  }
22
22
  export declare class Protocol<Modules extends ProtocolModulesRecord> extends ModuleContainer<Modules> {
23
23
  static from<Modules extends ProtocolModulesRecord>(modules: ProtocolDefinition<Modules>): Protocol<Modules>;
24
- protected decorateModule(moduleName: StringKeyOf<Modules>, containedModule: InstanceType<Modules[StringKeyOf<Modules>]>): void;
24
+ decorateModule(moduleName: StringKeyOf<Modules>, containedModule: InstanceType<Modules[StringKeyOf<Modules>]>): void;
25
25
  get dependencyContainer(): DependencyContainer;
26
26
  private isModule;
27
27
  get blockProver(): BlockProvable;
@@ -1 +1 @@
1
- {"version":3,"file":"Protocol.d.ts","sourceRoot":"","sources":["../../src/protocol/Protocol.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,eAAe,EAEf,aAAa,EACb,WAAW,EACX,UAAU,EACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,mBAAmB,EAAE,MAAM,UAAU,CAAC;AAE/C,OAAO,EACL,aAAa,EACb,sBAAsB,EACtB,uBAAuB,EACxB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AACxF,OAAO,EACL,uBAAuB,EACvB,gCAAgC,EAChC,iCAAiC,EAClC,MAAM,mDAAmD,CAAC;AAC3D,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAE1D,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAElD,MAAM,MAAM,2BAA2B,GAAG,aAAa,CACrD,UAAU,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CACrC,CAAC;AAEF,UAAU,eACR,SAAQ,cAAc,CAAC,sBAAsB,EAAE,uBAAuB,CAAC,EACrE,aAAa;CAAG;AAEpB,UAAU,yBACR,SAAQ,cAAc,CAClB,gCAAgC,EAChC,iCAAiC,CAClC,EACD,uBAAuB;CAAG;AAE9B,MAAM,WAAW,2BAA2B;IAC1C,WAAW,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC;IACzC,qBAAqB,EAAE,UAAU,CAAC,yBAAyB,CAAC,CAAC;CAC9D;AAED,MAAM,WAAW,qBACf,SAAQ,2BAA2B,EACjC,2BAA2B;CAAG;AAElC,MAAM,WAAW,kBAAkB,CAAC,OAAO,SAAS,qBAAqB;IACvE,OAAO,EAAE,OAAO,CAAC;CAElB;AAED,qBAAa,QAAQ,CACnB,OAAO,SAAS,qBAAqB,CACrC,SAAQ,eAAe,CAAC,OAAO,CAAC;WAElB,IAAI,CAAC,OAAO,SAAS,qBAAqB,EACtD,OAAO,EAAE,kBAAkB,CAAC,OAAO,CAAC;IAsBtC,SAAS,CAAC,cAAc,CACtB,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,EAChC,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;IAQ9D,IAAW,mBAAmB,IAAI,mBAAmB,CAEpD;IAED,OAAO,CAAC,QAAQ;IAMhB,IAAW,WAAW,IAAI,aAAa,CAMtC;IAED,IAAW,qBAAqB,IAAI,uBAAuB,CAI1D;CACF;AAED,eAAO,MAAM,eAAe;cAChB,SAAS;QACjB,uBAAuB,4BAA4B,CAAC;QACpD,aAAa,kBAAkB,CAAC;KACjC,CAAC;CAQH,CAAC"}
1
+ {"version":3,"file":"Protocol.d.ts","sourceRoot":"","sources":["../../src/protocol/Protocol.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,eAAe,EAEf,aAAa,EACb,WAAW,EACX,UAAU,EACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,mBAAmB,EAAE,MAAM,UAAU,CAAC;AAE/C,OAAO,EACL,aAAa,EACb,sBAAsB,EACtB,uBAAuB,EACxB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AACxF,OAAO,EACL,uBAAuB,EACvB,gCAAgC,EAChC,iCAAiC,EAClC,MAAM,mDAAmD,CAAC;AAC3D,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAE1D,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAElD,MAAM,MAAM,2BAA2B,GAAG,aAAa,CACrD,UAAU,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CACrC,CAAC;AAEF,UAAU,eACR,SAAQ,cAAc,CAAC,sBAAsB,EAAE,uBAAuB,CAAC,EACrE,aAAa;CAAG;AAEpB,UAAU,yBACR,SAAQ,cAAc,CAClB,gCAAgC,EAChC,iCAAiC,CAClC,EACD,uBAAuB;CAAG;AAE9B,MAAM,WAAW,2BAA2B;IAC1C,WAAW,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC;IACzC,qBAAqB,EAAE,UAAU,CAAC,yBAAyB,CAAC,CAAC;CAC9D;AAED,MAAM,WAAW,qBACf,SAAQ,2BAA2B,EACjC,2BAA2B;CAAG;AAElC,MAAM,WAAW,kBAAkB,CAAC,OAAO,SAAS,qBAAqB;IACvE,OAAO,EAAE,OAAO,CAAC;CAElB;AAED,qBAAa,QAAQ,CACnB,OAAO,SAAS,qBAAqB,CACrC,SAAQ,eAAe,CAAC,OAAO,CAAC;WAElB,IAAI,CAAC,OAAO,SAAS,qBAAqB,EACtD,OAAO,EAAE,kBAAkB,CAAC,OAAO,CAAC;IAsB/B,cAAc,CACnB,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,EAChC,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;IAQ9D,IAAW,mBAAmB,IAAI,mBAAmB,CAEpD;IAED,OAAO,CAAC,QAAQ;IAMhB,IAAW,WAAW,IAAI,aAAa,CAMtC;IAED,IAAW,qBAAqB,IAAI,uBAAuB,CAI1D;CACF;AAED,eAAO,MAAM,eAAe;cAChB,SAAS;QACjB,uBAAuB,4BAA4B,CAAC;QACpD,aAAa,kBAAkB,CAAC;KACjC,CAAC;CAQH,CAAC"}
@@ -3,7 +3,7 @@ import type { Protocol, ProtocolModulesRecord } from "./Protocol";
3
3
  export declare abstract class ProtocolModule<PublicInput, PublicOutput> extends ZkProgrammable<PublicInput, PublicOutput> implements Configurable<unknown> {
4
4
  config: {};
5
5
  protocol?: Protocol<ProtocolModulesRecord>;
6
- get appChain(): AreProofsEnabled | undefined;
7
6
  constructor();
7
+ get appChain(): AreProofsEnabled | undefined;
8
8
  }
9
9
  //# sourceMappingURL=ProtocolModule.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"ProtocolModule.d.ts","sourceRoot":"","sources":["../../src/protocol/ProtocolModule.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,cAAc,EACf,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EAAE,QAAQ,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAGlE,8BAAsB,cAAc,CAAC,WAAW,EAAE,YAAY,CAC5D,SAAQ,cAAc,CAAC,WAAW,EAAE,YAAY,CAChD,YAAW,YAAY,CAAC,OAAO,CAAC;IAEzB,MAAM,KAAM;IAEZ,QAAQ,CAAC,EAAE,QAAQ,CAAC,qBAAqB,CAAC,CAAC;IAElD,IAAW,QAAQ,IAAI,gBAAgB,GAAG,SAAS,CAIlD;;CAKF"}
1
+ {"version":3,"file":"ProtocolModule.d.ts","sourceRoot":"","sources":["../../src/protocol/ProtocolModule.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,cAAc,EACf,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EAAE,QAAQ,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAElE,8BAAsB,cAAc,CAAC,WAAW,EAAE,YAAY,CAC5D,SAAQ,cAAc,CAAC,WAAW,EAAE,YAAY,CAChD,YAAW,YAAY,CAAC,OAAO,CAAC;IAEzB,MAAM,KAAM;IAEZ,QAAQ,CAAC,EAAE,QAAQ,CAAC,qBAAqB,CAAC,CAAC;;IAMlD,IAAW,QAAQ,IAAI,gBAAgB,GAAG,SAAS,CAIlD;CACF"}
@@ -1,10 +1,10 @@
1
1
  import { ZkProgrammable, } from "@proto-kit/common";
2
2
  export class ProtocolModule extends ZkProgrammable {
3
- get appChain() {
4
- return this.protocol?.dependencyContainer.resolve("AppChain");
5
- }
6
3
  constructor() {
7
4
  super();
8
5
  this.config = {};
9
6
  }
7
+ get appChain() {
8
+ return this.protocol?.dependencyContainer.resolve("AppChain");
9
+ }
10
10
  }
@@ -1,7 +1,7 @@
1
1
  import { Proof } from "snarkyjs";
2
+ import { ZkProgrammable } from "@proto-kit/common";
2
3
  import { StateTransitionProof } from "../statetransition/StateTransitionProvable";
3
4
  import { MethodPublicOutput } from "../../model/MethodPublicOutput";
4
- import { ZkProgrammable } from "@proto-kit/common";
5
5
  import { ProtocolTransaction } from "../../model/transaction/ProtocolTransaction";
6
6
  import { NetworkState } from "../../model/network/NetworkState";
7
7
  declare const BlockProverPublicInput_base: (new (value: {
@@ -1 +1 @@
1
- {"version":3,"file":"BlockProvable.d.ts","sourceRoot":"","sources":["../../../src/prover/block/BlockProvable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,KAAK,EAAkB,MAAM,UAAU,CAAC;AAExD,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAClF,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,mBAAmB,EAAE,MAAM,6CAA6C,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEhE,qBAAa,sBAAuB,SAAQ,2BAI1C;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEL,qBAAa,uBAAwB,SAAQ,4BAG3C;CAAG;AAEL,MAAM,MAAM,gBAAgB,GAAG,KAAK,CAClC,sBAAsB,EACtB,uBAAuB,CACxB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEF,qBAAa,wBAAyB,SAAQ,6BAI5C;CAAG;AAEL,MAAM,WAAW,aACf,SAAQ,cAAc,CAAC,sBAAsB,EAAE,uBAAuB,CAAC;IACvE,gBAAgB,EAAE,CAChB,WAAW,EAAE,sBAAsB,EACnC,UAAU,EAAE,oBAAoB,EAChC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,kBAAkB,CAAC,EACzC,aAAa,EAAE,wBAAwB,KACpC,uBAAuB,CAAC;IAE7B,KAAK,EAAE,CACL,WAAW,EAAE,sBAAsB,EACnC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,gBAAgB,KACrB,uBAAuB,CAAC;CAC9B"}
1
+ {"version":3,"file":"BlockProvable.d.ts","sourceRoot":"","sources":["../../../src/prover/block/BlockProvable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,KAAK,EAAU,MAAM,UAAU,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEnD,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAClF,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,mBAAmB,EAAE,MAAM,6CAA6C,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEhE,qBAAa,sBAAuB,SAAQ,2BAI1C;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEL,qBAAa,uBAAwB,SAAQ,4BAG3C;CAAG;AAEL,MAAM,MAAM,gBAAgB,GAAG,KAAK,CAClC,sBAAsB,EACtB,uBAAuB,CACxB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEF,qBAAa,wBAAyB,SAAQ,6BAI5C;CAAG;AAEL,MAAM,WAAW,aACf,SAAQ,cAAc,CAAC,sBAAsB,EAAE,uBAAuB,CAAC;IACvE,gBAAgB,EAAE,CAChB,WAAW,EAAE,sBAAsB,EACnC,UAAU,EAAE,oBAAoB,EAChC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,kBAAkB,CAAC,EACzC,aAAa,EAAE,wBAAwB,KACpC,uBAAuB,CAAC;IAE7B,KAAK,EAAE,CACL,WAAW,EAAE,sBAAsB,EACnC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,gBAAgB,KACrB,uBAAuB,CAAC;CAC9B"}
@@ -1 +1 @@
1
- {"version":3,"file":"BlockProver.d.ts","sourceRoot":"","sources":["../../../src/prover/block/BlockProver.ts"],"names":[],"mappings":"AACA,OAAO,EAAgB,KAAK,EAAE,KAAK,KAAK,EAAuB,MAAM,UAAU,CAAC;AAEhF,OAAO,EACL,cAAc,EAEd,kBAAkB,EAClB,cAAc,EACf,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EACL,oBAAoB,EACpB,gCAAgC,EAChC,iCAAiC,EAClC,MAAM,4CAA4C,CAAC;AAGpD,OAAO,EACL,aAAa,EACb,wBAAwB,EACxB,gBAAgB,EAChB,sBAAsB,EACtB,uBAAuB,EACxB,MAAM,iBAAiB,CAAC;AAiBzB,MAAM,WAAW,gBAAgB;IAE/B,SAAS,EAAE,KAAK,CAAC;IAEjB;;;OAGG;IACH,gBAAgB,EAAE,KAAK,CAAC;IAExB;;;OAGG;IACH,gBAAgB,EAAE,KAAK,CAAC;CACzB;AAED;;;;GAIG;AACH,qBACa,WACX,SAAQ,cAAc,CAAC,sBAAsB,EAAE,uBAAuB,CACtE,YAAW,aAAa;IAItB,OAAO,CAAC,QAAQ,CAAC,qBAAqB;IAKtC,OAAO,CAAC,QAAQ,CAAC,OAAO;gBALP,qBAAqB,EAAE,cAAc,CACpD,gCAAgC,EAChC,iCAAiC,CAClC,EAEgB,OAAO,EAAE,kBAAkB,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAKxE;;;;;;;;OAQG;IACI,gBAAgB,CACrB,KAAK,EAAE,gBAAgB,EACvB,oBAAoB,EAAE,KAAK,CACzB,gCAAgC,EAChC,iCAAiC,CAClC,EACD,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,kBAAkB,CAAC,EACzC,EAAE,WAAW,EAAE,YAAY,EAAE,EAAE,wBAAwB,GACtD,gBAAgB;IAyEZ,gBAAgB,CACrB,WAAW,EAAE,sBAAsB,EACnC,UAAU,EAAE,oBAAoB,EAChC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,kBAAkB,CAAC,EACzC,aAAa,EAAE,wBAAwB,GACtC,uBAAuB;IAgBnB,KAAK,CACV,WAAW,EAAE,sBAAsB,EACnC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,gBAAgB,GACvB,uBAAuB;IA8B1B;;;;OAIG;IACI,gBAAgB,IAAI,cAAc,CACvC,sBAAsB,EACtB,uBAAuB,CACxB;CAkEF"}
1
+ {"version":3,"file":"BlockProver.d.ts","sourceRoot":"","sources":["../../../src/prover/block/BlockProver.ts"],"names":[],"mappings":"AACA,OAAO,EAAgB,KAAK,EAAE,KAAK,KAAK,EAAuB,MAAM,UAAU,CAAC;AAEhF,OAAO,EACL,cAAc,EAEd,kBAAkB,EAClB,cAAc,EACf,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EACL,oBAAoB,EACpB,gCAAgC,EAChC,iCAAiC,EAClC,MAAM,4CAA4C,CAAC;AAGpD,OAAO,EACL,aAAa,EACb,wBAAwB,EACxB,gBAAgB,EAChB,sBAAsB,EACtB,uBAAuB,EACxB,MAAM,iBAAiB,CAAC;AAiBzB,MAAM,WAAW,gBAAgB;IAE/B,SAAS,EAAE,KAAK,CAAC;IAEjB;;;OAGG;IACH,gBAAgB,EAAE,KAAK,CAAC;IAExB;;;OAGG;IACH,gBAAgB,EAAE,KAAK,CAAC;CACzB;AAED;;;;GAIG;AACH,qBACa,WACX,SAAQ,cAAc,CAAC,sBAAsB,EAAE,uBAAuB,CACtE,YAAW,aAAa;IAItB,OAAO,CAAC,QAAQ,CAAC,qBAAqB;IAKtC,OAAO,CAAC,QAAQ,CAAC,OAAO;gBALP,qBAAqB,EAAE,cAAc,CACpD,gCAAgC,EAChC,iCAAiC,CAClC,EAEgB,OAAO,EAAE,kBAAkB,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAKxE;;;;;;;;OAQG;IACI,gBAAgB,CACrB,KAAK,EAAE,gBAAgB,EACvB,oBAAoB,EAAE,KAAK,CACzB,gCAAgC,EAChC,iCAAiC,CAClC,EACD,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,kBAAkB,CAAC,EACzC,EAAE,WAAW,EAAE,YAAY,EAAE,EAAE,wBAAwB,GACtD,gBAAgB;IAyEZ,gBAAgB,CACrB,WAAW,EAAE,sBAAsB,EACnC,UAAU,EAAE,oBAAoB,EAChC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,kBAAkB,CAAC,EACzC,aAAa,EAAE,wBAAwB,GACtC,uBAAuB;IAqBnB,KAAK,CACV,WAAW,EAAE,sBAAsB,EACnC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,gBAAgB,GACvB,uBAAuB;IA8B1B;;;;OAIG;IACI,gBAAgB,IAAI,cAAc,CACvC,sBAAsB,EACtB,uBAAuB,CACxB;CAkEF"}
@@ -1,10 +1,10 @@
1
1
  import { Field } from "snarkyjs";
2
+ import { PlainZkProgram } from "@proto-kit/common";
2
3
  import { ProvableHashList } from "../../utils/ProvableHashList";
3
4
  import { ProvableStateTransition } from "../../model/StateTransition";
4
5
  import { StateTransitionProvableBatch } from "../../model/StateTransitionProvableBatch";
5
- import { PlainZkProgram } from "@proto-kit/common";
6
- import { StateTransitionProvable, StateTransitionProverPublicInput, StateTransitionProof, StateTransitionProverPublicOutput } from "./StateTransitionProvable";
7
6
  import { ProtocolModule } from "../../protocol/ProtocolModule";
7
+ import { StateTransitionProvable, StateTransitionProverPublicInput, StateTransitionProof, StateTransitionProverPublicOutput } from "./StateTransitionProvable";
8
8
  import { StateTransitionWitnessProviderReference } from "./StateTransitionWitnessProviderReference";
9
9
  interface StateTransitionProverExecutionState {
10
10
  stateRoot: Field;
@@ -1 +1 @@
1
- {"version":3,"file":"StateTransitionProver.d.ts","sourceRoot":"","sources":["../../../src/prover/statetransition/StateTransitionProver.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,KAAK,EAAuB,MAAM,UAAU,CAAC;AAOpE,OAAO,EAEL,gBAAgB,EACjB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EAAE,4BAA4B,EAAE,MAAM,0CAA0C,CAAC;AAIxF,OAAO,EAEL,cAAc,EAEf,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,uBAAuB,EACvB,gCAAgC,EAChC,oBAAoB,EACpB,iCAAiC,EAClC,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,uCAAuC,EAAE,MAAM,2CAA2C,CAAC;AAmBpG,UAAU,mCAAmC;IAC3C,SAAS,EAAE,KAAK,CAAC;IACjB,mBAAmB,EAAE,gBAAgB,CAAC,uBAAuB,CAAC,CAAC;CAChE;AAOD;;;GAGG;AACH,qBACa,qBACX,SAAQ,cAAc,CACpB,gCAAgC,EAChC,iCAAiC,CAEnC,YAAW,uBAAuB;aAIhB,wBAAwB,EAAE,uCAAuC;gBAAjE,wBAAwB,EAAE,uCAAuC;IAK5E,gBAAgB,IAAI,cAAc,CACvC,gCAAgC,EAChC,iCAAiC,CAClC;IAmDD,OAAO,KAAK,eAAe,GAM1B;IAED;;;OAGG;IACI,gBAAgB,CACrB,SAAS,EAAE,KAAK,EAChB,6BAA6B,EAAE,KAAK,EACpC,eAAe,EAAE,4BAA4B,GAC5C,mCAAmC;IAsBtC;;;OAGG;IACI,eAAe,CACpB,KAAK,EAAE,mCAAmC,EAC1C,UAAU,EAAE,uBAAuB,EACnC,KAAK,SAAI;IAgCX;;OAEG;IAEI,QAAQ,CACb,WAAW,EAAE,gCAAgC,EAC7C,KAAK,EAAE,4BAA4B,GAClC,iCAAiC;IAe7B,KAAK,CACV,WAAW,EAAE,gCAAgC,EAC7C,MAAM,EAAE,oBAAoB,EAC5B,MAAM,EAAE,oBAAoB,GAC3B,iCAAiC;CA6BrC"}
1
+ {"version":3,"file":"StateTransitionProver.d.ts","sourceRoot":"","sources":["../../../src/prover/statetransition/StateTransitionProver.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,KAAK,EAAuB,MAAM,UAAU,CAAC;AAEpE,OAAO,EAAE,cAAc,EAAkB,MAAM,mBAAmB,CAAC;AAMnE,OAAO,EAEL,gBAAgB,EACjB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EAAE,4BAA4B,EAAE,MAAM,0CAA0C,CAAC;AAExF,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAG/D,OAAO,EACL,uBAAuB,EACvB,gCAAgC,EAChC,oBAAoB,EACpB,iCAAiC,EAClC,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,uCAAuC,EAAE,MAAM,2CAA2C,CAAC;AAmBpG,UAAU,mCAAmC;IAC3C,SAAS,EAAE,KAAK,CAAC;IACjB,mBAAmB,EAAE,gBAAgB,CAAC,uBAAuB,CAAC,CAAC;CAChE;AAOD;;;GAGG;AACH,qBACa,qBACX,SAAQ,cAAc,CACpB,gCAAgC,EAChC,iCAAiC,CAEnC,YAAW,uBAAuB;aAIhB,wBAAwB,EAAE,uCAAuC;gBAAjE,wBAAwB,EAAE,uCAAuC;IAK5E,gBAAgB,IAAI,cAAc,CACvC,gCAAgC,EAChC,iCAAiC,CAClC;IAqDD,OAAO,KAAK,eAAe,GAM1B;IAED;;;OAGG;IACI,gBAAgB,CACrB,SAAS,EAAE,KAAK,EAChB,6BAA6B,EAAE,KAAK,EACpC,eAAe,EAAE,4BAA4B,GAC5C,mCAAmC;IAsBtC;;;OAGG;IACI,eAAe,CACpB,KAAK,EAAE,mCAAmC,EAC1C,UAAU,EAAE,uBAAuB,EACnC,KAAK,SAAI;IAgCX;;OAEG;IAEI,QAAQ,CACb,WAAW,EAAE,gCAAgC,EAC7C,KAAK,EAAE,4BAA4B,GAClC,iCAAiC;IAc7B,KAAK,CACV,WAAW,EAAE,gCAAgC,EAC7C,MAAM,EAAE,oBAAoB,EAC5B,MAAM,EAAE,oBAAoB,GAC3B,iCAAiC;CA6BrC"}
@@ -9,14 +9,14 @@ var __metadata = (this && this.__metadata) || function (k, v) {
9
9
  };
10
10
  import { Experimental, Field, Provable, SelfProof } from "snarkyjs";
11
11
  import { injectable } from "tsyringe";
12
+ import { provableMethod } from "@proto-kit/common";
12
13
  import { MerkleTreeUtils, RollupMerkleWitness, } from "../../utils/merkletree/RollupMerkleTree.js";
13
14
  import { DefaultProvableHashList, } from "../../utils/ProvableHashList";
14
15
  import { ProvableStateTransition } from "../../model/StateTransition";
15
16
  import { StateTransitionProvableBatch } from "../../model/StateTransitionProvableBatch";
16
17
  import { constants } from "../../Constants";
17
- import { provableMethod, } from "@proto-kit/common";
18
- import { StateTransitionProverPublicInput, StateTransitionProverPublicOutput, } from "./StateTransitionProvable";
19
18
  import { ProtocolModule } from "../../protocol/ProtocolModule";
19
+ import { StateTransitionProverPublicInput, StateTransitionProverPublicOutput, } from "./StateTransitionProvable";
20
20
  import { StateTransitionWitnessProviderReference } from "./StateTransitionWitnessProviderReference";
21
21
  const errors = {
22
22
  stateRootNotMatching: (step) => `StateRoots not matching ${step}`,
@@ -38,6 +38,8 @@ let StateTransitionProver = class StateTransitionProver extends ProtocolModule {
38
38
  this.witnessProviderReference = witnessProviderReference;
39
39
  }
40
40
  zkProgramFactory() {
41
+ // eslint-disable-next-line max-len
42
+ // eslint-disable-next-line @typescript-eslint/no-this-alias,consistent-this,unicorn/no-this-assignment
41
43
  const instance = this;
42
44
  const program = Experimental.ZkProgram({
43
45
  publicInput: StateTransitionProverPublicInput,
@@ -113,11 +115,10 @@ let StateTransitionProver = class StateTransitionProver extends ProtocolModule {
113
115
  */
114
116
  runBatch(publicInput, batch) {
115
117
  const result = this.applyTransitions(publicInput.stateRoot, publicInput.stateTransitionsHash, batch);
116
- const output = new StateTransitionProverPublicOutput({
118
+ return new StateTransitionProverPublicOutput({
117
119
  stateRoot: result.stateRoot,
118
120
  stateTransitionsHash: result.stateTransitionList.commitment,
119
121
  });
120
- return output;
121
122
  }
122
123
  merge(publicInput, proof1, proof2) {
123
124
  proof1.verify();
@@ -11,6 +11,6 @@ export interface StateTransitionWitnessProvider {
11
11
  getWitness: (key: Field) => RollupMerkleWitness;
12
12
  }
13
13
  export declare class NoOpStateTransitionWitnessProvider implements StateTransitionWitnessProvider {
14
- getWitness(key: Field): RollupMerkleWitness;
14
+ getWitness(): RollupMerkleWitness;
15
15
  }
16
16
  //# sourceMappingURL=StateTransitionWitnessProvider.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"StateTransitionWitnessProvider.d.ts","sourceRoot":"","sources":["../../../src/prover/statetransition/StateTransitionWitnessProvider.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAGtC,OAAO,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AAEjF;;GAEG;AACH,MAAM,WAAW,8BAA8B;IAC7C;;;OAGG;IACH,UAAU,EAAE,CAAC,GAAG,EAAE,KAAK,KAAK,mBAAmB,CAAC;CACjD;AAED,qBACa,kCACX,YAAW,8BAA8B;IAElC,UAAU,CAAC,GAAG,EAAE,KAAK,GAAG,mBAAmB;CAGnD"}
1
+ {"version":3,"file":"StateTransitionWitnessProvider.d.ts","sourceRoot":"","sources":["../../../src/prover/statetransition/StateTransitionWitnessProvider.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAGtC,OAAO,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AAEjF;;GAEG;AACH,MAAM,WAAW,8BAA8B;IAC7C;;;OAGG;IACH,UAAU,EAAE,CAAC,GAAG,EAAE,KAAK,KAAK,mBAAmB,CAAC;CACjD;AAED,qBACa,kCACX,YAAW,8BAA8B;IAElC,UAAU,IAAI,mBAAmB;CAGzC"}
@@ -7,7 +7,7 @@ var __decorate = (this && this.__decorate) || function (decorators, target, key,
7
7
  import { injectable } from "tsyringe";
8
8
  import { RollupMerkleWitness } from "../../utils/merkletree/RollupMerkleTree.js";
9
9
  let NoOpStateTransitionWitnessProvider = class NoOpStateTransitionWitnessProvider {
10
- getWitness(key) {
10
+ getWitness() {
11
11
  return new RollupMerkleWitness({ path: [], isLeft: [] });
12
12
  }
13
13
  };
@@ -1 +1 @@
1
- {"version":3,"file":"StateTransitionWitnessProviderReference.d.ts","sourceRoot":"","sources":["../../../src/prover/statetransition/StateTransitionWitnessProviderReference.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAElF,qBAEa,uCAAuC;IAElD,OAAO,CAAC,eAAe,CAAC,CAAiC;IAElD,kBAAkB,CAAC,QAAQ,EAAE,8BAA8B;IAI3D,kBAAkB,IAAI,8BAA8B,GAAG,SAAS;CAGxE"}
1
+ {"version":3,"file":"StateTransitionWitnessProviderReference.d.ts","sourceRoot":"","sources":["../../../src/prover/statetransition/StateTransitionWitnessProviderReference.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAElF,qBAEa,uCAAuC;IAClD,OAAO,CAAC,eAAe,CAAC,CAAiC;IAElD,kBAAkB,CAAC,QAAQ,EAAE,8BAA8B;IAI3D,kBAAkB,IAAI,8BAA8B,GAAG,SAAS;CAGxE"}
@@ -1 +1 @@
1
- {"version":3,"file":"InMemoryMerkleTreeStorage.d.ts","sourceRoot":"","sources":["../../../src/utils/merkletree/InMemoryMerkleTreeStorage.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAE1E,qBAAa,yBAA0B,YAAW,eAAe;IAC/D,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE;QACxB,CAAC,GAAG,EAAE,MAAM,GAAG;YACb,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC;SACvB,CAAC;KACH,CAAM;IAEA,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIvD,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI;CAGhE;AAED,qBAAa,qBAAsB,SAAQ,yBAAyB;IAO/C,OAAO,CAAC,QAAQ,CAAC,MAAM;IAN1C,OAAO,CAAC,UAAU,CAIX;gBAE6B,MAAM,EAAE,oBAAoB;IAIzD,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM;IAKjD,eAAe,IAAI;QACxB,CAAC,GAAG,EAAE,MAAM,GAAG;YACb,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC;SACvB,CAAC;KACH;IAIM,iBAAiB;IAIX,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAiCxC,eAAe,IAAI,OAAO,CAAC,IAAI,CAAC;CAqB9C"}
1
+ {"version":3,"file":"InMemoryMerkleTreeStorage.d.ts","sourceRoot":"","sources":["../../../src/utils/merkletree/InMemoryMerkleTreeStorage.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAE1E,qBAAa,yBAA0B,YAAW,eAAe;IAC/D,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE;QACxB,CAAC,GAAG,EAAE,MAAM,GAAG;YACb,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC;SACvB,CAAC;KACH,CAAM;IAEA,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIvD,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI;CAGhE;AAED,qBAAa,qBAAsB,SAAQ,yBAAyB;IAO/C,OAAO,CAAC,QAAQ,CAAC,MAAM;IAN1C,OAAO,CAAC,UAAU,CAIX;gBAE6B,MAAM,EAAE,oBAAoB;IAIzD,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM;IAKjD,eAAe,IAAI;QACxB,CAAC,GAAG,EAAE,MAAM,GAAG;YACb,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC;SACvB,CAAC;KACH;IAIM,iBAAiB;IAKX,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAiCxC,eAAe,IAAI,OAAO,CAAC,IAAI,CAAC;CAqB9C"}
@@ -1,5 +1,4 @@
1
- // eslint-disable-next-line max-len
2
- /* eslint-disable @typescript-eslint/no-magic-numbers,@typescript-eslint/no-unnecessary-condition */
1
+ /* eslint-disable @typescript-eslint/no-magic-numbers */
3
2
  import { log } from "@proto-kit/common";
4
3
  import { RollupMerkleTree } from "./RollupMerkleTree.js";
5
4
  export class InMemoryMerkleTreeStorage {
@@ -31,8 +30,8 @@ export class CachedMerkleTreeStore extends InMemoryMerkleTreeStorage {
31
30
  resetWrittenNodes() {
32
31
  this.writeCache = {};
33
32
  }
33
+ // eslint-disable-next-line sonarjs/cognitive-complexity
34
34
  async preloadKey(index) {
35
- log.debug(`Preloading MT ${index}`);
36
35
  // Algo from RollupMerkleTree.getWitness()
37
36
  const { leafCount, height } = RollupMerkleTree;
38
37
  if (index >= leafCount) {
@@ -46,6 +45,7 @@ export class CachedMerkleTreeStore extends InMemoryMerkleTreeStorage {
46
45
  const siblingKey = isLeft ? index + 1n : index - 1n;
47
46
  // eslint-disable-next-line no-await-in-loop
48
47
  const value = await this.parent.getNode(key, level);
48
+ // eslint-disable-next-line no-await-in-loop
49
49
  const sibling = await this.parent.getNode(siblingKey, level);
50
50
  if (level === 0) {
51
51
  log.debug(`Preloaded ${key} @ ${level} -> ${value ?? "-"}`);
@@ -4,26 +4,26 @@ export { RollupMerkleTree, RollupMerkleWitness };
4
4
  export { maybeSwap };
5
5
  declare const RollupMerkleWitness_base: (new (value: {
6
6
  path: import("snarkyjs/dist/node/lib/field").Field[];
7
- isLeft: Bool[];
7
+ isLeft: import("snarkyjs/dist/node/lib/bool").Bool[];
8
8
  }) => {
9
9
  path: import("snarkyjs/dist/node/lib/field").Field[];
10
- isLeft: Bool[];
10
+ isLeft: import("snarkyjs/dist/node/lib/bool").Bool[];
11
11
  }) & {
12
12
  _isStruct: true;
13
13
  } & import("snarkyjs/dist/node/snarky").ProvablePure<{
14
14
  path: import("snarkyjs/dist/node/lib/field").Field[];
15
- isLeft: Bool[];
15
+ isLeft: import("snarkyjs/dist/node/lib/bool").Bool[];
16
16
  }> & {
17
17
  toInput: (x: {
18
18
  path: import("snarkyjs/dist/node/lib/field").Field[];
19
- isLeft: Bool[];
19
+ isLeft: import("snarkyjs/dist/node/lib/bool").Bool[];
20
20
  }) => {
21
21
  fields?: import("snarkyjs/dist/node/lib/field").Field[] | undefined;
22
22
  packed?: [import("snarkyjs/dist/node/lib/field").Field, number][] | undefined;
23
23
  };
24
24
  toJSON: (x: {
25
25
  path: import("snarkyjs/dist/node/lib/field").Field[];
26
- isLeft: Bool[];
26
+ isLeft: import("snarkyjs/dist/node/lib/bool").Bool[];
27
27
  }) => {
28
28
  path: string[];
29
29
  isLeft: boolean[];
@@ -33,7 +33,7 @@ declare const RollupMerkleWitness_base: (new (value: {
33
33
  isLeft: boolean[];
34
34
  }) => {
35
35
  path: import("snarkyjs/dist/node/lib/field").Field[];
36
- isLeft: Bool[];
36
+ isLeft: import("snarkyjs/dist/node/lib/bool").Bool[];
37
37
  };
38
38
  };
39
39
  /**
@@ -1 +1 @@
1
- {"version":3,"file":"RollupMerkleTree.d.ts","sourceRoot":"","sources":["../../../src/utils/merkletree/RollupMerkleTree.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,IAAI,EAAW,KAAK,EAAoB,MAAM,UAAU,CAAC;AAGlE,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAIpD,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,CAAC;AAIjD,OAAO,EAAE,SAAS,EAAE,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAErB;;;GAGG;AACH,cAAM,mBAAoB,SAAQ,wBAGhC;IACA,OAAc,MAAM,SAAO;IAEpB,MAAM,IAAI,MAAM;IAIvB;;;;OAIG;IACI,aAAa,CAAC,IAAI,EAAE,KAAK,GAAG,KAAK;IAaxC;;;OAGG;IACI,cAAc,IAAI,KAAK;CAa/B;AAED;;;;;;;;;;;;;GAaG;AACH,cAAM,gBAAgB;IACpB,OAAc,MAAM,SAAO;IAE3B,WAAkB,SAAS,IAAI,MAAM,CAEpC;IAED,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAW;IAElC,SAAgB,KAAK,EAAE,eAAe,CAAC;gBAEpB,KAAK,EAAE,eAAe;IAYzC;;;;;OAKG;IAEI,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,KAAK;IAInD;;;OAGG;IAEI,OAAO,IAAI,KAAK;IAMvB,OAAO,CAAC,OAAO;IAIf;;;OAGG;IAEH;;;;OAIG;IAEI,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK;IAgBzC;;;;;;OAMG;IAEI,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,mBAAmB;IAqBrD;;;OAGG;IAEI,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE;IAM3B;;;OAGG;IACH,IAAW,SAAS,IAAI,MAAM,CAE7B;CACF;AAGD,yBAAiB,eAAe,CAAC;IAC/B,SAAgB,YAAY,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK,CAS9C;IAED,SAAgB,eAAe,CAC7B,OAAO,EAAE,mBAAmB,EAC5B,IAAI,EAAE,KAAK,EACX,GAAG,EAAE,KAAK,EACV,KAAK,EAAE,KAAK,GACX,IAAI,CAKN;IAED,SAAgB,WAAW,CACzB,OAAO,EAAE,mBAAmB,EAC5B,KAAK,EAAE,KAAK,GACX,KAAK,CAEP;CACF;AAED;;;GAGG;AACH,iBAAS,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAK9D"}
1
+ {"version":3,"file":"RollupMerkleTree.d.ts","sourceRoot":"","sources":["../../../src/utils/merkletree/RollupMerkleTree.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,IAAI,EAAE,KAAK,EAA8B,MAAM,UAAU,CAAC;AAInE,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAIpD,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,CAAC;AAIjD,OAAO,EAAE,SAAS,EAAE,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAErB;;;GAGG;AACH,cAAM,mBAAoB,SAAQ,wBAGhC;IACA,OAAc,MAAM,SAAO;IAEpB,MAAM,IAAI,MAAM;IAIvB;;;;OAIG;IACI,aAAa,CAAC,IAAI,EAAE,KAAK,GAAG,KAAK;IAaxC;;;OAGG;IACI,cAAc,IAAI,KAAK;CAiB/B;AAED;;;;;;;;;;;;;GAaG;AACH,cAAM,gBAAgB;IACpB,OAAc,MAAM,SAAO;IAE3B,WAAkB,SAAS,IAAI,MAAM,CAEpC;IAED,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAW;IAElC,SAAgB,KAAK,EAAE,eAAe,CAAC;gBAEpB,KAAK,EAAE,eAAe;IAYzC;;;;;OAKG;IAEI,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,KAAK;IAInD;;;OAGG;IAEI,OAAO,IAAI,KAAK;IAMvB,OAAO,CAAC,OAAO;IAIf;;;OAGG;IAEH;;;;OAIG;IAEI,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK;IAgBzC;;;;;;OAMG;IAEI,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,mBAAmB;IAqBrD;;;OAGG;IAEI,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE;IAM3B;;;OAGG;IACH,IAAW,SAAS,IAAI,MAAM,CAE7B;CACF;AAGD,yBAAiB,eAAe,CAAC;IAC/B,SAAgB,YAAY,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK,CAS9C;IAED,SAAgB,eAAe,CAC7B,OAAO,EAAE,mBAAmB,EAC5B,IAAI,EAAE,KAAK,EACX,GAAG,EAAE,KAAK,EACV,KAAK,EAAE,KAAK,GACX,IAAI,CAKN;IAED,SAAgB,WAAW,CACzB,OAAO,EAAE,mBAAmB,EAC5B,KAAK,EAAE,KAAK,GACX,KAAK,CAEP;CACF;AAED;;;GAGG;AACH,iBAAS,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAK9D"}