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

package/dist/state/WitnessBlockContext.js

@@ -0,0 +1,48 @@
+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 { container, singleton } from "tsyringe";
+import { Provable } from "o1js";
+export let WitnessBlockContext = class WitnessBlockContext {
+    constructor() {
+        this.witnessBlockDepth = 0;
+    }
+    get isInWitnessBlock() {
+        return this.witnessBlockDepth > 0;
+    }
+};
+WitnessBlockContext = __decorate([
+    singleton()
+], WitnessBlockContext);
+const asyncProxyWitnessFunction = (originalFuncDef) => {
+    return async (...args) => {
+        const context = container.resolve(WitnessBlockContext);
+        context.witnessBlockDepth += 1;
+        try {
+            return await originalFuncDef(...args);
+        }
+        finally {
+            context.witnessBlockDepth -= 1;
+        }
+    };
+};
+const proxySyncWitnessFunction = (originalFuncDef) => {
+    return (...args) => {
+        const context = container.resolve(WitnessBlockContext);
+        context.witnessBlockDepth += 1;
+        try {
+            return originalFuncDef(...args);
+        }
+        finally {
+            context.witnessBlockDepth -= 1;
+        }
+    };
+};
+Provable.witnessAsync = asyncProxyWitnessFunction(Provable.witnessAsync);
+Provable.witness = proxySyncWitnessFunction(Provable.witness);
+Provable.witnessFields = proxySyncWitnessFunction(Provable.witnessFields);
+Provable.asProver = proxySyncWitnessFunction(Provable.asProver);
+//# sourceMappingURL=WitnessBlockContext.js.map

package/dist/state/WitnessBlockContext.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"WitnessBlockContext.js","sourceRoot":"","sources":["../../src/state/WitnessBlockContext.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AAGzB,WAAM,mBAAmB,GAAzB,MAAM,mBAAmB;IAAzB;QACE,sBAAiB,GAAW,CAAC,CAAC;IAKvC,CAAC;IAHC,IAAW,gBAAgB;QACzB,OAAO,IAAI,CAAC,iBAAiB,GAAG,CAAC,CAAC;IACpC,CAAC;CACF,CAAA;AANY,mBAAmB;IAD/B,SAAS,EAAE;GACC,mBAAmB,CAM/B;AAED,MAAM,yBAAyB,GAAG,CAIhC,eAAkB,EAClB,EAAE;IACF,OAAO,KAAK,EAAE,GAAG,IAAmB,EAAE,EAAE;QACtC,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;QACvD,OAAO,CAAC,iBAAiB,IAAI,CAAC,CAAC;QAC/B,IAAI;YACF,OAAO,MAAM,eAAe,CAAC,GAAG,IAAI,CAAC,CAAC;SACvC;gBAAS;YACR,OAAO,CAAC,iBAAiB,IAAI,CAAC,CAAC;SAChC;IACH,CAAC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAK/B,eAAkB,EAClB,EAAE;IACF,OAAO,CAAC,GAAG,IAAY,EAAO,EAAE;QAC9B,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;QACvD,OAAO,CAAC,iBAAiB,IAAI,CAAC,CAAC;QAC/B,IAAI;YACF,OAAO,eAAe,CAAC,GAAG,IAAI,CAAC,CAAC;SACjC;gBAAS;YACR,OAAO,CAAC,iBAAiB,IAAI,CAAC,CAAC;SAChC;IACH,CAAC,CAAC;AACJ,CAAC,CAAC;AAEF,QAAQ,CAAC,YAAY,GAAG,yBAAyB,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;AAEzE,QAAQ,CAAC,OAAO,GAAG,wBAAwB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;AAE9D,QAAQ,CAAC,aAAa,GAAG,wBAAwB,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;AAE1E,QAAQ,CAAC,QAAQ,GAAG,wBAAwB,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC"}

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

