@proto-kit/protocol 0.1.1-develop.600 → 0.1.1-develop.833

package/dist/model/transaction/ValueOption.d.ts

@@ -1,47 +1,70 @@
 import { PublicKey, UInt64 } from "o1js";
 declare const UInt64Option_base: {
     new (value: {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: UInt64;
     }): {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: UInt64;
     };
-    fromValue(value: UInt64): {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+    fromSome(value: UInt64): {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: UInt64;
     };
     none(value: UInt64): {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: UInt64;
     };
     _isStruct: true;
     toFields: (value: {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: UInt64;
-    }) => import("o1js/dist/node/lib/field").Field[];
+    }) => import("o1js/dist/node/lib/provable/field").Field[];
     toAuxiliary: (value?: {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: UInt64;
     } | undefined) => any[];
-    fromFields: (fields: import("o1js/dist/node/lib/field").Field[], aux: any[]) => {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[], aux: any[]) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: UInt64;
     };
     sizeInFields(): number;
     check: (value: {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: UInt64;
     }) => void;
+    toValue: (x: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    }) => {
+        isSome: boolean;
+        value: any;
+    };
+    fromValue: ((x: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    } | {
+        isSome: boolean;
+        value: any;
+    }) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    }) & ((value: {
+        isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+        value: any;
+    }) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    });
     toInput: (x: {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: UInt64;
     }) => {
-        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
+        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/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: UInt64;
     }) => {
         isSome: boolean;
@@ -51,7 +74,11 @@ declare const UInt64Option_base: {
         isSome: boolean;
         value: any;
     }) => {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    };
+    empty: () => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: UInt64;
     };
 };
@@ -59,47 +86,70 @@ export declare class UInt64Option extends UInt64Option_base {
 }
 declare const PublicKeyOption_base: {
     new (value: {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: PublicKey;
     }): {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: PublicKey;
     };
-    fromValue(value: PublicKey): {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+    fromSome(value: PublicKey): {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: PublicKey;
     };
     none(value: PublicKey): {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: PublicKey;
     };
     _isStruct: true;
     toFields: (value: {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: PublicKey;
-    }) => import("o1js/dist/node/lib/field").Field[];
+    }) => import("o1js/dist/node/lib/provable/field").Field[];
     toAuxiliary: (value?: {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: PublicKey;
     } | undefined) => any[];
-    fromFields: (fields: import("o1js/dist/node/lib/field").Field[], aux: any[]) => {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[], aux: any[]) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: PublicKey;
     };
     sizeInFields(): number;
     check: (value: {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: PublicKey;
     }) => void;
+    toValue: (x: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    }) => {
+        isSome: boolean;
+        value: any;
+    };
+    fromValue: ((x: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    } | {
+        isSome: boolean;
+        value: any;
+    }) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    }) & ((value: {
+        isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+        value: any;
+    }) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    });
     toInput: (x: {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: PublicKey;
     }) => {
-        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
+        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/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: PublicKey;
     }) => {
         isSome: boolean;
@@ -109,7 +159,11 @@ declare const PublicKeyOption_base: {
         isSome: boolean;
         value: any;
     }) => {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    };
+    empty: () => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: PublicKey;
     };
 };

package/dist/model/transaction/ValueOption.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ValueOption.d.ts","sourceRoot":"","sources":["../../../src/model/transaction/ValueOption.ts"],"names":[],"mappings":"AAAA,OAAO,EAA0B,SAAS,EAAU,MAAM,EAAE,MAAM,MAAM,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuBzE,qBAAa,YAAa,SAAQ,iBAAoC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEzE,qBAAa,eAAgB,SAAQ,oBAEpC;CAAG"}
+{"version":3,"file":"ValueOption.d.ts","sourceRoot":"","sources":["../../../src/model/transaction/ValueOption.ts"],"names":[],"mappings":"AAAA,OAAO,EAA0B,SAAS,EAAU,MAAM,EAAE,MAAM,MAAM,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuBzE,qBAAa,YAAa,SAAQ,iBAAoC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEzE,qBAAa,eAAgB,SAAQ,oBAEpC;CAAG"}

package/dist/model/transaction/ValueOption.js

