@proto-kit/protocol 0.1.1-develop.211 → 0.1.1-develop.2137

package/dist/settlement/messages/Withdrawal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Withdrawal.d.ts","sourceRoot":"","sources":["../../../src/settlement/messages/Withdrawal.ts"],"names":[],"mappings":""}

package/dist/settlement/messages/Withdrawal.js

@@ -0,0 +1,3 @@
+export {};
+// TODO Remove
+//# sourceMappingURL=Withdrawal.js.map

package/dist/settlement/messages/Withdrawal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Withdrawal.js","sourceRoot":"","sources":["../../../src/settlement/messages/Withdrawal.ts"],"names":[],"mappings":";AAGA,cAAc"}

package/dist/settlement/modularity/OutgoingMessageProcessor.d.ts

@@ -0,0 +1,28 @@
+import { AccountUpdate, Bool, Field, FlexibleProvablePure, PublicKey } from "o1js";
+import { NoConfig } from "@proto-kit/common";
+import { ProtocolModule } from "../../protocol/ProtocolModule";
+export declare function outgoingMessageProcessor(): (target: import("@proto-kit/common").TypedClass<unknown>) => void;
+export type MessageProcessorArgs = {
+    bridgeContract: {
+        publicKey: PublicKey;
+        tokenId: Field;
+    };
+};
+export declare abstract class OutgoingMessageProcessor<T, Config = NoConfig> extends ProtocolModule<Config> {
+    private status;
+    private statusMessage?;
+    assertTrue(b: Bool, msg?: string): void;
+    processMessage(message: T, args: MessageProcessorArgs): {
+        accountUpdates: AccountUpdate[];
+        status: Bool;
+        statusMessage?: string;
+    };
+    getMessageType(): Field;
+    abstract type: FlexibleProvablePure<T> & {
+        name: string;
+    };
+    abstract messageType: string;
+    abstract dummy(): T;
+    abstract process(message: T, args: MessageProcessorArgs): AccountUpdate[];
+}
+//# sourceMappingURL=OutgoingMessageProcessor.d.ts.map

package/dist/settlement/modularity/OutgoingMessageProcessor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"OutgoingMessageProcessor.d.ts","sourceRoot":"","sources":["../../../src/settlement/modularity/OutgoingMessageProcessor.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,aAAa,EACb,IAAI,EACJ,KAAK,EACL,oBAAoB,EAEpB,SAAS,EACV,MAAM,MAAM,CAAC;AACd,OAAO,EAAa,QAAQ,EAAiB,MAAM,mBAAmB,CAAC;AAEvE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAE/D,wBAAgB,wBAAwB,sEAEvC;AAED,MAAM,MAAM,oBAAoB,GAAG;IACjC,cAAc,EAAE;QACd,SAAS,EAAE,SAAS,CAAC;QACrB,OAAO,EAAE,KAAK,CAAC;KAChB,CAAC;CACH,CAAC;AAEF,8BAAsB,wBAAwB,CAC5C,CAAC,EACD,MAAM,GAAG,QAAQ,CACjB,SAAQ,cAAc,CAAC,MAAM,CAAC;IAC9B,OAAO,CAAC,MAAM,CAAqB;IAEnC,OAAO,CAAC,aAAa,CAAC,CAAqB;IAEpC,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,MAAM;IAOvC,cAAc,CACZ,OAAO,EAAE,CAAC,EACV,IAAI,EAAE,oBAAoB,GACzB;QACD,cAAc,EAAE,aAAa,EAAE,CAAC;QAChC,MAAM,EAAE,IAAI,CAAC;QACb,aAAa,CAAC,EAAE,MAAM,CAAC;KACxB;IAaM,cAAc,IAAI,KAAK;IAY9B,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,GAAG;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAE1D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAE7B,QAAQ,CAAC,KAAK,IAAI,CAAC;IAEnB,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,oBAAoB,GAAG,aAAa,EAAE;CAC1E"}

package/dist/settlement/modularity/OutgoingMessageProcessor.js

@@ -0,0 +1,39 @@
+import { Bool, Poseidon, } from "o1js";
+import { implement, prefixToField } from "@proto-kit/common";
+import { ProtocolModule } from "../../protocol/ProtocolModule";
+export function outgoingMessageProcessor() {
+    return implement("OutgoingMessageProcessor");
+}
+export class OutgoingMessageProcessor extends ProtocolModule {
+    constructor() {
+        super(...arguments);
+        this.status = Bool(false);
+        this.statusMessage = undefined;
+    }
+    assertTrue(b, msg) {
+        this.status = this.status.and(b);
+        if (this.statusMessage === undefined) {
+            this.statusMessage = msg;
+        }
+    }
+    processMessage(message, args) {
+        this.status = Bool(true);
+        this.statusMessage = undefined;
+        const accountUpdates = this.process(message, args);
+        return {
+            accountUpdates,
+            status: this.status,
+            statusMessage: this.statusMessage,
+        };
+    }
+    getMessageType() {
+        // TODO static salt/prefix
+        // This executes the bigint poseidon behind the scenes, therefore creates a constant
+        const messageType = Poseidon.hash([prefixToField(this.messageType)]);
+        if (!messageType.isConstant()) {
+            throw new Error("Underlying poseidon implementation has changed and doesn't create a constant anymore");
+        }
+        return messageType;
+    }
+}
+//# sourceMappingURL=OutgoingMessageProcessor.js.map