@@ -1,4 +1,4 @@
-import { Bool } from "snarkyjs";
+import { Bool } from "o1js";
 /**
  * Maintains an execution status of the current runtime module method,
  * while prioritizing one-time failures. The assertion won't change the
@@ -8,5 +8,5 @@ import { Bool } from "snarkyjs";
  * @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): void;
+export declare function assert(condition: Bool, message?: string | (() => string)): void;
 //# sourceMappingURL=assert.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"assert.d.ts","sourceRoot":"","sources":["../../../src/state/assert/assert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAY,MAAM,UAAU,CAAC;AAO1C;;;;;;;;GAQG;AACH,wBAAgB,MAAM,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,MAAM,QAWvD"}
+{"version":3,"file":"assert.d.ts","sourceRoot":"","sources":["../../../src/state/assert/assert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,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

@@ -1,4 +1,4 @@
-import { Bool, Provable } from "snarkyjs";
+import { Provable } from "o1js";
 import { container } from "tsyringe";
 import { log } from "@proto-kit/common";
 import { RuntimeMethodExecutionContext } from "../context/RuntimeMethodExecutionContext";
@@ -14,10 +14,20 @@ import { RuntimeMethodExecutionContext } from "../context/RuntimeMethodExecution
 export function assert(condition, message) {
     const executionContext = container.resolve(RuntimeMethodExecutionContext);
     const previousStatus = executionContext.current().result.status;
-    const status = Provable.if(previousStatus, Bool, condition, previousStatus);
-    if (!condition.toBoolean()) {
-        log.debug("Assertion failed: ", message);
-        executionContext.setStatusMessage(message);
-    }
+    const status = condition.and(previousStatus);
+    Provable.asProver(() => {
+        if (!condition.toBoolean() && previousStatus.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,IAAI,cAAc,CAAC,SAAS,EAAE,EAAE;YACxD,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"}

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

@@ -1,4 +1,4 @@
-import { Bool } from "snarkyjs";
+import { Bool, FlexibleProvablePure, Provable } from "o1js";
 import { ProvableMethodExecutionContext, ProvableMethodExecutionResult } from "@proto-kit/common";
 import { StateTransition } from "../../model/StateTransition";
 import { RuntimeTransaction } from "../../model/transaction/RuntimeTransaction";
@@ -7,11 +7,140 @@ export declare class RuntimeProvableMethodExecutionResult extends ProvableMethod
     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: number | 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)
@@ -20,19 +149,20 @@ export interface RuntimeMethodExecutionData {
 export declare class RuntimeMethodExecutionContext extends ProvableMethodExecutionContext {
     methods: string[];
     input: RuntimeMethodExecutionData | undefined;
-    private lastInput;
-    result: RuntimeProvableMethodExecutionResult;
     private isSimulated;
+    private lastInputs;
+    result: RuntimeProvableMethodExecutionResult;
     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<T>(eventType: FlexibleProvablePure<T>, event: T, eventName: string, condition?: Bool): void;
     /**
      * @param message - Status message to acompany the current status
      */
-    setStatusMessage(message?: string): void;
+    setStatusMessage(message?: string, stackTrace?: string): void;
     /**
      * @param status - Execution status of the current method
      */
@@ -41,6 +171,7 @@ export declare class RuntimeMethodExecutionContext extends ProvableMethodExecuti
      * @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
@@ -55,6 +186,8 @@ export declare class RuntimeMethodExecutionContext extends ProvableMethodExecuti
         isFinished: boolean;
         result: RuntimeProvableMethodExecutionResult;
         input: RuntimeMethodExecutionData | undefined;
+        isSimulated: boolean | undefined;
     };
 }