@@ -4,7 +4,7 @@ function genericOptionFactory(valueType) {
         isSome: Bool,
         value: valueType,
     }) {
-        static fromValue(value) {
+        static fromSome(value) {
             return new Generic({
                 isSome: Bool(true),
                 value,

package/dist/protocol/Protocol.d.ts

@@ -3,35 +3,33 @@ import { DependencyContainer } from "tsyringe";
 import { BlockProvable } from "../prover/block/BlockProvable";
 import { StateTransitionProvable } from "../prover/statetransition/StateTransitionProvable";
 import { StateServiceProvider } from "../state/StateServiceProvider";
-import { StateService } from "../state/StateService";
+import { SimpleAsyncStateService } from "../state/StateService";
+import { BlockHeightHook } from "../hooks/BlockHeightHook";
+import { LastStateRootBlockHook } from "../hooks/LastStateRootBlockHook";
+import { AccountStateHook } from "../hooks/AccountStateHook";
 import { ProtocolModule } from "./ProtocolModule";
 import { ProtocolEnvironment } from "./ProtocolEnvironment";
-import { AccountStateModule } from "../blockmodules/AccountStateModule";
-import { BlockHeightHook } from "../blockmodules/BlockHeightHook";
-import { LastStateRootBlockHook } from "../blockmodules/LastStateRootBlockHook";
-export type GenericProtocolModuleRecord = ModulesRecord<TypedClass<ProtocolModule<unknown>>>;
-interface BlockProverType extends ProtocolModule, BlockProvable {
+export type ProtocolModulesRecord = ModulesRecord<TypedClass<ProtocolModule<unknown>>>;
+export interface BlockProverType extends ProtocolModule, BlockProvable {
 }
-interface StateTransitionProverType extends ProtocolModule, StateTransitionProvable {
+export interface StateTransitionProverType extends ProtocolModule, StateTransitionProvable {
 }
-export interface ProtocolCustomModulesRecord extends GenericProtocolModuleRecord {
+export type MandatoryProtocolModulesRecord = {
     BlockProver: TypedClass<BlockProverType>;
     StateTransitionProver: TypedClass<StateTransitionProverType>;
-    AccountState: TypedClass<AccountStateModule>;
+    AccountState: TypedClass<AccountStateHook>;
     BlockHeight: TypedClass<BlockHeightHook>;
     LastStateRoot: TypedClass<LastStateRootBlockHook>;
-}
-export interface ProtocolModulesRecord extends GenericProtocolModuleRecord, ProtocolCustomModulesRecord {
-}
+};
 export interface ProtocolDefinition<Modules extends ProtocolModulesRecord> {
     modules: Modules;
     config?: ModulesConfig<Modules>;
 }
-export declare class Protocol<Modules extends ProtocolModulesRecord> extends ModuleContainer<Modules> implements ProtocolEnvironment {
-    static from<Modules extends ProtocolModulesRecord>(modules: ProtocolDefinition<Modules>): TypedClass<Protocol<Modules>>;
+export declare class Protocol<Modules extends ProtocolModulesRecord & MandatoryProtocolModulesRecord> extends ModuleContainer<Modules> implements ProtocolEnvironment {
+    static from<Modules extends ProtocolModulesRecord & MandatoryProtocolModulesRecord>(modules: ProtocolDefinition<Modules>): TypedClass<Protocol<Modules>>;
     definition: ProtocolDefinition<Modules>;
     constructor(definition: ProtocolDefinition<Modules>);
-    get stateService(): StateService;
+    get stateService(): SimpleAsyncStateService;
     get stateServiceProvider(): StateServiceProvider;
     decorateModule(moduleName: StringKeyOf<Modules>, containedModule: InstanceType<Modules[StringKeyOf<Modules>]>): void;
     get dependencyContainer(): DependencyContainer;
@@ -40,10 +38,6 @@ export declare class Protocol<Modules extends ProtocolModulesRecord> extends Mod
     get stateTransitionProver(): StateTransitionProvable;
     getAreProofsEnabled(): AreProofsEnabled;
     create(childContainerProvider: ChildContainerProvider): void;
+    start(): Promise<void>;
 }
-export declare const VanillaProtocol: {
-    create(): TypedClass<Protocol<ProtocolCustomModulesRecord>>;
-    from<AdditonalModules extends GenericProtocolModuleRecord>(additionalModules: AdditonalModules): TypedClass<Protocol<ProtocolCustomModulesRecord & AdditonalModules>>;
-};
-export {};
 //# sourceMappingURL=Protocol.d.ts.map

package/dist/protocol/Protocol.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Protocol.d.ts","sourceRoot":"","sources":["../../src/protocol/Protocol.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,sBAAsB,EAEtB,eAAe,EACf,aAAa,EACb,aAAa,EACb,WAAW,EACX,UAAU,EACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,mBAAmB,EAAa,MAAM,UAAU,CAAC;AAE1D,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAE9D,OAAO,EAAE,uBAAuB,EAAE,MAAM,mDAAmD,CAAC;AAE5F,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAErD,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAGlD,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAC;AAGxE,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AAUhF,MAAM,MAAM,2BAA2B,GAAG,aAAa,CACrD,UAAU,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CACpC,CAAC;AAEF,UAAU,eAAgB,SAAQ,cAAc,EAAE,aAAa;CAAG;AAElE,UAAU,yBACR,SAAQ,cAAc,EACpB,uBAAuB;CAAG;AAE9B,MAAM,WAAW,2BACf,SAAQ,2BAA2B;IACnC,WAAW,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC;IACzC,qBAAqB,EAAE,UAAU,CAAC,yBAAyB,CAAC,CAAC;IAC7D,YAAY,EAAE,UAAU,CAAC,kBAAkB,CAAC,CAAC;IAC7C,WAAW,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC;IACzC,aAAa,EAAE,UAAU,CAAC,sBAAsB,CAAC,CAAC;CACnD;AAED,MAAM,WAAW,qBACf,SAAQ,2BAA2B,EACjC,2BAA2B;CAAG;AAElC,MAAM,WAAW,kBAAkB,CAAC,OAAO,SAAS,qBAAqB;IACvE,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;CACjC;AAED,qBAAa,QAAQ,CAAC,OAAO,SAAS,qBAAqB,CACzD,SAAQ,eAAe,CAAC,OAAO,CAC/B,YAAW,mBAAmB;WAGhB,IAAI,CAAC,OAAO,SAAS,qBAAqB,EACtD,OAAO,EAAE,kBAAkB,CAAC,OAAO,CAAC,GACnC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAQzB,UAAU,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC;gBAE5B,UAAU,EAAE,kBAAkB,CAAC,OAAO,CAAC;IAK1D,IAAW,YAAY,IAAI,YAAY,CAEtC;IAED,IAAW,oBAAoB,IAAI,oBAAoB,CAEtD;IAEM,cAAc,CACnB,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,EAChC,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;IAY9D,IAAW,mBAAmB,IAAI,mBAAmB,CAEpD;IAED,OAAO,CAAC,QAAQ;IAMhB,IAAW,WAAW,IAAI,aAAa,CAMtC;IAED,IAAW,qBAAqB,IAAI,uBAAuB,CAI1D;IAEM,mBAAmB,IAAI,gBAAgB;IAIvC,MAAM,CAAC,sBAAsB,EAAE,sBAAsB;CAoD7D;AAED,eAAO,MAAM,eAAe;;;CAmB3B,CAAC"}
+{"version":3,"file":"Protocol.d.ts","sourceRoot":"","sources":["../../src/protocol/Protocol.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,sBAAsB,EAEtB,eAAe,EACf,aAAa,EACb,aAAa,EACb,WAAW,EACX,UAAU,EACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,mBAAmB,EAAa,MAAM,UAAU,CAAC;AAE1D,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAC9D,OAAO,EAAE,uBAAuB,EAAE,MAAM,mDAAmD,CAAC;AAC5F,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAEhE,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAGzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAG7D,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAElD,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAS5D,MAAM,MAAM,qBAAqB,GAAG,aAAa,CAC/C,UAAU,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CACpC,CAAC;AAEF,MAAM,WAAW,eAAgB,SAAQ,cAAc,EAAE,aAAa;CAAG;AAEzE,MAAM,WAAW,yBACf,SAAQ,cAAc,EACpB,uBAAuB;CAAG;AAE9B,MAAM,MAAM,8BAA8B,GAAG;IAC3C,WAAW,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC;IACzC,qBAAqB,EAAE,UAAU,CAAC,yBAAyB,CAAC,CAAC;IAC7D,YAAY,EAAE,UAAU,CAAC,gBAAgB,CAAC,CAAC;IAC3C,WAAW,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC;IACzC,aAAa,EAAE,UAAU,CAAC,sBAAsB,CAAC,CAAC;CACnD,CAAC;AAEF,MAAM,WAAW,kBAAkB,CAAC,OAAO,SAAS,qBAAqB;IACvE,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;CACjC;AAED,qBAAa,QAAQ,CACjB,OAAO,SAAS,qBAAqB,GAAG,8BAA8B,CAExE,SAAQ,eAAe,CAAC,OAAO,CAC/B,YAAW,mBAAmB;WAEhB,IAAI,CAChB,OAAO,SAAS,qBAAqB,GAAG,8BAA8B,EACtE,OAAO,EAAE,kBAAkB,CAAC,OAAO,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAQ/D,UAAU,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC;gBAE5B,UAAU,EAAE,kBAAkB,CAAC,OAAO,CAAC;IAK1D,IAAW,YAAY,IAAI,uBAAuB,CAEjD;IAED,IAAW,oBAAoB,IAAI,oBAAoB,CAEtD;IAEM,cAAc,CACnB,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,EAChC,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;IAY9D,IAAW,mBAAmB,IAAI,mBAAmB,CAEpD;IAED,OAAO,CAAC,QAAQ;IAMhB,IAAW,WAAW,IAAI,aAAa,CAMtC;IAED,IAAW,qBAAqB,IAAI,uBAAuB,CAI1D;IAEM,mBAAmB,IAAI,gBAAgB;IAIvC,MAAM,CAAC,sBAAsB,EAAE,sBAAsB;IAqD/C,KAAK;CAYnB"}

package/dist/protocol/Protocol.js

@@ -1,23 +1,17 @@
 import { log, ModuleContainer, } from "@proto-kit/common";
 import { Lifecycle } from "tsyringe";
-import { StateTransitionProver } from "../prover/statetransition/StateTransitionProver";
-import { BlockProver } from "../prover/block/BlockProver";
+import { NoopBlockHook } from "../hooks/NoopBlockHook";
+import { ProvableSettlementHook } from "../settlement/modularity/ProvableSettlementHook";
+import { NoopSettlementHook } from "../hooks/NoopSettlementHook";
+import { NoopTransactionHook } from "../hooks/NoopTransactionHook";
 import { ProvableTransactionHook } from "./ProvableTransactionHook";
-import { NoopTransactionHook } from "../blockmodules/NoopTransactionHook";
-import { AccountStateModule } from "../blockmodules/AccountStateModule";
 import { ProvableBlockHook } from "./ProvableBlockHook";
-import { NoopBlockHook } from "../blockmodules/NoopBlockHook";
-import { BlockHeightHook } from "../blockmodules/BlockHeightHook";
-import { LastStateRootBlockHook } from "../blockmodules/LastStateRootBlockHook";
-import { ProvableSettlementHook } from "../settlement/ProvableSettlementHook";
-import { NoopSettlementHook } from "../blockmodules/NoopSettlementHook";
 const PROTOCOL_INJECTION_TOKENS = {
     ProvableTransactionHook: "ProvableTransactionHook",
     ProvableBlockHook: "ProvableBlockHook",
     ProvableSettlementHook: "ProvableSettlementHook",
 };
 export class Protocol extends ModuleContainer {
-    // .from() to create Protocol
     static from(modules) {
         return class ScopedProtocol extends Protocol {
             constructor() {
@@ -89,21 +83,13 @@ export class Protocol extends ModuleContainer {
             }
         });
     }
+    async start() {
+        // eslint-disable-next-line guard-for-in
+        for (const moduleName in this.definition.modules) {
+            const protocolModule = this.resolve(moduleName);
+            log.info(`Starting protocol module ${moduleName} (${protocolModule.constructor.name})`);
+            // eslint-disable-next-line no-await-in-loop
+            await protocolModule.start();
+        }
+    }
 }
-export const VanillaProtocol = {
-    create() {
-        return VanillaProtocol.from({});
-    },
-    from(additionalModules) {
-        return Protocol.from({
-            modules: {
-                StateTransitionProver,
-                BlockProver,
-                AccountState: AccountStateModule,
-                BlockHeight: BlockHeightHook,
-                LastStateRoot: LastStateRootBlockHook,
-                ...additionalModules,
-            },
-        });
-    },
-};

package/dist/protocol/ProtocolEnvironment.d.ts

@@ -1,8 +1,8 @@
-import { StateService } from "../state/StateService";
-import { StateServiceProvider } from "../state/StateServiceProvider";
 import { AreProofsEnabled } from "@proto-kit/common";
+import { SimpleAsyncStateService } from "../state/StateService";
+import { StateServiceProvider } from "../state/StateServiceProvider";
 export interface ProtocolEnvironment {
-    get stateService(): StateService;
+    get stateService(): SimpleAsyncStateService;
     get stateServiceProvider(): StateServiceProvider;
     getAreProofsEnabled(): AreProofsEnabled;
 }

package/dist/protocol/ProtocolEnvironment.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ProtocolEnvironment.d.ts","sourceRoot":"","sources":["../../src/protocol/ProtocolEnvironment.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAErD,MAAM,WAAW,mBAAmB;IAClC,IAAI,YAAY,IAAI,YAAY,CAAA;IAChC,IAAI,oBAAoB,IAAI,oBAAoB,CAAA;IAChD,mBAAmB,IAAI,gBAAgB,CAAA;CACxC"}
+{"version":3,"file":"ProtocolEnvironment.d.ts","sourceRoot":"","sources":["../../src/protocol/ProtocolEnvironment.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAErD,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAErE,MAAM,WAAW,mBAAmB;IAClC,IAAI,YAAY,IAAI,uBAAuB,CAAC;IAC5C,IAAI,oBAAoB,IAAI,oBAAoB,CAAC;IACjD,mBAAmB,IAAI,gBAAgB,CAAC;CACzC"}

package/dist/protocol/ProtocolModule.d.ts

@@ -4,5 +4,6 @@ export declare abstract class ProtocolModule<Config = NoConfig> extends Configur
     protocol?: ProtocolEnvironment;
     get appChain(): AreProofsEnabled | undefined;
     create(childContainerProvider: ChildContainerProvider): void;
+    start(): Promise<void>;
 }
 //# sourceMappingURL=ProtocolModule.d.ts.map

package/dist/protocol/ProtocolModule.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ProtocolModule.d.ts","sourceRoot":"","sources":["../../src/protocol/ProtocolModule.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,sBAAsB,EACtB,kBAAkB,EAAE,QAAQ,EAE7B,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAE5D,8BAAsB,cAAc,CAClC,MAAM,GAAG,QAAQ,CACjB,SAAQ,kBAAkB,CAAC,MAAM,CAAC;IAC3B,QAAQ,CAAC,EAAE,mBAAmB,CAAC;IAEtC,IAAW,QAAQ,IAAI,gBAAgB,GAAG,SAAS,CAElD;IAGM,MAAM,CAAC,sBAAsB,EAAE,sBAAsB,GAAG,IAAI;CAGpE"}
+{"version":3,"file":"ProtocolModule.d.ts","sourceRoot":"","sources":["../../src/protocol/ProtocolModule.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,sBAAsB,EACtB,kBAAkB,EAClB,QAAQ,EAET,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAE5D,8BAAsB,cAAc,CAClC,MAAM,GAAG,QAAQ,CACjB,SAAQ,kBAAkB,CAAC,MAAM,CAAC;IAC3B,QAAQ,CAAC,EAAE,mBAAmB,CAAC;IAEtC,IAAW,QAAQ,IAAI,gBAAgB,GAAG,SAAS,CAElD;IAEM,MAAM,CAAC,sBAAsB,EAAE,sBAAsB,GAAG,IAAI;IAItD,KAAK;CAGnB"}

package/dist/protocol/ProtocolModule.js

@@ -1,10 +1,12 @@
-import { ConfigurableModule, noop } from "@proto-kit/common";
+import { ConfigurableModule, noop, } from "@proto-kit/common";
 export class ProtocolModule extends ConfigurableModule {
     get appChain() {
         return this.protocol?.getAreProofsEnabled();
     }
-    // eslint-disable-next-line @typescript-eslint/no-unused-vars
     create(childContainerProvider) {
         noop();
     }
+    async start() {
+        noop();
+    }
 }

package/dist/protocol/ProvableBlockHook.d.ts

@@ -2,7 +2,7 @@ import type { BlockProverState } from "../prover/block/BlockProver";
 import { NetworkState } from "../model/network/NetworkState";
 import { TransitioningProtocolModule } from "./TransitioningProtocolModule";
 export declare abstract class ProvableBlockHook<Config> extends TransitioningProtocolModule<Config> {
-    abstract beforeBlock(networkState: NetworkState, state: BlockProverState): NetworkState;
-    abstract afterBlock(networkState: NetworkState, state: BlockProverState): NetworkState;
+    abstract beforeBlock(networkState: NetworkState, state: BlockProverState): Promise<NetworkState>;
+    abstract afterBlock(networkState: NetworkState, state: BlockProverState): Promise<NetworkState>;
 }
 //# sourceMappingURL=ProvableBlockHook.d.ts.map

package/dist/protocol/ProvableBlockHook.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ProvableBlockHook.d.ts","sourceRoot":"","sources":["../../src/protocol/ProvableBlockHook.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAE7D,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAG5E,8BAAsB,iBAAiB,CACrC,MAAM,CACN,SAAQ,2BAA2B,CAAC,MAAM,CAAC;aAC3B,WAAW,CACzB,YAAY,EAAE,YAAY,EAC1B,KAAK,EAAE,gBAAgB,GACtB,YAAY;aAEC,UAAU,CACxB,YAAY,EAAE,YAAY,EAC1B,KAAK,EAAE,gBAAgB,GACtB,YAAY;CAChB"}
+{"version":3,"file":"ProvableBlockHook.d.ts","sourceRoot":"","sources":["../../src/protocol/ProvableBlockHook.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAE7D,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAG5E,8BAAsB,iBAAiB,CACrC,MAAM,CACN,SAAQ,2BAA2B,CAAC,MAAM,CAAC;aAC3B,WAAW,CACzB,YAAY,EAAE,YAAY,EAC1B,KAAK,EAAE,gBAAgB,GACtB,OAAO,CAAC,YAAY,CAAC;aAER,UAAU,CACxB,YAAY,EAAE,YAAY,EAC1B,KAAK,EAAE,gBAAgB,GACtB,OAAO,CAAC,YAAY,CAAC;CACzB"}

package/dist/protocol/ProvableTransactionHook.d.ts

@@ -2,6 +2,6 @@ import { NoConfig } from "@proto-kit/common";
 import { BlockProverExecutionData } from "../prover/block/BlockProvable";
 import { TransitioningProtocolModule } from "./TransitioningProtocolModule";
 export declare abstract class ProvableTransactionHook<Config = NoConfig> extends TransitioningProtocolModule<Config> {
-    abstract onTransaction(executionData: BlockProverExecutionData): void;
+    abstract onTransaction(executionData: BlockProverExecutionData): Promise<void>;
 }
 //# sourceMappingURL=ProvableTransactionHook.d.ts.map

package/dist/protocol/ProvableTransactionHook.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ProvableTransactionHook.d.ts","sourceRoot":"","sources":["../../src/protocol/ProvableTransactionHook.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAEzE,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAE5E,8BAAsB,uBAAuB,CAC3C,MAAM,GAAG,QAAQ,CACjB,SAAQ,2BAA2B,CAAC,MAAM,CAAC;aAC3B,aAAa,CAAC,aAAa,EAAE,wBAAwB,GAAG,IAAI;CAC7E"}
+{"version":3,"file":"ProvableTransactionHook.d.ts","sourceRoot":"","sources":["../../src/protocol/ProvableTransactionHook.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAEzE,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAE5E,8BAAsB,uBAAuB,CAC3C,MAAM,GAAG,QAAQ,CACjB,SAAQ,2BAA2B,CAAC,MAAM,CAAC;aAC3B,aAAa,CAC3B,aAAa,EAAE,wBAAwB,GACtC,OAAO,CAAC,IAAI,CAAC;CACjB"}