@proto-kit/protocol 0.1.1-develop.263 → 0.1.1-develop.298

package/dist/prover/statetransition/StateTransitionProvable.d.ts

@@ -1,39 +1,39 @@
-import { Proof } from "snarkyjs";
+import { Proof } from "o1js";
 import { WithZkProgrammable } from "@proto-kit/common";
 import { StateTransitionProvableBatch } from "../../model/StateTransitionProvableBatch";
 import { StateTransitionWitnessProviderReference } from "./StateTransitionWitnessProviderReference";
 declare const StateTransitionProverPublicInput_base: (new (value: {
-    stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    protocolTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    stateRoot: import("snarkyjs/dist/node/lib/field").Field;
-    protocolStateRoot: import("snarkyjs/dist/node/lib/field").Field;
+    stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
+    protocolTransitionsHash: import("o1js/dist/node/lib/field").Field;
+    stateRoot: import("o1js/dist/node/lib/field").Field;
+    protocolStateRoot: import("o1js/dist/node/lib/field").Field;
 }) => {
-    stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    protocolTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    stateRoot: import("snarkyjs/dist/node/lib/field").Field;
-    protocolStateRoot: import("snarkyjs/dist/node/lib/field").Field;
+    stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
+    protocolTransitionsHash: import("o1js/dist/node/lib/field").Field;
+    stateRoot: import("o1js/dist/node/lib/field").Field;
+    protocolStateRoot: import("o1js/dist/node/lib/field").Field;
 }) & {
     _isStruct: true;
-} & import("snarkyjs/dist/node/snarky").ProvablePure<{
-    stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    protocolTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    stateRoot: import("snarkyjs/dist/node/lib/field").Field;
-    protocolStateRoot: import("snarkyjs/dist/node/lib/field").Field;
+} & import("o1js/dist/node/snarky").ProvablePure<{
+    stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
+    protocolTransitionsHash: import("o1js/dist/node/lib/field").Field;
+    stateRoot: import("o1js/dist/node/lib/field").Field;
+    protocolStateRoot: import("o1js/dist/node/lib/field").Field;
 }> & {
     toInput: (x: {
-        stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-        protocolTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-        stateRoot: import("snarkyjs/dist/node/lib/field").Field;
-        protocolStateRoot: import("snarkyjs/dist/node/lib/field").Field;
+        stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
+        protocolTransitionsHash: import("o1js/dist/node/lib/field").Field;
+        stateRoot: import("o1js/dist/node/lib/field").Field;
+        protocolStateRoot: import("o1js/dist/node/lib/field").Field;
     }) => {
-        fields?: import("snarkyjs/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("snarkyjs/dist/node/lib/field").Field, number][] | undefined;
+        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
     };
     toJSON: (x: {
-        stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-        protocolTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-        stateRoot: import("snarkyjs/dist/node/lib/field").Field;
-        protocolStateRoot: import("snarkyjs/dist/node/lib/field").Field;
+        stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
+        protocolTransitionsHash: import("o1js/dist/node/lib/field").Field;
+        stateRoot: import("o1js/dist/node/lib/field").Field;
+        protocolStateRoot: import("o1js/dist/node/lib/field").Field;
     }) => {
         stateTransitionsHash: string;
         protocolTransitionsHash: string;
@@ -46,46 +46,46 @@ declare const StateTransitionProverPublicInput_base: (new (value: {
         stateRoot: string;
         protocolStateRoot: string;
     }) => {
-        stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-        protocolTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-        stateRoot: import("snarkyjs/dist/node/lib/field").Field;
-        protocolStateRoot: import("snarkyjs/dist/node/lib/field").Field;
+        stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
+        protocolTransitionsHash: import("o1js/dist/node/lib/field").Field;
+        stateRoot: import("o1js/dist/node/lib/field").Field;
+        protocolStateRoot: import("o1js/dist/node/lib/field").Field;
     };
 };
 export declare class StateTransitionProverPublicInput extends StateTransitionProverPublicInput_base {
 }
 declare const StateTransitionProverPublicOutput_base: (new (value: {
-    stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    protocolTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    stateRoot: import("snarkyjs/dist/node/lib/field").Field;
-    protocolStateRoot: import("snarkyjs/dist/node/lib/field").Field;
+    stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
+    protocolTransitionsHash: import("o1js/dist/node/lib/field").Field;
+    stateRoot: import("o1js/dist/node/lib/field").Field;
+    protocolStateRoot: import("o1js/dist/node/lib/field").Field;
 }) => {
-    stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    protocolTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    stateRoot: import("snarkyjs/dist/node/lib/field").Field;
-    protocolStateRoot: import("snarkyjs/dist/node/lib/field").Field;
+    stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
+    protocolTransitionsHash: import("o1js/dist/node/lib/field").Field;
+    stateRoot: import("o1js/dist/node/lib/field").Field;
+    protocolStateRoot: import("o1js/dist/node/lib/field").Field;
 }) & {
     _isStruct: true;
-} & import("snarkyjs/dist/node/snarky").ProvablePure<{
-    stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    protocolTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    stateRoot: import("snarkyjs/dist/node/lib/field").Field;
-    protocolStateRoot: import("snarkyjs/dist/node/lib/field").Field;
+} & import("o1js/dist/node/snarky").ProvablePure<{
+    stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
+    protocolTransitionsHash: import("o1js/dist/node/lib/field").Field;
+    stateRoot: import("o1js/dist/node/lib/field").Field;
+    protocolStateRoot: import("o1js/dist/node/lib/field").Field;
 }> & {
     toInput: (x: {
-        stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-        protocolTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-        stateRoot: import("snarkyjs/dist/node/lib/field").Field;
-        protocolStateRoot: import("snarkyjs/dist/node/lib/field").Field;
+        stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
+        protocolTransitionsHash: import("o1js/dist/node/lib/field").Field;
+        stateRoot: import("o1js/dist/node/lib/field").Field;
+        protocolStateRoot: import("o1js/dist/node/lib/field").Field;
     }) => {
-        fields?: import("snarkyjs/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("snarkyjs/dist/node/lib/field").Field, number][] | undefined;
+        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
     };
     toJSON: (x: {
-        stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-        protocolTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-        stateRoot: import("snarkyjs/dist/node/lib/field").Field;
-        protocolStateRoot: import("snarkyjs/dist/node/lib/field").Field;
+        stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
+        protocolTransitionsHash: import("o1js/dist/node/lib/field").Field;
+        stateRoot: import("o1js/dist/node/lib/field").Field;
+        protocolStateRoot: import("o1js/dist/node/lib/field").Field;
     }) => {
         stateTransitionsHash: string;
         protocolTransitionsHash: string;
@@ -98,10 +98,10 @@ declare const StateTransitionProverPublicOutput_base: (new (value: {
         stateRoot: string;
         protocolStateRoot: string;
     }) => {
-        stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-        protocolTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-        stateRoot: import("snarkyjs/dist/node/lib/field").Field;
-        protocolStateRoot: import("snarkyjs/dist/node/lib/field").Field;
+        stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
+        protocolTransitionsHash: import("o1js/dist/node/lib/field").Field;
+        stateRoot: import("o1js/dist/node/lib/field").Field;
+        protocolStateRoot: import("o1js/dist/node/lib/field").Field;
     };
 };
 export declare class StateTransitionProverPublicOutput extends StateTransitionProverPublicOutput_base {

package/dist/prover/statetransition/StateTransitionProvable.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"StateTransitionProvable.d.ts","sourceRoot":"","sources":["../../../src/prover/statetransition/StateTransitionProvable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,KAAK,EAAU,MAAM,UAAU,CAAC;AAChD,OAAO,EAAE,kBAAkB,EAAkB,MAAM,mBAAmB,CAAC;AAEvE,OAAO,EAAE,4BAA4B,EAAE,MAAM,0CAA0C,CAAC;AAExF,OAAO,EAAE,uCAAuC,EAAE,MAAM,2CAA2C,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEpG,qBAAa,gCAAiC,SAAQ,qCAKpD;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEL,qBAAa,iCAAkC,SAAQ,sCAKrD;CAAG;AAEL,MAAM,MAAM,oBAAoB,GAAG,KAAK,CACtC,gCAAgC,EAChC,iCAAiC,CAClC,CAAC;AAEF,MAAM,WAAW,uBACf,SAAQ,kBAAkB,CACxB,gCAAgC,EAChC,iCAAiC,CAClC;IACD,wBAAwB,EAAE,uCAAuC,CAAC;IAElE,QAAQ,EAAE,CACR,WAAW,EAAE,gCAAgC,EAC7C,KAAK,EAAE,4BAA4B,KAChC,iCAAiC,CAAC;IAEvC,KAAK,EAAE,CACL,WAAW,EAAE,gCAAgC,EAC7C,MAAM,EAAE,oBAAoB,EAC5B,MAAM,EAAE,oBAAoB,KACzB,iCAAiC,CAAC;CACxC"}
+{"version":3,"file":"StateTransitionProvable.d.ts","sourceRoot":"","sources":["../../../src/prover/statetransition/StateTransitionProvable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,KAAK,EAAU,MAAM,MAAM,CAAC;AAC5C,OAAO,EAAE,kBAAkB,EAAkB,MAAM,mBAAmB,CAAC;AAEvE,OAAO,EAAE,4BAA4B,EAAE,MAAM,0CAA0C,CAAC;AAExF,OAAO,EAAE,uCAAuC,EAAE,MAAM,2CAA2C,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEpG,qBAAa,gCAAiC,SAAQ,qCAKpD;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEL,qBAAa,iCAAkC,SAAQ,sCAKrD;CAAG;AAEL,MAAM,MAAM,oBAAoB,GAAG,KAAK,CACtC,gCAAgC,EAChC,iCAAiC,CAClC,CAAC;AAEF,MAAM,WAAW,uBACf,SAAQ,kBAAkB,CACxB,gCAAgC,EAChC,iCAAiC,CAClC;IACD,wBAAwB,EAAE,uCAAuC,CAAC;IAElE,QAAQ,EAAE,CACR,WAAW,EAAE,gCAAgC,EAC7C,KAAK,EAAE,4BAA4B,KAChC,iCAAiC,CAAC;IAEvC,KAAK,EAAE,CACL,WAAW,EAAE,gCAAgC,EAC7C,MAAM,EAAE,oBAAoB,EAC5B,MAAM,EAAE,oBAAoB,KACzB,iCAAiC,CAAC;CACxC"}

package/dist/prover/statetransition/StateTransitionProvable.js

@@ -1,4 +1,4 @@
-import { Field, Struct } from "snarkyjs";
+import { Field, Struct } from "o1js";
 export class StateTransitionProverPublicInput extends Struct({
     stateTransitionsHash: Field,
     protocolTransitionsHash: Field,

package/dist/prover/statetransition/StateTransitionProver.d.ts

@@ -1,4 +1,4 @@
-import { Field } from "snarkyjs";
+import { Field } from "o1js";
 import { AreProofsEnabled, PlainZkProgram, ZkProgrammable } from "@proto-kit/common";
 import { ProvableHashList } from "../../utils/ProvableHashList";
 import { ProvableStateTransition } from "../../model/StateTransition";
@@ -39,7 +39,7 @@ export declare class StateTransitionProverProgrammable extends ZkProgrammable<St
     runBatch(publicInput: StateTransitionProverPublicInput, batch: StateTransitionProvableBatch): StateTransitionProverPublicOutput;
     merge(publicInput: StateTransitionProverPublicInput, proof1: StateTransitionProof, proof2: StateTransitionProof): StateTransitionProverPublicOutput;
 }
-export declare class StateTransitionProver extends ProtocolModule implements StateTransitionProvable {
+export declare class StateTransitionProver extends ProtocolModule<object> implements StateTransitionProvable {
     readonly witnessProviderReference: StateTransitionWitnessProviderReference;
     readonly zkProgrammable: StateTransitionProverProgrammable;
     constructor(witnessProviderReference: StateTransitionWitnessProviderReference);

package/dist/prover/statetransition/StateTransitionProver.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"StateTransitionProver.d.ts","sourceRoot":"","sources":["../../../src/prover/statetransition/StateTransitionProver.ts"],"names":[],"mappings":"AACA,OAAO,EAAsB,KAAK,EAAuB,MAAM,UAAU,CAAC;AAE1E,OAAO,EACL,gBAAgB,EAEhB,cAAc,EAEd,cAAc,EACf,MAAM,mBAAmB,CAAC;AAM3B,OAAO,EAEL,gBAAgB,EACjB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EACL,2BAA2B,EAC3B,4BAA4B,EAC7B,MAAM,0CAA0C,CAAC;AAElD,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;AAepG,UAAU,mCAAmC;IAC3C,SAAS,EAAE,KAAK,CAAC;IACjB,iBAAiB,EAAE,KAAK,CAAC;IACzB,mBAAmB,EAAE,gBAAgB,CAAC,uBAAuB,CAAC,CAAC;IAC/D,sBAAsB,EAAE,gBAAgB,CAAC,uBAAuB,CAAC,CAAC;CACnE;AAOD;;;GAGG;AACH,qBAAa,iCAAkC,SAAQ,cAAc,CACnE,gCAAgC,EAChC,iCAAiC,CAClC;IAGG,OAAO,CAAC,QAAQ,CAAC,qBAAqB;aACtB,wBAAwB,EAAE,uCAAuC;gBADhE,qBAAqB,EAAE,qBAAqB,EAC7C,wBAAwB,EAAE,uCAAuC;IAKnF,IAAW,QAAQ,IAAI,gBAAgB,GAAG,SAAS,CAElD;IAEM,gBAAgB,IAAI,cAAc,CACvC,gCAAgC,EAChC,iCAAiC,CAClC;IAqDD,OAAO,KAAK,eAAe,GAM1B;IAED;;;OAGG;IACI,gBAAgB,CACrB,SAAS,EAAE,KAAK,EAChB,iBAAiB,EAAE,KAAK,EACxB,6BAA6B,EAAE,KAAK,EACpC,gCAAgC,EAAE,KAAK,EACvC,eAAe,EAAE,4BAA4B,GAC5C,mCAAmC;IA6BtC;;;OAGG;IACI,eAAe,CACpB,KAAK,EAAE,mCAAmC,EAC1C,UAAU,EAAE,uBAAuB,EACnC,IAAI,EAAE,2BAA2B,EACjC,KAAK,SAAI;IA2DX;;OAEG;IAEI,QAAQ,CACb,WAAW,EAAE,gCAAgC,EAC7C,KAAK,EAAE,4BAA4B,GAClC,iCAAiC;IAkB7B,KAAK,CACV,WAAW,EAAE,gCAAgC,EAC7C,MAAM,EAAE,oBAAoB,EAC5B,MAAM,EAAE,oBAAoB,GAC3B,iCAAiC;CAqErC;AAED,qBACa,qBACX,SAAQ,cACR,YAAW,uBAAuB;aAMhB,wBAAwB,EAAE,uCAAuC;IAJnF,SAAgB,cAAc,EAAE,iCAAiC,CAAC;gBAIhD,wBAAwB,EAAE,uCAAuC;IAS5E,QAAQ,CACb,WAAW,EAAE,gCAAgC,EAC7C,KAAK,EAAE,4BAA4B,GAClC,iCAAiC;IAI7B,KAAK,CACV,WAAW,EAAE,gCAAgC,EAC7C,MAAM,EAAE,oBAAoB,EAC5B,MAAM,EAAE,oBAAoB,GAC3B,iCAAiC;CAGrC"}
+{"version":3,"file":"StateTransitionProver.d.ts","sourceRoot":"","sources":["../../../src/prover/statetransition/StateTransitionProver.ts"],"names":[],"mappings":"AACA,OAAO,EAAsB,KAAK,EAAuB,MAAM,MAAM,CAAC;AAEtE,OAAO,EACL,gBAAgB,EAEhB,cAAc,EAEd,cAAc,EACf,MAAM,mBAAmB,CAAC;AAM3B,OAAO,EAEL,gBAAgB,EACjB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EACL,2BAA2B,EAC3B,4BAA4B,EAC7B,MAAM,0CAA0C,CAAC;AAElD,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;AAepG,UAAU,mCAAmC;IAC3C,SAAS,EAAE,KAAK,CAAC;IACjB,iBAAiB,EAAE,KAAK,CAAC;IACzB,mBAAmB,EAAE,gBAAgB,CAAC,uBAAuB,CAAC,CAAC;IAC/D,sBAAsB,EAAE,gBAAgB,CAAC,uBAAuB,CAAC,CAAC;CACnE;AAOD;;;GAGG;AACH,qBAAa,iCAAkC,SAAQ,cAAc,CACnE,gCAAgC,EAChC,iCAAiC,CAClC;IAGG,OAAO,CAAC,QAAQ,CAAC,qBAAqB;aACtB,wBAAwB,EAAE,uCAAuC;gBADhE,qBAAqB,EAAE,qBAAqB,EAC7C,wBAAwB,EAAE,uCAAuC;IAKnF,IAAW,QAAQ,IAAI,gBAAgB,GAAG,SAAS,CAElD;IAEM,gBAAgB,IAAI,cAAc,CACvC,gCAAgC,EAChC,iCAAiC,CAClC;IAqDD,OAAO,KAAK,eAAe,GAM1B;IAED;;;OAGG;IACI,gBAAgB,CACrB,SAAS,EAAE,KAAK,EAChB,iBAAiB,EAAE,KAAK,EACxB,6BAA6B,EAAE,KAAK,EACpC,gCAAgC,EAAE,KAAK,EACvC,eAAe,EAAE,4BAA4B,GAC5C,mCAAmC;IA6BtC;;;OAGG;IACI,eAAe,CACpB,KAAK,EAAE,mCAAmC,EAC1C,UAAU,EAAE,uBAAuB,EACnC,IAAI,EAAE,2BAA2B,EACjC,KAAK,SAAI;IAqDX;;OAEG;IAEI,QAAQ,CACb,WAAW,EAAE,gCAAgC,EAC7C,KAAK,EAAE,4BAA4B,GAClC,iCAAiC;IAkB7B,KAAK,CACV,WAAW,EAAE,gCAAgC,EAC7C,MAAM,EAAE,oBAAoB,EAC5B,MAAM,EAAE,oBAAoB,GAC3B,iCAAiC;CAqErC;AAED,qBACa,qBACX,SAAQ,cAAc,CAAC,MAAM,CAC7B,YAAW,uBAAuB;aAMhB,wBAAwB,EAAE,uCAAuC;IAJnF,SAAgB,cAAc,EAAE,iCAAiC,CAAC;gBAIhD,wBAAwB,EAAE,uCAAuC;IAS5E,QAAQ,CACb,WAAW,EAAE,gCAAgC,EAC7C,KAAK,EAAE,4BAA4B,GAClC,iCAAiC;IAI7B,KAAK,CACV,WAAW,EAAE,gCAAgC,EAC7C,MAAM,EAAE,oBAAoB,EAC5B,MAAM,EAAE,oBAAoB,GAC3B,iCAAiC;CAGrC"}

package/dist/prover/statetransition/StateTransitionProver.js

@@ -8,7 +8,7 @@ var __metadata = (this && this.__metadata) || function (k, v) {
     if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
 };
 /* eslint-disable max-lines */
-import { Experimental, Field, Provable, SelfProof } from "snarkyjs";
+import { Experimental, Field, Provable, SelfProof } from "o1js";
 import { injectable } from "tsyringe";
 import { provableMethod, ZkProgrammable, } from "@proto-kit/common";
 import { MerkleTreeUtils, RollupMerkleWitness, } from "../../utils/merkletree/RollupMerkleTree.js";
@@ -109,11 +109,6 @@ export class StateTransitionProverProgrammable extends ZkProgrammable {
     applyTransition(state, transition, type, index = 0) {
         const treeWitness = Provable.witness(RollupMerkleWitness, () => this.witnessProvider.getWitness(transition.path));
         const membershipValid = MerkleTreeUtils.checkMembership(treeWitness, state.stateRoot, transition.path, transition.from.value);
-        // if (!membershipValid.toBoolean()) {
-        //   console.log(
-        //     `Merklewitness error ${root1.toString()} ${root2.toString()}`
-        //   );
-        // }
         membershipValid
             .or(transition.from.isSome.not())
             .assertTrue(errors.merkleWitnessNotCorrect(index, type.isNormal().toBoolean() ? "normal" : "protocol"));

package/dist/prover/statetransition/StateTransitionWitnessProvider.d.ts

@@ -1,4 +1,4 @@
-import type { Field } from "snarkyjs";
+import type { Field } from "o1js";
 import { RollupMerkleWitness } from "../../utils/merkletree/RollupMerkleTree.js";
 /**
  * Interface for providing merkle witnesses to the state-transition prover

package/dist/prover/statetransition/StateTransitionWitnessProvider.d.ts.map

@@ -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,IAAI,mBAAmB;CAGzC"}
+{"version":3,"file":"StateTransitionWitnessProvider.d.ts","sourceRoot":"","sources":["../../../src/prover/statetransition/StateTransitionWitnessProvider.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,MAAM,CAAC;AAGlC,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"}

package/dist/state/State.d.ts

@@ -1,4 +1,4 @@
-import { Field, type FlexibleProvablePure } from "snarkyjs";
+import { Field, type FlexibleProvablePure } from "o1js";
 import { Path } from "../model/Path";
 import { Option } from "../model/Option";
 import { StateServiceProvider } from "./StateServiceProvider";

package/dist/state/State.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"State.d.ts","sourceRoot":"","sources":["../../src/state/State.ts"],"names":[],"mappings":"AACA,OAAO,EAAQ,KAAK,EAAY,KAAK,oBAAoB,EAAE,MAAM,UAAU,CAAC;AAI5E,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAGzC,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAG9D,qBAAa,QAAQ;IACZ,IAAI,CAAC,EAAE,KAAK,CAAC;IAEb,aAAa,IAAI,OAAO,CAAC,IAAI,IAAI;QAAE,IAAI,EAAE,IAAI,CAAA;KAAE;CAOvD;AAED,qBAAa,wBAAwB;IAC5B,oBAAoB,CAAC,EAAE,oBAAoB,CAAC;IAE5C,qBAAqB,IAAI,OAAO,CAAC,IAAI,IAAI;QAC9C,oBAAoB,EAAE,oBAAoB,CAAC;KAC5C;CAOF;;AAED;;GAEG;AACH,qBAAa,KAAK,CAAC,KAAK,CAAE,SAAQ,UAAyC;IAW/C,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAVhE;;;;;OAKG;WACW,IAAI,CAAC,KAAK,EAAE,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;gBAItC,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAIhE,OAAO,CAAC,QAAQ;IAuChB;;;;;OAKG;IACH,OAAO,CAAC,YAAY;IAUpB;;;;;OAKG;IACI,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC;IAc3B;;;;;;;;;;OAUG;IACI,GAAG,CAAC,KAAK,EAAE,KAAK;CAiBxB"}
+{"version":3,"file":"State.d.ts","sourceRoot":"","sources":["../../src/state/State.ts"],"names":[],"mappings":"AACA,OAAO,EAAQ,KAAK,EAAY,KAAK,oBAAoB,EAAE,MAAM,MAAM,CAAC;AAIxE,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAGzC,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAG9D,qBAAa,QAAQ;IACZ,IAAI,CAAC,EAAE,KAAK,CAAC;IAEb,aAAa,IAAI,OAAO,CAAC,IAAI,IAAI;QAAE,IAAI,EAAE,IAAI,CAAA;KAAE;CAOvD;AAED,qBAAa,wBAAwB;IAC5B,oBAAoB,CAAC,EAAE,oBAAoB,CAAC;IAE5C,qBAAqB,IAAI,OAAO,CAAC,IAAI,IAAI;QAC9C,oBAAoB,EAAE,oBAAoB,CAAC;KAC5C;CAOF;;AAED;;GAEG;AACH,qBAAa,KAAK,CAAC,KAAK,CAAE,SAAQ,UAAyC;IAW/C,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAVhE;;;;;OAKG;WACW,IAAI,CAAC,KAAK,EAAE,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;gBAItC,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAIhE,OAAO,CAAC,QAAQ;IAuChB;;;;;OAKG;IACH,OAAO,CAAC,YAAY;IAUpB;;;;;OAKG;IACI,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC;IAc3B;;;;;;;;;;OAUG;IACI,GAAG,CAAC,KAAK,EAAE,KAAK;CAiBxB"}

package/dist/state/State.js

@@ -1,5 +1,5 @@
 import { Mixin } from "ts-mixer";
-import { Bool, Provable } from "snarkyjs";
+import { Bool, Provable } from "o1js";
 import { container } from "tsyringe";
 import { dummyValue } from "@proto-kit/common";
 import { Option } from "../model/Option";

package/dist/state/StateMap.d.ts

@@ -1,4 +1,4 @@
-import type { Field, FlexibleProvablePure } from "snarkyjs";
+import type { Field, FlexibleProvablePure } from "o1js";
 import { Option } from "../model/Option";
 import { WithStateServiceProvider, WithPath } from "./State";
 declare const StateMap_base: import("ts-mixer/dist/types/types").Class<any[], WithPath & WithStateServiceProvider, typeof WithPath & typeof WithStateServiceProvider, false>;

package/dist/state/StateMap.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"StateMap.d.ts","sourceRoot":"","sources":["../../src/state/StateMap.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAC;AAI5D,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAEzC,OAAO,EAAS,wBAAwB,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;;AAEpE;;GAEG;AAEH,qBAAa,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAE,SAAQ,aAGjD;IAgBU,OAAO,EAAE,oBAAoB,CAAC,OAAO,CAAC;IACtC,SAAS,EAAE,oBAAoB,CAAC,SAAS,CAAC;IAhBnD;;;;;;OAMG;WACW,IAAI,CAAC,OAAO,EAAE,SAAS,EACnC,OAAO,EAAE,oBAAoB,CAAC,OAAO,CAAC,EACtC,SAAS,EAAE,oBAAoB,CAAC,SAAS,CAAC,GACzC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;gBAKtB,OAAO,EAAE,oBAAoB,CAAC,OAAO,CAAC,EACtC,SAAS,EAAE,oBAAoB,CAAC,SAAS,CAAC;IAK5C,OAAO,CAAC,GAAG,EAAE,OAAO,GAAG,KAAK;IAKnC;;;;;OAKG;IACI,GAAG,CAAC,GAAG,EAAE,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC;IAU3C;;;;;OAKG;IACI,GAAG,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,GAAG,IAAI;CASjD"}
+{"version":3,"file":"StateMap.d.ts","sourceRoot":"","sources":["../../src/state/StateMap.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,oBAAoB,EAAE,MAAM,MAAM,CAAC;AAIxD,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAEzC,OAAO,EAAS,wBAAwB,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;;AAEpE;;GAEG;AAEH,qBAAa,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAE,SAAQ,aAGjD;IAgBU,OAAO,EAAE,oBAAoB,CAAC,OAAO,CAAC;IACtC,SAAS,EAAE,oBAAoB,CAAC,SAAS,CAAC;IAhBnD;;;;;;OAMG;WACW,IAAI,CAAC,OAAO,EAAE,SAAS,EACnC,OAAO,EAAE,oBAAoB,CAAC,OAAO,CAAC,EACtC,SAAS,EAAE,oBAAoB,CAAC,SAAS,CAAC,GACzC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;gBAKtB,OAAO,EAAE,oBAAoB,CAAC,OAAO,CAAC,EACtC,SAAS,EAAE,oBAAoB,CAAC,SAAS,CAAC;IAK5C,OAAO,CAAC,GAAG,EAAE,OAAO,GAAG,KAAK;IAKnC;;;;;OAKG;IACI,GAAG,CAAC,GAAG,EAAE,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC;IAU3C;;;;;OAKG;IACI,GAAG,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,GAAG,IAAI;CASjD"}

package/dist/state/StateService.d.ts

@@ -1,4 +1,4 @@
-import { Field } from "snarkyjs";
+import { Field } from "o1js";
 export interface StateService {
     get: (key: Field) => Field[] | undefined;
     set: (key: Field, value: Field[] | undefined) => void;

package/dist/state/StateService.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"StateService.d.ts","sourceRoot":"","sources":["../../src/state/StateService.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAEjC,MAAM,WAAW,YAAY;IAC3B,GAAG,EAAE,CAAC,GAAG,EAAE,KAAK,KAAK,KAAK,EAAE,GAAG,SAAS,CAAC;IACzC,GAAG,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,SAAS,KAAK,IAAI,CAAC;CACvD"}
+{"version":3,"file":"StateService.d.ts","sourceRoot":"","sources":["../../src/state/StateService.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,MAAM,CAAC;AAE7B,MAAM,WAAW,YAAY;IAC3B,GAAG,EAAE,CAAC,GAAG,EAAE,KAAK,KAAK,KAAK,EAAE,GAAG,SAAS,CAAC;IACzC,GAAG,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,SAAS,KAAK,IAAI,CAAC;CACvD"}

package/dist/state/StateServiceProvider.d.ts

@@ -1,10 +1,10 @@
 import { StateService } from "./StateService";
 export declare class StateServiceProvider {
-    private currentStateService?;
-    private readonly defaultStateService?;
-    constructor(currentStateService?: StateService | undefined);
+    private readonly baseStateService?;
+    private readonly stateServiceStack;
+    constructor(baseStateService?: StateService | undefined);
     get stateService(): StateService;
     setCurrentStateService(service: StateService): void;
-    resetToDefault(): void;
+    popCurrentStateService(): void;
 }
 //# sourceMappingURL=StateServiceProvider.d.ts.map

package/dist/state/StateServiceProvider.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"StateServiceProvider.d.ts","sourceRoot":"","sources":["../../src/state/StateServiceProvider.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAW9C,qBACa,oBAAoB;IAKL,OAAO,CAAC,mBAAmB,CAAC;IAJtD,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CACV;gBAGO,mBAAmB,CAAC,0BAAc;IAGpE,IAAW,YAAY,IAAI,YAAY,CAKtC;IAEM,sBAAsB,CAAC,OAAO,EAAE,YAAY;IAI5C,cAAc;CAGtB"}
+{"version":3,"file":"StateServiceProvider.d.ts","sourceRoot":"","sources":["../../src/state/StateServiceProvider.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAU9C,qBACa,oBAAoB;IAIL,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC;IAH5D,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAsB;gBAGb,gBAAgB,CAAC,0BAAc;IAO1E,IAAW,YAAY,IAAI,YAAY,CAQtC;IAEM,sBAAsB,CAAC,OAAO,EAAE,YAAY;IAI5C,sBAAsB;CAO9B"}

package/dist/state/StateServiceProvider.js

@@ -11,27 +11,35 @@ var __param = (this && this.__param) || function (paramIndex, decorator) {
     return function (target, key) { decorator(target, key, paramIndex); }
 };
 import { inject, injectable } from "tsyringe";
+import { log } from "@proto-kit/common";
 const errors = {
-    stateServiceNotSet: () => new Error(`StateService has not been set yet. Be sure to either call your runtime or 
-      protocol function by creating them with an AppChain or by setting the 
-      stateService manually.`),
+    stateServiceNotSet: () => new Error("StateService has not been set yet. Be sure to either call your runtime or protocol function by creating them with an AppChain or by setting the stateService manually."),
 };
 let StateServiceProvider = class StateServiceProvider {
-    constructor(currentStateService) {
-        this.currentStateService = currentStateService;
-        this.defaultStateService = this.currentStateService;
+    constructor(baseStateService) {
+        this.baseStateService = baseStateService;
+        this.stateServiceStack = [];
+        if (baseStateService !== undefined) {
+            this.stateServiceStack.push(baseStateService);
+        }
     }
     get stateService() {
-        if (this.currentStateService === undefined) {
+        if (this.stateServiceStack.length === 0) {
             throw errors.stateServiceNotSet();
         }
-        return this.currentStateService;
+        // Assertion here is ok, because we check that the array is not empty above
+        // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+        return this.stateServiceStack.at(-1);
     }
     setCurrentStateService(service) {
-        this.currentStateService = service;
+        this.stateServiceStack.push(service);
     }
-    resetToDefault() {
-        this.currentStateService = this.defaultStateService;
+    popCurrentStateService() {
+        if (this.stateServiceStack.length === 1) {
+            log.trace("Trying to pop last available (root) stateservice");
+            return;
+        }
+        this.stateServiceStack.pop();
     }
 };
 StateServiceProvider = __decorate([

package/dist/state/assert/assert.d.ts

@@ -1,4 +1,4 @@
-import { Bool } from "snarkyjs";
+import { Bool } from "o1js";
 /**
  * Maintains an execution status of the current runtime module method,
  * while prioritizing one-time failures. The assertion won't change the

package/dist/state/assert/assert.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"assert.d.ts","sourceRoot":"","sources":["../../../src/state/assert/assert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAMhC;;;;;;;;GAQG;AACH,wBAAgB,MAAM,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,MAAM,QAWvD"}
+{"version":3,"file":"assert.d.ts","sourceRoot":"","sources":["../../../src/state/assert/assert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAM5B;;;;;;;;GAQG;AACH,wBAAgB,MAAM,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,MAAM,QAavD"}

package/dist/state/assert/assert.js

@@ -15,7 +15,9 @@ export function assert(condition, message) {
     const previousStatus = executionContext.current().result.status;
     const status = condition.and(previousStatus);
     if (!condition.toBoolean()) {
-        log.debug("Assertion failed: ", message);
+        if (!executionContext.current().isSimulated) {
+            log.debug("Assertion failed: ", message);
+        }
         executionContext.setStatusMessage(message);
     }
     executionContext.setStatus(status);

package/dist/state/context/RuntimeMethodExecutionContext.d.ts

@@ -1,4 +1,4 @@
-import { Bool } from "snarkyjs";
+import { Bool } from "o1js";
 import { ProvableMethodExecutionContext, ProvableMethodExecutionResult } from "@proto-kit/common";
 import { StateTransition } from "../../model/StateTransition";
 import { RuntimeTransaction } from "../../model/transaction/RuntimeTransaction";
@@ -55,6 +55,7 @@ export declare class RuntimeMethodExecutionContext extends ProvableMethodExecuti
         isFinished: boolean;
         result: RuntimeProvableMethodExecutionResult;
         input: RuntimeMethodExecutionData | undefined;
+        isSimulated: boolean;
     };
 }
 //# sourceMappingURL=RuntimeMethodExecutionContext.d.ts.map

package/dist/state/context/RuntimeMethodExecutionContext.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"RuntimeMethodExecutionContext.d.ts","sourceRoot":"","sources":["../../../src/state/context/RuntimeMethodExecutionContext.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAEhC,OAAO,EAAE,8BAA8B,EAAE,6BAA6B,EAAE,MAAM,mBAAmB,CAAC;AAClG,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AAChF,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAShE,qBAAa,oCAAqC,SAAQ,6BAA6B;IAE9E,gBAAgB,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,CAAM;IAE9C,MAAM,EAAE,IAAI,CAAc;IAE1B,aAAa,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,0BAA0B;IACzC,WAAW,EAAE,kBAAkB,CAAC;IAChC,YAAY,EAAE,YAAY,CAAC;CAC5B;AAED;;;;GAIG;AACH,qBACa,6BAA8B,SAAQ,8BAA8B;IACxE,OAAO,EAAE,MAAM,EAAE,CAAM;IAEvB,KAAK,EAAE,0BAA0B,GAAG,SAAS,CAAC;IAGrD,OAAO,CAAC,SAAS,CAAyC;IAE1C,MAAM,uCAA8C;IAEpE,OAAO,CAAC,WAAW,CAAkB;IAErC,OAAO,CAAC,iBAAiB;IAQzB;;;OAGG;IACI,kBAAkB,CAAC,KAAK,EAAE,eAAe,EAAE,eAAe,CAAC,KAAK,CAAC;IAKxE;;OAEG;IACI,gBAAgB,CAAC,OAAO,CAAC,EAAE,MAAM;IAQxC;;OAEG;IACI,SAAS,CAAC,MAAM,EAAE,IAAI;IAQ7B;;OAEG;IACI,KAAK,CAAC,KAAK,EAAE,0BAA0B;IAIvC,YAAY,CAAC,SAAS,EAAE,OAAO;IAItC;;OAEG;IACI,KAAK;IAIL,WAAW;IASlB;;;OAGG;IACI,OAAO;;;;;CAOf"}
+{"version":3,"file":"RuntimeMethodExecutionContext.d.ts","sourceRoot":"","sources":["../../../src/state/context/RuntimeMethodExecutionContext.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAE5B,OAAO,EACL,8BAA8B,EAC9B,6BAA6B,EAC9B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AAChF,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAShE,qBAAa,oCAAqC,SAAQ,6BAA6B;IAE9E,gBAAgB,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,CAAM;IAE9C,MAAM,EAAE,IAAI,CAAc;IAE1B,aAAa,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,0BAA0B;IACzC,WAAW,EAAE,kBAAkB,CAAC;IAChC,YAAY,EAAE,YAAY,CAAC;CAC5B;AAED;;;;GAIG;AACH,qBACa,6BAA8B,SAAQ,8BAA8B;IACxE,OAAO,EAAE,MAAM,EAAE,CAAM;IAEvB,KAAK,EAAE,0BAA0B,GAAG,SAAS,CAAC;IAGrD,OAAO,CAAC,SAAS,CAAyC;IAE1C,MAAM,uCAA8C;IAEpE,OAAO,CAAC,WAAW,CAAkB;IAErC,OAAO,CAAC,iBAAiB;IAQzB;;;OAGG;IACI,kBAAkB,CAAC,KAAK,EAAE,eAAe,EAAE,eAAe,CAAC,KAAK,CAAC;IAKxE;;OAEG;IACI,gBAAgB,CAAC,OAAO,CAAC,EAAE,MAAM;IAQxC;;OAEG;IACI,SAAS,CAAC,MAAM,EAAE,IAAI;IAQ7B;;OAEG;IACI,KAAK,CAAC,KAAK,EAAE,0BAA0B;IAIvC,YAAY,CAAC,SAAS,EAAE,OAAO;IAItC;;OAEG;IACI,KAAK;IAIL,WAAW;IASlB;;;OAGG;IACI,OAAO;;;;;;CAQf"}

package/dist/state/context/RuntimeMethodExecutionContext.js

@@ -4,9 +4,9 @@ var __decorate = (this && this.__decorate) || function (decorators, target, key,
     else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
     return c > 3 && r && Object.defineProperty(target, key, r), r;
 };
-import { Bool } from "snarkyjs";
+import { Bool } from "o1js";
 import { singleton } from "tsyringe";
-import { ProvableMethodExecutionContext, ProvableMethodExecutionResult } from "@proto-kit/common";
+import { ProvableMethodExecutionContext, ProvableMethodExecutionResult, } from "@proto-kit/common";
 const errors = {
     setupNotCalled: () => new Error("Setup has not been called prior to executing a runtime method. Be sure to do that so that the Runtime is setup property for execution"),
 };
@@ -96,6 +96,7 @@ let RuntimeMethodExecutionContext = class RuntimeMethodExecutionContext extends
             isFinished: this.isFinished,
             result: this.result,
             input: this.lastInput,
+            isSimulated: this.isSimulated,
         };
     }
 };

package/dist/state/protocol/ProtocolState.d.ts

@@ -3,5 +3,5 @@ import { TransitioningProtocolModule } from "../../protocol/TransitioningProtoco
  * Decorates a runtime module property as state, passing down some
  * underlying values to improve developer experience.
  */
-export declare function protocolState(): <TargetTransitioningModule extends TransitioningProtocolModule>(target: TargetTransitioningModule, propertyKey: string) => void;
+export declare function protocolState(): <TargetTransitioningModule extends TransitioningProtocolModule<unknown>>(target: TargetTransitioningModule, propertyKey: string) => void;
 //# sourceMappingURL=ProtocolState.d.ts.map

package/dist/state/protocol/ProtocolState.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ProtocolState.d.ts","sourceRoot":"","sources":["../../../src/state/protocol/ProtocolState.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,2BAA2B,EAAE,MAAM,4CAA4C,CAAC;AAgBzF;;;GAGG;AACH,wBAAgB,aAAa,oHAGZ,MAAM,UAoCtB"}
+{"version":3,"file":"ProtocolState.d.ts","sourceRoot":"","sources":["../../../src/state/protocol/ProtocolState.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,2BAA2B,EAAE,MAAM,4CAA4C,CAAC;AAgBzF;;;GAGG;AACH,wBAAgB,aAAa,6HAKZ,MAAM,UAoCtB"}

package/dist/utils/PrefixedProvableHashList.d.ts

@@ -1,4 +1,4 @@
-import { Field, FlexibleProvablePure } from "snarkyjs";
+import { Field, FlexibleProvablePure } from "o1js";
 import { ProvableHashList } from "./ProvableHashList.js";
 export declare class PrefixedProvableHashList<Value> extends ProvableHashList<Value> {
     private readonly prefix;

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

@@ -1 +1 @@
-{"version":3,"file":"PrefixedProvableHashList.d.ts","sourceRoot":"","sources":["../../src/utils/PrefixedProvableHashList.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,oBAAoB,EAAY,MAAM,UAAU,CAAC;AAEjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAGzD,qBAAa,wBAAwB,CAAC,KAAK,CAAE,SAAQ,gBAAgB,CAAC,KAAK,CAAC;IAC1E,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAQ;gBAG7B,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC,EACtC,MAAM,EAAE,MAAM,EACd,kBAAkB,GAAE,KAAgB;IAMtC,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,KAAK;CAGzC"}
+{"version":3,"file":"PrefixedProvableHashList.d.ts","sourceRoot":"","sources":["../../src/utils/PrefixedProvableHashList.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,oBAAoB,EAAY,MAAM,MAAM,CAAC;AAE7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAGzD,qBAAa,wBAAwB,CAAC,KAAK,CAAE,SAAQ,gBAAgB,CAAC,KAAK,CAAC;IAC1E,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAQ;gBAG7B,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC,EACtC,MAAM,EAAE,MAAM,EACd,kBAAkB,GAAE,KAAgB;IAMtC,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,KAAK;CAGzC"}

package/dist/utils/PrefixedProvableHashList.js

@@ -1,4 +1,4 @@
-import { Field, Poseidon } from "snarkyjs";
+import { Field, Poseidon } from "o1js";
 import { ProvableHashList } from "./ProvableHashList.js";
 import { stringToField } from "./utils";
 export class PrefixedProvableHashList extends ProvableHashList {

package/dist/utils/ProvableHashList.d.ts

@@ -1,4 +1,4 @@
-import { Field, FlexibleProvablePure, Bool } from "snarkyjs";
+import { Field, FlexibleProvablePure, Bool } from "o1js";
 /**
  * Utilities for creating a hash list from a given value type.
  */
@@ -19,7 +19,7 @@ export declare abstract class ProvableHashList<Value> {
     /**
      * @returns Traling hash of the current hashlist.
      */
-    toField(): import("snarkyjs/dist/node/lib/field").Field;
+    toField(): import("o1js/dist/node/lib/field").Field;
 }
 export declare class DefaultProvableHashList<Value> extends ProvableHashList<Value> {
     hash(elements: Field[]): Field;

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

@@ -1 +1 @@
-{"version":3,"file":"ProvableHashList.d.ts","sourceRoot":"","sources":["../../src/utils/ProvableHashList.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAY,oBAAoB,EAAE,IAAI,EAAY,MAAM,UAAU,CAAC;AAEjF;;GAEG;AACH,8BAAsB,gBAAgB,CAAC,KAAK;IAExC,OAAO,CAAC,QAAQ,CAAC,SAAS;IACnB,UAAU,EAAE,KAAK;gBADP,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC,EAChD,UAAU,GAAE,KAAgB;IAGrC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,KAAK;IAEjD;;;;;;OAMG;IACI,IAAI,CAAC,KAAK,EAAE,KAAK;IAQjB,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI;IAS3C;;OAEG;IACI,OAAO;CAGf;AAED,qBAAa,uBAAuB,CAAC,KAAK,CAAE,SAAQ,gBAAgB,CAAC,KAAK,CAAC;IAClE,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,KAAK;CAGtC"}
+{"version":3,"file":"ProvableHashList.d.ts","sourceRoot":"","sources":["../../src/utils/ProvableHashList.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAY,oBAAoB,EAAE,IAAI,EAAY,MAAM,MAAM,CAAC;AAE7E;;GAEG;AACH,8BAAsB,gBAAgB,CAAC,KAAK;IAExC,OAAO,CAAC,QAAQ,CAAC,SAAS;IACnB,UAAU,EAAE,KAAK;gBADP,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC,EAChD,UAAU,GAAE,KAAgB;IAGrC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,KAAK;IAEjD;;;;;;OAMG;IACI,IAAI,CAAC,KAAK,EAAE,KAAK;IAQjB,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI;IAS3C;;OAEG;IACI,OAAO;CAGf;AAED,qBAAa,uBAAuB,CAAC,KAAK,CAAE,SAAQ,gBAAgB,CAAC,KAAK,CAAC;IAClE,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,KAAK;CAGtC"}

package/dist/utils/ProvableHashList.js

@@ -1,4 +1,4 @@
-import { Field, Poseidon, Provable } from "snarkyjs";
+import { Field, Poseidon, Provable } from "o1js";
 /**
  * Utilities for creating a hash list from a given value type.
  */

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

@@ -1,4 +1,4 @@
-import { AsyncMerkleTreeStore, MerkleTreeStore } from "./MerkleTreeStore";
+import { MerkleTreeStore } from "./MerkleTreeStore";
 export declare class InMemoryMerkleTreeStorage implements MerkleTreeStore {
     protected readonly nodes: {
         [key: number]: {
@@ -8,18 +8,4 @@ export declare class InMemoryMerkleTreeStorage implements MerkleTreeStore {
     getNode(key: bigint, level: number): bigint | undefined;
     setNode(key: bigint, level: number, value: bigint): void;
 }
-export declare class CachedMerkleTreeStore extends InMemoryMerkleTreeStorage {
-    private readonly parent;
-    private writeCache;
-    constructor(parent: AsyncMerkleTreeStore);
-    setNode(key: bigint, level: number, value: bigint): void;
-    getWrittenNodes(): {
-        [key: number]: {
-            [key: string]: bigint;
-        };
-    };
-    resetWrittenNodes(): void;
-    preloadKey(index: bigint): Promise<void>;
-    mergeIntoParent(): Promise<void>;
-}
 //# sourceMappingURL=InMemoryMerkleTreeStorage.d.ts.map

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":"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;IAwCxC,eAAe,IAAI,OAAO,CAAC,IAAI,CAAC;CAqB9C"}
+{"version":3,"file":"InMemoryMerkleTreeStorage.d.ts","sourceRoot":"","sources":["../../../src/utils/merkletree/InMemoryMerkleTreeStorage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEpD,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"}

package/dist/utils/merkletree/InMemoryMerkleTreeStorage.js

@@ -1,6 +1,3 @@
-/* eslint-disable @typescript-eslint/no-magic-numbers */
-import { log } from "@proto-kit/common";
-import { RollupMerkleTree } from "./RollupMerkleTree.js";
 export class InMemoryMerkleTreeStorage {
     constructor() {
         this.nodes = {};
@@ -13,71 +10,3 @@ export class InMemoryMerkleTreeStorage {
         ((_a = this.nodes)[level] ?? (_a[level] = {}))[key.toString()] = value;
     }
 }
-export class CachedMerkleTreeStore extends InMemoryMerkleTreeStorage {
-    constructor(parent) {
-        super();
-        this.parent = parent;
-        this.writeCache = {};
-    }
-    setNode(key, level, value) {
-        var _a;
-        super.setNode(key, level, value);
-        ((_a = this.writeCache)[level] ?? (_a[level] = {}))[key.toString()] = value;
-    }
-    getWrittenNodes() {
-        return this.writeCache;
-    }
-    resetWrittenNodes() {
-        this.writeCache = {};
-    }
-    // eslint-disable-next-line sonarjs/cognitive-complexity
-    async preloadKey(index) {
-        // Algo from RollupMerkleTree.getWitness()
-        const { leafCount, height } = RollupMerkleTree;
-        if (index >= leafCount) {
-            index %= leafCount;
-        }
-        // eslint-disable-next-line no-warning-comments,max-len
-        // 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;
-            // Only preload node if it is not already preloaded.
-            // We also don't want to overwrite because changes will get lost (tracing)
-            if (this.getNode(key, level) === undefined) {
-                // eslint-disable-next-line no-await-in-loop
-                const value = await this.parent.getNode(key, level);
-                if (level === 0) {
-                    log.debug(`Preloaded ${key} @ ${level} -> ${value ?? "-"}`);
-                }
-                if (value !== undefined) {
-                    this.setNode(key, level, value);
-                }
-            }
-            if (this.getNode(siblingKey, level) === undefined) {
-                // eslint-disable-next-line no-await-in-loop
-                const sibling = await this.parent.getNode(siblingKey, level);
-                if (sibling !== undefined) {
-                    this.setNode(siblingKey, level, sibling);
-                }
-            }
-            index /= 2n;
-        }
-    }
-    async mergeIntoParent() {
-        // In case no state got set we can skip this step
-        if (Object.keys(this.writeCache).length === 0) {
-            return;
-        }
-        this.parent.openTransaction();
-        const { height } = RollupMerkleTree;
-        const nodes = this.getWrittenNodes();
-        const promises = Array.from({ length: height }).flatMap((ignored, level) => Object.entries(nodes[level]).map(async (entry) => {
-            await this.parent.setNode(BigInt(entry[0]), level, entry[1]);
-        }));
-        await Promise.all(promises);
-        this.parent.commit();
-        this.resetWrittenNodes();
-    }
-}