+export {};
 //# sourceMappingURL=RuntimeMethodExecutionContext.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"RuntimeMethodExecutionContext.d.ts","sourceRoot":"","sources":["../../../src/state/context/RuntimeMethodExecutionContext.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAEhC,OAAO,EAAE,8BAA8B,EAAE,6BAA6B,EAAE,MAAM,mBAAmB,CAAC;AAClG,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AAChF,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAShE,qBAAa,oCAAqC,SAAQ,6BAA6B;IAE9E,gBAAgB,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,CAAM;IAE9C,MAAM,EAAE,IAAI,CAAc;IAE1B,aAAa,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,0BAA0B;IACzC,WAAW,EAAE,kBAAkB,CAAC;IAChC,YAAY,EAAE,YAAY,CAAC;CAC5B;AAED;;;;GAIG;AACH,qBACa,6BAA8B,SAAQ,8BAA8B;IACxE,OAAO,EAAE,MAAM,EAAE,CAAM;IAEvB,KAAK,EAAE,0BAA0B,GAAG,SAAS,CAAC;IAGrD,OAAO,CAAC,SAAS,CAAyC;IAE1C,MAAM,uCAA8C;IAEpE,OAAO,CAAC,WAAW,CAAkB;IAErC,OAAO,CAAC,iBAAiB;IAQzB;;;OAGG;IACI,kBAAkB,CAAC,KAAK,EAAE,eAAe,EAAE,eAAe,CAAC,KAAK,CAAC;IAKxE;;OAEG;IACI,gBAAgB,CAAC,OAAO,CAAC,EAAE,MAAM;IAQxC;;OAEG;IACI,SAAS,CAAC,MAAM,EAAE,IAAI;IAQ7B;;OAEG;IACI,KAAK,CAAC,KAAK,EAAE,0BAA0B;IAIvC,YAAY,CAAC,SAAS,EAAE,OAAO;IAItC;;OAEG;IACI,KAAK;IAIL,WAAW;IASlB;;;OAGG;IACI,OAAO;;;;;CAOf"}
+{"version":3,"file":"RuntimeMethodExecutionContext.d.ts","sourceRoot":"","sources":["../../../src/state/context/RuntimeMethodExecutionContext.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,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;IAErD,OAAO,CAAC,WAAW,CAAkB;IAGrC,OAAO,CAAC,UAAU,CAKJ;IAEE,MAAM,uCAA8C;IAEpE,OAAO,CAAC,iBAAiB;IAQzB;;;OAGG;IACI,kBAAkB,CAAC,KAAK,EAAE,eAAe,EAAE,eAAe,CAAC,KAAK,CAAC;IAKjE,QAAQ,CAAC,CAAC,EACf,SAAS,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAClC,KAAK,EAAE,CAAC,EACR,SAAS,EAAE,MAAM,EACjB,SAAS,GAAE,IAAiB;IAW9B;;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;IAalB;;;OAGG;IACI,OAAO;;;;;;CAQf"}

package/dist/state/context/RuntimeMethodExecutionContext.js

@@ -4,31 +4,38 @@ var __decorate = (this && this.__decorate) || function (decorators, target, key,
     else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
     return c > 3 && r && Object.defineProperty(target, key, r), r;
 };
-import { Bool } from "snarkyjs";
+import { Bool, Provable, Struct } from "o1js";
 import { singleton } from "tsyringe";
-import { ProvableMethodExecutionContext, ProvableMethodExecutionResult } from "@proto-kit/common";
+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);
-        // eslint-disable-next-line @typescript-eslint/no-explicit-any
         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'.
  */
