@proto-kit/protocol 0.1.1-develop.0

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,QAmBxE"}

package/dist/state/assert/assert.js

@@ -0,0 +1,31 @@
+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()) {
+            if (!executionContext.current().isSimulated) {
+                log.debug("Assertion failed: ", message);
+            }
+            const messageString = message !== undefined && typeof message === "function"
+                ? message()
+                : message;
+            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,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,CAAC,WAAW,EAAE;gBAC3C,GAAG,CAAC,KAAK,CAAC,oBAAoB,EAAE,OAAO,CAAC,CAAC;aAC1C;YACD,MAAM,aAAa,GACjB,OAAO,KAAK,SAAS,IAAI,OAAO,OAAO,KAAK,UAAU;gBACpD,CAAC,CAAC,OAAO,EAAE;gBACX,CAAC,CAAC,OAAO,CAAC;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"}

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

@@ -0,0 +1,193 @@
+import { Bool, FlexibleProvablePure, Provable } from "o1js";
+import { ProvableMethodExecutionContext, ProvableMethodExecutionResult } from "@proto-kit/common";
+import { StateTransition } from "../../model/StateTransition";
+import { RuntimeTransaction } from "../../model/transaction/RuntimeTransaction";
+import { NetworkState } from "../../model/network/NetworkState";
+export declare class RuntimeProvableMethodExecutionResult extends ProvableMethodExecutionResult {
+    stateTransitions: StateTransition<any>[];
+    status: Bool;
+    statusMessage?: string;
+    stackTrace?: string;
+    events: {
+        eventType: FlexibleProvablePure<any>;
+        event: any;
+        eventName: string;
+        condition: Bool;
+    }[];
+}
+export interface RuntimeMethodExecutionData {
+    transaction: RuntimeTransaction;
+    networkState: NetworkState;
+}
+declare const RuntimeMethodExecutionDataStruct_base: (new (value: {
+    transaction: RuntimeTransaction;
+    networkState: NetworkState;
+}) => {
+    transaction: RuntimeTransaction;
+    networkState: NetworkState;
+}) & {
+    _isStruct: true;
+} & Provable<{
+    transaction: RuntimeTransaction;
+    networkState: NetworkState;
+}, {
+    transaction: {
+        methodId: bigint;
+        argsHash: bigint;
+        nonce: {
+            isSome: boolean;
+            value: any;
+        };
+        sender: {
+            isSome: boolean;
+            value: any;
+        };
+    };
+    networkState: {
+        block: {
+            height: bigint;
+        };
+        previous: {
+            rootHash: bigint;
+        };
+    };
+}> & {
+    fromValue: (value: {
+        transaction: RuntimeTransaction | {
+            methodId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+            argsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+            nonce: import("../..").UInt64Option | {
+                isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+                value: any;
+            };
+            sender: import("../..").PublicKeyOption | {
+                isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+                value: any;
+            };
+        };
+        networkState: NetworkState | {
+            block: import("../../model/network/NetworkState").CurrentBlock | {
+                height: bigint | import("o1js/dist/node/lib/provable/int").UInt64;
+            };
+            previous: import("../../model/network/NetworkState").PreviousBlock | {
+                rootHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+            };
+        };
+    }) => {
+        transaction: RuntimeTransaction;
+        networkState: NetworkState;
+    };
+    toInput: (x: {
+        transaction: RuntimeTransaction;
+        networkState: NetworkState;
+    }) => {
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        transaction: RuntimeTransaction;
+        networkState: NetworkState;
+    }) => {
+        transaction: {
+            methodId: string;
+            argsHash: string;
+            nonce: {
+                isSome: boolean;
+                value: any;
+            };
+            sender: {
+                isSome: boolean;
+                value: any;
+            };
+        };
+        networkState: {
+            block: {
+                height: string;
+            };
+            previous: {
+                rootHash: string;
+            };
+        };
+    };
+    fromJSON: (x: {
+        transaction: {
+            methodId: string;
+            argsHash: string;
+            nonce: {
+                isSome: boolean;
+                value: any;
+            };
+            sender: {
+                isSome: boolean;
+                value: any;
+            };
+        };
+        networkState: {
+            block: {
+                height: string;
+            };
+            previous: {
+                rootHash: string;
+            };
+        };
+    }) => {
+        transaction: RuntimeTransaction;
+        networkState: NetworkState;
+    };
+    empty: () => {
+        transaction: RuntimeTransaction;
+        networkState: NetworkState;
+    };
+};
+export declare class RuntimeMethodExecutionDataStruct extends RuntimeMethodExecutionDataStruct_base implements RuntimeMethodExecutionData {
+}
+/**
+ * Execution context used to wrap runtime module methods,
+ * allowing them to post relevant information (such as execution status)
+ * into the context without any unnecessary 'prop drilling'.
+ */
+export declare class RuntimeMethodExecutionContext extends ProvableMethodExecutionContext {
+    methods: string[];
+    input: RuntimeMethodExecutionData | undefined;
+    private lastInput;
+    result: RuntimeProvableMethodExecutionResult;
+    private isSimulated;
+    private assertSetupCalled;
+    /**
+     * Adds an in-method generated state transition to the current context
+     * @param stateTransition - State transition to add to the context
+     */
+    addStateTransition<Value>(stateTransition: StateTransition<Value>): void;
+    addEvent(eventType: FlexibleProvablePure<any>, event: any, eventName: string, condition?: Bool): void;
+    /**
+     * @param message - Status message to acompany the current status
+     */
+    setStatusMessage(message?: string, stackTrace?: string): void;
+    /**
+     * @param status - Execution status of the current method
+     */
+    setStatus(status: Bool): void;
+    /**
+     * @param input Input witness data required for a runtime execution
+     */
+    setup(input: RuntimeMethodExecutionData): void;
+    witnessInput(): RuntimeMethodExecutionDataStruct;
+    setSimulated(simulated: boolean): void;
+    /**
+     * Manually clears/resets the execution context
+     */
+    clear(): void;
+    afterMethod(): void;
+    /**
+     * Had to override current() otherwise it would not infer
+     * the type of result correctly (parent type would be reused)
+     */
+    current(): {
+        isFinished: boolean;
+        result: RuntimeProvableMethodExecutionResult;
+        input: RuntimeMethodExecutionData | undefined;
+        isSimulated: boolean;
+    };
+}
+export {};
+//# sourceMappingURL=RuntimeMethodExecutionContext.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"RuntimeMethodExecutionContext.d.ts","sourceRoot":"","sources":["../../../src/state/context/RuntimeMethodExecutionContext.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAU,MAAM,MAAM,CAAC;AAEpE,OAAO,EACL,8BAA8B,EAC9B,6BAA6B,EAC9B,MAAM,mBAAmB,CAAC;AAE3B,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;IAC9E,gBAAgB,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,CAAM;IAE9C,MAAM,EAAE,IAAI,CAAc;IAE1B,aAAa,CAAC,EAAE,MAAM,CAAC;IAEvB,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,MAAM,EAAE;QACb,SAAS,EAAE,oBAAoB,CAAC,GAAG,CAAC,CAAC;QACrC,KAAK,EAAE,GAAG,CAAC;QACX,SAAS,EAAE,MAAM,CAAC;QAClB,SAAS,EAAE,IAAI,CAAC;KACjB,EAAE,CAAM;CACV;AAED,MAAM,WAAW,0BAA0B;IACzC,WAAW,EAAE,kBAAkB,CAAC;IAChC,YAAY,EAAE,YAAY,CAAC;CAC5B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED,qBAAa,gCACX,SAAQ,qCAIR,YAAW,0BAA0B;CAAG;AAE1C;;;;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;IAKjE,QAAQ,CACb,SAAS,EAAE,oBAAoB,CAAC,GAAG,CAAC,EACpC,KAAK,EAAE,GAAG,EACV,SAAS,EAAE,MAAM,EACjB,SAAS,GAAE,IAAiB;IAY9B;;OAEG;IACI,gBAAgB,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM;IAS7D;;OAEG;IACI,SAAS,CAAC,MAAM,EAAE,IAAI;IAQ7B;;OAEG;IACI,KAAK,CAAC,KAAK,EAAE,0BAA0B;IAIvC,YAAY,IAAI,gCAAgC;IAYhD,YAAY,CAAC,SAAS,EAAE,OAAO;IAItC;;OAEG;IACI,KAAK;IAIL,WAAW;IAUlB;;;OAGG;IACI,OAAO;;;;;;CAQf"}

