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

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

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

package/dist/method/assert.js

@@ -1,23 +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, 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);
-    }
-    executionContext.setStatus(status);
-}

package/dist/state/State.d.ts

@@ -1,65 +0,0 @@
-import { Field, type FlexibleProvablePure } from "snarkyjs";
-import { Option, type Path } from "@proto-kit/protocol";
-import { PartialRuntime } from "../runtime/RuntimeModule.js";
-export declare class WithPath {
-    path?: Field;
-    hasPathOrFail(): asserts this is {
-        path: Path;
-    };
-}
-export declare class WithRuntime {
-    runtime?: PartialRuntime;
-    hasRuntimeOrFail(): asserts this is {
-        runtime: PartialRuntime;
-    };
-}
-declare const State_base: import("ts-mixer/dist/types/types.js").Class<any[], WithPath & WithRuntime, typeof WithPath & typeof WithRuntime, false>;
-/**
- * Utilities for runtime module state, such as get/set
- */
-export declare class State<Value> extends State_base {
-    valueType: FlexibleProvablePure<Value>;
-    /**
-     * Creates a new state wrapper for the provided value type.
-     *
-     * @param valueType - Type of value to be stored (e.g. UInt64, Struct, ...)
-     * @returns New state for the given value type.
-     */
-    static from<Value>(valueType: FlexibleProvablePure<Value>): State<Value>;
-    /**
-     * Computes a dummy value for the given value type.
-     *
-     * @param valueType - Value type to generate the dummy value for
-     * @returns Dummy value for the given value type
-     */
-    static dummyValue<Value>(valueType: FlexibleProvablePure<Value>): Value;
-    constructor(valueType: FlexibleProvablePure<Value>);
-    /**
-     * Provides an in-circuit witness for the current state representation,
-     * and constructs an Option out of it.
-     *
-     * @returns Optional value of the current state
-     */
-    private witnessState;
-    /**
-     * Retrieves the current state and creates a state transition
-     * anchoring the use of the current state value in the circuit.
-     *
-     * @returns Option representation of the current state.
-     */
-    get(): Option<Value>;
-    /**
-     * Sets a new state value by creating a state transition from
-     * the current value to the newly set value.
-     *
-     * The newly set value isn't available via state.get(), since the
-     * state transitions are not applied within the same circuit.
-     * You can however store and access your new value in
-     * a separate circuit variable.
-     *
-     * @param value - Value to be set as the current state
-     */
-    set(value: Value): void;
-}
-export {};
-//# sourceMappingURL=State.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"State.d.ts","sourceRoot":"","sources":["../../src/state/State.ts"],"names":[],"mappings":"AAGA,OAAO,EAAQ,KAAK,EAAY,KAAK,oBAAoB,EAAE,MAAM,UAAU,CAAC;AAE5E,OAAO,EAAE,MAAM,EAAmB,KAAK,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAEzE,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAG7D,qBAAa,QAAQ;IACZ,IAAI,CAAC,EAAE,KAAK,CAAC;IAEb,aAAa,IAAI,OAAO,CAAC,IAAI,IAAI;QAAE,IAAI,EAAE,IAAI,CAAA;KAAE;CAOvD;AAED,qBAAa,WAAW;IACf,OAAO,CAAC,EAAE,cAAc,CAAC;IAEzB,gBAAgB,IAAI,OAAO,CAAC,IAAI,IAAI;QACzC,OAAO,EAAE,cAAc,CAAC;KACzB;CAOF;;AAED;;GAEG;AACH,qBAAa,KAAK,CAAC,KAAK,CAAE,SAAQ,UAA4B;IA2BlC,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IA1BhE;;;;;OAKG;WACW,IAAI,CAAC,KAAK,EAAE,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAIhE;;;;;OAKG;WACW,UAAU,CAAC,KAAK,EAC5B,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC,GACrC,KAAK;gBAQkB,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAIhE;;;;;OAKG;IACH,OAAO,CAAC,YAAY;IA6BpB;;;;;OAKG;IACI,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC;IAc3B;;;;;;;;;;OAUG;IACI,GAAG,CAAC,KAAK,EAAE,KAAK;CAiBxB"}

package/dist/state/State.js

