@proto-kit/protocol 0.1.1-develop.154 → 0.1.1-develop.160
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.
|
@@ -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;
|
|
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"}
|
|
@@ -100,7 +100,6 @@ let StateTransitionProver = class StateTransitionProver extends ProtocolModule {
|
|
|
100
100
|
*/
|
|
101
101
|
applyTransition(state, transition, index = 0) {
|
|
102
102
|
const treeWitness = Provable.witness(RollupMerkleWitness, () => this.witnessProvider.getWitness(transition.path));
|
|
103
|
-
Provable.log(`ST (${index})`, state.stateRoot, " value: ", transition.from.value);
|
|
104
103
|
const membershipValid = MerkleTreeUtils.checkMembership(treeWitness, state.stateRoot, transition.path, transition.from.value);
|
|
105
104
|
membershipValid
|
|
106
105
|
.or(transition.from.isSome.not())
|
|
@@ -113,13 +112,11 @@ let StateTransitionProver = class StateTransitionProver extends ProtocolModule {
|
|
|
113
112
|
* Applies a whole batch of StateTransitions at once
|
|
114
113
|
*/
|
|
115
114
|
runBatch(publicInput, batch) {
|
|
116
|
-
Provable.log(publicInput);
|
|
117
115
|
const result = this.applyTransitions(publicInput.stateRoot, publicInput.stateTransitionsHash, batch);
|
|
118
116
|
const output = new StateTransitionProverPublicOutput({
|
|
119
117
|
stateRoot: result.stateRoot,
|
|
120
118
|
stateTransitionsHash: result.stateTransitionList.commitment,
|
|
121
119
|
});
|
|
122
|
-
Provable.log(output);
|
|
123
120
|
return output;
|
|
124
121
|
}
|
|
125
122
|
merge(publicInput, proof1, proof2) {
|
package/package.json
CHANGED
|
@@ -3,7 +3,7 @@
|
|
|
3
3
|
"license": "MIT",
|
|
4
4
|
"private": false,
|
|
5
5
|
"type": "module",
|
|
6
|
-
"version": "0.1.1-develop.
|
|
6
|
+
"version": "0.1.1-develop.160+5120680",
|
|
7
7
|
"scripts": {
|
|
8
8
|
"build": "tsc -p tsconfig.json",
|
|
9
9
|
"dev": "tsc -p tsconfig.json --watch",
|
|
@@ -17,7 +17,7 @@
|
|
|
17
17
|
"access": "public"
|
|
18
18
|
},
|
|
19
19
|
"dependencies": {
|
|
20
|
-
"@proto-kit/common": "0.1.1-develop.
|
|
20
|
+
"@proto-kit/common": "0.1.1-develop.160+5120680",
|
|
21
21
|
"lodash": "^4.17.21",
|
|
22
22
|
"loglevel": "^1.8.1",
|
|
23
23
|
"reflect-metadata": "^0.1.13",
|
|
@@ -31,5 +31,5 @@
|
|
|
31
31
|
"@jest/globals": "^29.5.0",
|
|
32
32
|
"@types/lodash": "^4.14.194"
|
|
33
33
|
},
|
|
34
|
-
"gitHead": "
|
|
34
|
+
"gitHead": "51206808f0eba77c4ad8c1af476a6dbdd478d2a3"
|
|
35
35
|
}
|
|
@@ -178,12 +178,7 @@ export class StateTransitionProver
|
|
|
178
178
|
const treeWitness = Provable.witness(RollupMerkleWitness, () =>
|
|
179
179
|
this.witnessProvider.getWitness(transition.path)
|
|
180
180
|
);
|
|
181
|
-
|
|
182
|
-
`ST (${index})`,
|
|
183
|
-
state.stateRoot,
|
|
184
|
-
" value: ",
|
|
185
|
-
transition.from.value
|
|
186
|
-
);
|
|
181
|
+
|
|
187
182
|
const membershipValid = MerkleTreeUtils.checkMembership(
|
|
188
183
|
treeWitness,
|
|
189
184
|
state.stateRoot,
|
|
@@ -218,7 +213,6 @@ export class StateTransitionProver
|
|
|
218
213
|
publicInput: StateTransitionProverPublicInput,
|
|
219
214
|
batch: StateTransitionProvableBatch
|
|
220
215
|
): StateTransitionProverPublicOutput {
|
|
221
|
-
Provable.log(publicInput);
|
|
222
216
|
const result = this.applyTransitions(
|
|
223
217
|
publicInput.stateRoot,
|
|
224
218
|
publicInput.stateTransitionsHash,
|
|
@@ -229,7 +223,6 @@ export class StateTransitionProver
|
|
|
229
223
|
stateRoot: result.stateRoot,
|
|
230
224
|
stateTransitionsHash: result.stateTransitionList.commitment,
|
|
231
225
|
});
|
|
232
|
-
Provable.log(output);
|
|
233
226
|
return output;
|
|
234
227
|
}
|
|
235
228
|
|