-let RuntimeMethodExecutionContext = class RuntimeMethodExecutionContext extends ProvableMethodExecutionContext {
+export let RuntimeMethodExecutionContext = class RuntimeMethodExecutionContext extends ProvableMethodExecutionContext {
     constructor() {
         super(...arguments);
         this.methods = [];
-        this.result = new RuntimeProvableMethodExecutionResult();
         this.isSimulated = false;
+        this.result = new RuntimeProvableMethodExecutionResult();
     }
     assertSetupCalled() {
         if (this.input === undefined) {
@@ -43,16 +50,26 @@ let RuntimeMethodExecutionContext = class RuntimeMethodExecutionContext extends
         this.assertSetupCalled();
         this.result.stateTransitions.push(stateTransition);
     }
+    addEvent(eventType, event, eventName, condition = Bool(true)) {
+        this.assertSetupCalled();
+        this.result.events.push({
+            eventType,
+            event,
+            eventName,
+            condition,
+        });
+    }
     /**
      * @param message - Status message to acompany the current status
      */
-    setStatusMessage(message) {
-        var _a;
+    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
@@ -70,6 +87,17 @@ let RuntimeMethodExecutionContext = class RuntimeMethodExecutionContext extends
     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;
     }
@@ -82,8 +110,12 @@ let RuntimeMethodExecutionContext = class RuntimeMethodExecutionContext extends
     afterMethod() {
         super.afterMethod();
         if (this.isFinished) {
-            this.lastInput = this.input;
-            this.input = undefined;
+            this.lastInputs = {
+                input: this.input,
+                isSimulated: this.isSimulated,
+            };
+            // TODO: find out why input isnt set in TransactionFeeHook during assert
+            // this.input = undefined;
             this.isSimulated = false;
         }
     }
@@ -95,11 +127,12 @@ let RuntimeMethodExecutionContext = class RuntimeMethodExecutionContext extends
         return {
             isFinished: this.isFinished,
             result: this.result,
-            input: this.lastInput,
+            input: this.lastInputs?.input,
+            isSimulated: this.lastInputs?.isSimulated,
         };
     }
 };
 RuntimeMethodExecutionContext = __decorate([
     singleton()
 ], RuntimeMethodExecutionContext);
-export { 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;QAItB,gBAAW,GAAY,KAAK,CAAC;QAUrB,WAAM,GAAG,IAAI,oCAAoC,EAAE,CAAC;IAgHtE,CAAC;IA9GS,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,SAAkC,EAClC,KAAQ,EACR,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,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,UAAU,GAAG;gBAChB,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,WAAW,EAAE,IAAI,CAAC,WAAW;aAC9B,CAAC;YACF,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,UAAU,EAAE,KAAK;YAC7B,WAAW,EAAE,IAAI,CAAC,UAAU,EAAE,WAAW;SAC1C,CAAC;IACJ,CAAC;CACF,CAAA;AA/HY,6BAA6B;IADzC,SAAS,EAAE;GACC,6BAA6B,CA+HzC"}

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

@@ -1 +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;IAEnC,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"}
+{"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

@@ -1,6 +1,6 @@
 export class TransitionMethodExecutionResult {
     constructor() {
-        // eslint-disable-next-line @typescript-eslint/no-explicit-any
         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

@@ -1,7 +1,13 @@
-import { TransitioningProtocolModule } from "../../protocol/TransitioningProtocolModule";
+import { StateServiceProvider } from "../StateServiceProvider";
+export interface StatefulModule {
+    name?: string;
+    parent?: {
+        stateServiceProvider: StateServiceProvider;
+    };
+}
 /**
  * Decorates a runtime module property as state, passing down some
  * underlying values to improve developer experience.
  */
-export declare function protocolState(): <TargetTransitioningModule extends TransitioningProtocolModule>(target: TargetTransitioningModule, propertyKey: string) => void;
+export declare function state(): <TargetTransitioningModule extends StatefulModule>(target: TargetTransitioningModule, propertyKey: string) => void;
 //# sourceMappingURL=ProtocolState.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"ProtocolState.d.ts","sourceRoot":"","sources":["../../../src/state/protocol/ProtocolState.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,2BAA2B,EAAE,MAAM,4CAA4C,CAAC;AAgBzF;;;GAGG;AACH,wBAAgB,aAAa,oHAGZ,MAAM,UAoCtB"}
+{"version":3,"file":"ProtocolState.d.ts","sourceRoot":"","sources":["../../../src/state/protocol/ProtocolState.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAkB/D,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE;QACP,oBAAoB,EAAE,oBAAoB,CAAC;KAC5C,CAAC;CACH;AAED;;;GAGG;AACH,wBAAgB,KAAK,uGAGJ,MAAM,UA6DtB"}

package/dist/state/protocol/ProtocolState.js

@@ -1,42 +1,58 @@
+import { createReference } from "@proto-kit/common";
 import { Path } from "../../model/Path";
+import { PROTOKIT_PREFIXES } from "../../hashing/protokit-prefixes";
+import { TransitioningProtocolModule } from "../../protocol/TransitioningProtocolModule";
 const errors = {
     missingName: (className) => new Error(`Unable to provide a unique identifier for state, ${className} is missing a name. 
       Did you forget to extend your block module with 'extends ...Hook'?`),
-    missingProtocol: (className) => new Error(`Unable to provide 'procotol' for state, ${className} is missing a name. 
-      Did you forget to extend your block module with 'extends ...Hook'?`),
+    missingParent: (className, type, moduleType) => new Error(`Unable to provide parent '${type}' for state, ${className} is missing a name. 
+      Did you forget to extend your module with 'extends ${moduleType}'?`),
 };
 /**
  * Decorates a runtime module property as state, passing down some
  * underlying values to improve developer experience.
  */
-export function protocolState() {
+export function state() {
     return (target, propertyKey) => {
-        // eslint-disable-next-line @typescript-eslint/init-declarations
-        let value;
         Object.defineProperty(target, propertyKey, {
             enumerable: true,
             get: function get() {
-                // eslint-disable-next-line max-len
-                // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
-                const self = this;
-                if (self.name === undefined) {
-                    throw errors.missingName(self.constructor.name);
+                // The reason for why we store the state value in this weird way is that
+                // in the decorator on the prototype of the class. This means that if there
+                // are multiple instances of this class, any closure that this getter shares
+                // will be the same for all instances.
+                // Therefore, we need to somehow save the set instance on the instance itself
+                // eslint-disable-next-line @typescript-eslint/no-unsafe-assignment
+                const reference = this[`protokit_state_cache_${propertyKey}`];
+                // Short-circuit this to return the state in case its already initialized
+                if (reference !== undefined && reference.value.path !== undefined) {
+                    return reference.value;
+                }
+                if (this.name === undefined) {
+                    throw errors.missingName(this.constructor.name);
                 }
-                if (!self.protocol) {
-                    throw errors.missingProtocol(self.constructor.name);
+                const isProtocol = target instanceof TransitioningProtocolModule;
+                if (!this.parent) {
+                    const debugInfo = isProtocol
+                        ? { parentName: "protocol", baseModuleNames: "...Hook" }
+                        : { parentName: "runtime", baseModuleNames: "RuntimeModule" };
+                    throw errors.missingParent(this.constructor.name, debugInfo.parentName, debugInfo.baseModuleNames);
                 }
-                // eslint-disable-next-line no-warning-comments
-                // TODO Add Prefix?
-                const path = Path.fromProperty(self.name, propertyKey);
-                if (value) {
+                const statePrefix = isProtocol
+                    ? PROTOKIT_PREFIXES.STATE_PROTOCOL
+                    : PROTOKIT_PREFIXES.STATE_RUNTIME;
+                const path = Path.fromProperty(this.name, propertyKey, statePrefix);
+                if (reference) {
+                    const { value } = reference;
                     value.path = path;
-                    value.stateServiceProvider = self.protocol.stateServiceProvider;
+                    value.stateServiceProvider = this.parent.stateServiceProvider;
                 }
-                return value;
+                return reference?.value;
             },
-            set: (newValue) => {
-                value = newValue;
+            set: function set(newValue) {
+                this[`protokit_state_cache_${propertyKey}`] = createReference(newValue);
             },
         });
     };
 }
+//# sourceMappingURL=ProtocolState.js.map

package/dist/state/protocol/ProtocolState.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ProtocolState.js","sourceRoot":"","sources":["../../../src/state/protocol/ProtocolState.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAa,MAAM,mBAAmB,CAAC;AAG/D,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAExC,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,2BAA2B,EAAE,MAAM,4CAA4C,CAAC;AAEzF,MAAM,MAAM,GAAG;IACb,WAAW,EAAE,CAAC,SAAiB,EAAE,EAAE,CACjC,IAAI,KAAK,CACP,oDAAoD,SAAS;yEACM,CACpE;IAEH,aAAa,EAAE,CAAC,SAAiB,EAAE,IAAY,EAAE,UAAkB,EAAE,EAAE,CACrE,IAAI,KAAK,CACP,6BAA6B,IAAI,gBAAgB,SAAS;2DACL,UAAU,IAAI,CACpE;CACJ,CAAC;AASF;;;GAGG;AACH,MAAM,UAAU,KAAK;IACnB,OAAO,CACL,MAAiC,EACjC,WAAmB,EACnB,EAAE;QACF,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,WAAW,EAAE;YACzC,UAAU,EAAE,IAAI;YAEhB,GAAG,EAAE,SAAS,GAAG;gBACf,wEAAwE;gBACxE,2EAA2E;gBAC3E,4EAA4E;gBAC5E,sCAAsC;gBACtC,6EAA6E;gBAE7E,mEAAmE;gBACnE,MAAM,SAAS,GAGE,IAAY,CAAC,wBAAwB,WAAW,EAAE,CAAC,CAAC;gBAErE,yEAAyE;gBACzE,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE;oBACjE,OAAO,SAAS,CAAC,KAAK,CAAC;iBACxB;gBAED,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE;oBAC3B,MAAM,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;iBACjD;gBAED,MAAM,UAAU,GAAG,MAAM,YAAY,2BAA2B,CAAC;gBAEjE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE;oBAChB,MAAM,SAAS,GAAG,UAAU;wBAC1B,CAAC,CAAC,EAAE,UAAU,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,EAAE;wBACxD,CAAC,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,eAAe,EAAE,eAAe,EAAE,CAAC;oBAEhE,MAAM,MAAM,CAAC,aAAa,CACxB,IAAI,CAAC,WAAW,CAAC,IAAI,EACrB,SAAS,CAAC,UAAU,EACpB,SAAS,CAAC,eAAe,CAC1B,CAAC;iBACH;gBAED,MAAM,WAAW,GAAG,UAAU;oBAC5B,CAAC,CAAC,iBAAiB,CAAC,cAAc;oBAClC,CAAC,CAAC,iBAAiB,CAAC,aAAa,CAAC;gBACpC,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;gBACpE,IAAI,SAAS,EAAE;oBACb,MAAM,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC;oBAC5B,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC;oBAClB,KAAK,CAAC,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC,oBAAoB,CAAC;iBAC/D;gBACD,OAAO,SAAS,EAAE,KAAK,CAAC;YAC1B,CAAC;YAED,GAAG,EAAE,SAAS,GAAG,CAEf,QAA6C;gBAE7C,IAAI,CAAC,wBAAwB,WAAW,EAAE,CAAC,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;YAC1E,CAAC;SACF,CAAC,CAAC;IACL,CAAC,CAAC;AACJ,CAAC"}

package/dist/utils/FieldOptions.d.ts

@@ -0,0 +1,62 @@
+import { Bool, Field } from "o1js";
+declare const FieldOption_base: (new (value: {
+    isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+    value: import("o1js/dist/node/lib/provable/field").Field;
+}) => {
+    isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+    value: import("o1js/dist/node/lib/provable/field").Field;
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+    value: import("o1js/dist/node/lib/provable/field").Field;
+}, {
+    isSome: boolean;
+    value: bigint;
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: import("o1js/dist/node/lib/provable/field").Field;
+    };
+} & {
+    fromValue: (value: {
+        isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+        value: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    toInput: (x: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        isSome: boolean;
+        value: string;
+    };
+    fromJSON: (x: {
+        isSome: boolean;
+        value: string;
+    }) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    empty: () => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: import("o1js/dist/node/lib/provable/field").Field;
+    };
+};
+export declare class FieldOption extends FieldOption_base {
+    static from(isSome: Bool, potentialValue: Field): {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: import("o1js/dist/node/lib/provable/field").Field;
+    };
+}
+export {};
+//# sourceMappingURL=FieldOptions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"FieldOptions.d.ts","sourceRoot":"","sources":["../../src/utils/FieldOptions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAoB,MAAM,MAAM,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAErD,qBAAa,WAAY,SAAQ,gBAG/B;WACc,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK;;;;CAMvD"}

package/dist/utils/FieldOptions.js

@@ -0,0 +1,13 @@
+import { Bool, Field, Provable, Struct } from "o1js";
+export class FieldOption extends Struct({
+    isSome: Bool,
+    value: Field,
+}) {
+    static from(isSome, potentialValue) {
+        return {
+            isSome,
+            value: Provable.if(isSome, potentialValue, Field(0)),
+        };
+    }
+}
+//# sourceMappingURL=FieldOptions.js.map

package/dist/utils/FieldOptions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"FieldOptions.js","sourceRoot":"","sources":["../../src/utils/FieldOptions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAErD,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC;IACtC,MAAM,EAAE,IAAI;IACZ,KAAK,EAAE,KAAK;CACb,CAAC;IACO,MAAM,CAAC,IAAI,CAAC,MAAY,EAAE,cAAqB;QACpD,OAAO;YACL,MAAM;YACN,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;SACrD,CAAC;IACJ,CAAC;CACF"}