@@ -1,114 +0,0 @@
-/* eslint-disable new-cap */
-import { Mixin } from "ts-mixer";
-import { Bool, Field, Provable } from "snarkyjs";
-import { container } from "tsyringe";
-import { Option, StateTransition } from "@proto-kit/protocol";
-import { RuntimeMethodExecutionContext } from "../method/RuntimeMethodExecutionContext.js";
-export class WithPath {
-    hasPathOrFail() {
-        if (!this.path) {
-            throw new Error("Could not find 'path', did you forget to add '@state' to your state property?");
-        }
-    }
-}
-export class WithRuntime {
-    hasRuntimeOrFail() {
-        if (!this.runtime) {
-            throw new Error("Could not find 'runtime', did you forget to add '@state' to your state property?");
-        }
-    }
-}
-/**
- * Utilities for runtime module state, such as get/set
- */
-export class State extends Mixin(WithPath, WithRuntime) {
-    /**
-     * Creates a new state wrapper for the provided value type.
-     *
-     * @param valueType - Type of value to be stored (e.g. UInt64, Struct, ...)
-     * @returns New state for the given value type.
-     */
-    static from(valueType) {
-        return new State(valueType);
-    }
-    /**
-     * Computes a dummy value for the given value type.
-     *
-     * @param valueType - Value type to generate the dummy value for
-     * @returns Dummy value for the given value type
-     */
-    static dummyValue(valueType) {
-        const length = valueType.sizeInFields();
-        const fields = Array.from({ length }, () => Field(0));
-        // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
-        return valueType.fromFields(fields);
-    }
-    constructor(valueType) {
-        super();
-        this.valueType = valueType;
-    }
-    /**
-     * Provides an in-circuit witness for the current state representation,
-     * and constructs an Option out of it.
-     *
-     * @returns Optional value of the current state
-     */
-    witnessState() {
-        // get the value from storage, or return a dummy value instead
-        const value = Provable.witness(this.valueType, () => {
-            this.hasRuntimeOrFail();
-            this.hasPathOrFail();
-            const fields = this.runtime.stateService.get(this.path);
-            if (fields) {
-                // eslint-disable-next-line max-len
-                // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
-                return this.valueType.fromFields(fields);
-            }
-            return State.dummyValue(this.valueType);
-        });
-        // check if the value exists in the storage or not
-        const isSome = Provable.witness(Bool, () => {
-            this.hasRuntimeOrFail();
-            this.hasPathOrFail();
-            const fields = this.runtime.stateService.get(this.path);
-            return Bool(fields !== undefined);
-        });
-        return Option.from(isSome, value, this.valueType);
-    }
-    /**
-     * Retrieves the current state and creates a state transition
-     * anchoring the use of the current state value in the circuit.
-     *
-     * @returns Option representation of the current state.
-     */
-    get() {
-        const option = this.witnessState();
-        this.hasPathOrFail();
-        const stateTransition = StateTransition.from(this.path, option);
-        container
-            .resolve(RuntimeMethodExecutionContext)
-            .addStateTransition(stateTransition);
-        return option;
-    }
-    /**
-     * Sets a new state value by creating a state transition from
-     * the current value to the newly set value.
-     *
-     * The newly set value isn't available via state.get(), since the
-     * state transitions are not applied within the same circuit.
-     * You can however store and access your new value in
-     * a separate circuit variable.
-     *
-     * @param value - Value to be set as the current state
-     */
-    set(value) {
-        // link the transition to the current state
-        const fromOption = this.witnessState();
-        const toOption = Option.from(Bool(true), value, this.valueType);
-        this.hasPathOrFail();
-        const stateTransition = StateTransition.fromTo(this.path, fromOption, toOption);
-        container
-            .resolve(RuntimeMethodExecutionContext)
-            .addStateTransition(stateTransition);
-    }
-}

package/dist/state/StateMap.d.ts

@@ -1,37 +0,0 @@
-import type { Field, FlexibleProvablePure } from "snarkyjs";
-import { type Option } 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 {
-    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): Option<ValueType>;
-    /**
-     * Sets a value for the given key in the current state map.
-     *
-     * @param key - Key to store the value under
-     * @param value - Value to be stored under the given key
-     */
-    set(key: KeyType, value: ValueType): void;
-}
-export {};
-//# sourceMappingURL=StateMap.d.ts.map

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

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

package/dist/state/StateMap.js