package/dist/state/context/RuntimeMethodExecutionContext.js

@@ -0,0 +1,136 @@
+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 { Bool, Provable, Struct } from "o1js";
+import { singleton } from "tsyringe";
+import { ProvableMethodExecutionContext, ProvableMethodExecutionResult, } from "@proto-kit/common";
+import { RuntimeTransaction } from "../../model/transaction/RuntimeTransaction";
+import { NetworkState } from "../../model/network/NetworkState";
+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"),
+};
+export class RuntimeProvableMethodExecutionResult extends ProvableMethodExecutionResult {
+    constructor() {
+        super(...arguments);
+        this.stateTransitions = [];
+        this.status = Bool(true);
+        this.events = [];
+    }
+}
+export class RuntimeMethodExecutionDataStruct extends Struct({
+    transaction: RuntimeTransaction,
+    networkState: NetworkState,
+}) {
+}
+/**
+ * Execution context used to wrap runtime module methods,
+ * allowing them to post relevant information (such as execution status)
+ * into the context without any unnecessary 'prop drilling'.
+ */
+export let RuntimeMethodExecutionContext = class RuntimeMethodExecutionContext extends ProvableMethodExecutionContext {
+    constructor() {
+        super(...arguments);
+        this.methods = [];
+        this.result = new RuntimeProvableMethodExecutionResult();
+        this.isSimulated = false;
+    }
+    assertSetupCalled() {
+        if (this.input === undefined) {
+            throw errors.setupNotCalled();
+        }
+    }
+    /**
+     * Adds an in-method generated state transition to the current context
+     * @param stateTransition - State transition to add to the context
+     */
+    addStateTransition(stateTransition) {
+        this.assertSetupCalled();
+        this.result.stateTransitions.push(stateTransition);
+    }
+    addEvent(eventType, event, eventName, condition = Bool(true)) {
+        this.assertSetupCalled();
+        this.result.events.push({
+            eventType,
+            // eslint-disable-next-line @typescript-eslint/no-unsafe-assignment
+            event,
+            eventName,
+            condition,
+        });
+    }
+    /**
+     * @param message - Status message to acompany the current status
+     */
+    setStatusMessage(message, stackTrace) {
+        var _a, _b;
+        this.assertSetupCalled();
+        if (this.isSimulated) {
+            return;
+        }
+        (_a = this.result).statusMessage ?? (_a.statusMessage = message);
+        (_b = this.result).stackTrace ?? (_b.stackTrace = stackTrace);
+    }
+    /**
+     * @param status - Execution status of the current method
+     */
+    setStatus(status) {
+        this.assertSetupCalled();
+        if (this.isSimulated) {
+            return;
+        }
+        this.result.status = status;
+    }
+    /**
+     * @param input Input witness data required for a runtime execution
+     */
+    setup(input) {
+        this.input = input;
+    }
+    witnessInput() {
+        this.assertSetupCalled();
+        return Provable.witness(RuntimeMethodExecutionDataStruct, () => {
+            // TODO Is that right? Or this.current().input
+            const { transaction, networkState } = this.input;
+            return new RuntimeMethodExecutionDataStruct({
+                networkState,
+                transaction,
+            });
+        });
+    }
+    setSimulated(simulated) {
+        this.isSimulated = simulated;
+    }
+    /**
+     * Manually clears/resets the execution context
+     */
+    clear() {
+        this.result = new RuntimeProvableMethodExecutionResult();
+    }
+    afterMethod() {
+        super.afterMethod();
+        if (this.isFinished) {
+            this.lastInput = this.input;
+            // TODO: find out why input isnt set in TransactionFeeHook during assert
+            // this.input = undefined;
+            this.isSimulated = false;
+        }
+    }
+    /**
+     * Had to override current() otherwise it would not infer
+     * the type of result correctly (parent type would be reused)
+     */
+    current() {
+        return {
+            isFinished: this.isFinished,
+            result: this.result,
+            input: this.lastInput,
+            isSimulated: this.isSimulated,
+        };
+    }
+};
+RuntimeMethodExecutionContext = __decorate([
+    singleton()
+], RuntimeMethodExecutionContext);
+//# sourceMappingURL=RuntimeMethodExecutionContext.js.map

