@proto-kit/protocol 0.1.1-develop.164 → 0.1.1-develop.1661

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,8 @@
+import { TypedClass } from "@proto-kit/common";
+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 : 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;AAE/C,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,GACR,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 { SettlementSmartContract } from "../contracts/SettlementSmartContract";
+type NetworkStateSettlementModuleConfig = {
+    blocksPerL1Block: UInt64;
+};
+export declare class NetworkStateSettlementModule extends ProvableSettlementHook<NetworkStateSettlementModuleConfig> {
+    beforeSettlement(smartContract: SettlementSmartContract, { 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,uBAAuB,EAAE,MAAM,sCAAsC,CAAC;AAE/E,KAAK,kCAAkC,GAAG;IACxC,gBAAgB,EAAE,MAAM,CAAC;CAC1B,CAAC;AAGF,qBAAa,4BAA6B,SAAQ,sBAAsB,CAAC,kCAAkC,CAAC;IAC7F,gBAAgB,CAC3B,aAAa,EAAE,uBAAuB,EACtC,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,aAAsC,EACtC,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

@@ -0,0 +1,68 @@
+import { Field, type FlexibleProvablePure } from "o1js";
+import { Path } from "../model/Path";
+import { Option } from "../model/Option";
+import { StateServiceProvider } from "./StateServiceProvider";
+export declare class WithPath {
+    path?: Field;
+    hasPathOrFail(): asserts this is {
+        path: Path;
+    };
+}
+export declare class WithStateServiceProvider {
+    stateServiceProvider?: StateServiceProvider;
+    hasStateServiceOrFail(): asserts this is {
+        stateServiceProvider: StateServiceProvider;
+    };
+}
+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
+ */
+export declare class State<Value> extends State_base {
+    valueType: FlexibleProvablePure<Value>;
+    /**
+     * Creates a new state wrapper for the provided value type.
+     *
+     * @param valueType - Type of value to be stored (e.g. UInt64, Struct, ...)
+     * @returns New state for the given value type.
+     */
+    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,
+     * and constructs an Option out of it.
+     *
+     * @returns Optional value of the current state
+     */
+    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(): Promise<Option<Value>>;
+    /**
+     * Sets a new state value by creating a state transition from
+     * the current value to the newly set value.
+     *
+     * The newly set value isn't available via state.get(), since the
+     * state transitions are not applied within the same circuit.
+     * You can however store and access your new value in
+     * a separate circuit variable.
+     *
+     * @param value - Value to be set as the current state
+     */
+    set(value: Value): Promise<void>;
+}
+export {};
+//# sourceMappingURL=State.d.ts.map

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

@@ -0,0 +1 @@
+{"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;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,SAAS,CAGX;IAEN;;;;;;OAMG;YACW,QAAQ;IA2CtB;;;;;OAKG;YACW,gBAAgB;IAW9B;;;;;OAKG;IACU,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAc1C;;;;;;;;;;OAUG;IACU,GAAG,CAAC,KAAK,EAAE,KAAK;CAiB9B"}

package/dist/state/State.js

@@ -0,0 +1,131 @@
+import { Mixin } from "ts-mixer";
+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";
+export class WithPath {
+    hasPathOrFail() {
+        if (!this.path) {
+            throw new Error("Could not find 'path', did you forget to add '@state' to your state property?");
+        }
+    }
+}
+export class WithStateServiceProvider {
+    hasStateServiceOrFail() {
+        if (!this.stateServiceProvider) {
+            throw new Error("Could not find 'stateServiceProvider', did you forget to add '@state' to your state property?");
+        }
+    }
+}
+/**
+ * Utilities for runtime module state, such as get/set
+ */
+export class State extends Mixin(WithPath, WithStateServiceProvider) {
+    /**
+     * Creates a new state wrapper for the provided value type.
+     *
+     * @param valueType - Type of value to be stored (e.g. UInt64, Struct, ...)
+     * @returns New state for the given value type.
+     */
+    static from(valueType) {
+        return new State(valueType);
+    }
+    constructor(valueType) {
+        super();
+        this.valueType = valueType;
+        this.stateType = class StateType extends Struct({
+            value: this.valueType,
+            isSome: Bool,
+        }) {
+        };
+    }
+    /**
+     * 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
+        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
+                previousMutatingTransitions[pmtLength - 1].to.value
+            : undefined;
+        if (value !== undefined) {
+            return { value, isSome: Bool(true) };
+        }
+        // If the value is still undefined, look it up in the stateService
+        const fields = await stateServiceProvider.stateService.get(path);
+        if (fields) {
+            // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
+            value = valueType.fromFields(fields);
+        }
+        if (value !== undefined) {
+            return { value, isSome: Bool(true) };
+        }
+        return { value: dummyValue(valueType), isSome: Bool(false) };
+    }
+    /**
+     * Provides an in-circuit witness for the current state representation,
+     * and constructs an Option out of it.
+     *
+     * @returns Optional value of the current state
+     */
+    async witnessFromState() {
+        // get the value from storage, or return a dummy value instead
+        // 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);
+    }
+    /**
+     * 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.
+     */
+    async get() {
+        const option = await this.witnessFromState();
+        this.hasPathOrFail();
+        const stateTransition = StateTransition.from(this.path, option);
+        container
+            .resolve(RuntimeMethodExecutionContext)
+            .addStateTransition(stateTransition);
+        return option;
+    }
+    /**
+     * Sets a new state value by creating a state transition from
+     * the current value to the newly set value.
+     *
+     * The newly set value isn't available via state.get(), since the
+     * state transitions are not applied within the same circuit.
+     * You can however store and access your new value in
+     * a separate circuit variable.
+     *
+     * @param value - Value to be set as the current state
+     */
+    async set(value) {
+        // link the transition to the current state
+        const fromOption = await this.witnessFromState();
+        const toOption = Option.fromValue(value, this.valueType);
+        this.hasPathOrFail();
+        const stateTransition = StateTransition.fromTo(this.path, fromOption, toOption);
+        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;AAExF,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,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAEhE,SAAS;aACN,OAAO,CAAC,6BAA6B,CAAC;aACtC,kBAAkB,CAAC,eAAe,CAAC,CAAC;QAEvC,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,SAAS;aACN,OAAO,CAAC,6BAA6B,CAAC;aACtC,kBAAkB,CAAC,eAAe,CAAC,CAAC;IACzC,CAAC;CACF"}

package/dist/state/StateMap.d.ts

@@ -0,0 +1,37 @@
+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>;
+/**
+ * Map-like wrapper for state
+ */
+export declare class StateMap<KeyType, ValueType> extends StateMap_base {
+    keyType: FlexibleProvablePure<KeyType>;
+    valueType: FlexibleProvablePure<ValueType>;
+    /**
+     * Create a new state map with the given key and value types
+     *
+     * @param keyType - Type to be used as a key
+     * @param valueType - Type to be stored as a value
+     * @returns State map with provided key and value types.
+     */
+    static from<KeyType, ValueType>(keyType: FlexibleProvablePure<KeyType>, valueType: FlexibleProvablePure<ValueType>): StateMap<KeyType, ValueType>;
+    constructor(keyType: FlexibleProvablePure<KeyType>, valueType: FlexibleProvablePure<ValueType>);
+    getPath(key: KeyType): Field;
+    /**
+     * Obtains a value for the provided key in the current state map.
+     *
+     * @param key - Key to obtain the state for
+     * @returns Value for the provided key.
+     */
+    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): Promise<void>;
+}
+export {};
+//# sourceMappingURL=StateMap.d.ts.map

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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,56 @@
+import { Mixin } from "ts-mixer";
+import { Path } from "../model/Path";
+import { State, WithStateServiceProvider, WithPath } from "./State";
+/**
+ * Map-like wrapper for state
+ */
+export class StateMap extends Mixin(WithPath, WithStateServiceProvider) {
+    /**
+     * Create a new state map with the given key and value types
+     *
+     * @param keyType - Type to be used as a key
+     * @param valueType - Type to be stored as a value
+     * @returns State map with provided key and value types.
+     */
+    static from(keyType, valueType) {
+        return new StateMap(keyType, valueType);
+    }
+    constructor(keyType, valueType) {
+        super();
+        this.keyType = keyType;
+        this.valueType = valueType;
+    }
+    getPath(key) {
+        this.hasPathOrFail();
+        return Path.fromKey(this.path, this.keyType, key);
+    }
+    /**
+     * Obtains a value for the provided key in the current state map.
+     *
+     * @param key - Key to obtain the state for
+     * @returns Value for the provided key.
+     */
+    async get(key) {
+        const state = State.from(this.valueType);
+        this.hasPathOrFail();
+        this.hasStateServiceOrFail();
+        state.path = this.getPath(key);
+        state.stateServiceProvider = this.stateServiceProvider;
+        return await state.get();
+    }
+    /**
+     * 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
+     */
+    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;
+        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

@@ -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=StateService.d.ts.map

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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +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

@@ -0,0 +1,8 @@
+import { SimpleAsyncStateService } from "./StateService";
+export declare class StateServiceProvider {
+    private readonly stateServiceStack;
+    get stateService(): SimpleAsyncStateService;
+    setCurrentStateService(service: SimpleAsyncStateService): void;
+    popCurrentStateService(): void;
+}
+//# sourceMappingURL=StateServiceProvider.d.ts.map

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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,37 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    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 { 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."),
+};
+export let StateServiceProvider = class StateServiceProvider {
+    constructor() {
+        this.stateServiceStack = [];
+    }
+    get stateService() {
+        if (this.stateServiceStack.length === 0) {
+            throw errors.stateServiceNotSet();
+        }
+        // Assertion here is ok, because we check that the array is not empty above
+        return this.stateServiceStack.at(-1);
+    }
+    setCurrentStateService(service) {
+        this.stateServiceStack.push(service);
+    }
+    popCurrentStateService() {
+        if (this.stateServiceStack.length === 0) {
+            log.trace("Trying to pop from empty state-service stack");
+            return;
+        }
+        this.stateServiceStack.pop();
+    }
+};
+StateServiceProvider = __decorate([
+    injectable()
+], 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/assert/assert.d.ts

@@ -0,0 +1,12 @@
+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
+ * execution status if it has previously failed at least once within the
+ * same method execution context.
+ *
+ * @param condition - Result of the assertion made about the execution status
+ * @param message - Optional message describing the prior status
+ */
+export declare function assert(condition: Bool, message?: string | (() => string)): void;
+//# sourceMappingURL=assert.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"assert.d.ts","sourceRoot":"","sources":["../../../src/state/assert/assert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAY,MAAM,MAAM,CAAC;AAMtC;;;;;;;;GAQG;AACH,wBAAgB,MAAM,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,CAAC,MAAM,MAAM,CAAC,QAsBxE"}

package/dist/state/assert/assert.js

@@ -0,0 +1,33 @@
+import { Provable } from "o1js";
+import { container } from "tsyringe";
+import { log } from "@proto-kit/common";
+import { RuntimeMethodExecutionContext } from "../context/RuntimeMethodExecutionContext";
+/**
+ * Maintains an execution status of the current runtime module method,
+ * while prioritizing one-time failures. The assertion won't change the
+ * execution status if it has previously failed at least once within the
+ * same method execution context.
+ *
+ * @param condition - Result of the assertion made about the execution status
+ * @param message - Optional message describing the prior status
+ */
+export function assert(condition, message) {
+    const executionContext = container.resolve(RuntimeMethodExecutionContext);
+    const previousStatus = executionContext.current().result.status;
+    const status = condition.and(previousStatus);
+    Provable.asProver(() => {
+        if (!condition.toBoolean()) {
+            const messageString = message !== undefined && typeof message === "function"
+                ? message()
+                : message;
+            // If no isSimulated was set, we treat it as not simulated,
+            // therefore printing the log
+            if (!(executionContext.current().isSimulated ?? false)) {
+                log.debug("Assertion failed: ", messageString);
+            }
+            executionContext.setStatusMessage(messageString, new Error().stack);
+        }
+    });
+    executionContext.setStatus(status);
+}
+//# sourceMappingURL=assert.js.map

package/dist/state/assert/assert.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assert.js","sourceRoot":"","sources":["../../../src/state/assert/assert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,QAAQ,EAAE,MAAM,MAAM,CAAC;AACtC,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAC;AAExC,OAAO,EAAE,6BAA6B,EAAE,MAAM,0CAA0C,CAAC;AAEzF;;;;;;;;GAQG;AACH,MAAM,UAAU,MAAM,CAAC,SAAe,EAAE,OAAiC;IACvE,MAAM,gBAAgB,GAAG,SAAS,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;IAC1E,MAAM,cAAc,GAAG,gBAAgB,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;IAChE,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IAE7C,QAAQ,CAAC,QAAQ,CAAC,GAAG,EAAE;QACrB,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,EAAE;YAC1B,MAAM,aAAa,GACjB,OAAO,KAAK,SAAS,IAAI,OAAO,OAAO,KAAK,UAAU;gBACpD,CAAC,CAAC,OAAO,EAAE;gBACX,CAAC,CAAC,OAAO,CAAC;YAEd,2DAA2D;YAC3D,6BAA6B;YAC7B,IAAI,CAAC,CAAC,gBAAgB,CAAC,OAAO,EAAE,CAAC,WAAW,IAAI,KAAK,CAAC,EAAE;gBACtD,GAAG,CAAC,KAAK,CAAC,oBAAoB,EAAE,aAAa,CAAC,CAAC;aAChD;YACD,gBAAgB,CAAC,gBAAgB,CAAC,aAAa,EAAE,IAAI,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC;SACrE;IACH,CAAC,CAAC,CAAC;IAEH,gBAAgB,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;AACrC,CAAC"}