package/dist/settlement/modularity/OutgoingMessageProcessor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"OutgoingMessageProcessor.js","sourceRoot":"","sources":["../../../src/settlement/modularity/OutgoingMessageProcessor.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,IAAI,EAGJ,QAAQ,GAET,MAAM,MAAM,CAAC;AACd,OAAO,EAAE,SAAS,EAAY,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAEvE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAE/D,MAAM,UAAU,wBAAwB;IACtC,OAAO,SAAS,CAAC,0BAA0B,CAAC,CAAC;AAC/C,CAAC;AASD,MAAM,OAAgB,wBAGpB,SAAQ,cAAsB;IAHhC;;QAIU,WAAM,GAAS,IAAI,CAAC,KAAK,CAAC,CAAC;QAE3B,kBAAa,GAAY,SAAS,CAAC;IAgD7C,CAAC;IA9CQ,UAAU,CAAC,CAAO,EAAE,GAAY;QACrC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE;YACpC,IAAI,CAAC,aAAa,GAAG,GAAG,CAAC;SAC1B;IACH,CAAC;IAED,cAAc,CACZ,OAAU,EACV,IAA0B;QAM1B,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,IAAI,CAAC,aAAa,GAAG,SAAS,CAAC;QAE/B,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAEnD,OAAO;YACL,cAAc;YACd,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,aAAa,EAAE,IAAI,CAAC,aAAa;SAClC,CAAC;IACJ,CAAC;IAEM,cAAc;QACnB,0BAA0B;QAC1B,oFAAoF;QACpF,MAAM,WAAW,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QACrE,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,EAAE;YAC7B,MAAM,IAAI,KAAK,CACb,sFAAsF,CACvF,CAAC;SACH;QACD,OAAO,WAAW,CAAC;IACrB,CAAC;CASF"}

package/dist/settlement/modularity/ProvableSettlementHook.d.ts

@@ -0,0 +1,26 @@
+import { Field, PublicKey, UInt32 } from "o1js";
+import { InferProofBase } from "@proto-kit/common";
+import { ProtocolModule } from "../../protocol/ProtocolModule";
+import { NetworkState } from "../../model/network/NetworkState";
+import type { BlockProof } from "../../prover/block/BlockProvable";
+import type { SettlementContractType } from "../contracts/settlement/SettlementBase";
+export type InputBlockProof = InferProofBase<BlockProof>;
+export type SettlementStateRecord = {
+    sequencerKey: PublicKey;
+    lastSettlementL1BlockHeight: UInt32;
+    stateRoot: Field;
+    networkStateHash: Field;
+    blockHashRoot: Field;
+};
+export type SettlementHookInputs = {
+    blockProof: InputBlockProof;
+    fromNetworkState: NetworkState;
+    toNetworkState: NetworkState;
+    newPromisedMessagesHash: Field;
+    contractState: SettlementStateRecord;
+    currentL1BlockHeight: UInt32;
+};
+export declare abstract class ProvableSettlementHook<Config> extends ProtocolModule<Config> {
+    abstract beforeSettlement(smartContract: SettlementContractType, inputs: SettlementHookInputs): Promise<void>;
+}
+//# sourceMappingURL=ProvableSettlementHook.d.ts.map

package/dist/settlement/modularity/ProvableSettlementHook.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ProvableSettlementHook.d.ts","sourceRoot":"","sources":["../../../src/settlement/modularity/ProvableSettlementHook.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEnD,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kCAAkC,CAAC;AACnE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AAErF,MAAM,MAAM,eAAe,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;AAEzD,MAAM,MAAM,qBAAqB,GAAG;IAClC,YAAY,EAAE,SAAS,CAAC;IACxB,2BAA2B,EAAE,MAAM,CAAC;IAEpC,SAAS,EAAE,KAAK,CAAC;IACjB,gBAAgB,EAAE,KAAK,CAAC;IACxB,aAAa,EAAE,KAAK,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IACjC,UAAU,EAAE,eAAe,CAAC;IAC5B,gBAAgB,EAAE,YAAY,CAAC;IAC/B,cAAc,EAAE,YAAY,CAAC;IAC7B,uBAAuB,EAAE,KAAK,CAAC;IAC/B,aAAa,EAAE,qBAAqB,CAAC;IACrC,oBAAoB,EAAE,MAAM,CAAC;CAC9B,CAAC;AAEF,8BAAsB,sBAAsB,CAC1C,MAAM,CACN,SAAQ,cAAc,CAAC,MAAM,CAAC;aACd,gBAAgB,CAC9B,aAAa,EAAE,sBAAsB,EACrC,MAAM,EAAE,oBAAoB,GAC3B,OAAO,CAAC,IAAI,CAAC;CACjB"}

package/dist/settlement/modularity/ProvableSettlementHook.js