package/dist/state/context/RuntimeMethodExecutionContext.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RuntimeMethodExecutionContext.js","sourceRoot":"","sources":["../../../src/state/context/RuntimeMethodExecutionContext.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,IAAI,EAAwB,QAAQ,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AACpE,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,EACL,8BAA8B,EAC9B,6BAA6B,GAC9B,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AAChF,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAEhE,MAAM,MAAM,GAAG;IACb,cAAc,EAAE,GAAG,EAAE,CACnB,IAAI,KAAK,CACP,uIAAuI,CACxI;CACJ,CAAC;AAEF,MAAM,OAAO,oCAAqC,SAAQ,6BAA6B;IAAvF;;QACS,qBAAgB,GAA2B,EAAE,CAAC;QAE9C,WAAM,GAAS,IAAI,CAAC,IAAI,CAAC,CAAC;QAM1B,WAAM,GAKP,EAAE,CAAC;IACX,CAAC;CAAA;AAOD,MAAM,OAAO,gCACX,SAAQ,MAAM,CAAC;IACb,WAAW,EAAE,kBAAkB;IAC/B,YAAY,EAAE,YAAY;CAC3B,CAAC;CACsC;AAE1C;;;;GAIG;AAEI,WAAM,6BAA6B,GAAnC,MAAM,6BAA8B,SAAQ,8BAA8B;IAA1E;;QACE,YAAO,GAAa,EAAE,CAAC;QAOd,WAAM,GAAG,IAAI,oCAAoC,EAAE,CAAC;QAE5D,gBAAW,GAAY,KAAK,CAAC;IA8GvC,CAAC;IA5GS,iBAAiB;QAGvB,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE;YAC5B,MAAM,MAAM,CAAC,cAAc,EAAE,CAAC;SAC/B;IACH,CAAC;IAED;;;OAGG;IACI,kBAAkB,CAAQ,eAAuC;QACtE,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACzB,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACrD,CAAC;IAEM,QAAQ,CACb,SAAoC,EACpC,KAAU,EACV,SAAiB,EACjB,YAAkB,IAAI,CAAC,IAAI,CAAC;QAE5B,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACzB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;YACtB,SAAS;YACT,mEAAmE;YACnE,KAAK;YACL,SAAS;YACT,SAAS;SACV,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACI,gBAAgB,CAAC,OAAgB,EAAE,UAAmB;;QAC3D,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,WAAW,EAAE;YACpB,OAAO;SACR;QACD,MAAA,IAAI,CAAC,MAAM,EAAC,aAAa,QAAb,aAAa,GAAK,OAAO,EAAC;QACtC,MAAA,IAAI,CAAC,MAAM,EAAC,UAAU,QAAV,UAAU,GAAK,UAAU,EAAC;IACxC,CAAC;IAED;;OAEG;IACI,SAAS,CAAC,MAAY;QAC3B,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,WAAW,EAAE;YACpB,OAAO;SACR;QACD,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC;IAC9B,CAAC;IAED;;OAEG;IACI,KAAK,CAAC,KAAiC;QAC5C,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;IAEM,YAAY;QACjB,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACzB,OAAO,QAAQ,CAAC,OAAO,CAAC,gCAAgC,EAAE,GAAG,EAAE;YAC7D,8CAA8C;YAC9C,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,GAAG,IAAI,CAAC,KAAM,CAAC;YAClD,OAAO,IAAI,gCAAgC,CAAC;gBAC1C,YAAY;gBACZ,WAAW;aACZ,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC;IAEM,YAAY,CAAC,SAAkB;QACpC,IAAI,CAAC,WAAW,GAAG,SAAS,CAAC;IAC/B,CAAC;IAED;;OAEG;IACI,KAAK;QACV,IAAI,CAAC,MAAM,GAAG,IAAI,oCAAoC,EAAE,CAAC;IAC3D,CAAC;IAEM,WAAW;QAChB,KAAK,CAAC,WAAW,EAAE,CAAC;QACpB,IAAI,IAAI,CAAC,UAAU,EAAE;YACnB,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC;YAC5B,wEAAwE;YACxE,0BAA0B;YAC1B,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC;SAC1B;IACH,CAAC;IAED;;;OAGG;IACI,OAAO;QACZ,OAAO;YACL,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,KAAK,EAAE,IAAI,CAAC,SAAS;YACrB,WAAW,EAAE,IAAI,CAAC,WAAW;SAC9B,CAAC;IACJ,CAAC;CACF,CAAA;AAxHY,6BAA6B;IADzC,SAAS,EAAE;GACC,6BAA6B,CAwHzC"}

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

