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

package/dist/runtime/Runtime.d.ts

@@ -1,10 +1,11 @@
-import { Experimental } from "snarkyjs";
+import { ZkProgram } from "o1js";
 import { DependencyContainer } from "tsyringe";
-import { StringKeyOf, ModuleContainer, ModulesConfig, ModulesRecord, TypedClass, ZkProgrammable, PlainZkProgram, WithZkProgrammable, AreProofsEnabled } from "@proto-kit/common";
-import { MethodPublicOutput } from "@proto-kit/protocol";
-import { StateService } from "../state/InMemoryStateService.js";
-import { StateServiceProvider } from "../state/StateServiceProvider";
-import { RuntimeModule } from "./RuntimeModule.js";
+import { StringKeyOf, ModuleContainer, ModulesRecord, TypedClass, ZkProgrammable, PlainZkProgram, AreProofsEnabled, ChildContainerProvider, CompilableModule, CompileRegistry } from "@proto-kit/common";
+import { MethodPublicOutput, StateServiceProvider, SimpleAsyncStateService } from "@proto-kit/protocol";
+import { RuntimeModule } from "./RuntimeModule";
+import { MethodIdResolver } from "./MethodIdResolver";
+import { RuntimeEnvironment } from "./RuntimeEnvironment";
+export declare function getAllPropertyNames(obj: any): (string | symbol)[];
 /**
  * Record of modules accepted by the Runtime module container.
  *
@@ -12,40 +13,32 @@ import { RuntimeModule } from "./RuntimeModule.js";
  * is an abstract class
  */
 export type RuntimeModulesRecord = ModulesRecord<TypedClass<RuntimeModule<unknown>>>;
-/**
- * Definition / required arguments for the Runtime class
- */
-export interface RuntimeDefinition<Modules extends RuntimeModulesRecord> {
-    state: StateService;
-    modules: Modules;
-    config?: ModulesConfig<Modules>;
-}
 export declare class RuntimeZkProgrammable<Modules extends RuntimeModulesRecord> extends ZkProgrammable<undefined, MethodPublicOutput> {
     runtime: Runtime<Modules>;
     constructor(runtime: Runtime<Modules>);
-    get appChain(): AreProofsEnabled | undefined;
-    zkProgramFactory(): PlainZkProgram<undefined, MethodPublicOutput>;
+    get areProofsEnabled(): AreProofsEnabled | undefined;
+    zkProgramFactory(): PlainZkProgram<undefined, MethodPublicOutput>[];
 }
 /**
  * Wrapper for an application specific runtime, which helps orchestrate
  * runtime modules into an interoperable runtime.
  */