@@ -0,0 +1,4 @@
+import { ProtocolModule } from "../../protocol/ProtocolModule";
+export class ProvableSettlementHook extends ProtocolModule {
+}
+//# sourceMappingURL=ProvableSettlementHook.js.map

package/dist/settlement/modularity/ProvableSettlementHook.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ProvableSettlementHook.js","sourceRoot":"","sources":["../../../src/settlement/modularity/ProvableSettlementHook.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAyB/D,MAAM,OAAgB,sBAEpB,SAAQ,cAAsB;CAK/B"}

package/dist/settlement/modularity/types.d.ts

@@ -0,0 +1,9 @@
+import { TypedClass } from "@proto-kit/common";
+import { SmartContract } from "o1js";
+import { ContractModule, SmartContractClassFromInterface } from "../ContractModule";
+import type { SettlementModulesRecord } from "../SettlementContractModule";
+export type InferContractType<Module extends TypedClass<ContractModule<any, any>>> = Module extends TypedClass<infer ConcreteModule> ? ConcreteModule extends ContractModule<infer Contract, any> ? Contract & SmartContract : never : never;
+export type GetContracts<SettlementModules extends SettlementModulesRecord> = {
+    [Key in keyof SettlementModules]: SmartContractClassFromInterface<InferContractType<SettlementModules[Key]>>;
+};
+//# sourceMappingURL=types.d.ts.map

package/dist/settlement/modularity/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/settlement/modularity/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,MAAM,CAAC;AAErC,OAAO,EACL,cAAc,EACd,+BAA+B,EAChC,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAE3E,MAAM,MAAM,iBAAiB,CAC3B,MAAM,SAAS,UAAU,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,IAEnD,MAAM,SAAS,UAAU,CAAC,MAAM,cAAc,CAAC,GAC3C,cAAc,SAAS,cAAc,CAAC,MAAM,QAAQ,EAAE,GAAG,CAAC,GACxD,QAAQ,GAAG,aAAa,GACxB,KAAK,GACP,KAAK,CAAC;AAEZ,MAAM,MAAM,YAAY,CAAC,iBAAiB,SAAS,uBAAuB,IAAI;KAC3E,GAAG,IAAI,MAAM,iBAAiB,GAAG,+BAA+B,CAC/D,iBAAiB,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAC1C;CACF,CAAC"}

package/dist/settlement/modularity/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/settlement/modularity/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/settlement/modularity/types.ts"],"names":[],"mappings":""}

package/dist/settlement/modules/NetworkStateSettlementModule.d.ts

@@ -0,0 +1,11 @@
+import { UInt64 } from "o1js";
+import { ProvableSettlementHook, SettlementHookInputs } from "../modularity/ProvableSettlementHook";
+import { SettlementContractType } from "../contracts/settlement/SettlementBase";
+type NetworkStateSettlementModuleConfig = {
+    blocksPerL1Block: UInt64;
+};
+export declare class NetworkStateSettlementModule extends ProvableSettlementHook<NetworkStateSettlementModuleConfig> {
+    beforeSettlement(smartContract: SettlementContractType, { blockProof, fromNetworkState, toNetworkState, contractState, currentL1BlockHeight, }: SettlementHookInputs): Promise<void>;
+}
+export {};
+//# sourceMappingURL=NetworkStateSettlementModule.d.ts.map

package/dist/settlement/modules/NetworkStateSettlementModule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"NetworkStateSettlementModule.d.ts","sourceRoot":"","sources":["../../../src/settlement/modules/NetworkStateSettlementModule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAE9B,OAAO,EACL,sBAAsB,EACtB,oBAAoB,EACrB,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AAEhF,KAAK,kCAAkC,GAAG;IACxC,gBAAgB,EAAE,MAAM,CAAC;CAC1B,CAAC;AAGF,qBAAa,4BAA6B,SAAQ,sBAAsB,CAAC,kCAAkC,CAAC;IAC7F,gBAAgB,CAC3B,aAAa,EAAE,sBAAsB,EACrC,EACE,UAAU,EACV,gBAAgB,EAChB,cAAc,EACd,aAAa,EACb,oBAAoB,GACrB,EAAE,oBAAoB;CAiB1B"}

package/dist/settlement/modules/NetworkStateSettlementModule.js

@@ -0,0 +1,15 @@
+import { ProvableSettlementHook, } from "../modularity/ProvableSettlementHook";
+/* eslint-disable @typescript-eslint/no-unused-vars */
+export class NetworkStateSettlementModule extends ProvableSettlementHook {
+    async beforeSettlement(smartContract, { blockProof, fromNetworkState, toNetworkState, contractState, currentL1BlockHeight, }) {
+        const { lastSettlementL1BlockHeight } = contractState;
+        const blocksPerL1Block = this.config.blocksPerL1Block.toConstant();
+        const numL1Blocks = currentL1BlockHeight.sub(lastSettlementL1BlockHeight);
+        const expectedHeightDiff = numL1Blocks.toUInt64().mul(blocksPerL1Block);
+        const actualHeightDiff = toNetworkState.block.height.sub(fromNetworkState.block.height);
+        const acceptableDerivation = numL1Blocks.mul(1).div(10);
+        // TODO Check within bounds efficiently
+    }
+}
+/* eslint-enable @typescript-eslint/no-unused-vars */
+//# sourceMappingURL=NetworkStateSettlementModule.js.map

