@proto-kit/protocol 0.1.1-develop.165 → 0.1.1-develop.186
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/dist/model/MethodPublicOutput.d.ts +6 -7
- package/dist/model/MethodPublicOutput.d.ts.map +1 -1
- package/dist/model/Option.d.ts +11 -7
- package/dist/model/Option.d.ts.map +1 -1
- package/dist/model/Option.js +10 -0
- package/dist/model/StateTransition.d.ts +11 -0
- package/dist/model/StateTransition.d.ts.map +1 -1
- package/dist/model/StateTransition.js +7 -0
- package/dist/model/StateTransitionProvableBatch.d.ts +4 -4
- package/dist/model/StateTransitionProvableBatch.d.ts.map +1 -1
- package/dist/model/StateTransitionProvableBatch.js +6 -6
- package/dist/model/network/NetworkState.d.ts.map +1 -1
- package/dist/model/network/NetworkState.js +1 -3
- package/dist/model/transaction/RuntimeTransaction.d.ts +9 -1
- package/dist/model/transaction/RuntimeTransaction.d.ts.map +1 -1
- package/dist/model/transaction/RuntimeTransaction.js +5 -2
- package/dist/protocol/Protocol.d.ts +1 -1
- package/dist/protocol/Protocol.d.ts.map +1 -1
- package/dist/protocol/ProtocolModule.d.ts +1 -1
- package/dist/protocol/ProtocolModule.d.ts.map +1 -1
- package/dist/protocol/ProtocolModule.js +3 -3
- package/dist/prover/block/BlockProvable.d.ts +1 -1
- package/dist/prover/block/BlockProvable.d.ts.map +1 -1
- package/dist/prover/block/BlockProver.d.ts.map +1 -1
- package/dist/prover/statetransition/StateTransitionProver.d.ts +2 -2
- package/dist/prover/statetransition/StateTransitionProver.d.ts.map +1 -1
- package/dist/prover/statetransition/StateTransitionProver.js +5 -4
- package/dist/prover/statetransition/StateTransitionWitnessProvider.d.ts +1 -1
- package/dist/prover/statetransition/StateTransitionWitnessProvider.d.ts.map +1 -1
- package/dist/prover/statetransition/StateTransitionWitnessProvider.js +1 -1
- package/dist/prover/statetransition/StateTransitionWitnessProviderReference.d.ts.map +1 -1
- package/dist/utils/merkletree/InMemoryMerkleTreeStorage.d.ts.map +1 -1
- package/dist/utils/merkletree/InMemoryMerkleTreeStorage.js +3 -3
- package/dist/utils/merkletree/RollupMerkleTree.d.ts +6 -6
- package/dist/utils/merkletree/RollupMerkleTree.d.ts.map +1 -1
- package/dist/utils/merkletree/RollupMerkleTree.js +4 -4
- package/dist/utils/{Utils.d.ts → utils.d.ts} +2 -5
- package/dist/utils/{Utils.d.ts.map → utils.d.ts.map} +1 -1
- package/dist/utils/utils.js +51 -0
- package/package.json +4 -4
- package/src/model/Option.ts +13 -0
- package/src/model/StateTransition.ts +8 -0
- package/src/model/StateTransitionProvableBatch.ts +8 -7
- package/src/model/network/NetworkState.ts +1 -3
- package/src/model/transaction/RuntimeTransaction.ts +5 -1
- package/src/protocol/Protocol.ts +1 -1
- package/src/protocol/ProtocolModule.ts +4 -5
- package/src/prover/block/BlockProvable.ts +2 -2
- package/src/prover/block/BlockProver.ts +6 -1
- package/src/prover/statetransition/StateTransitionProver.ts +6 -9
- package/src/prover/statetransition/StateTransitionWitnessProvider.ts +1 -1
- package/src/prover/statetransition/StateTransitionWitnessProviderReference.ts +2 -2
- package/src/utils/merkletree/InMemoryMerkleTreeStorage.ts +4 -4
- package/src/utils/merkletree/MerkleTreeStore.ts +1 -1
- package/src/utils/merkletree/RollupMerkleTree.ts +9 -4
- package/src/utils/utils.ts +29 -45
- package/test/utils.test.ts +30 -0
- package/dist/config/ConfigurableModule.d.ts +0 -18
- package/dist/config/ConfigurableModule.d.ts.map +0 -1
- package/dist/config/ConfigurableModule.js +0 -20
- package/dist/config/ConfigurationAggregator.d.ts +0 -10
- package/dist/config/ConfigurationAggregator.d.ts.map +0 -1
- package/dist/config/ConfigurationAggregator.js +0 -35
- package/dist/config/ConfigurationReceiver.d.ts +0 -25
- package/dist/config/ConfigurationReceiver.d.ts.map +0 -1
- package/dist/config/ConfigurationReceiver.js +0 -36
- package/dist/config/ModuleContainer.d.ts +0 -44
- package/dist/config/ModuleContainer.d.ts.map +0 -1
- package/dist/config/ModuleContainer.js +0 -89
- package/dist/config/types.d.ts +0 -2
- package/dist/config/types.d.ts.map +0 -1
- package/dist/config/types.js +0 -1
- package/dist/model/MethodPublicInput.d.ts +0 -51
- package/dist/model/MethodPublicInput.d.ts.map +0 -1
- package/dist/model/MethodPublicInput.js +0 -11
- package/dist/prover/block/BlockScopedModule.d.ts +0 -3
- package/dist/prover/block/BlockScopedModule.d.ts.map +0 -1
- package/dist/prover/block/BlockScopedModule.js +0 -6
- package/dist/src/model/Option.d.ts +0 -158
- package/dist/src/model/Option.d.ts.map +0 -1
- package/dist/src/model/Option.js +0 -53
- package/dist/src/model/Path.d.ts +0 -35
- package/dist/src/model/Path.d.ts.map +0 -1
- package/dist/src/model/Path.js +0 -51
- package/dist/src/model/StateTransition.d.ts +0 -201
- package/dist/src/model/StateTransition.d.ts.map +0 -1
- package/dist/src/model/StateTransition.js +0 -43
- package/dist/src/utils/PrefixedHashList.d.ts +0 -15
- package/dist/src/utils/PrefixedHashList.d.ts.map +0 -1
- package/dist/src/utils/PrefixedHashList.js +0 -28
- package/dist/src/utils/ProvableHashList.d.ts +0 -30
- package/dist/src/utils/ProvableHashList.d.ts.map +0 -1
- package/dist/src/utils/ProvableHashList.js +0 -43
- package/dist/utils/PrefixedHashList.d.ts +0 -14
- package/dist/utils/PrefixedHashList.d.ts.map +0 -1
- package/dist/utils/PrefixedHashList.js +0 -12
- package/dist/utils/Utils.js +0 -64
- package/dist/utils/merkletree/MemoryMerkleTreeStorage.d.ts +0 -26
- package/dist/utils/merkletree/MemoryMerkleTreeStorage.d.ts.map +0 -1
- 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":"
|
|
1
|
+
{"version":3,"file":"MethodPublicOutput.d.ts","sourceRoot":"","sources":["../../src/model/MethodPublicOutput.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEA;;;GAGG;AACH,qBAAa,kBAAmB,SAAQ,uBAKtC;CAAG"}
|
package/dist/model/Option.d.ts
CHANGED
|
@@ -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,
|
|
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"}
|
package/dist/model/Option.js
CHANGED
|
@@ -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;
|
|
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"}
|
|
@@ -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
|
|
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
|
|
15
|
-
packed?: [import("snarkyjs/dist/node/lib/field
|
|
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":"
|
|
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 {
|
|
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:
|
|
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;
|
|
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"}
|
|
@@ -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
|
|
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
|
-
|
|
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
|
-
|
|
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;
|
|
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;
|
|
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,
|
|
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;
|
|
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;
|
|
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
|
-
|
|
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(
|
|
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,
|
|
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(
|
|
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":"
|
|
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":"
|
|
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
|
-
|
|
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,
|
|
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"}
|