@proto-kit/module 0.1.1-develop.191 → 0.1.1-develop.239

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

@@ -1 +1 @@
-{"version":3,"file":"InMemoryStateService.d.ts","sourceRoot":"","sources":["../../src/state/InMemoryStateService.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAEjC,MAAM,WAAW,YAAY;IAC3B,GAAG,EAAE,CAAC,GAAG,EAAE,KAAK,KAAK,KAAK,EAAE,GAAG,SAAS,CAAC;IACzC,GAAG,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,SAAS,KAAK,IAAI,CAAC;CACvD;AAED;;GAEG;AACH,qBAAa,oBAAqB,YAAW,YAAY;IAChD,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC,CAAM;IAEjD,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK,EAAE,GAAG,SAAS;IAIpC,GAAG,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,SAAS;CAWlD"}
+{"version":3,"file":"InMemoryStateService.d.ts","sourceRoot":"","sources":["../../src/state/InMemoryStateService.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnD;;GAEG;AACH,qBAAa,oBAAqB,YAAW,YAAY;IAChD,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC,CAAM;IAEjD,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK,EAAE,GAAG,SAAS;IAIpC,GAAG,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,SAAS;CAWlD"}

package/dist/state/StateMap.d.ts

@@ -1,11 +1,11 @@
 import type { Field, FlexibleProvablePure } from "snarkyjs";
-import { type Option } from "@proto-kit/protocol";
+import { type Option, ToFieldable } from "@proto-kit/protocol";
 import { WithRuntime, WithPath } from "./State.js";
 declare const StateMap_base: import("ts-mixer/dist/types/types.js").Class<any[], WithPath & WithRuntime, typeof WithPath & typeof WithRuntime, false>;
 /**
  * Map-like wrapper for state
  */
-export declare class StateMap<KeyType, ValueType> extends StateMap_base {
+export declare class StateMap<KeyType, ValueType extends ToFieldable> extends StateMap_base {
     keyType: FlexibleProvablePure<KeyType>;
     valueType: FlexibleProvablePure<ValueType>;
     /**
@@ -15,7 +15,7 @@ export declare class StateMap<KeyType, ValueType> extends StateMap_base {
      * @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>;
+    static from<KeyType, ValueType extends ToFieldable>(keyType: FlexibleProvablePure<KeyType>, valueType: FlexibleProvablePure<ValueType>): StateMap<KeyType, ValueType>;
     constructor(keyType: FlexibleProvablePure<KeyType>, valueType: FlexibleProvablePure<ValueType>);
     getPath(key: KeyType): Field;
     /**

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

@@ -1 +1 @@
-{"version":3,"file":"StateMap.d.ts","sourceRoot":"","sources":["../../src/state/StateMap.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAC;AAC5D,OAAO,EAAQ,KAAK,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAGxD,OAAO,EAAS,WAAW,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;;AAE1D;;GAEG;AAEH,qBAAa,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAE,SAAQ,aAA4B;IAgBnE,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;gBAMnC,OAAO,EAAE,oBAAoB,CAAC,OAAO,CAAC,EACtC,SAAS,EAAE,oBAAoB,CAAC,SAAS,CAAC;IAK5C,OAAO,CAAC,GAAG,EAAE,OAAO,GAAG,KAAK;IAKnC;;;;;OAKG;IACI,GAAG,CAAC,GAAG,EAAE,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC;IAU3C;;;;;OAKG;IACI,GAAG,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS;CAS1C"}
+{"version":3,"file":"StateMap.d.ts","sourceRoot":"","sources":["../../src/state/StateMap.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAC;AAC5D,OAAO,EAAQ,KAAK,MAAM,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAGrE,OAAO,EAAS,WAAW,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;;AAE1D;;GAEG;AAEH,qBAAa,QAAQ,CAAC,OAAO,EAAE,SAAS,SAAS,WAAW,CAAE,SAAQ,aAA4B;IAgBvF,OAAO,EAAE,oBAAoB,CAAC,OAAO,CAAC;IACtC,SAAS,EAAE,oBAAoB,CAAC,SAAS,CAAC;IAhBnD;;;;;;OAMG;WACW,IAAI,CAAC,OAAO,EAAE,SAAS,SAAS,WAAW,EACvD,OAAO,EAAE,oBAAoB,CAAC,OAAO,CAAC,EACtC,SAAS,EAAE,oBAAoB,CAAC,SAAS,CAAC;gBAMnC,OAAO,EAAE,oBAAoB,CAAC,OAAO,CAAC,EACtC,SAAS,EAAE,oBAAoB,CAAC,SAAS,CAAC;IAK5C,OAAO,CAAC,GAAG,EAAE,OAAO,GAAG,KAAK;IAKnC;;;;;OAKG;IACI,GAAG,CAAC,GAAG,EAAE,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC;IAU3C;;;;;OAKG;IACI,GAAG,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS;CAS1C"}

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

@@ -1 +1 @@
-{"version":3,"file":"decorator.d.ts","sourceRoot":"","sources":["../../src/state/decorator.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAkBjE;;;GAGG;AACH,wBAAgB,KAAK,mGAGJ,MAAM,UAqCtB"}
+{"version":3,"file":"decorator.d.ts","sourceRoot":"","sources":["../../src/state/decorator.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAgBjE;;;GAGG;AACH,wBAAgB,KAAK,mGAGJ,MAAM,UAqCtB"}

package/dist/state/decorator.js

@@ -30,7 +30,7 @@ export function state() {
                     value.path = path;
                     // eslint-disable-next-line no-warning-comments
                     // TODO: why is this complaining about `any`?
-                    value.runtime = self.runtime;
+                    value.stateServiceProvider = self.runtime.stateServiceProvider;
                 }
                 return value;
             },

package/package.json

@@ -2,7 +2,7 @@
   "name": "@proto-kit/module",
   "license": "MIT",
   "private": false,
-  "version": "0.1.1-develop.191+554ba10",
+  "version": "0.1.1-develop.239+0bf6910",
   "type": "module",
   "scripts": {
     "build": "tsc -p tsconfig.json",
@@ -21,8 +21,7 @@
     "@proto-kit/protocol": "*",
     "lodash": "^4.17.21",
     "loglevel": "^1.8.1",
-    "reflect-metadata": "^0.1.13",
-    "ts-mixer": "^6.0.3"
+    "reflect-metadata": "^0.1.13"
   },
   "devDependencies": {
     "@jest/globals": "^29.5.0",
@@ -32,5 +31,5 @@
     "snarkyjs": "0.12.0",
     "tsyringe": "^4.7.0"
   },
-  "gitHead": "554ba102c48f41a62409ff01354582567ef4124a"
+  "gitHead": "0bf6910a100b9ae24fb00a253c9f58b5fd73ca55"
 }

package/src/index.ts

@@ -1,13 +1,8 @@
-export * from "./method/RuntimeMethodExecutionContext";
-export * from "./method/assert";
 export * from "./method/runtimeMethod";
 export * from "./module/decorator";
 export * from "./runtime/RuntimeModule";
 export * from "./runtime/Runtime";
 export * from "./state/InMemoryStateService";
-export * from "./state/State";
-export * from "./state/StateMap";
-export * from "./state/StateServiceProvider";
 export * from "./state/decorator";
 export * from "./method/MethodParameterDecoder";
 export * from "./runtime/MethodIdResolver";

package/src/method/MethodParameterDecoder.ts

@@ -45,7 +45,9 @@ export class MethodParameterDecoder {
     if (fields.length < this.fieldSize) {
       throw errors.fieldLengthNotMatching(this.fieldSize, fields.length);
     }
+
     let stack = fields.slice();
+
     return this.types.map((type) => {
       const numberFieldsNeeded =
         type.prototype._fields?.length ?? type.sizeInFields?.() ?? -1;
@@ -63,6 +65,6 @@ export class MethodParameterDecoder {
       .map(
         (type) => type.prototype._fields?.length ?? type.sizeInFields?.() ?? 0
       )
-      .reduce((a, b) => a + b);
+      .reduce((a, b) => a + b, 0);
   }
 }

package/src/method/runtimeMethod.ts

@@ -5,13 +5,12 @@ import {
   DefaultProvableHashList,
   ProvableStateTransition,
   MethodPublicOutput,
+  RuntimeMethodExecutionContext
 } from "@proto-kit/protocol";
 import { DecoratedMethod, toProver, ZkProgrammable } from "@proto-kit/common";
 
 import type { RuntimeModule } from "../runtime/RuntimeModule.js";
 
-import { RuntimeMethodExecutionContext } from "./RuntimeMethodExecutionContext.js";
-
 const errors = {
   runtimeNotProvided: (name: string) =>
     new Error(`Runtime was not provided for module: ${name}`),

package/src/runtime/Runtime.ts

@@ -13,19 +13,21 @@ import {
   WithZkProgrammable,
   AreProofsEnabled,
 } from "@proto-kit/common";
-import { MethodPublicOutput } from "@proto-kit/protocol";
+import {
+  MethodPublicOutput,
+  StateServiceProvider,
+  StateService,
+} from "@proto-kit/protocol";
 
 import {
   combineMethodName,
   isRuntimeMethod,
   toWrappedMethod,
   WrappedMethod,
-} from "../method/runtimeMethod.js";
-import { StateService } from "../state/InMemoryStateService.js";
-import { StateServiceProvider } from "../state/StateServiceProvider";
+} from "../method/runtimeMethod";
 import { MethodIdFactory } from "../factories/MethodIdFactory";
 
-import { RuntimeModule } from "./RuntimeModule.js";
+import { RuntimeModule } from "./RuntimeModule";
 import { MethodIdResolver } from "./MethodIdResolver";
 
 /**
@@ -47,7 +49,10 @@ const errors = {
  * Definition / required arguments for the Runtime class
  */
 export interface RuntimeDefinition<Modules extends RuntimeModulesRecord> {
-  state: StateService;
+  /**
+   * @deprecated
+   */
+  state?: StateService;
   modules: Modules;
   config?: ModulesConfig<Modules>;
 }
@@ -200,9 +205,8 @@ export class Runtime<Modules extends RuntimeModulesRecord>
 
   public zkProgrammable: ZkProgrammable<undefined, MethodPublicOutput>;
 
-  // eslint-disable-next-line no-warning-comments
-  // TODO DI
   private readonly stateServiceProviderInstance = new StateServiceProvider(
+    // eslint-disable-next-line etc/no-deprecated
     this.definition.state
   );
 
@@ -215,8 +219,6 @@ export class Runtime<Modules extends RuntimeModulesRecord>
     super(definition);
     this.definition = definition;
     this.zkProgrammable = new RuntimeZkProgrammable<Modules>(this);
-
-    // this.registerDependencyFactories([MethodIdFactory]);
   }
 
   // eslint-disable-next-line no-warning-comments

package/src/runtime/RuntimeModule.ts

@@ -1,12 +1,13 @@
 import { ConfigurableModule, Presets } from "@proto-kit/common";
 import { container, injectable } from "tsyringe";
-import { NetworkState, RuntimeTransaction } from "@proto-kit/protocol";
-
 import {
+  NetworkState,
+  RuntimeTransaction,
+  StateService,
   RuntimeMethodExecutionContext,
   RuntimeMethodExecutionData,
-} from "../method/RuntimeMethodExecutionContext";
-import { StateService } from "../state/InMemoryStateService";
+} from "@proto-kit/protocol";
+
 import { runtimeMethodNamesMetadataKey } from "../method/runtimeMethod";
 
 import type {
@@ -51,8 +52,6 @@ export class RuntimeModule<Config> extends ConfigurableModule<Config> {
 
   public name?: string;
 
-  public test?: number;
-
   public runtime?: Runtime<RuntimeModulesRecord>;
 
   public constructor() {

package/src/state/InMemoryStateService.ts

@@ -1,9 +1,5 @@
 import { Field } from "snarkyjs";
-
-export interface StateService {
-  get: (key: Field) => Field[] | undefined;
-  set: (key: Field, value: Field[] | undefined) => void;
-}
+import { StateService } from "@proto-kit/protocol";
 
 /**
  * Naive implementation of a StateService for testing purposes

package/src/state/decorator.ts

@@ -1,9 +1,7 @@
-import { Path } from "@proto-kit/protocol";
+import { Path, State } from "@proto-kit/protocol";
 
 import type { RuntimeModule } from "../runtime/RuntimeModule.js";
 
-import type { State } from "./State.js";
-
 const errors = {
   missingName: (className: string) =>
     new Error(
@@ -52,7 +50,7 @@ export function state() {
           // eslint-disable-next-line no-warning-comments
           // TODO: why is this complaining about `any`?
 
-          value.runtime = self.runtime;
+          value.stateServiceProvider = self.runtime.stateServiceProvider;
         }
         return value;
       },

package/test/Runtime.test.ts

@@ -1,6 +1,6 @@
 import { Bool } from "snarkyjs";
 
-import { InMemoryStateService, Runtime } from "../src";
+import { InMemoryStateService, MethodIdResolver, Runtime } from "../src";
 
 import { Balances } from "./modules/Balances";
 
@@ -32,7 +32,7 @@ describe("runtime", () => {
     const moduleName = "Balances";
     const methodName = "getTotalSupply";
 
-    const methodId = runtime.methodIdResolver.getMethodId(
+    const methodId = runtime.dependencyContainer.resolve<MethodIdResolver>("MethodIdResolver").getMethodId(
       moduleName,
       methodName
     );

package/test/modules/Admin.ts

@@ -3,7 +3,7 @@ import { PublicKey } from "snarkyjs";
 import { runtimeModule } from "../../src/module/decorator.js";
 import { RuntimeModule } from "../../src/runtime/RuntimeModule.js";
 import { runtimeMethod } from "../../src/method/runtimeMethod.js";
-import { assert } from "../../src/method/assert.js";
+import { assert } from "@proto-kit/protocol";
 
 interface AdminConfig {
   publicKey: string;

package/test/modules/Balances.test.ts

@@ -10,14 +10,17 @@ import {
   UInt64,
 } from "snarkyjs";
 import { container } from "tsyringe";
-import { type ProvableStateTransition, Path } from "@proto-kit/protocol";
+import {
+  type ProvableStateTransition,
+  Path,
+  MethodPublicOutput,
+  StateService, NetworkState, RuntimeTransaction
+} from "@proto-kit/protocol";
 
 import {
   InMemoryStateService,
-  StateService,
 } from "../../src/state/InMemoryStateService.js";
 import {
-  MethodPublicOutput,
   Runtime,
   RuntimeMethodExecutionContext,
 } from "../../src";
@@ -61,13 +64,15 @@ describe("balances", () => {
       },
     });
 
-    runtime.appChain = {
-      areProofsEnabled: false,
+    runtime.dependencyContainer.register("AppChain", {
+      useValue: {
+        areProofsEnabled: false,
 
-      setProofsEnabled(areProofsEnabled) {
-        this.areProofsEnabled = areProofsEnabled;
+        setProofsEnabled(areProofsEnabled: boolean) {
+          this.areProofsEnabled = areProofsEnabled;
+        },
       },
-    };
+    });
 
     runtime.configure({
       Admin: {

package/test/modules/Balances.ts

@@ -2,9 +2,9 @@ import { Bool, PublicKey, UInt64 } from "snarkyjs";
 import { Option } from "@proto-kit/protocol";
 import { Presets } from "@proto-kit/common";
 
-import { State } from "../../src/state/State.js";
+import { State } from "../../../protocol/src/state/State.js";
 import { state } from "../../src/state/decorator.js";
-import { StateMap } from "../../src/state/StateMap.js";
+import { StateMap } from "../../../protocol/src/state/StateMap.js";
 import { RuntimeModule, runtimeMethod, runtimeModule } from "../../src";
 
 import { Admin } from "./Admin.js";
@@ -50,7 +50,11 @@ export class Balances extends RuntimeModule<BalancesConfig> {
   }
 
   @runtimeMethod()
-  public setBalanceIf() {
+  public transientState() {
+    const totalSupply = this.totalSupply.get();
+    this.totalSupply.set(totalSupply.orElse(UInt64.zero).add(100));
 
+    const totalSupply2 = this.totalSupply.get();
+    this.totalSupply.set(totalSupply2.orElse(UInt64.zero).add(100));
   }
 }

package/test/modules/State.test.ts

@@ -0,0 +1,88 @@
+import "reflect-metadata";
+import { Bool, PublicKey, UInt64 } from "snarkyjs";
+import { container } from "tsyringe";
+import { NetworkState, Option, RuntimeTransaction, StateService } from "@proto-kit/protocol";
+
+import {
+  InMemoryStateService,
+  Runtime,
+  RuntimeMethodExecutionContext,
+} from "../../src";
+
+import { Admin } from "./Admin";
+import { Balances } from "./Balances";
+
+describe("transient state", () => {
+  let balances: Balances;
+
+  let state: StateService;
+
+  let runtime: Runtime<{
+    Admin: typeof Admin;
+    Balances: typeof Balances;
+  }>;
+
+  function createChain() {
+    state = new InMemoryStateService();
+
+    runtime = Runtime.from({
+      state,
+
+      modules: {
+        Admin,
+        Balances,
+      },
+    });
+
+    runtime.dependencyContainer.register("AppChain", {
+      useValue: {
+        areProofsEnabled: false,
+
+        setProofsEnabled(areProofsEnabled: boolean) {
+          this.areProofsEnabled = areProofsEnabled;
+        },
+      },
+    });
+
+    runtime.configure({
+      Admin: {
+        publicKey: PublicKey.empty().toBase58(),
+      },
+
+      Balances: {
+        test: Bool(true),
+      },
+    });
+
+    balances = runtime.resolve("Balances");
+  }
+
+  beforeEach(() => {
+    createChain();
+  });
+
+  it("should track previously set state", () => {
+    const executionContext = container.resolve(RuntimeMethodExecutionContext);
+    executionContext.setup({
+      networkState: new NetworkState({ block: { height: UInt64.zero } }),
+      transaction: undefined as unknown as RuntimeTransaction,
+    });
+    balances.transientState();
+
+    const stateTransitions = executionContext
+      .current()
+      .result.stateTransitions.map((stateTransition) =>
+        stateTransition.toProvable()
+      );
+
+    const expectedLastOption = Option.fromValue(
+      UInt64.from(200),
+      UInt64
+    ).toProvable();
+
+    const last = stateTransitions.at(-1);
+
+    expect(last).toBeDefined();
+    expect(last!.to.value).toStrictEqual(expectedLastOption.value);
+  });
+});

package/test/modules/methodId.test.ts

@@ -56,7 +56,6 @@ describe("methodId", () => {
     ["Admin", "isAdminWithAVeryVeryVeryVeryLongName"],
     ["Balance", "getTotalSupply"],
     ["Balance", "getBalance"],
-    ["Balance", "setBalanceIf"],
   ])(
     "should pass and encode correctly",
     (givenModuleName, givenMethodName) => {

package/test/transaction.test.ts

@@ -11,7 +11,7 @@ import {
 import { runtimeModule } from "../src/module/decorator";
 import { RuntimeModule } from "../src/runtime/RuntimeModule";
 import { state } from "../src/state/decorator";
-import { StateMap } from "../src/state/StateMap";
+import { StateMap } from "@proto-kit/protocol";
 
 interface BalancesConfig {}
 @runtimeModule()

package/src/method/RuntimeMethodExecutionContext.ts

@@ -1,111 +0,0 @@
-import { Bool } from "snarkyjs";
-import { singleton } from "tsyringe";
-import type { StateTransition, NetworkState } from "@proto-kit/protocol";
-import {
-  ProvableMethodExecutionContext,
-  ProvableMethodExecutionResult,
-} from "@proto-kit/common";
-import { RuntimeTransaction } from "@proto-kit/protocol/src/model/transaction/RuntimeTransaction";
-
-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 {
-  // eslint-disable-next-line @typescript-eslint/no-explicit-any
-  public stateTransitions: StateTransition<any>[] = [];
-
-  public status: Bool = Bool(true);
-
-  public statusMessage?: string;
-}
-
-export interface RuntimeMethodExecutionData {
-  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'.
- */
-@singleton()
-export class RuntimeMethodExecutionContext extends ProvableMethodExecutionContext {
-  public methods: string[] = [];
-
-  public input: RuntimeMethodExecutionData | undefined;
-
-  // The input corresponding to the current result
-  private lastInput: RuntimeMethodExecutionData | undefined;
-
-  public override result = new RuntimeProvableMethodExecutionResult();
-
-  private assertSetupCalled(): asserts this is {
-    input: RuntimeMethodExecutionData;
-  } {
-    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
-   */
-  public addStateTransition<Value>(stateTransition: StateTransition<Value>) {
-    this.assertSetupCalled();
-    this.result.stateTransitions.push(stateTransition);
-  }
-
-  /**
-   * @param message - Status message to acompany the current status
-   */
-  public setStatusMessage(message?: string) {
-    this.assertSetupCalled();
-    this.result.statusMessage ??= message;
-  }
-
-  /**
-   * @param status - Execution status of the current method
-   */
-  public setStatus(status: Bool) {
-    this.assertSetupCalled();
-    this.result.status = status;
-  }
-
-  /**
-   * @param input Input witness data required for a runtime execution
-   */
-  public setup(input: RuntimeMethodExecutionData) {
-    this.input = input;
-  }
-
-  /**
-   * Manually clears/resets the execution context
-   */
-  public clear() {
-    this.result = new RuntimeProvableMethodExecutionResult();
-  }
-
-  public afterMethod() {
-    super.afterMethod();
-    this.lastInput = this.input;
-    this.input = undefined;
-  }
-
-  /**
-   * Had to override current() otherwise it would not infer
-   * the type of result correctly (parent type would be reused)
-   */
-  public current() {
-    return {
-      isFinished: this.isFinished,
-      result: this.result,
-      input: this.lastInput,
-    };
-  }
-}

package/src/method/assert.test.ts

@@ -1,49 +0,0 @@
-import "reflect-metadata";
-
-import { Bool } from "snarkyjs";
-import { container } from "tsyringe";
-
-import { assert } from "./assert.js";
-import { RuntimeMethodExecutionContext } from "./RuntimeMethodExecutionContext.js";
-
-describe("assert", () => {
-  const defaultStatusMessage = "something went wrong";
-  const executionContext = container.resolve(RuntimeMethodExecutionContext);
-
-  beforeEach(() => {
-    executionContext.beforeMethod("testConstructor", "test");
-  });
-
-  afterEach(() => {
-    executionContext.afterMethod();
-  });
-
-  describe.each([
-    [true, undefined],
-    [false, undefined],
-    [false, defaultStatusMessage],
-  ])("status and message propagation", (status, statusMessage) => {
-    it("should propagate the assertion status and message", () => {
-      expect.assertions(2);
-
-      assert(Bool(status), statusMessage);
-
-      const { status: resultStatus, statusMessage: resultStatusMessage } =
-        executionContext.current().result;
-
-      expect(status).toBe(resultStatus.toBoolean());
-      expect(statusMessage).toBe(resultStatusMessage);
-    });
-  });
-
-  it("should keep a false status, once it was already set", () => {
-    expect.assertions(1);
-
-    assert(Bool(false));
-    assert(Bool(true));
-
-    const { status } = executionContext.current().result;
-
-    expect(status.toBoolean()).toBe(false);
-  });
-});

package/src/method/assert.ts

@@ -1,27 +0,0 @@
-import { Bool, Provable } from "snarkyjs";
-import { container } from "tsyringe";
-
-import { RuntimeMethodExecutionContext } from "./RuntimeMethodExecutionContext";
-import { log } from "@proto-kit/common";
-
-/**
- * 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: Bool, message?: string) {
-  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);
-  }
-
-  executionContext.setStatus(status);
-}