@@ -0,0 +1,23 @@
+import { StateTransition } from "../../model/StateTransition";
+export declare class TransitionMethodExecutionResult {
+    stateTransitions: StateTransition<any>[];
+}
+export interface TransitionMethodExecutionContext {
+    /**
+     * Adds an in-method generated state transition to the current context
+     * @param stateTransition - State transition to add to the context
+     */
+    addStateTransition: <Value>(stateTransition: StateTransition<Value>) => void;
+    /**
+     * Manually clears/resets the execution context
+     */
+    clear: () => void;
+    /**
+     * Had to override current() otherwise it would not infer
+     * the type of result correctly (parent type would be reused)
+     */
+    current: () => {
+        result: TransitionMethodExecutionResult;
+    };
+}
+//# sourceMappingURL=TransitionMethodExecutionContext.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"TransitionMethodExecutionContext.d.ts","sourceRoot":"","sources":["../../../src/state/context/TransitionMethodExecutionContext.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAE9D,qBAAa,+BAA+B;IACnC,gBAAgB,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,CAAM;CACtD;AAED,MAAM,WAAW,gCAAgC;IAC/C;;;OAGG;IACH,kBAAkB,EAAE,CAAC,KAAK,EAAE,eAAe,EAAE,eAAe,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC;IAE7E;;OAEG;IACH,KAAK,EAAE,MAAM,IAAI,CAAC;IAElB;;;OAGG;IACH,OAAO,EAAE,MAAM;QACb,MAAM,EAAE,+BAA+B,CAAC;KACzC,CAAC;CACH"}

package/dist/state/context/TransitionMethodExecutionContext.js

@@ -0,0 +1,6 @@
+export class TransitionMethodExecutionResult {
+    constructor() {
+        this.stateTransitions = [];
+    }
+}
+//# sourceMappingURL=TransitionMethodExecutionContext.js.map

package/dist/state/context/TransitionMethodExecutionContext.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TransitionMethodExecutionContext.js","sourceRoot":"","sources":["../../../src/state/context/TransitionMethodExecutionContext.ts"],"names":[],"mappings":"AAEA,MAAM,OAAO,+BAA+B;IAA5C;QACS,qBAAgB,GAA2B,EAAE,CAAC;IACvD,CAAC;CAAA"}

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

@@ -0,0 +1,7 @@
+import { TransitioningProtocolModule } from "../../protocol/TransitioningProtocolModule";
+/**
+ * Decorates a runtime module property as state, passing down some
+ * underlying values to improve developer experience.
+ */
+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

@@ -0,0 +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,6HAKZ,MAAM,UAiCtB"}