-export declare class Runtime<Modules extends RuntimeModulesRecord> extends ModuleContainer<Modules> implements WithZkProgrammable<undefined, MethodPublicOutput> {
-    static from<Modules extends RuntimeModulesRecord>(definition: RuntimeDefinition<Modules>): Runtime<Modules>;
-    program?: ReturnType<typeof Experimental.ZkProgram>;
-    definition: RuntimeDefinition<Modules>;
+export declare class Runtime<Modules extends RuntimeModulesRecord> extends ModuleContainer<Modules> implements RuntimeEnvironment, CompilableModule {
+    static from<Modules extends RuntimeModulesRecord>(definition: Modules): TypedClass<Runtime<Modules>>;
+    program?: ReturnType<typeof ZkProgram>;
+    definition: Modules;
     zkProgrammable: ZkProgrammable<undefined, MethodPublicOutput>;
-    private readonly stateServiceProviderInstance;
     /**
      * Creates a new Runtime from the provided config
      *
      * @param modules - Configuration object for the constructed Runtime
      */
-    constructor(definition: RuntimeDefinition<Modules>);
-    start(): void;
-    get appChain(): AreProofsEnabled | undefined;
-    get stateService(): StateService;
+    constructor(definition: Modules);
+    create(childContainerProvider: ChildContainerProvider): void;
+    get areProofsEnabled(): AreProofsEnabled | undefined;
     get stateServiceProvider(): StateServiceProvider;
+    get stateService(): SimpleAsyncStateService;
+    get methodIdResolver(): MethodIdResolver;
     /**
      * @returns The dependency injection container of this runtime
      */
@@ -54,7 +47,7 @@ export declare class Runtime<Modules extends RuntimeModulesRecord> extends Modul
      * @param methodId The encoded name of the method to call.
      * Encoding: "stringToField(module.name) << 128 + stringToField(method-name)"
      */
-    getMethodById(methodId: bigint): ((...args: unknown[]) => unknown) | undefined;
+    getMethodById(methodId: bigint): ((...args: unknown[]) => Promise<unknown>) | undefined;
     /**
      * Add a name and other respective properties required by RuntimeModules,
      * that come from the current Runtime
@@ -67,5 +60,6 @@ export declare class Runtime<Modules extends RuntimeModulesRecord> extends Modul
      * @returns A list of names of all the registered module names
      */
     get runtimeModuleNames(): string[];
+    compile(registry: CompileRegistry): Promise<Record<string, import("@proto-kit/common").CompileArtifact>>;
 }
 //# sourceMappingURL=Runtime.d.ts.map

package/dist/runtime/Runtime.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Runtime.d.ts","sourceRoot":"","sources":["../../src/runtime/Runtime.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AACxC,OAAO,EAAE,mBAAmB,EAAc,MAAM,UAAU,CAAC;AAC3D,OAAO,EACL,WAAW,EACX,eAAe,EACf,aAAa,EACb,aAAa,EACb,UAAU,EACV,cAAc,EACd,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EACjB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAQzD,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAGrE,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAGnD;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,GAAG,aAAa,CAC9C,UAAU,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CACnC,CAAC;AAOF;;GAEG;AACH,MAAM,WAAW,iBAAiB,CAAC,OAAO,SAAS,oBAAoB;IACrE,KAAK,EAAE,YAAY,CAAC;IACpB,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;CACjC;AAED,qBAAa,qBAAqB,CAChC,OAAO,SAAS,oBAAoB,CACpC,SAAQ,cAAc,CAAC,SAAS,EAAE,kBAAkB,CAAC;IAE3B,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC;gBAAzB,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC;IAInD,IAAW,QAAQ,iCAElB;IAEM,gBAAgB,IAAI,cAAc,CAAC,SAAS,EAAE,kBAAkB,CAAC;CAgHzE;AAED;;;GAGG;AACH,qBACa,OAAO,CAAC,OAAO,SAAS,oBAAoB,CACvD,SAAQ,eAAe,CAAC,OAAO,CAC/B,YAAW,kBAAkB,CAAC,SAAS,EAAE,kBAAkB,CAAC;WAE9C,IAAI,CAAC,OAAO,SAAS,oBAAoB,EACrD,UAAU,EAAE,iBAAiB,CAAC,OAAO,CAAC;IAMjC,OAAO,CAAC,EAAE,UAAU,CAAC,OAAO,YAAY,CAAC,SAAS,CAAC,CAAC;IAEpD,UAAU,EAAE,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAEvC,cAAc,EAAE,cAAc,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAC;IAIrE,OAAO,CAAC,QAAQ,CAAC,4BAA4B,CAE3C;IAEF;;;;OAIG;gBACgB,UAAU,EAAE,iBAAiB,CAAC,OAAO,CAAC;IAUlD,KAAK;IAOZ,IAAW,QAAQ,IAAI,gBAAgB,GAAG,SAAS,CAElD;IAED,IAAW,YAAY,IAAI,YAAY,CAEtC;IAED,IAAW,oBAAoB,IAAI,oBAAoB,CAEtD;IAED;;OAEG;IACH,IAAW,mBAAmB,IAAI,mBAAmB,CAEpD;IAED;;;OAGG;IACI,aAAa,CAClB,QAAQ,EAAE,MAAM,GACf,CAAC,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,OAAO,CAAC,GAAG,SAAS;IAwBhD;;;;;;OAMG;IACI,cAAc,CACnB,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,EAChC,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;IAQ9D;;OAEG;IACH,IAAW,kBAAkB,aAE5B;CACF"}
+{"version":3,"file":"Runtime.d.ts","sourceRoot":"","sources":["../../src/runtime/Runtime.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,MAAM,CAAC;AACjC,OAAO,EAAa,mBAAmB,EAAc,MAAM,UAAU,CAAC;AACtE,OAAO,EACL,WAAW,EACX,eAAe,EACf,aAAa,EACb,UAAU,EACV,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,sBAAsB,EACtB,gBAAgB,EAChB,eAAe,EAChB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,kBAAkB,EAClB,oBAAoB,EACpB,uBAAuB,EAIxB,MAAM,qBAAqB,CAAC;AAW7B,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAE1D,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,GAAG,uBAa3C;AAED;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,GAAG,aAAa,CAC9C,UAAU,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CACnC,CAAC;AAOF,qBAAa,qBAAqB,CAChC,OAAO,SAAS,oBAAoB,CACpC,SAAQ,cAAc,CAAC,SAAS,EAAE,kBAAkB,CAAC;IAC3B,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC;gBAAzB,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC;IAInD,IAAW,gBAAgB,iCAE1B;IAEM,gBAAgB,IAAI,cAAc,CAAC,SAAS,EAAE,kBAAkB,CAAC,EAAE;CAyL3E;AAED;;;GAGG;AACH,qBACa,OAAO,CAAC,OAAO,SAAS,oBAAoB,CACvD,SAAQ,eAAe,CAAC,OAAO,CAC/B,YAAW,kBAAkB,EAAE,gBAAgB;WAEjC,IAAI,CAAC,OAAO,SAAS,oBAAoB,EACrD,UAAU,EAAE,OAAO,GAClB,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IASxB,OAAO,CAAC,EAAE,UAAU,CAAC,OAAO,SAAS,CAAC,CAAC;IAIvC,UAAU,EAAE,OAAO,CAAC;IAEpB,cAAc,EAAE,cAAc,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAC;IAErE;;;;OAIG;gBACgB,UAAU,EAAE,OAAO;IAO/B,MAAM,CAAC,sBAAsB,EAAE,sBAAsB;IAM5D,IAAW,gBAAgB,IAAI,gBAAgB,GAAG,SAAS,CAE1D;IAED,IAAW,oBAAoB,IAAI,oBAAoB,CAEtD;IAED,IAAW,YAAY,IAAI,uBAAuB,CAEjD;IAED,IAAW,gBAAgB,IAAI,gBAAgB,CAE9C;IAED;;OAEG;IACH,IAAW,mBAAmB,IAAI,mBAAmB,CAEpD;IAED;;;OAGG;IACI,aAAa,CAClB,QAAQ,EAAE,MAAM,GACf,CAAC,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,SAAS;IAsBzD;;;;;;OAMG;IACI,cAAc,CACnB,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,EAChC,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;IAQ9D;;OAEG;IACH,IAAW,kBAAkB,aAE5B;IAEY,OAAO,CAAC,QAAQ,EAAE,eAAe;CAQ/C"}

package/dist/runtime/Runtime.js

@@ -8,54 +8,62 @@ var __metadata = (this && this.__metadata) || function (k, v) {
     if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
 };
 var Runtime_1;
-// eslint-disable-next-line max-len
-/* eslint-disable @typescript-eslint/no-explicit-any,@typescript-eslint/no-unsafe-assignment,max-lines */
-import { Experimental } from "snarkyjs";
-import { injectable } from "tsyringe";
+/* eslint-disable @typescript-eslint/no-unsafe-assignment,@typescript-eslint/no-unsafe-argument */
+import { ZkProgram } from "o1js";
+import { container, injectable } from "tsyringe";
 import { ModuleContainer, ZkProgrammable, } from "@proto-kit/common";
-import { MethodPublicOutput } from "@proto-kit/protocol";
-import { combineMethodName, isRuntimeMethod, toWrappedMethod, } from "../method/runtimeMethod.js";
-import { StateServiceProvider } from "../state/StateServiceProvider";
+import { MethodPublicOutput, RuntimeMethodExecutionContext, RuntimeTransaction, NetworkState, } from "@proto-kit/protocol";
+import { combineMethodName, isRuntimeMethod, runtimeMethodTypeMetadataKey, toWrappedMethod, } from "../method/runtimeMethod";
 import { MethodIdFactory } from "../factories/MethodIdFactory";
+export function getAllPropertyNames(obj) {
+    let currentPrototype = obj;
+    let keys = [];
+    // if primitive (primitives still have keys) skip the first iteration
+    if (!(obj instanceof Object)) {
+        currentPrototype = Object.getPrototypeOf(obj);
+    }
+    // eslint-disable-next-line @typescript-eslint/strict-boolean-expressions
+    while (currentPrototype) {
+        keys = keys.concat(Reflect.ownKeys(currentPrototype));
+        currentPrototype = Object.getPrototypeOf(currentPrototype);
+    }
+    return keys;
+}
 const errors = {
     methodNotFound: (methodKey) => new Error(`Unable to find method with id ${methodKey}`),
 };
 export class RuntimeZkProgrammable extends ZkProgrammable {
-    // eslint-disable-next-line @typescript-eslint/no-use-before-define
     constructor(runtime) {
         super();
         this.runtime = runtime;
     }
-    get appChain() {
-        return this.runtime.appChain;
+    get areProofsEnabled() {
+        return this.runtime.areProofsEnabled;
     }
     zkProgramFactory() {
         // We need to use explicit type annotations here,
         // therefore we can't use destructuring
-        // eslint-disable-next-line max-len
-        // eslint-disable-next-line @typescript-eslint/no-use-before-define,prefer-destructuring,putout/putout
+        // eslint-disable-next-line prefer-destructuring
         const runtime = this.runtime;
+        const MAXIMUM_METHODS_PER_ZK_PROGRAM = 8;
         const runtimeMethods = runtime.runtimeModuleNames.reduce((allMethods, runtimeModuleName) => {
-            runtime.isValidModuleName(runtime.definition.modules, runtimeModuleName);
+            runtime.isValidModuleName(runtime.definition, runtimeModuleName);
             /**
              * Couldnt find a better way to circumvent the type assertion
              * regarding resolving only known modules. We assert in the line above
              * but we cast it to any anyways to satisfy the proof system.
              */
-            // eslint-disable-next-line max-len
             // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
             const runtimeModule = runtime.resolve(runtimeModuleName);
-            // eslint-disable-next-line max-len
             // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
             const modulePrototype = Object.getPrototypeOf(runtimeModule);
-            const modulePrototypeMethods = Object.getOwnPropertyNames(modulePrototype);
+            const modulePrototypeMethods = getAllPropertyNames(runtimeModule).map((method) => method.toString());
             const moduleMethods = modulePrototypeMethods.reduce((allModuleMethods, methodName) => {
                 if (isRuntimeMethod(runtimeModule, methodName)) {
                     const combinedMethodName = combineMethodName(runtimeModuleName, methodName);
                     const method = modulePrototype[methodName];
-                    const wrappedMethod = Reflect.apply(toWrappedMethod, runtimeModule, [methodName, method]);
-                    // eslint-disable-next-line no-warning-comments
-                    // TODO: find out how to import the Tuple type
+                    const invocationType = Reflect.getMetadata(runtimeMethodTypeMetadataKey, runtimeModule, methodName);
+                    const wrappedMethod = Reflect.apply(toWrappedMethod, runtimeModule, [methodName, method, { invocationType }]);
                     const privateInputs = Reflect.getMetadata("design:paramtypes", runtimeModule, methodName);
                     return {
                         ...allModuleMethods,
@@ -72,33 +80,78 @@ export class RuntimeZkProgrammable extends ZkProgrammable {
                 ...moduleMethods,
             };
         }, {});
-        const sortedRuntimeMethods = Object.fromEntries(
-        // eslint-disable-next-line @typescript-eslint/require-array-sort-compare
-        Object.entries(runtimeMethods).sort());
-        const program = Experimental.ZkProgram({
-            publicOutput: MethodPublicOutput,
-            methods: sortedRuntimeMethods,
-        });
-        const SelfProof = Experimental.ZkProgram.Proof(program);
-        const methods = Object.keys(sortedRuntimeMethods).reduce((boundMethods, methodName) => {
-            boundMethods[methodName] = program[methodName].bind(program);
-            return boundMethods;
-        }, {});
-        return {
-            compile: program.compile.bind(program),
-            verify: program.verify.bind(program),
-            Proof: SelfProof,
-            methods,
+        const sortedRuntimeMethods = Object.fromEntries(Object.entries(runtimeMethods).sort());
+        const splitRuntimeMethods = () => {
+            const buckets = [];
+            Object.entries(sortedRuntimeMethods).forEach(async ([methodName, method]) => {
+                let methodAdded = false;
+                for (const bucket of buckets) {
+                    if (buckets.length === 0) {
+                        const record = {};
+                        record[methodName] = method;
+                        buckets.push(record);
+                        methodAdded = true;
+                        break;
+                    }
+                    else if (Object.keys(bucket).length <=
+                        MAXIMUM_METHODS_PER_ZK_PROGRAM - 1) {
+                        bucket[methodName] = method;
+                        methodAdded = true;
+                        break;
+                    }
+                }
+                if (!methodAdded) {
+                    const record = {};
+                    record[methodName] = method;
+                    buckets.push(record);
+                }
+            });
+            return buckets;
         };
+        return splitRuntimeMethods().map((bucket, index) => {
+            const name = `RuntimeProgram-${index}`;
+            const wrappedBucket = Object.fromEntries(Object.entries(bucket).map(([methodName, methodDef]) => [
+                methodName,
+                {
+                    privateInputs: methodDef.privateInputs,
+                    method: async (...args) => {
+                        const publicOutput = await methodDef.method(...args);
+                        return { publicOutput };
+                    },
+                },
+            ]));
+            const program = ZkProgram({
+                name,
+                publicOutput: MethodPublicOutput,
+                methods: wrappedBucket,
+            });
+            const SelfProof = ZkProgram.Proof(program);
+            const methods = Object.keys(bucket).reduce((boundMethods, methodName) => {
+                boundMethods[methodName] = program[methodName].bind(program);
+                return boundMethods;
+            }, {});
+            return {
+                name,
+                compile: program.compile.bind(program),
+                verify: program.verify.bind(program),
+                analyzeMethods: program.analyzeMethods.bind(program),
+                Proof: SelfProof,
+                methods,
+            };
+        });
     }
 }
 /**
  * Wrapper for an application specific runtime, which helps orchestrate
  * runtime modules into an interoperable runtime.
  */
-let Runtime = Runtime_1 = class Runtime extends ModuleContainer {
+export let Runtime = Runtime_1 = class Runtime extends ModuleContainer {
     static from(definition) {
-        return new Runtime_1(definition);
+        return class RuntimeScoped extends Runtime_1 {
+            constructor() {
+                super(definition);
+            }
+        };
     }
     /**
      * Creates a new Runtime from the provided config
@@ -107,29 +160,25 @@ let Runtime = Runtime_1 = class Runtime extends ModuleContainer {
      */
     constructor(definition) {
         super(definition);
-        // eslint-disable-next-line no-warning-comments
-        // TODO DI
-        this.stateServiceProviderInstance = new StateServiceProvider(this.definition.state);
         this.definition = definition;
         this.zkProgrammable = new RuntimeZkProgrammable(this);
-        // this.registerDependencyFactories([MethodIdFactory]);
     }
-    // eslint-disable-next-line no-warning-comments
     // TODO Remove after changing DFs to type-based approach
-    start() {
-        this.registerValue({
-            Runtime: this,
-        });
-        this.registerDependencyFactories([MethodIdFactory]);
+    create(childContainerProvider) {
+        super.create(childContainerProvider);
+        this.useDependencyFactory(MethodIdFactory);
     }
-    get appChain() {
-        return this.container.resolve("AppChain");
+    get areProofsEnabled() {
+        return this.container.resolve("AreProofsEnabled");
+    }
+    get stateServiceProvider() {
+        return this.container.resolve("StateServiceProvider");
     }
     get stateService() {
-        return this.stateServiceProviderInstance.stateService;
+        return this.stateServiceProvider.stateService;
     }
-    get stateServiceProvider() {
-        return this.stateServiceProviderInstance;
+    get methodIdResolver() {
+        return this.container.resolve("MethodIdResolver");
     }
     /**
      * @returns The dependency injection container of this runtime
@@ -142,17 +191,14 @@ let Runtime = Runtime_1 = class Runtime extends ModuleContainer {
      * Encoding: "stringToField(module.name) << 128 + stringToField(method-name)"
      */
     getMethodById(methodId) {
-        const methodDescriptor = this.container
-            .resolve("MethodIdResolver")
-            .getMethodNameFromId(methodId);
+        const methodDescriptor = this.methodIdResolver.getMethodNameFromId(methodId);
         if (methodDescriptor === undefined) {
             return undefined;
         }
         const [moduleName, methodName] = methodDescriptor;
-        this.isValidModuleName(this.definition.modules, moduleName);
+        this.assertIsValidModuleName(moduleName);
         const module = this.resolve(moduleName);
-        // eslint-disable-next-line max-len
-        // eslint-disable-next-line @typescript-eslint/consistent-type-assertions,@typescript-eslint/no-unsafe-member-access
+        // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
         const method = module[methodName];
         if (method === undefined) {
             throw errors.methodNotFound(`${moduleName}.${methodName}`);
@@ -169,18 +215,27 @@ let Runtime = Runtime_1 = class Runtime extends ModuleContainer {
      */
     decorateModule(moduleName, containedModule) {
         containedModule.name = moduleName;
-        containedModule.runtime = this;
+        containedModule.parent = this;
         super.decorateModule(moduleName, containedModule);
     }
     /**
      * @returns A list of names of all the registered module names
      */
     get runtimeModuleNames() {
-        return Object.keys(this.definition.modules);
+        return this.moduleNames;
+    }
+    async compile(registry) {
+        const context = container.resolve(RuntimeMethodExecutionContext);
+        context.setup({
+            transaction: RuntimeTransaction.dummyTransaction(),
+            networkState: NetworkState.empty(),
+        });
+        return await this.zkProgrammable.compile(registry);
     }
 };
 Runtime = Runtime_1 = __decorate([
     injectable(),
     __metadata("design:paramtypes", [Object])
 ], Runtime);
-export { Runtime };
+/* eslint-enable @typescript-eslint/no-unsafe-assignment,@typescript-eslint/no-unsafe-argument */
+//# sourceMappingURL=Runtime.js.map

package/dist/runtime/Runtime.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Runtime.js","sourceRoot":"","sources":["../../src/runtime/Runtime.ts"],"names":[],"mappings":";;;;;;;;;;AAAA,kGAAkG;AAClG,OAAO,EAAE,SAAS,EAAE,MAAM,MAAM,CAAC;AACjC,OAAO,EAAE,SAAS,EAAuB,UAAU,EAAE,MAAM,UAAU,CAAC;AACtE,OAAO,EAEL,eAAe,EAGf,cAAc,GAMf,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,kBAAkB,EAGlB,6BAA6B,EAC7B,kBAAkB,EAClB,YAAY,GACb,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,iBAAiB,EACjB,eAAe,EACf,4BAA4B,EAC5B,eAAe,GAEhB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAM/D,MAAM,UAAU,mBAAmB,CAAC,GAAQ;IAC1C,IAAI,gBAAgB,GAAoB,GAAG,CAAC;IAC5C,IAAI,IAAI,GAAwB,EAAE,CAAC;IACnC,qEAAqE;IACrE,IAAI,CAAC,CAAC,GAAG,YAAY,MAAM,CAAC,EAAE;QAC5B,gBAAgB,GAAG,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;KAC/C;IACD,yEAAyE;IACzE,OAAO,gBAAgB,EAAE;QACvB,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACtD,gBAAgB,GAAG,MAAM,CAAC,cAAc,CAAC,gBAAgB,CAAC,CAAC;KAC5D;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAYD,MAAM,MAAM,GAAG;IACb,cAAc,EAAE,CAAC,SAAiB,EAAE,EAAE,CACpC,IAAI,KAAK,CAAC,iCAAiC,SAAS,EAAE,CAAC;CAC1D,CAAC;AAEF,MAAM,OAAO,qBAEX,SAAQ,cAA6C;IACrD,YAA0B,OAAyB;QACjD,KAAK,EAAE,CAAC;QADgB,YAAO,GAAP,OAAO,CAAkB;IAEnD,CAAC;IAED,IAAW,gBAAgB;QACzB,OAAO,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC;IACvC,CAAC;IAEM,gBAAgB;QAQrB,iDAAiD;QACjD,uCAAuC;QAEvC,gDAAgD;QAChD,MAAM,OAAO,GAAqB,IAAI,CAAC,OAAO,CAAC;QAE/C,MAAM,8BAA8B,GAAG,CAAC,CAAC;QAEzC,MAAM,cAAc,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CACtD,CAAC,UAAU,EAAE,iBAAiB,EAAE,EAAE;YAChC,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;YAEjE;;;;eAIG;YAEH,yEAAyE;YACzE,MAAM,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAwB,CAAC,CAAC;YAEhE,yEAAyE;YACzE,MAAM,eAAe,GAAG,MAAM,CAAC,cAAc,CAAC,aAAa,CAI1D,CAAC;YAEF,MAAM,sBAAsB,GAAG,mBAAmB,CAAC,aAAa,CAAC,CAAC,GAAG,CACnE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,EAAE,CAC9B,CAAC;YAEF,MAAM,aAAa,GAAG,sBAAsB,CAAC,MAAM,CACjD,CAAC,gBAAgB,EAAE,UAAU,EAAE,EAAE;gBAC/B,IAAI,eAAe,CAAC,aAAa,EAAE,UAAU,CAAC,EAAE;oBAC9C,MAAM,kBAAkB,GAAG,iBAAiB,CAC1C,iBAAiB,EACjB,UAAU,CACX,CAAC;oBACF,MAAM,MAAM,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;oBAC3C,MAAM,cAAc,GAAG,OAAO,CAAC,WAAW,CACxC,4BAA4B,EAC5B,aAAa,EACb,UAAU,CACX,CAAC;oBAEF,MAAM,aAAa,GAAuB,OAAO,CAAC,KAAK,CACrD,eAAe,EACf,aAAa,EACb,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,cAAc,EAAE,CAAC,CACzC,CAAC;oBAEF,MAAM,aAAa,GAAG,OAAO,CAAC,WAAW,CACvC,mBAAmB,EACnB,aAAa,EACb,UAAU,CACX,CAAC;oBAEF,OAAO;wBACL,GAAG,gBAAgB;wBAEnB,CAAC,kBAAkB,CAAC,EAAE;4BACpB,aAAa;4BACb,MAAM,EAAE,aAAa;yBACtB;qBACF,CAAC;iBACH;gBAED,OAAO,gBAAgB,CAAC;YAC1B,CAAC,EACD,EAAE,CACH,CAAC;YAEF,OAAO;gBACL,GAAG,UAAU;gBACb,GAAG,aAAa;aACjB,CAAC;QACJ,CAAC,EACD,EAAE,CACH,CAAC;QAEF,MAAM,oBAAoB,GAAG,MAAM,CAAC,WAAW,CAC7C,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,IAAI,EAAE,CACtC,CAAC;QAEF,MAAM,mBAAmB,GAAG,GAAG,EAAE;YAC/B,MAAM,OAAO,GAQT,EAAE,CAAC;YACP,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,OAAO,CAC1C,KAAK,EAAE,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,EAAE;gBAC7B,IAAI,WAAW,GAAG,KAAK,CAAC;gBACxB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE;oBAC5B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE;wBACxB,MAAM,MAAM,GAMR,EAAE,CAAC;wBACP,MAAM,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC;wBAC5B,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;wBACrB,WAAW,GAAG,IAAI,CAAC;wBACnB,MAAM;qBACP;yBAAM,IACL,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM;wBAC1B,8BAA8B,GAAG,CAAC,EAClC;wBACA,MAAM,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC;wBAC5B,WAAW,GAAG,IAAI,CAAC;wBACnB,MAAM;qBACP;iBACF;gBACD,IAAI,CAAC,WAAW,EAAE;oBAChB,MAAM,MAAM,GAMR,EAAE,CAAC;oBACP,MAAM,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC;oBAC5B,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;iBACtB;YACH,CAAC,CACF,CAAC;YACF,OAAO,OAAO,CAAC;QACjB,CAAC,CAAC;QAEF,OAAO,mBAAmB,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;YACjD,MAAM,IAAI,GAAG,kBAAkB,KAAK,EAAE,CAAC;YACvC,MAAM,aAAa,GAAG,MAAM,CAAC,WAAW,CACtC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC;gBACtD,UAAU;gBACV;oBACE,aAAa,EAAE,SAAS,CAAC,aAAa;oBACtC,MAAM,EAAE,KAAK,EAAE,GAAG,IAAW,EAAE,EAAE;wBAC/B,MAAM,YAAY,GAAG,MAAM,SAAS,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC;wBACrD,OAAO,EAAE,YAAY,EAAE,CAAC;oBAC1B,CAAC;iBACF;aACF,CAAC,CACH,CAAC;YAEF,MAAM,OAAO,GAAG,SAAS,CAAC;gBACxB,IAAI;gBACJ,YAAY,EAAE,kBAAkB;gBAChC,OAAO,EAAE,aAAa;aACvB,CAAC,CAAC;YAEH,MAAM,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAE3C,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CACxC,CAAC,YAAY,EAAE,UAAU,EAAE,EAAE;gBAC3B,YAAY,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC7D,OAAO,YAAY,CAAC;YACtB,CAAC,EACD,EAAE,CACH,CAAC;YAEF,OAAO;gBACL,IAAI;gBACJ,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;gBACtC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;gBACpC,cAAc,EAAE,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC;gBACpD,KAAK,EAAE,SAAS;gBAChB,OAAO;aACR,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;CACF;AAED;;;GAGG;AAEI,WAAM,OAAO,eAAb,MAAM,OACX,SAAQ,eAAwB;IAGzB,MAAM,CAAC,IAAI,CAChB,UAAmB;QAEnB,OAAO,MAAM,aAAc,SAAQ,SAAgB;YACjD;gBACE,KAAK,CAAC,UAAU,CAAC,CAAC;YACpB,CAAC;SACF,CAAC;IACJ,CAAC;IAWD;;;;OAIG;IACH,YAAmB,UAAmB;QACpC,KAAK,CAAC,UAAU,CAAC,CAAC;QAClB,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,cAAc,GAAG,IAAI,qBAAqB,CAAU,IAAI,CAAC,CAAC;IACjE,CAAC;IAED,wDAAwD;IACjD,MAAM,CAAC,sBAA8C;QAC1D,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;QAErC,IAAI,CAAC,oBAAoB,CAAC,eAAe,CAAC,CAAC;IAC7C,CAAC;IAED,IAAW,gBAAgB;QACzB,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAmB,kBAAkB,CAAC,CAAC;IACtE,CAAC;IAED,IAAW,oBAAoB;QAC7B,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAuB,sBAAsB,CAAC,CAAC;IAC9E,CAAC;IAED,IAAW,YAAY;QACrB,OAAO,IAAI,CAAC,oBAAoB,CAAC,YAAY,CAAC;IAChD,CAAC;IAED,IAAW,gBAAgB;QACzB,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAmB,kBAAkB,CAAC,CAAC;IACtE,CAAC;IAED;;OAEG;IACH,IAAW,mBAAmB;QAC5B,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;IAED;;;OAGG;IACI,aAAa,CAClB,QAAgB;QAEhB,MAAM,gBAAgB,GACpB,IAAI,CAAC,gBAAgB,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;QAEtD,IAAI,gBAAgB,KAAK,SAAS,EAAE;YAClC,OAAO,SAAS,CAAC;SAClB;QACD,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,gBAAgB,CAAC;QAElD,IAAI,CAAC,uBAAuB,CAAC,UAAU,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAExC,yEAAyE;QACzE,MAAM,MAAM,GAAI,MAAc,CAAC,UAAU,CAAC,CAAC;QAC3C,IAAI,MAAM,KAAK,SAAS,EAAE;YACxB,MAAM,MAAM,CAAC,cAAc,CAAC,GAAG,UAAU,IAAI,UAAU,EAAE,CAAC,CAAC;SAC5D;QAED,yEAAyE;QACzE,OAAQ,MAAmD,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3E,CAAC;IAED;;;;;;OAMG;IACI,cAAc,CACnB,UAAgC,EAChC,eAA4D;QAE5D,eAAe,CAAC,IAAI,GAAG,UAAU,CAAC;QAClC,eAAe,CAAC,MAAM,GAAG,IAAI,CAAC;QAE9B,KAAK,CAAC,cAAc,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;IACpD,CAAC;IAED;;OAEG;IACH,IAAW,kBAAkB;QAC3B,OAAO,IAAI,CAAC,WAAW,CAAC;IAC1B,CAAC;IAEM,KAAK,CAAC,OAAO,CAAC,QAAyB;QAC5C,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;QACjE,OAAO,CAAC,KAAK,CAAC;YACZ,WAAW,EAAE,kBAAkB,CAAC,gBAAgB,EAAE;YAClD,YAAY,EAAE,YAAY,CAAC,KAAK,EAAE;SACnC,CAAC,CAAC;QACH,OAAO,MAAM,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACrD,CAAC;CACF,CAAA;AA5HY,OAAO;IADnB,UAAU,EAAE;;GACA,OAAO,CA4HnB;AACD,iGAAiG"}

package/dist/runtime/RuntimeEnvironment.d.ts

@@ -0,0 +1,10 @@
+import { AreProofsEnabled, WithZkProgrammable } from "@proto-kit/common";
+import { MethodPublicOutput, SimpleAsyncStateService, StateServiceProvider } from "@proto-kit/protocol";
+import { MethodIdResolver } from "./MethodIdResolver";
+export interface RuntimeEnvironment extends WithZkProgrammable<undefined, MethodPublicOutput> {
+    get areProofsEnabled(): AreProofsEnabled | undefined;
+    get stateService(): SimpleAsyncStateService;
+    get stateServiceProvider(): StateServiceProvider;
+    get methodIdResolver(): MethodIdResolver;
+}
+//# sourceMappingURL=RuntimeEnvironment.d.ts.map

package/dist/runtime/RuntimeEnvironment.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"RuntimeEnvironment.d.ts","sourceRoot":"","sources":["../../src/runtime/RuntimeEnvironment.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACzE,OAAO,EACL,kBAAkB,EAClB,uBAAuB,EACvB,oBAAoB,EACrB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAEtD,MAAM,WAAW,kBACf,SAAQ,kBAAkB,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACzD,IAAI,gBAAgB,IAAI,gBAAgB,GAAG,SAAS,CAAC;IACrD,IAAI,YAAY,IAAI,uBAAuB,CAAC;IAC5C,IAAI,oBAAoB,IAAI,oBAAoB,CAAC;IACjD,IAAI,gBAAgB,IAAI,gBAAgB,CAAC;CAC1C"}

package/dist/runtime/RuntimeEnvironment.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=RuntimeEnvironment.js.map

package/dist/runtime/RuntimeEnvironment.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RuntimeEnvironment.js","sourceRoot":"","sources":["../../src/runtime/RuntimeEnvironment.ts"],"names":[],"mappings":""}

package/dist/runtime/RuntimeModule.d.ts

@@ -1,19 +1,20 @@
-import { ConfigurableModule, Presets } from "@proto-kit/common";
-import { NetworkState, RuntimeTransaction } from "@proto-kit/protocol";
-import { StateService } from "../state/InMemoryStateService";
-import type { Runtime, RuntimeDefinition, RuntimeModulesRecord } from "./Runtime";
-/**
- * This type exists to carry over certain runtime properties
- * to runtime modules, until we can inject them through DI.
- */
-export interface PartialRuntime extends Pick<Runtime<RuntimeModulesRecord>, "zkProgrammable"> {
-    definition: Pick<RuntimeDefinition<RuntimeModulesRecord>, "state">;
-    get stateService(): StateService;
+import { ConfigurableModule, NoConfig, Presets } from "@proto-kit/common";
+import { NetworkState, RuntimeTransaction, RuntimeMethodExecutionData } from "@proto-kit/protocol";
+import { FlexibleProvablePure, Provable, Bool } from "o1js";
+import { OutgoingMessages, OutgoingMessagesRecord } from "../messages/OutgoingMessages";
+import { RuntimeEnvironment } from "./RuntimeEnvironment";
+type EventRecord = Record<string, FlexibleProvablePure<any>>;
+type InferProvable<T extends FlexibleProvablePure<any>> = T extends Provable<infer U> ? U : never;
+export declare class RuntimeEvents<Events extends EventRecord> {
+    private readonly events;
+    constructor(events: Events);
+    emitIf<Key extends keyof Events>(condition: Bool, eventName: Key, event: InferProvable<Events[Key]>): void;
+    emit<Key extends keyof Events>(eventName: Key, event: InferProvable<Events[Key]>): void;
 }
 /**
  * Base class for runtime modules providing the necessary utilities.
  */
-export declare class RuntimeModule<Config> extends ConfigurableModule<Config> {
+export declare class RuntimeModule<Config = NoConfig> extends ConfigurableModule<Config> {
     static presets: Presets<unknown>;
     /**
      * Holds all method names that are callable throw transactions
@@ -26,11 +27,13 @@ export declare class RuntimeModule<Config> extends ConfigurableModule<Config> {
      */
     isRuntimeModule: boolean;
     name?: string;
-    test?: number;
-    runtime?: Runtime<RuntimeModulesRecord>;
+    parent?: RuntimeEnvironment;
+    events?: RuntimeEvents<any>;
+    messages?: OutgoingMessages<OutgoingMessagesRecord>;
     constructor();
-    private getInputs;
+    getInputs(): RuntimeMethodExecutionData;
     get transaction(): RuntimeTransaction;
     get network(): NetworkState;
 }
+export {};
 //# sourceMappingURL=RuntimeModule.d.ts.map

package/dist/runtime/RuntimeModule.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"RuntimeModule.d.ts","sourceRoot":"","sources":["../../src/runtime/RuntimeModule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAEhE,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAMvE,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAG7D,OAAO,KAAK,EACV,OAAO,EACP,iBAAiB,EACjB,oBAAoB,EACrB,MAAM,WAAW,CAAC;AAMnB;;;GAGG;AACH,MAAM,WAAW,cACf,SAAQ,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,EAAE,gBAAgB,CAAC;IAC7D,UAAU,EAAE,IAAI,CAAC,iBAAiB,CAAC,oBAAoB,CAAC,EAAE,OAAO,CAAC,CAAC;IAEnE,IAAI,YAAY,IAAI,YAAY,CAAC;CAClC;AAED;;GAEG;AACH,qBACa,aAAa,CAAC,MAAM,CAAE,SAAQ,kBAAkB,CAAC,MAAM,CAAC;IACnE,OAAc,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAM;IAE7C;;OAEG;IACH,SAAgB,kBAAkB,EAAE,MAAM,EAAE,CAAM;IAElD;;;;OAIG;IACI,eAAe,UAAQ;IAEvB,IAAI,CAAC,EAAE,MAAM,CAAC;IAEd,IAAI,CAAC,EAAE,MAAM,CAAC;IAEd,OAAO,CAAC,EAAE,OAAO,CAAC,oBAAoB,CAAC,CAAC;;IAY/C,OAAO,CAAC,SAAS;IAWjB,IAAW,WAAW,IAAI,kBAAkB,CAE3C;IAED,IAAW,OAAO,IAAI,YAAY,CAEjC;CACF"}
+{"version":3,"file":"RuntimeModule.d.ts","sourceRoot":"","sources":["../../src/runtime/RuntimeModule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAE1E,OAAO,EACL,YAAY,EACZ,kBAAkB,EAElB,0BAA0B,EAE3B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAG5D,OAAO,EACL,gBAAgB,EAChB,sBAAsB,EACvB,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAM1D,KAAK,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC;AAE7D,KAAK,aAAa,CAAC,CAAC,SAAS,oBAAoB,CAAC,GAAG,CAAC,IACpD,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE1C,qBAAa,aAAa,CAAC,MAAM,SAAS,WAAW;IAChC,OAAO,CAAC,QAAQ,CAAC,MAAM;gBAAN,MAAM,EAAE,MAAM;IAE3C,MAAM,CAAC,GAAG,SAAS,MAAM,MAAM,EACpC,SAAS,EAAE,IAAI,EACf,SAAS,EAAE,GAAG,EACd,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAgB5B,IAAI,CAAC,GAAG,SAAS,MAAM,MAAM,EAClC,SAAS,EAAE,GAAG,EACd,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;CAIpC;AAED;;GAEG;AACH,qBACa,aAAa,CACxB,MAAM,GAAG,QAAQ,CACjB,SAAQ,kBAAkB,CAAC,MAAM,CAAC;IAClC,OAAc,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAM;IAE7C;;OAEG;IACH,SAAgB,kBAAkB,EAAE,MAAM,EAAE,CAAM;IAElD;;;;OAIG;IACI,eAAe,UAAQ;IAEvB,IAAI,CAAC,EAAE,MAAM,CAAC;IAEd,MAAM,CAAC,EAAE,kBAAkB,CAAC;IAE5B,MAAM,CAAC,EAAE,aAAa,CAAC,GAAG,CAAC,CAAa;IAExC,QAAQ,CAAC,EAAE,gBAAgB,CAAC,sBAAsB,CAAC,CAAa;;IAYhE,SAAS,IAAI,0BAA0B;IAa9C,IAAW,WAAW,IAAI,kBAAkB,CAE3C;IAED,IAAW,OAAO,IAAI,YAAY,CAEjC;CACF"}

package/dist/runtime/RuntimeModule.js

@@ -9,15 +9,36 @@ var __metadata = (this && this.__metadata) || function (k, v) {
 };
 import { ConfigurableModule } from "@proto-kit/common";
 import { container, injectable } from "tsyringe";
-import { RuntimeMethodExecutionContext, } from "../method/RuntimeMethodExecutionContext";
+import { RuntimeMethodExecutionContext, RuntimeMethodExecutionDataStruct, } from "@proto-kit/protocol";
+import { Provable, Bool } from "o1js";
 import { runtimeMethodNamesMetadataKey } from "../method/runtimeMethod";
 const errors = {
     inputDataNotSet: () => new Error("Input data for runtime execution not set"),
 };
+export class RuntimeEvents {
+    constructor(events) {
+        this.events = events;
+    }
+    emitIf(condition, eventName, event) {
+        if (this.events === undefined) {
+            throw new Error("'events' property not defined, make sure to define the event types on your runtimemodule");
+        }
+        const eventType = this.events[eventName];
+        if (typeof eventName !== "string") {
+            throw new Error("Only string");
+        }
+        return container
+            .resolve(RuntimeMethodExecutionContext)
+            .addEvent(eventType, event, eventName, condition);
+    }
+    emit(eventName, event) {
+        this.emitIf(Bool(true), eventName, event);
+    }
+}
 /**
  * Base class for runtime modules providing the necessary utilities.
  */
-let RuntimeModule = class RuntimeModule extends ConfigurableModule {
+export let RuntimeModule = class RuntimeModule extends ConfigurableModule {
     constructor() {
         super();
         /**
@@ -30,16 +51,20 @@ let RuntimeModule = class RuntimeModule extends ConfigurableModule {
          * one non-optional property in this class to make the typechecking work.
          */
         this.isRuntimeModule = true;
+        this.events = undefined;
+        this.messages = undefined;
         // eslint-disable-next-line @typescript-eslint/no-unsafe-assignment
         const methodNames = Reflect.getMetadata(runtimeMethodNamesMetadataKey, this);
         this.runtimeMethodNames = methodNames ?? [];
     }
     getInputs() {
-        const { input } = container.resolve(RuntimeMethodExecutionContext);
-        if (input === undefined) {
-            throw errors.inputDataNotSet();
-        }
-        return input;
+        return Provable.witness(RuntimeMethodExecutionDataStruct, () => {
+            const { input } = container.resolve(RuntimeMethodExecutionContext);
+            if (input === undefined) {
+                throw errors.inputDataNotSet();
+            }
+            return input;
+        });
     }
     get transaction() {
         return this.getInputs().transaction;
@@ -53,4 +78,4 @@ RuntimeModule = __decorate([
     injectable(),
     __metadata("design:paramtypes", [])
 ], RuntimeModule);
-export { RuntimeModule };
+//# sourceMappingURL=RuntimeModule.js.map

package/dist/runtime/RuntimeModule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RuntimeModule.js","sourceRoot":"","sources":["../../src/runtime/RuntimeModule.ts"],"names":[],"mappings":";;;;;;;;;AAAA,OAAO,EAAE,kBAAkB,EAAqB,MAAM,mBAAmB,CAAC;AAC1E,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AACjD,OAAO,EAGL,6BAA6B,EAE7B,gCAAgC,GACjC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAwB,QAAQ,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAE5D,OAAO,EAAE,6BAA6B,EAAE,MAAM,yBAAyB,CAAC;AAQxE,MAAM,MAAM,GAAG;IACb,eAAe,EAAE,GAAG,EAAE,CAAC,IAAI,KAAK,CAAC,0CAA0C,CAAC;CAC7E,CAAC;AAOF,MAAM,OAAO,aAAa;IACxB,YAAoC,MAAc;QAAd,WAAM,GAAN,MAAM,CAAQ;IAAG,CAAC;IAE/C,MAAM,CACX,SAAe,EACf,SAAc,EACd,KAAiC;QAEjC,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE;YAC7B,MAAM,IAAI,KAAK,CACb,0FAA0F,CAC3F,CAAC;SACH;QACD,MAAM,SAAS,GAA8B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACpE,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE;YACjC,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC;SAChC;QACD,OAAO,SAAS;aACb,OAAO,CAAC,6BAA6B,CAAC;aACtC,QAAQ,CAAC,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;IACtD,CAAC;IAEM,IAAI,CACT,SAAc,EACd,KAAiC;QAEjC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;IAC5C,CAAC;CACF;AAED;;GAEG;AAEI,WAAM,aAAa,GAAnB,MAAM,aAEX,SAAQ,kBAA0B;IAuBlC;QACE,KAAK,EAAE,CAAC;QArBV;;WAEG;QACa,uBAAkB,GAAa,EAAE,CAAC;QAElD;;;;WAIG;QACI,oBAAe,GAAG,IAAI,CAAC;QAMvB,WAAM,GAAwB,SAAS,CAAC;QAExC,aAAQ,GAA8C,SAAS,CAAC;QAIrE,mEAAmE;QACnE,MAAM,WAAW,GAAyB,OAAO,CAAC,WAAW,CAC3D,6BAA6B,EAC7B,IAAI,CACL,CAAC;QACF,IAAI,CAAC,kBAAkB,GAAG,WAAW,IAAI,EAAE,CAAC;IAC9C,CAAC;IAEM,SAAS;QACd,OAAO,QAAQ,CAAC,OAAO,CAAC,gCAAgC,EAAE,GAAG,EAAE;YAC7D,MAAM,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC,OAAO,CACjC,6BAA6B,CAC9B,CAAC;YACF,IAAI,KAAK,KAAK,SAAS,EAAE;gBACvB,MAAM,MAAM,CAAC,eAAe,EAAE,CAAC;aAChC;YAED,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,CAAC;IACL,CAAC;IAED,IAAW,WAAW;QACpB,OAAO,IAAI,CAAC,SAAS,EAAE,CAAC,WAAW,CAAC;IACtC,CAAC;IAED,IAAW,OAAO;QAChB,OAAO,IAAI,CAAC,SAAS,EAAE,CAAC,YAAY,CAAC;IACvC,CAAC;;AAnDa,qBAAO,GAAqB,EAAE,AAAvB,CAAwB;AAHlC,aAAa;IADzB,UAAU,EAAE;;GACA,aAAa,CAuDzB"}

package/dist/state/InMemoryStateService.d.ts

@@ -1,14 +1,15 @@
-import { Field } from "snarkyjs";
-export interface StateService {
-    get: (key: Field) => Field[] | undefined;
-    set: (key: Field, value: Field[] | undefined) => void;
-}
+import { Field } from "o1js";
+import { SimpleAsyncStateService } from "@proto-kit/protocol";
 /**
- * Naive implementation of a StateService for testing purposes
+ * Naive implementation of an in-memory variant of the StateService interface
  */
-export declare class InMemoryStateService implements StateService {
-    values: Record<string, Field[] | undefined>;
-    get(key: Field): Field[] | undefined;
-    set(key: Field, value: Field[] | undefined): void;
+export declare class InMemoryStateService implements SimpleAsyncStateService {
+    /**
+     * This mapping container null values if the specific entry has been deleted.
+     * This is used by the CachedState service to keep track of deletions
+     */
+    values: Record<string, Field[] | null>;
+    get(key: Field): Promise<Field[] | undefined>;
+    set(key: Field, value: Field[] | undefined): Promise<void>;
 }
 //# sourceMappingURL=InMemoryStateService.d.ts.map

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,MAAM,CAAC;AAC7B,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAE9D;;GAEG;AACH,qBAAa,oBAAqB,YAAW,uBAAuB;IAClE;;;OAGG;IACI,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,CAAM;IAEtC,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,GAAG,SAAS,CAAC;IAI7C,GAAG,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,SAAS;CAOxD"}

package/dist/state/InMemoryStateService.js

@@ -1,21 +1,24 @@
 /**
- * Naive implementation of a StateService for testing purposes
+ * Naive implementation of an in-memory variant of the StateService interface
  */
 export class InMemoryStateService {
     constructor() {
+        /**
+         * This mapping container null values if the specific entry has been deleted.
+         * This is used by the CachedState service to keep track of deletions
+         */
         this.values = {};
     }
-    get(key) {
-        return this.values[key.toString()];
+    async get(key) {
+        return this.values[key.toString()] ?? undefined;
     }
-    set(key, value) {
-        if (value === undefined &&
-            Object.prototype.hasOwnProperty.call(this.values, key.toString())) {
-            // eslint-disable-next-line @typescript-eslint/no-dynamic-delete
-            delete this.values[key.toString()];
+    async set(key, value) {
+        if (value === undefined) {
+            this.values[key.toString()] = null;
         }
         else {
             this.values[key.toString()] = value;
         }
     }
 }
+//# sourceMappingURL=InMemoryStateService.js.map

package/dist/state/InMemoryStateService.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"InMemoryStateService.js","sourceRoot":"","sources":["../../src/state/InMemoryStateService.ts"],"names":[],"mappings":"AAGA;;GAEG;AACH,MAAM,OAAO,oBAAoB;IAAjC;QACE;;;WAGG;QACI,WAAM,GAAmC,EAAE,CAAC;IAarD,CAAC;IAXQ,KAAK,CAAC,GAAG,CAAC,GAAU;QACzB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,IAAI,SAAS,CAAC;IAClD,CAAC;IAEM,KAAK,CAAC,GAAG,CAAC,GAAU,EAAE,KAA0B;QACrD,IAAI,KAAK,KAAK,SAAS,EAAE;YACvB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC;SACpC;aAAM;YACL,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,GAAG,KAAK,CAAC;SACrC;IACH,CAAC;CACF"}

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