package/dist/settlement/modules/NetworkStateSettlementModule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"NetworkStateSettlementModule.js","sourceRoot":"","sources":["../../../src/settlement/modules/NetworkStateSettlementModule.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,sBAAsB,GAEvB,MAAM,sCAAsC,CAAC;AAO9C,sDAAsD;AACtD,MAAM,OAAO,4BAA6B,SAAQ,sBAA0D;IACnG,KAAK,CAAC,gBAAgB,CAC3B,aAAqC,EACrC,EACE,UAAU,EACV,gBAAgB,EAChB,cAAc,EACd,aAAa,EACb,oBAAoB,GACC;QAEvB,MAAM,EAAE,2BAA2B,EAAE,GAAG,aAAa,CAAC;QAEtD,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,UAAU,EAAE,CAAC;QAEnE,MAAM,WAAW,GAAG,oBAAoB,CAAC,GAAG,CAAC,2BAA2B,CAAC,CAAC;QAC1E,MAAM,kBAAkB,GAAG,WAAW,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;QAExE,MAAM,gBAAgB,GAAG,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CACtD,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAC9B,CAAC;QAEF,MAAM,oBAAoB,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAExD,uCAAuC;IACzC,CAAC;CACF;AAED,qDAAqD"}

package/dist/state/SimpleAsyncStateService.d.ts

@@ -0,0 +1,6 @@
+import { Field } from "o1js";
+export interface SimpleAsyncStateService {
+    get: (key: Field) => Promise<Field[] | undefined>;
+    set: (key: Field, value: Field[] | undefined) => Promise<void>;
+}
+//# sourceMappingURL=SimpleAsyncStateService.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"SimpleAsyncStateService.d.ts","sourceRoot":"","sources":["../../src/state/SimpleAsyncStateService.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,MAAM,CAAC;AAE7B,MAAM,WAAW,uBAAuB;IACtC,GAAG,EAAE,CAAC,GAAG,EAAE,KAAK,KAAK,OAAO,CAAC,KAAK,EAAE,GAAG,SAAS,CAAC,CAAC;IAClD,GAAG,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,SAAS,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CAChE"}

package/dist/state/SimpleAsyncStateService.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=SimpleAsyncStateService.js.map

package/dist/state/SimpleAsyncStateService.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"SimpleAsyncStateService.js","sourceRoot":"","sources":["../../src/state/SimpleAsyncStateService.ts"],"names":[],"mappings":""}

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";
@@ -14,7 +14,7 @@ export declare class WithStateServiceProvider {
         stateServiceProvider: StateServiceProvider;
     };
 }
-declare const State_base: import("ts-mixer/dist/types/types").Class<any[], WithPath & WithStateServiceProvider, typeof WithPath & typeof WithStateServiceProvider, false>;
+declare const State_base: import("ts-mixer/dist/types/types").Class<any[], WithPath & WithStateServiceProvider, typeof WithPath & typeof WithStateServiceProvider>;
 /**
  * Utilities for runtime module state, such as get/set
  */
@@ -28,6 +28,14 @@ export declare class State<Value> extends State_base {
      */
     static from<Value>(valueType: FlexibleProvablePure<Value>): State<Value>;
     constructor(valueType: FlexibleProvablePure<Value>);
+    private stateType;
+    /**
+     * Returns the state that is currently the current state tree
+     * value: The value-fields, or if not state was found, dummy values
+     * isSome: Whether the values where found in the state or not
+     * (Basically, whether the value-fields are dummy values or actual values
+     * @private
+     */
     private getState;
     /**
      * Provides an in-circuit witness for the current state representation,
@@ -35,14 +43,14 @@ export declare class State<Value> extends State_base {
      *
      * @returns Optional value of the current state
      */
-    private witnessState;
+    private witnessFromState;
     /**
      * Retrieves the current state and creates a state transition
      * anchoring the use of the current state value in the circuit.
      *
      * @returns Option representation of the current state.
      */
-    get(): Option<Value>;
+    get(): Promise<Option<Value>>;
     /**
      * Sets a new state value by creating a state transition from
      * the current value to the newly set value.
@@ -54,7 +62,7 @@ export declare class State<Value> extends State_base {
      *
      * @param value - Value to be set as the current state
      */
-    set(value: Value): void;
+    set(value: Value): Promise<void>;
 }
 export {};
 //# sourceMappingURL=State.d.ts.map

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,EAAU,MAAM,MAAM,CAAC;AAIhF,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAGzC,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAI9D,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,SAAS,CAGX;IAEN;;;;;;OAMG;YACW,QAAQ;IA2CtB;;;;;OAKG;YACW,gBAAgB;IAW9B;;;;;OAKG;IACU,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAoB1C;;;;;;;;;;OAUG;IACU,GAAG,CAAC,KAAK,EAAE,KAAK;CAuB9B"}

package/dist/state/State.js

@@ -1,10 +1,11 @@
 import { Mixin } from "ts-mixer";