@@ -1,56 +0,0 @@
-import { Path } from "@proto-kit/protocol";
-import { Mixin } from "ts-mixer";
-import { State, WithRuntime, WithPath } from "./State.js";
-/**
- * Map-like wrapper for state
- */
-// eslint-disable-next-line new-cap
-export class StateMap extends Mixin(WithPath, WithRuntime) {
-    /**
-     * 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.
-     */
-    get(key) {
-        const state = State.from(this.valueType);
-        this.hasPathOrFail();
-        this.hasRuntimeOrFail();
-        state.path = this.getPath(key);
-        state.runtime = this.runtime;
-        return 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
-     */
-    set(key, value) {
-        const state = State.from(this.valueType);
-        this.hasPathOrFail();
-        this.hasRuntimeOrFail();
-        state.path = Path.fromKey(this.path, this.keyType, key);
-        state.runtime = this.runtime;
-        state.set(value);
-    }
-}

package/dist/state/StateServiceProvider.d.ts

@@ -1,10 +0,0 @@
-import { StateService } from "./InMemoryStateService";
-export declare class StateServiceProvider {
-    private currentStateService;
-    private readonly defaultStateService;
-    constructor(currentStateService: StateService);
-    get stateService(): StateService;
-    setCurrentStateService(service: StateService): void;
-    resetToDefault(): void;
-}
-//# sourceMappingURL=StateServiceProvider.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"StateServiceProvider.d.ts","sourceRoot":"","sources":["../../src/state/StateServiceProvider.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEtD,qBACa,oBAAoB;IAIL,OAAO,CAAC,mBAAmB;IAHrD,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAA0C;gBAG5C,mBAAmB,EAAE,YAAY;IAGnE,IAAW,YAAY,IAAI,YAAY,CAEtC;IAEM,sBAAsB,CAAC,OAAO,EAAE,YAAY;IAI5C,cAAc;CAGtB"}

package/dist/state/StateServiceProvider.js

@@ -1,34 +0,0 @@
-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;
-};
-var __metadata = (this && this.__metadata) || function (k, v) {
-    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
-};
-var __param = (this && this.__param) || function (paramIndex, decorator) {
-    return function (target, key) { decorator(target, key, paramIndex); }
-};
-import { inject, injectable } from "tsyringe";
-let StateServiceProvider = class StateServiceProvider {
-    constructor(currentStateService) {
-        this.currentStateService = currentStateService;
-        this.defaultStateService = this.currentStateService;
-    }
-    get stateService() {
-        return this.currentStateService;
-    }
-    setCurrentStateService(service) {
-        this.currentStateService = service;
-    }
-    resetToDefault() {
-        this.currentStateService = this.defaultStateService;
-    }
-};
-StateServiceProvider = __decorate([
-    injectable(),
-    __param(0, inject("StateService")),
-    __metadata("design:paramtypes", [Object])
-], StateServiceProvider);
-export { StateServiceProvider };

package/src/method/MethodParameterDecoder.ts

@@ -1,68 +0,0 @@
-/* eslint-disable no-underscore-dangle */
-import { Field } from "snarkyjs";
-
-import { RuntimeModule } from "../runtime/RuntimeModule";
-
-export interface Fieldable {
-  toFields: () => Field[];
-}
-
-export interface FromFieldClass {
-  new: (...args: any[]) => any;
-  fromFields: (fields: Field[]) => Fieldable;
-  name: string;
-  // Maybe this is wrong IDK
-  prototype: {
-    _fields?: any[];
-  };
-  sizeInFields?: () => number;
-}
-
-const errors = {
-  fieldLengthNotMatching: (expected: number, actual: number) =>
-    new Error(`Expected ${expected} field elements, got ${actual}`),
-
-  typeNotCompatible: (name: string) =>
-    new Error(
-      `Cannot decode type ${name}, it has to be either a Struct, CircuitValue or built-in snarkyjs type`
-    ),
-};
-
-export class MethodParameterDecoder {
-  public static fromMethod(target: RuntimeModule<unknown>, methodName: string) {
-    const paramtypes = Reflect.getMetadata(
-      "design:paramtypes",
-      target,
-      methodName
-    );
-
-    return new MethodParameterDecoder(paramtypes);
-  }
-
-  private constructor(private readonly types: FromFieldClass[]) {}
-
-  public fromFields(fields: Field[]): Fieldable[] {
-    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;
-      if (numberFieldsNeeded === -1) {
-        throw errors.typeNotCompatible(type.name);
-      }
-      const structFields = stack.slice(0, numberFieldsNeeded);
-      stack = stack.slice(numberFieldsNeeded);
-      return type.fromFields(structFields);
-    });
-  }
-
-  public get fieldSize(): number {
-    return this.types
-      .map(
-        (type) => type.prototype._fields?.length ?? type.sizeInFields?.() ?? 0
-      )
-      .reduce((a, b) => a + b);
-  }
-}

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);
-}