@proto-kit/protocol 0.1.1-develop.161 → 0.1.1-develop.163

package/dist/prover/block/BlockProver.js

@@ -82,10 +82,10 @@ let BlockProver = class BlockProver extends ProtocolModule {
             stateRoot: publicInput.stateRoot,
             networkStateHash: publicInput.networkStateHash,
         };
-        this.applyTransaction(state, stateProof, appProof, executionData);
+        const stateTo = this.applyTransaction(state, stateProof, appProof, executionData);
         return new BlockProverPublicOutput({
-            stateRoot: state.stateRoot,
-            transactionsHash: state.transactionsHash,
+            stateRoot: stateTo.stateRoot,
+            transactionsHash: stateTo.transactionsHash,
         });
     }
     merge(publicInput, proof1, proof2) {

package/dist/utils/Utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/utils/utils.ts"],"names":[],"mappings":"AAKA,OAAO,EAAW,KAAK,EAAmB,MAAM,UAAU,CAAC;AAE3D,MAAM,MAAM,UAAU,CAAC,YAAY,SAAS,QAAQ,IAAI,YAAY,SAAS,CAC3E,GAAG,IAAI,EAAE,GAAG,EAAE,KACX,MAAM,MAAM,GACb,MAAM,GACN,GAAG,CAAC;AAER,MAAM,MAAM,YAAY,GAAG,KAAK,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC;AAEvD,MAAM,MAAM,UAAU,CAAC,KAAK,IAAI,KAAK,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,KAAK,CAAC;AAE9D,MAAM,MAAM,QAAQ,CAAC,KAAK,SAAS,KAAK,GAAG,IAAI,EAAE,GAAG,KAAK,GAAG,IAAI,CAAC,KAC/D,GAAG,IAAI,EAAE,GAAG,KACT,YAAY,CAAC,KAAK,CAAC,CAAC,GAAG;KACzB,GAAG,IAAI,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC;CACjC,GAAG;IAAE,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC,CAAA;CAAE,CAAC;AAEvC,wBAAgB,YAAY,IAAI,eAAe,CAoB9C;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,eAAe,UAAQ,gDAgCnE;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,GAAG,MAAM,CAkB3D;AAED,wBAAgB,IAAI,IAAI,IAAI,CAAG"}
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/utils/utils.ts"],"names":[],"mappings":"AAGA,OAAO,EAAW,KAAK,EAAmB,MAAM,UAAU,CAAC;AAE3D,MAAM,MAAM,UAAU,CAAC,YAAY,SAAS,QAAQ,IAAI,YAAY,SAAS,CAC3E,GAAG,IAAI,EAAE,GAAG,EAAE,KACX,MAAM,MAAM,GACb,MAAM,GACN,GAAG,CAAC;AAER,MAAM,MAAM,YAAY,GAAG,KAAK,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC;AAEvD,MAAM,MAAM,UAAU,CAAC,KAAK,IAAI,KAAK,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,KAAK,CAAC;AAE9D,MAAM,MAAM,QAAQ,CAAC,KAAK,SAAS,KAAK,GAAG,IAAI,EAAE,GAAG,KAAK,GAAG,IAAI,CAAC,KAC/D,GAAG,IAAI,EAAE,GAAG,KACT,YAAY,CAAC,KAAK,CAAC,CAAC,GAAG;KACzB,GAAG,IAAI,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC;CACjC,GAAG;IAAE,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC,CAAA;CAAE,CAAC;AAEvC,wBAAgB,YAAY,IAAI,eAAe,CAoB9C;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,eAAe,UAAQ,gDAiCnE;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,GAAG,MAAM,CAmB3D;AAED,wBAAgB,IAAI,IAAI,IAAI,CAAG"}

package/dist/utils/Utils.js

@@ -1,6 +1,5 @@
 // eslint-disable-next-line max-len
 /* eslint-disable @typescript-eslint/no-explicit-any,@typescript-eslint/ban-types, @typescript-eslint/no-unsafe-return,@typescript-eslint/no-empty-function */
-import { TextEncoder, TextDecoder } from "node:util";
 import { Circuit, Field, Poseidon } from "snarkyjs";
 export function notInCircuit() {
     return function ReplacedFunction(target, propertyKey, descriptor) {
@@ -19,6 +18,7 @@ export function notInCircuit() {
 }
 export function stringToField(value, throwOnOverflow = false) {
     const fieldSize = Field.sizeInBytes();
+    // eslint-disable-next-line putout/putout
     const encoder = new TextEncoder();
     const stringBytes = Array.from(encoder.encode(value));
     const padding = Array.from({
@@ -57,6 +57,7 @@ export function fieldToString(value) {
             .reverse()
             .findIndex((element) => element !== 0);
     bytes = bytes.slice(0, zeroesStart);
+    // eslint-disable-next-line putout/putout
     const decoder = new TextDecoder();
     return decoder.decode(new Uint8Array(bytes));
 }

package/dist/utils/merkletree/InMemoryMerkleTreeStorage.d.ts.map

@@ -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;IA0BxC,eAAe,IAAI,OAAO,CAAC,IAAI,CAAC;CAqB9C"}
+{"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"}

package/dist/utils/merkletree/InMemoryMerkleTreeStorage.js

@@ -32,7 +32,6 @@ export class CachedMerkleTreeStore extends InMemoryMerkleTreeStorage {
         this.writeCache = {};
     }
     async preloadKey(index) {
-        var _a;
         log.debug(`Preloading MT ${index}`);
         // Algo from RollupMerkleTree.getWitness()
         const { leafCount, height } = RollupMerkleTree;
@@ -43,13 +42,19 @@ export class CachedMerkleTreeStore extends InMemoryMerkleTreeStorage {
         // TODO Not practical at the moment. Improve pattern when implementing DB storage
         for (let level = 0; level < height; level++) {
             const key = index;
+            const isLeft = index % 2n === 0n;
+            const siblingKey = isLeft ? index + 1n : index - 1n;
             // eslint-disable-next-line no-await-in-loop
             const value = await this.parent.getNode(key, level);
+            const sibling = await this.parent.getNode(siblingKey, level);
             if (level === 0) {
-                log.debug(`Preloaded ${key} -> ${value ?? "-"}`);
+                log.debug(`Preloaded ${key} @ ${level} -> ${value ?? "-"}`);
             }
             if (value !== undefined) {
-                ((_a = this.nodes)[level] ?? (_a[level] = {}))[key.toString()] = value;
+                this.setNode(key, level, value);
+            }
+            if (sibling !== undefined) {
+                this.setNode(siblingKey, level, sibling);
             }
             index /= 2n;
         }

package/package.json

@@ -3,7 +3,7 @@
   "license": "MIT",
   "private": false,
   "type": "module",
-  "version": "0.1.1-develop.161+923a146",
+  "version": "0.1.1-develop.163+1656fd6",
   "scripts": {
     "build": "tsc -p tsconfig.json",
     "dev": "tsc -p tsconfig.json --watch",
@@ -17,7 +17,7 @@
     "access": "public"
   },
   "dependencies": {
-    "@proto-kit/common": "0.1.1-develop.161+923a146",
+    "@proto-kit/common": "0.1.1-develop.163+1656fd6",
     "lodash": "^4.17.21",
     "loglevel": "^1.8.1",
     "reflect-metadata": "^0.1.13",
@@ -31,5 +31,5 @@
     "@jest/globals": "^29.5.0",
     "@types/lodash": "^4.14.194"
   },
-  "gitHead": "923a1466aac4dd2e2d2206845eadcc6c0f413849"
+  "gitHead": "1656fd6c13ef14f1bea45cd2629a569f1da02236"
 }

package/src/prover/block/BlockProver.ts

@@ -182,11 +182,11 @@ export class BlockProver
       networkStateHash: publicInput.networkStateHash,
     };
 
-    this.applyTransaction(state, stateProof, appProof, executionData);
+    const stateTo = this.applyTransaction(state, stateProof, appProof, executionData);
 
     return new BlockProverPublicOutput({
-      stateRoot: state.stateRoot,
-      transactionsHash: state.transactionsHash,
+      stateRoot: stateTo.stateRoot,
+      transactionsHash: stateTo.transactionsHash,
     });
   }
 

package/src/utils/merkletree/InMemoryMerkleTreeStorage.ts

@@ -63,13 +63,20 @@ export class CachedMerkleTreeStore extends InMemoryMerkleTreeStorage {
     for (let level = 0; level < height; level++) {
       const key = index;
 
+      const isLeft = index % 2n === 0n;
+      const siblingKey = isLeft ? index + 1n : index - 1n;
+
       // eslint-disable-next-line no-await-in-loop
       const value = await this.parent.getNode(key, level);
+      const sibling = await this.parent.getNode(siblingKey, level);
       if (level === 0) {
-        log.debug(`Preloaded ${key} -> ${value ?? "-"}`);
+        log.debug(`Preloaded ${key} @ ${level} -> ${value ?? "-"}`);
       }
       if (value !== undefined) {
-        (this.nodes[level] ??= {})[key.toString()] = value;
+        this.setNode(key, level, value);
+      }
+      if(sibling !== undefined) {
+        this.setNode(siblingKey, level, sibling);
       }
       index /= 2n;
     }

package/src/utils/utils.ts

@@ -1,8 +1,6 @@
 // eslint-disable-next-line max-len
 /* eslint-disable @typescript-eslint/no-explicit-any,@typescript-eslint/ban-types, @typescript-eslint/no-unsafe-return,@typescript-eslint/no-empty-function */
 
-import { TextEncoder, TextDecoder } from "node:util";
-
 import { Circuit, Field, Poseidon, Proof } from "snarkyjs";
 
 export type ReturnType<FunctionType extends Function> = FunctionType extends (
@@ -46,6 +44,7 @@ export function notInCircuit(): MethodDecorator {
 export function stringToField(value: string, throwOnOverflow = false) {
   const fieldSize = Field.sizeInBytes();
 
+  // eslint-disable-next-line putout/putout
   const encoder = new TextEncoder();
 
   const stringBytes = Array.from(encoder.encode(value));
@@ -95,6 +94,7 @@ export function fieldToString(value: Field | bigint): string {
 
   bytes = bytes.slice(0, zeroesStart);
 
+  // eslint-disable-next-line putout/putout
   const decoder = new TextDecoder();
 
   return decoder.decode(new Uint8Array(bytes));

package/test/StateTransition.test.ts

@@ -6,7 +6,7 @@ import {
   Option,
   ProvableStateTransition,
   DefaultProvableHashList,
-  StateTransitionProvableBatch, CachedMerkleTreeStore
+  StateTransitionProvableBatch, CachedMerkleTreeStore, InMemoryMerkleTreeStorage
 } from "../src/index";
 import {
   RollupMerkleTree,
@@ -108,7 +108,7 @@ describe("stateTransition", () => {
   ])("should pass without throwing", async (transitions) => {
     expect.assertions(2);
 
-    const tree = new RollupMerkleTree(new MemoryMerkleTreeStorage());
+    const tree = new RollupMerkleTree(new InMemoryMerkleTreeStorage());
 
     // Is ignored because overwritten by first transition
     tree.setLeaf(1n, Option.fromValue(Field(1), Field).treeValue);
@@ -168,7 +168,7 @@ describe("stateTransition", () => {
     async (transitions, index) => {
       expect.assertions(1);
 
-      const tree = new RollupMerkleTree(new MemoryMerkleTreeStorage());
+      const tree = new RollupMerkleTree(new InMemoryMerkleTreeStorage());
 
       // Is ignored because overwritten by first transition
       tree.setLeaf(1n, Option.fromValue(Field(1), Field).treeValue);