-import { Bool, Provable } from "snarkyjs";
+import { Bool, Provable, Struct } from "o1js";
 import { container } from "tsyringe";
 import { dummyValue } from "@proto-kit/common";
 import { Option } from "../model/Option";
 import { StateTransition } from "../model/StateTransition";
 import { RuntimeMethodExecutionContext } from "./context/RuntimeMethodExecutionContext";
+import { WitnessBlockContext } from "./WitnessBlockContext";
 export class WithPath {
     hasPathOrFail() {
         if (!this.path) {
@@ -35,16 +36,31 @@ export class State extends Mixin(WithPath, WithStateServiceProvider) {
     constructor(valueType) {
         super();
         this.valueType = valueType;
+        this.stateType = class StateType extends Struct({
+            value: this.valueType,
+            isSome: Bool,
+        }) {
+        };
     }
-    getState() {
+    /**
+     * Returns the state that is currently the current state tree
+     * value: The value-fields, or if not state was found, dummy values
+     * isSome: Whether the values where found in the state or not
+     * (Basically, whether the value-fields are dummy values or actual values
+     * @private
+     */
+    async getState() {
         this.hasStateServiceOrFail();
         this.hasPathOrFail();
         const { path, stateServiceProvider, valueType } = this;
         const { stateTransitions } = container
             .resolve(RuntimeMethodExecutionContext)
             .current().result;
+        // TODO Use Stateservice for this
         // First try to find a match inside already created stateTransitions
-        const previousMutatingTransitions = stateTransitions.filter((transition) => transition.path.equals(path).and(transition.to.isSome).toBoolean());
+        let previousMutatingTransitions = [];
+        previousMutatingTransitions = stateTransitions.filter((transition) => transition.path.toConstant().toBigInt() ===
+            path.toConstant().toBigInt() && transition.to.isSome.toBoolean());
         const pmtLength = previousMutatingTransitions.length;
         let value = pmtLength > 0
             ? // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
@@ -54,7 +70,7 @@ export class State extends Mixin(WithPath, WithStateServiceProvider) {
             return { value, isSome: Bool(true) };
         }
         // If the value is still undefined, look it up in the stateService
-        const fields = stateServiceProvider.stateService.get(path);
+        const fields = await stateServiceProvider.stateService.get(path);
         if (fields) {
             // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
             value = valueType.fromFields(fields);
@@ -70,11 +86,10 @@ export class State extends Mixin(WithPath, WithStateServiceProvider) {
      *
      * @returns Optional value of the current state
      */
-    witnessState() {
+    async witnessFromState() {
         // get the value from storage, or return a dummy value instead
-        const value = Provable.witness(this.valueType, () => this.getState().value);
-        // check if the value exists in the storage or not
-        const isSome = Provable.witness(Bool, () => this.getState().isSome);
+        // also check if the value exists in the storage or not
+        const { value, isSome } = await Provable.witnessAsync(this.stateType, async () => await this.getState());
         return Option.from(isSome, value, this.valueType);
     }
     /**
@@ -83,13 +98,18 @@ export class State extends Mixin(WithPath, WithStateServiceProvider) {
      *
      * @returns Option representation of the current state.
      */
-    get() {
-        const option = this.witnessState();
+    async get() {
+        const option = await this.witnessFromState();
         this.hasPathOrFail();
-        const stateTransition = StateTransition.from(this.path, option);
-        container
-            .resolve(RuntimeMethodExecutionContext)
-            .addStateTransition(stateTransition);
+        const { isInWitnessBlock } = container.resolve(WitnessBlockContext);
+        // If we're inside a witness block, we only want to retrieve the state
+        // to use as a witness but not emit an ST
+        if (!isInWitnessBlock) {
+            const stateTransition = StateTransition.from(this.path, option);
+            container
+                .resolve(RuntimeMethodExecutionContext)
+                .addStateTransition(stateTransition);
+        }
         return option;
     }
     /**
@@ -103,14 +123,19 @@ export class State extends Mixin(WithPath, WithStateServiceProvider) {
      *
      * @param value - Value to be set as the current state
      */
-    set(value) {
+    async set(value) {
         // link the transition to the current state
-        const fromOption = this.witnessState();
-        const toOption = Option.from(Bool(true), value, this.valueType);
+        const fromOption = await this.witnessFromState();
+        const toOption = Option.fromValue(value, this.valueType);
         this.hasPathOrFail();
         const stateTransition = StateTransition.fromTo(this.path, fromOption, toOption);
+        const { isInWitnessBlock } = container.resolve(WitnessBlockContext);
+        if (isInWitnessBlock) {
+            throw new Error("Cannot set state inside of provable block.");
+        }
         container
             .resolve(RuntimeMethodExecutionContext)
             .addStateTransition(stateTransition);
     }
 }
+//# sourceMappingURL=State.js.map

package/dist/state/State.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"State.js","sourceRoot":"","sources":["../../src/state/State.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AACjC,OAAO,EAAE,IAAI,EAAS,QAAQ,EAA6B,MAAM,EAAE,MAAM,MAAM,CAAC;AAChF,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAG/C,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAG3D,OAAO,EAAE,6BAA6B,EAAE,MAAM,yCAAyC,CAAC;AACxF,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAE5D,MAAM,OAAO,QAAQ;IAGZ,aAAa;QAClB,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;YACd,MAAM,IAAI,KAAK,CACb,+EAA+E,CAChF,CAAC;SACH;IACH,CAAC;CACF;AAED,MAAM,OAAO,wBAAwB;IAG5B,qBAAqB;QAG1B,IAAI,CAAC,IAAI,CAAC,oBAAoB,EAAE;YAC9B,MAAM,IAAI,KAAK,CACb,+FAA+F,CAChG,CAAC;SACH;IACH,CAAC;CACF;AAED;;GAEG;AACH,MAAM,OAAO,KAAa,SAAQ,KAAK,CAAC,QAAQ,EAAE,wBAAwB,CAAC;IACzE;;;;;OAKG;IACI,MAAM,CAAC,IAAI,CAAQ,SAAsC;QAC9D,OAAO,IAAI,KAAK,CAAQ,SAAS,CAAC,CAAC;IACrC,CAAC;IAED,YAA0B,SAAsC;QAC9D,KAAK,EAAE,CAAC;QADgB,cAAS,GAAT,SAAS,CAA6B;QAIxD,cAAS,GAAG,MAAM,SAAU,SAAQ,MAAM,CAAC;YACjD,KAAK,EAAE,IAAI,CAAC,SAAS;YACrB,MAAM,EAAE,IAAI;SACb,CAAC;SAAG,CAAC;IALN,CAAC;IAOD;;;;;;OAMG;IACK,KAAK,CAAC,QAAQ;QACpB,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAC7B,IAAI,CAAC,aAAa,EAAE,CAAC;QAErB,MAAM,EAAE,IAAI,EAAE,oBAAoB,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC;QAEvD,MAAM,EAAE,gBAAgB,EAAE,GAAG,SAAS;aACnC,OAAO,CAAC,6BAA6B,CAAC;aACtC,OAAO,EAAE,CAAC,MAAM,CAAC;QAEpB,iCAAiC;QACjC,oEAAoE;QACpE,IAAI,2BAA2B,GAA2B,EAAE,CAAC;QAC7D,2BAA2B,GAAG,gBAAgB,CAAC,MAAM,CACnD,CAAC,UAAU,EAAE,EAAE,CACb,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,QAAQ,EAAE;YACrC,IAAI,CAAC,UAAU,EAAE,CAAC,QAAQ,EAAE,IAAI,UAAU,CAAC,EAAE,CAAC,MAAM,CAAC,SAAS,EAAE,CACrE,CAAC;QACF,MAAM,SAAS,GAAG,2BAA2B,CAAC,MAAM,CAAC;QAErD,IAAI,KAAK,GACP,SAAS,GAAG,CAAC;YACX,CAAC,CAAC,yEAAyE;gBACxE,2BAA2B,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAe;YAChE,CAAC,CAAC,SAAS,CAAC;QAEhB,IAAI,KAAK,KAAK,SAAS,EAAE;YACvB,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;SACtC;QAED,kEAAkE;QAClE,MAAM,MAAM,GAAG,MAAM,oBAAoB,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjE,IAAI,MAAM,EAAE;YACV,yEAAyE;YACzE,KAAK,GAAG,SAAS,CAAC,UAAU,CAAC,MAAM,CAAU,CAAC;SAC/C;QAED,IAAI,KAAK,KAAK,SAAS,EAAE;YACvB,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;SACtC;QACD,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;IAC/D,CAAC;IAED;;;;;OAKG;IACK,KAAK,CAAC,gBAAgB;QAC5B,8DAA8D;QAC9D,uDAAuD;QACvD,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,QAAQ,CAAC,YAAY,CACnD,IAAI,CAAC,SAAS,EACd,KAAK,IAAI,EAAE,CAAC,MAAM,IAAI,CAAC,QAAQ,EAAE,CAClC,CAAC;QAEF,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IACpD,CAAC;IAED;;;;;OAKG;IACI,KAAK,CAAC,GAAG;QACd,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAE7C,IAAI,CAAC,aAAa,EAAE,CAAC;QAErB,MAAM,EAAE,gBAAgB,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;QAEpE,sEAAsE;QACtE,yCAAyC;QACzC,IAAI,CAAC,gBAAgB,EAAE;YACrB,MAAM,eAAe,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAEhE,SAAS;iBACN,OAAO,CAAC,6BAA6B,CAAC;iBACtC,kBAAkB,CAAC,eAAe,CAAC,CAAC;SACxC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;;;;;;;;;OAUG;IACI,KAAK,CAAC,GAAG,CAAC,KAAY;QAC3B,2CAA2C;QAC3C,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACjD,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;QAEzD,IAAI,CAAC,aAAa,EAAE,CAAC;QAErB,MAAM,eAAe,GAAG,eAAe,CAAC,MAAM,CAC5C,IAAI,CAAC,IAAI,EACT,UAAU,EACV,QAAQ,CACT,CAAC;QAEF,MAAM,EAAE,gBAAgB,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;QAEpE,IAAI,gBAAgB,EAAE;YACpB,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;SAC/D;QAED,SAAS;aACN,OAAO,CAAC,6BAA6B,CAAC;aACtC,kBAAkB,CAAC,eAAe,CAAC,CAAC;IACzC,CAAC;CACF"}

package/dist/state/StateMap.d.ts

@@ -1,7 +1,7 @@
-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>;
+declare const StateMap_base: import("ts-mixer/dist/types/types").Class<any[], WithPath & WithStateServiceProvider, typeof WithPath & typeof WithStateServiceProvider>;
 /**
  * Map-like wrapper for state
  */
@@ -24,14 +24,14 @@ export declare class StateMap<KeyType, ValueType> extends StateMap_base {
      * @param key - Key to obtain the state for
      * @returns Value for the provided key.
      */
-    get(key: KeyType): Option<ValueType>;
+    get(key: KeyType): Promise<Option<ValueType>>;
     /**
      * Sets a value for the given key in the current state map.
      *
      * @param key - Key to store the value under
      * @param value - Value to be stored under the given key
      */
-    set(key: KeyType, value: ValueType): void;
+    set(key: KeyType, value: ValueType): Promise<void>;
 }
 export {};
 //# sourceMappingURL=StateMap.d.ts.map

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;AACH,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;IACU,GAAG,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAU1D;;;;;OAKG;IACU,GAAG,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC;CAShE"}

package/dist/state/StateMap.js

@@ -4,7 +4,6 @@ import { State, WithStateServiceProvider, WithPath } from "./State";
 /**
  * Map-like wrapper for state
  */
-// eslint-disable-next-line new-cap
 export class StateMap extends Mixin(WithPath, WithStateServiceProvider) {
     /**
      * Create a new state map with the given key and value types
@@ -31,13 +30,13 @@ export class StateMap extends Mixin(WithPath, WithStateServiceProvider) {
      * @param key - Key to obtain the state for
      * @returns Value for the provided key.
      */
-    get(key) {
+    async get(key) {
         const state = State.from(this.valueType);
         this.hasPathOrFail();
         this.hasStateServiceOrFail();
         state.path = this.getPath(key);
         state.stateServiceProvider = this.stateServiceProvider;
-        return state.get();
+        return await state.get();
     }
     /**
      * Sets a value for the given key in the current state map.
@@ -45,12 +44,13 @@ export class StateMap extends Mixin(WithPath, WithStateServiceProvider) {
      * @param key - Key to store the value under
      * @param value - Value to be stored under the given key
      */
-    set(key, value) {
+    async set(key, value) {
         const state = State.from(this.valueType);
         this.hasPathOrFail();
         this.hasStateServiceOrFail();
         state.path = Path.fromKey(this.path, this.keyType, key);
         state.stateServiceProvider = this.stateServiceProvider;
-        state.set(value);
+        return await state.set(value);
     }
 }
+//# sourceMappingURL=StateMap.js.map

package/dist/state/StateMap.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"StateMap.js","sourceRoot":"","sources":["../../src/state/StateMap.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAEjC,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAGrC,OAAO,EAAE,KAAK,EAAE,wBAAwB,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAEpE;;GAEG;AACH,MAAM,OAAO,QAA6B,SAAQ,KAAK,CACrD,QAAQ,EACR,wBAAwB,CACzB;IACC;;;;;;OAMG;IACI,MAAM,CAAC,IAAI,CAChB,OAAsC,EACtC,SAA0C;QAE1C,OAAO,IAAI,QAAQ,CAAqB,OAAO,EAAE,SAAS,CAAC,CAAC;IAC9D,CAAC;IAED,YACS,OAAsC,EACtC,SAA0C;QAEjD,KAAK,EAAE,CAAC;QAHD,YAAO,GAAP,OAAO,CAA+B;QACtC,cAAS,GAAT,SAAS,CAAiC;IAGnD,CAAC;IAEM,OAAO,CAAC,GAAY;QACzB,IAAI,CAAC,aAAa,EAAE,CAAC;QACrB,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACpD,CAAC;IAED;;;;;OAKG;IACI,KAAK,CAAC,GAAG,CAAC,GAAY;QAC3B,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,aAAa,EAAE,CAAC;QACrB,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAE7B,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC/B,KAAK,CAAC,oBAAoB,GAAG,IAAI,CAAC,oBAAoB,CAAC;QACvD,OAAO,MAAM,KAAK,CAAC,GAAG,EAAE,CAAC;IAC3B,CAAC;IAED;;;;;OAKG;IACI,KAAK,CAAC,GAAG,CAAC,GAAY,EAAE,KAAgB;QAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,aAAa,EAAE,CAAC;QACrB,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAE7B,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACxD,KAAK,CAAC,oBAAoB,GAAG,IAAI,CAAC,oBAAoB,CAAC;QACvD,OAAO,MAAM,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;CACF"}

package/dist/state/StateService.d.ts

@@ -1,6 +1,6 @@
-import { Field } from "snarkyjs";
-export interface StateService {
-    get: (key: Field) => Field[] | undefined;
-    set: (key: Field, value: Field[] | undefined) => void;
+import { Field } from "o1js";
+export interface SimpleAsyncStateService {
+    get: (key: Field) => Promise<Field[] | undefined>;
+    set: (key: Field, value: Field[] | undefined) => Promise<void>;
 }
 //# sourceMappingURL=StateService.d.ts.map

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,uBAAuB;IACtC,GAAG,EAAE,CAAC,GAAG,EAAE,KAAK,KAAK,OAAO,CAAC,KAAK,EAAE,GAAG,SAAS,CAAC,CAAC;IAClD,GAAG,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,SAAS,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CAChE"}

package/dist/state/StateService.js

@@ -1 +1,2 @@
 export {};
+//# sourceMappingURL=StateService.js.map

package/dist/state/StateService.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"StateService.js","sourceRoot":"","sources":["../../src/state/StateService.ts"],"names":[],"mappings":""}

package/dist/state/StateServiceProvider.d.ts

@@ -1,10 +1,8 @@
-import { StateService } from "./StateService";
+import { SimpleAsyncStateService } from "./StateService";
 export declare class StateServiceProvider {
-    private currentStateService?;
-    private readonly defaultStateService?;
-    constructor(currentStateService?: StateService | undefined);
-    get stateService(): StateService;
-    setCurrentStateService(service: StateService): void;
-    resetToDefault(): void;
+    private readonly stateServiceStack;
+    get stateService(): SimpleAsyncStateService;
+    setCurrentStateService(service: SimpleAsyncStateService): 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":"AAGA,OAAO,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AASzD,qBACa,oBAAoB;IAC/B,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAiC;IAEnE,IAAW,YAAY,IAAI,uBAAuB,CAOjD;IAEM,sBAAsB,CAAC,OAAO,EAAE,uBAAuB;IAIvD,sBAAsB;CAO9B"}

package/dist/state/StateServiceProvider.js

@@ -4,39 +4,34 @@ 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;
 };
-var __metadata = (this && this.__metadata) || function (k, v) {
-    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
-};
-var __param = (this && this.__param) || function (paramIndex, decorator) {
-    return function (target, key) { decorator(target, key, paramIndex); }
-};
-import { inject, injectable } from "tsyringe";
+import { 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;
+export let StateServiceProvider = class StateServiceProvider {
+    constructor() {
+        this.stateServiceStack = [];
     }
     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
+        return this.stateServiceStack.at(-1);
     }
     setCurrentStateService(service) {
-        this.currentStateService = service;
+        this.stateServiceStack.push(service);
     }
-    resetToDefault() {
-        this.currentStateService = this.defaultStateService;
+    popCurrentStateService() {
+        if (this.stateServiceStack.length === 0) {
+            log.trace("Trying to pop from empty state-service stack");
+            return;
+        }
+        this.stateServiceStack.pop();
     }
 };
 StateServiceProvider = __decorate([
-    injectable(),
-    __param(0, inject("StateService")),
-    __metadata("design:paramtypes", [Object])
+    injectable()
 ], StateServiceProvider);
-export { StateServiceProvider };
+//# sourceMappingURL=StateServiceProvider.js.map

package/dist/state/StateServiceProvider.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"StateServiceProvider.js","sourceRoot":"","sources":["../../src/state/StateServiceProvider.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AACtC,OAAO,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAC;AAIxC,MAAM,MAAM,GAAG;IACb,kBAAkB,EAAE,GAAG,EAAE,CACvB,IAAI,KAAK,CACP,wKAAwK,CACzK;CACJ,CAAC;AAGK,WAAM,oBAAoB,GAA1B,MAAM,oBAAoB;IAA1B;QACY,sBAAiB,GAA8B,EAAE,CAAC;IAsBrE,CAAC;IApBC,IAAW,YAAY;QACrB,IAAI,IAAI,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE;YACvC,MAAM,MAAM,CAAC,kBAAkB,EAAE,CAAC;SACnC;QAED,2EAA2E;QAC3E,OAAO,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC;IACxC,CAAC;IAEM,sBAAsB,CAAC,OAAgC;QAC5D,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvC,CAAC;IAEM,sBAAsB;QAC3B,IAAI,IAAI,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE;YACvC,GAAG,CAAC,KAAK,CAAC,8CAA8C,CAAC,CAAC;YAC1D,OAAO;SACR;QACD,IAAI,CAAC,iBAAiB,CAAC,GAAG,EAAE,CAAC;IAC/B,CAAC;CACF,CAAA;AAvBY,oBAAoB;IADhC,UAAU,EAAE;GACA,oBAAoB,CAuBhC"}

package/dist/state/WitnessBlockContext.d.ts

@@ -0,0 +1,5 @@
+export declare class WitnessBlockContext {
+    witnessBlockDepth: number;
+    get isInWitnessBlock(): boolean;
+}
+//# sourceMappingURL=WitnessBlockContext.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"WitnessBlockContext.d.ts","sourceRoot":"","sources":["../../src/state/WitnessBlockContext.ts"],"names":[],"mappings":"AAGA,qBACa,mBAAmB;IACvB,iBAAiB,EAAE,MAAM,CAAK;IAErC,IAAW,gBAAgB,YAE1B;CACF"}