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

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

@@ -0,0 +1,110 @@
+import { Bool, Field, Scalar, Signature, UInt64 } from "o1js";
+import { RuntimeTransaction } from "./RuntimeTransaction";
+declare const SignedTransaction_base: (new (value: {
+    transaction: RuntimeTransaction;
+    signature: Signature;
+}) => {
+    transaction: RuntimeTransaction;
+    signature: Signature;
+}) & {
+    _isStruct: true;
+} & import("o1js/dist/node/lib/provable/provable").Provable<{
+    transaction: RuntimeTransaction;
+    signature: Signature;
+}, {
+    transaction: {
+        methodId: bigint;
+        argsHash: bigint;
+        nonce: {
+            isSome: boolean;
+            value: any;
+        };
+        sender: {
+            isSome: boolean;
+            value: any;
+        };
+    };
+    signature: any;
+}> & {
+    fromValue: (value: {
+        transaction: RuntimeTransaction | {
+            methodId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+            argsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+            nonce: import("./ValueOption").UInt64Option | {
+                isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+                value: any;
+            };
+            sender: import("./ValueOption").PublicKeyOption | {
+                isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+                value: any;
+            };
+        };
+        signature: Signature | {
+            r: bigint | import("o1js/dist/node/lib/provable/field").Field;
+            s: bigint | Scalar;
+        };
+    }) => {
+        transaction: RuntimeTransaction;
+        signature: Signature;
+    };
+    toInput: (x: {
+        transaction: RuntimeTransaction;
+        signature: Signature;
+    }) => {
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        transaction: RuntimeTransaction;
+        signature: Signature;
+    }) => {
+        transaction: {
+            methodId: string;
+            argsHash: string;
+            nonce: {
+                isSome: boolean;
+                value: any;
+            };
+            sender: {
+                isSome: boolean;
+                value: any;
+            };
+        };
+        signature: any;
+    };
+    fromJSON: (x: {
+        transaction: {
+            methodId: string;
+            argsHash: string;
+            nonce: {
+                isSome: boolean;
+                value: any;
+            };
+            sender: {
+                isSome: boolean;
+                value: any;
+            };
+        };
+        signature: any;
+    }) => {
+        transaction: RuntimeTransaction;
+        signature: Signature;
+    };
+    empty: () => {
+        transaction: RuntimeTransaction;
+        signature: Signature;
+    };
+};
+export declare class SignedTransaction extends SignedTransaction_base {
+    static getSignatureData(args: {
+        methodId: Field;
+        nonce: UInt64;
+        argsHash: Field;
+    }): Field[];
+    static dummy(): SignedTransaction;
+    hash(): Field;
+    getSignatureData(): Field[];
+    validateSignature(): Bool;
+}
+export {};
+//# sourceMappingURL=SignedTransaction.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"SignedTransaction.d.ts","sourceRoot":"","sources":["../../../src/model/transaction/SignedTransaction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAU,MAAM,EAAE,MAAM,MAAM,CAAC;AAEtE,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE1D,qBAAa,iBAAkB,SAAQ,sBAGrC;WACc,gBAAgB,CAAC,IAAI,EAAE;QACnC,QAAQ,EAAE,KAAK,CAAC;QAChB,KAAK,EAAE,MAAM,CAAC;QACd,QAAQ,EAAE,KAAK,CAAC;KACjB,GAAG,KAAK,EAAE;WAIG,KAAK,IAAI,iBAAiB;IAWjC,IAAI,IAAI,KAAK;IAIb,gBAAgB,IAAI,KAAK,EAAE;IAS3B,iBAAiB,IAAI,IAAI;CAMjC"}

package/dist/model/transaction/SignedTransaction.js

@@ -0,0 +1,34 @@
+import { Field, Scalar, Signature, Struct } from "o1js";
+import { RuntimeTransaction } from "./RuntimeTransaction";
+export class SignedTransaction extends Struct({
+    transaction: RuntimeTransaction,
+    signature: Signature,
+}) {
+    static getSignatureData(args) {
+        return [args.methodId, ...args.nonce.value.toFields(), args.argsHash];
+    }
+    static dummy() {
+        return new SignedTransaction({
+            transaction: RuntimeTransaction.dummyTransaction(),
+            signature: Signature.fromObject({
+                s: Scalar.from(0),
+                r: Field(0),
+            }),
+        });
+    }
+    hash() {
+        return this.transaction.hash();
+    }
+    getSignatureData() {
+        const { methodId, argsHash, nonce } = this.transaction;
+        return SignedTransaction.getSignatureData({
+            nonce: nonce.value,
+            methodId,
+            argsHash,
+        });
+    }
+    validateSignature() {
+        return this.signature.verify(this.transaction.sender.value, this.getSignatureData());
+    }
+}
+//# sourceMappingURL=SignedTransaction.js.map

package/dist/model/transaction/SignedTransaction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"SignedTransaction.js","sourceRoot":"","sources":["../../../src/model/transaction/SignedTransaction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAU,MAAM,MAAM,CAAC;AAEtE,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAE1D,MAAM,OAAO,iBAAkB,SAAQ,MAAM,CAAC;IAC5C,WAAW,EAAE,kBAAkB;IAC/B,SAAS,EAAE,SAAS;CACrB,CAAC;IACO,MAAM,CAAC,gBAAgB,CAAC,IAI9B;QACC,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxE,CAAC;IAEM,MAAM,CAAC,KAAK;QACjB,OAAO,IAAI,iBAAiB,CAAC;YAC3B,WAAW,EAAE,kBAAkB,CAAC,gBAAgB,EAAE;YAElD,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC;gBAC9B,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;gBACjB,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;aACZ,CAAC;SACH,CAAC,CAAC;IACL,CAAC;IAEM,IAAI;QACT,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;IACjC,CAAC;IAEM,gBAAgB;QACrB,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC;QACvD,OAAO,iBAAiB,CAAC,gBAAgB,CAAC;YACxC,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,QAAQ;YACR,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IAEM,iBAAiB;QACtB,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAC1B,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,EAC7B,IAAI,CAAC,gBAAgB,EAAE,CACxB,CAAC;IACJ,CAAC;CACF"}

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

@@ -0,0 +1,187 @@
+import { PublicKey, UInt64 } from "o1js";
+declare const UInt64Option_base: {
+    new (value: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    }): {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    };
+    fromSome(value: UInt64): {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    };
+    none(value: UInt64): {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    };
+    _isStruct: true;
+    toFields: (value: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    }) => import("o1js/dist/node/lib/provable/field").Field[];
+    toAuxiliary: (value?: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    } | undefined) => any[];
+    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/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;
+    });
+    toCanonical?: ((x: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    }) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    }) | undefined;
+    toInput: (x: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    }) => {
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    }) => {
+        isSome: boolean;
+        value: any;
+    };
+    fromJSON: (x: {
+        isSome: boolean;
+        value: any;
+    }) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    };
+    empty: () => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    };
+};
+export declare class UInt64Option extends UInt64Option_base {
+}
+declare const PublicKeyOption_base: {
+    new (value: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    }): {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    };
+    fromSome(value: PublicKey): {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    };
+    none(value: PublicKey): {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    };
+    _isStruct: true;
+    toFields: (value: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    }) => import("o1js/dist/node/lib/provable/field").Field[];
+    toAuxiliary: (value?: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    } | undefined) => any[];
+    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/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;
+    });
+    toCanonical?: ((x: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    }) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    }) | undefined;
+    toInput: (x: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    }) => {
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    }) => {
+        isSome: boolean;
+        value: any;
+    };
+    fromJSON: (x: {
+        isSome: boolean;
+        value: any;
+    }) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    };
+    empty: () => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    };
+};
+export declare class PublicKeyOption extends PublicKeyOption_base {
+}
+export {};
+//# sourceMappingURL=ValueOption.d.ts.map

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

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

package/dist/model/transaction/ValueOption.js

@@ -0,0 +1,25 @@
+import { Bool, PublicKey, Struct, UInt64 } from "o1js";
+function genericOptionFactory(valueType) {
+    return class Generic extends Struct({
+        isSome: Bool,
+        value: valueType,
+    }) {
+        static fromSome(value) {
+            return new Generic({
+                isSome: Bool(true),
+                value,
+            });
+        }
+        static none(value) {
+            return new Generic({
+                isSome: Bool(false),
+                value,
+            });
+        }
+    };
+}
+export class UInt64Option extends genericOptionFactory(UInt64) {
+}
+export class PublicKeyOption extends genericOptionFactory(PublicKey) {
+}
+//# sourceMappingURL=ValueOption.js.map

package/dist/model/transaction/ValueOption.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ValueOption.js","sourceRoot":"","sources":["../../../src/model/transaction/ValueOption.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAoB,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAEzE,SAAS,oBAAoB,CAAO,SAAiC;IACnE,OAAO,MAAM,OAAQ,SAAQ,MAAM,CAAC;QAClC,MAAM,EAAE,IAAI;QACZ,KAAK,EAAE,SAAS;KACjB,CAAC;QACO,MAAM,CAAC,QAAQ,CAAC,KAAW;YAChC,OAAO,IAAI,OAAO,CAAC;gBACjB,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;gBAClB,KAAK;aACN,CAAC,CAAC;QACL,CAAC;QAEM,MAAM,CAAC,IAAI,CAAC,KAAW;YAC5B,OAAO,IAAI,OAAO,CAAC;gBACjB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC;gBACnB,KAAK;aACN,CAAC,CAAC;QACL,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,OAAO,YAAa,SAAQ,oBAAoB,CAAS,MAAM,CAAC;CAAG;AAEzE,MAAM,OAAO,eAAgB,SAAQ,oBAAoB,CACvD,SAAS,CACV;CAAG"}

package/dist/protocol/Protocol.d.ts

@@ -1,37 +1,63 @@
-import { ModuleContainer, ModulesRecord, StringKeyOf, TypedClass } from "@proto-kit/common";
+import { AreProofsEnabled, ChildContainerProvider, ModuleContainer, ModulesRecord, Startable, StringKeyOf, TypedClass } from "@proto-kit/common";
 import { DependencyContainer } from "tsyringe";
-import { BlockProvable, BlockProverPublicInput, BlockProverPublicOutput } from "../prover/block/BlockProvable";
+import { BlockProvable } from "../prover/block/BlockProvable";
+import { StateTransitionProvable } from "../prover/statetransition/StateTransitionProvable";
+import { StateServiceProvider } from "../state/StateServiceProvider";
+import { SimpleAsyncStateService } from "../state/StateService";
+import { BlockHeightHook } from "../hooks/BlockHeightHook";
+import { LastStateRootBlockHook } from "../hooks/LastStateRootBlockHook";
+import { AccountStateHook } from "../hooks/AccountStateHook";
+import { TransactionProvable } from "../prover/transaction/TransactionProvable";
 import { StateTransitionProver } from "../prover/statetransition/StateTransitionProver";
-import { StateTransitionProvable, StateTransitionProverPublicInput, StateTransitionProverPublicOutput } from "../prover/statetransition/StateTransitionProvable";
+import { TransactionProver } from "../prover/transaction/TransactionProver";
 import { BlockProver } from "../prover/block/BlockProver";
 import { ProtocolModule } from "./ProtocolModule";
-export type GenericProtocolModuleRecord = ModulesRecord<TypedClass<ProtocolModule<any, any>>>;
-interface BlockProverType extends ProtocolModule<BlockProverPublicInput, BlockProverPublicOutput>, BlockProvable {
+import { ProtocolEnvironment } from "./ProtocolEnvironment";
+export type ProtocolModulesRecord = ModulesRecord<TypedClass<ProtocolModule<unknown>>>;
+export interface TransactionProverType extends ProtocolModule, TransactionProvable {
 }
-interface StateTransitionProverType extends ProtocolModule<StateTransitionProverPublicInput, StateTransitionProverPublicOutput>, StateTransitionProvable {
+export interface BlockProverType extends ProtocolModule, BlockProvable {
 }
-export interface ProtocolCustomModulesRecord {
+export interface StateTransitionProverType extends ProtocolModule, StateTransitionProvable {
+}
+export type MandatoryProtocolModulesRecord = {
+    TransactionProver: TypedClass<TransactionProverType>;
     BlockProver: TypedClass<BlockProverType>;
     StateTransitionProver: TypedClass<StateTransitionProverType>;
-}
-export interface ProtocolModulesRecord extends GenericProtocolModuleRecord, ProtocolCustomModulesRecord {
-}
-export interface ProtocolDefinition<Modules extends ProtocolModulesRecord> {
-    modules: Modules;
-}
-export declare class Protocol<Modules extends ProtocolModulesRecord> extends ModuleContainer<Modules> {
-    static from<Modules extends ProtocolModulesRecord>(modules: ProtocolDefinition<Modules>): Protocol<Modules>;
+    AccountState: TypedClass<AccountStateHook>;
+    BlockHeight: TypedClass<BlockHeightHook>;
+    LastStateRoot: TypedClass<LastStateRootBlockHook>;
+};
+export declare class Protocol<Modules extends ProtocolModulesRecord & MandatoryProtocolModulesRecord> extends ModuleContainer<Modules> implements ProtocolEnvironment, Startable {
+    static from<Modules extends ProtocolModulesRecord & MandatoryProtocolModulesRecord>(modules: Modules): TypedClass<Protocol<Modules>>;
+    definition: Modules;
+    constructor(definition: Modules);
+    get stateService(): SimpleAsyncStateService;
+    get stateServiceProvider(): StateServiceProvider;
     decorateModule(moduleName: StringKeyOf<Modules>, containedModule: InstanceType<Modules[StringKeyOf<Modules>]>): void;
     get dependencyContainer(): DependencyContainer;
     private isModule;
+    get transactionProver(): TransactionProvable;
     get blockProver(): BlockProvable;
     get stateTransitionProver(): StateTransitionProvable;
-}
-export declare const VanillaProtocol: {
-    create(): Protocol<{
+    static defaultModules(): {
         StateTransitionProver: typeof StateTransitionProver;
+        TransactionProver: typeof TransactionProver;
         BlockProver: typeof BlockProver;
-    }>;
-};
-export {};
+        AccountState: typeof AccountStateHook;
+        BlockHeight: typeof BlockHeightHook;
+        LastStateRoot: typeof LastStateRootBlockHook;
+    };
+    static defaultConfig(): {
+        StateTransitionProver: {};
+        TransactionProver: {};
+        BlockProver: {};
+        AccountState: {};
+        BlockHeight: {};
+        LastStateRoot: {};
+    };
+    getAreProofsEnabled(): AreProofsEnabled;
+    create(childContainerProvider: ChildContainerProvider): void;
+    start(): Promise<void>;
+}
 //# 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,EAEL,eAAe,EAEf,aAAa,EACb,WAAW,EACX,UAAU,EACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,mBAAmB,EAAE,MAAM,UAAU,CAAC;AAE/C,OAAO,EACL,aAAa,EACb,sBAAsB,EACtB,uBAAuB,EACxB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AACxF,OAAO,EACL,uBAAuB,EACvB,gCAAgC,EAChC,iCAAiC,EAClC,MAAM,mDAAmD,CAAC;AAC3D,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAE1D,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAElD,MAAM,MAAM,2BAA2B,GAAG,aAAa,CACrD,UAAU,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CACrC,CAAC;AAEF,UAAU,eACR,SAAQ,cAAc,CAAC,sBAAsB,EAAE,uBAAuB,CAAC,EACrE,aAAa;CAAG;AAEpB,UAAU,yBACR,SAAQ,cAAc,CAClB,gCAAgC,EAChC,iCAAiC,CAClC,EACD,uBAAuB;CAAG;AAE9B,MAAM,WAAW,2BAA2B;IAC1C,WAAW,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC;IACzC,qBAAqB,EAAE,UAAU,CAAC,yBAAyB,CAAC,CAAC;CAC9D;AAED,MAAM,WAAW,qBACf,SAAQ,2BAA2B,EACjC,2BAA2B;CAAG;AAElC,MAAM,WAAW,kBAAkB,CAAC,OAAO,SAAS,qBAAqB;IACvE,OAAO,EAAE,OAAO,CAAC;CAElB;AAED,qBAAa,QAAQ,CACnB,OAAO,SAAS,qBAAqB,CACrC,SAAQ,eAAe,CAAC,OAAO,CAAC;WAElB,IAAI,CAAC,OAAO,SAAS,qBAAqB,EACtD,OAAO,EAAE,kBAAkB,CAAC,OAAO,CAAC;IAsB/B,cAAc,CACnB,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,EAChC,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;IAQ9D,IAAW,mBAAmB,IAAI,mBAAmB,CAEpD;IAED,OAAO,CAAC,QAAQ;IAMhB,IAAW,WAAW,IAAI,aAAa,CAMtC;IAED,IAAW,qBAAqB,IAAI,uBAAuB,CAI1D;CACF;AAED,eAAO,MAAM,eAAe;cAChB,SAAS;QACjB,uBAAuB,4BAA4B,CAAC;QACpD,aAAa,kBAAkB,CAAC;KACjC,CAAC;CAQH,CAAC"}
+{"version":3,"file":"Protocol.d.ts","sourceRoot":"","sources":["../../src/protocol/Protocol.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,sBAAsB,EAEtB,eAAe,EAEf,aAAa,EACb,SAAS,EACT,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;AAE7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,2CAA2C,CAAC;AAChF,OAAO,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AACxF,OAAO,EAAE,iBAAiB,EAAE,MAAM,yCAAyC,CAAC;AAC5E,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAE1D,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAElD,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAgB5D,MAAM,MAAM,qBAAqB,GAAG,aAAa,CAC/C,UAAU,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CACpC,CAAC;AAEF,MAAM,WAAW,qBACf,SAAQ,cAAc,EACpB,mBAAmB;CAAG;AAE1B,MAAM,WAAW,eAAgB,SAAQ,cAAc,EAAE,aAAa;CAAG;AAEzE,MAAM,WAAW,yBACf,SAAQ,cAAc,EACpB,uBAAuB;CAAG;AAE9B,MAAM,MAAM,8BAA8B,GAAG;IAC3C,iBAAiB,EAAE,UAAU,CAAC,qBAAqB,CAAC,CAAC;IACrD,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,qBAAa,QAAQ,CACjB,OAAO,SAAS,qBAAqB,GAAG,8BAA8B,CAExE,SAAQ,eAAe,CAAC,OAAO,CAC/B,YAAW,mBAAmB,EAAE,SAAS;WAE3B,IAAI,CAChB,OAAO,SAAS,qBAAqB,GAAG,8BAA8B,EACtE,OAAO,EAAE,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAU3C,UAAU,EAAE,OAAO,CAAC;gBAER,UAAU,EAAE,OAAO;IAKtC,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,iBAAiB,IAAI,mBAAmB,CAMlD;IAED,IAAW,WAAW,IAAI,aAAa,CAMtC;IAED,IAAW,qBAAqB,IAAI,uBAAuB,CAI1D;WAEa,cAAc;;;;;;;;WAWd,aAAa;;;;;;;;IAWpB,mBAAmB,IAAI,gBAAgB;IAIvC,MAAM,CAAC,sBAAsB,EAAE,sBAAsB;IAyE/C,KAAK;CAYnB"}

package/dist/protocol/Protocol.js

@@ -1,33 +1,65 @@
 import { log, ModuleContainer, } from "@proto-kit/common";
+import { Lifecycle } from "tsyringe";
+import { NoopBlockHook } from "../hooks/NoopBlockHook";
+import { BlockHeightHook } from "../hooks/BlockHeightHook";
+import { LastStateRootBlockHook } from "../hooks/LastStateRootBlockHook";
+import { ProvableSettlementHook } from "../settlement/modularity/ProvableSettlementHook";
+import { NoopSettlementHook } from "../hooks/NoopSettlementHook";
+import { AccountStateHook } from "../hooks/AccountStateHook";
+import { NoopTransactionHook } from "../hooks/NoopTransactionHook";
 import { StateTransitionProver } from "../prover/statetransition/StateTransitionProver";
+import { TransactionProver } from "../prover/transaction/TransactionProver";
 import { BlockProver } from "../prover/block/BlockProver";
+import { ProvableTransactionHook } from "./ProvableTransactionHook";
+import { ProvableBlockHook } from "./ProvableBlockHook";
+import { TransitioningProtocolModule } from "./TransitioningProtocolModule";
+/**
+ * This is a mapping of abstract classes to their respective injection tokens.
+ * Keys are the abstract classes names, which need to be set dynamically
+ * and can't be hardcoded since producing optimized builds may mangle the
+ * class names, making them different from the ones in the source code.
+ */
+const PROTOCOL_INJECTION_TOKENS = {
+    [ProvableTransactionHook.name]: "ProvableTransactionHook",
+    [ProvableBlockHook.name]: "ProvableBlockHook",
+    [ProvableSettlementHook.name]: "ProvableSettlementHook",
+};
 export class Protocol extends ModuleContainer {
-    // .from() to create Protocol
     static from(modules) {
-        const protocol = new Protocol(modules);
-        // Set empty config for all modules, since we don't have that feature yet
-        // eslint-disable-next-line max-len
-        // eslint-disable-next-line @typescript-eslint/no-explicit-any,@typescript-eslint/no-unsafe-assignment
-        const emptyConfig = Object.keys(modules.modules).reduce((agg, item) => {
-            // eslint-disable-next-line @typescript-eslint/no-unsafe-member-access
-            agg[item] = {};
-            // eslint-disable-next-line @typescript-eslint/no-unsafe-return
-            return agg;
-        }, {});
-        // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
-        protocol.configure(emptyConfig);
-        return protocol;
+        return class ScopedProtocol extends Protocol {
+            constructor() {
+                super(modules);
+            }
+        };
+    }
+    constructor(definition) {
+        super(definition);
+        this.definition = definition;
+    }
+    get stateService() {
+        return this.stateServiceProvider.stateService;
+    }
+    get stateServiceProvider() {
+        return this.container.resolve("StateServiceProvider");
     }
     decorateModule(moduleName, containedModule) {
         log.debug(`Decorated ${moduleName}`);
-        containedModule.protocol = this;
+        containedModule.parent = this;
+        if (containedModule instanceof TransitioningProtocolModule) {
+            containedModule.name = moduleName;
+        }
         super.decorateModule(moduleName, containedModule);
     }
     get dependencyContainer() {
         return this.container;
     }
     isModule(moduleName) {
-        return this.definition.modules[moduleName] !== undefined;
+        return this.definition[moduleName] !== undefined;
+    }
+    get transactionProver() {
+        // Why do I resolve directly here?
+        // I don't know exactly but generics don't let me use .resolve()
+        return this.container.resolve("TransactionProver");
     }
     get blockProver() {
         // Why do I resolve directly here?
@@ -37,14 +69,83 @@ export class Protocol extends ModuleContainer {
     get stateTransitionProver() {
         return this.container.resolve("StateTransitionProver");
     }
-}
-export const VanillaProtocol = {
-    create() {
-        return Protocol.from({
-            modules: {
-                StateTransitionProver,
-                BlockProver,
-            },
+    static defaultModules() {
+        return {
+            StateTransitionProver,
+            TransactionProver,
+            BlockProver,
+            AccountState: AccountStateHook,
+            BlockHeight: BlockHeightHook,
+            LastStateRoot: LastStateRootBlockHook,
+        };
+    }
+    static defaultConfig() {
+        return {
+            StateTransitionProver: {},
+            TransactionProver: {},
+            BlockProver: {},
+            AccountState: {},
+            BlockHeight: {},
+            LastStateRoot: {},
+        };
+    }
+    getAreProofsEnabled() {
+        return this.container.resolve("AreProofsEnabled");
+    }
+    create(childContainerProvider) {
+        super.create(childContainerProvider);
+        // Register the BlockModules seperately since we need to
+        // inject them differently later
+        const ABSTRACT_MODULE_TYPES = [
+            { type: ProvableTransactionHook, defaultType: NoopTransactionHook },
+            { type: ProvableBlockHook, defaultType: NoopBlockHook },
+            { type: ProvableSettlementHook, defaultType: NoopSettlementHook },
+        ];
+        ABSTRACT_MODULE_TYPES.forEach((moduleTypeRegistration) => {
+            const abstractType = moduleTypeRegistration.type;
+            const implementingModules = Object.entries(this.definition).filter(([, value]) => Object.prototype.isPrototypeOf.call(abstractType, value));
+            const newInjectionToken = PROTOCOL_INJECTION_TOKENS[abstractType.name];
+            if (newInjectionToken === undefined) {
+                log.error("Can't inject hook under the underlying hook token: Alias not found in mapping");
+                return;
+            }
+            implementingModules.forEach(([key]) => {
+                this.container.register(newInjectionToken, { useToken: key }, { lifecycle: Lifecycle.ContainerScoped });
+            });
+            if (implementingModules.length === 0) {
+                // This type annotation shouldn't change anything but is necessary
+                // bcs tsyringe complains
+                const { defaultType } = moduleTypeRegistration;
+                // Register default (noop) version
+                this.container.register(newInjectionToken, { useClass: defaultType }, { lifecycle: Lifecycle.ContainerScoped });
+            }
         });
-    },
-};
+        // Cross-register all runtime modules to the protocol container for easier
+        // access of runtime modules inside protocol hooks
+        if (this.container.isRegistered("Runtime", true)) {
+            const runtimeContainer = this.container.resolve("Runtime");
+            runtimeContainer.moduleNames.forEach((runtimeModuleName) => {
+                this.container.register(runtimeModuleName, {
+                    useFactory: (dependencyContainer) => {
+                        // Prevents creation of closure
+                        const runtime = dependencyContainer.resolve("Runtime");
+                        return runtime.resolve(runtimeModuleName);
+                    },
+                });
+            });
+        }
+        else {
+            log.warn("Couldn't resolve Runtime reference in Protocol, resolving RuntimeModules in hooks won't be available");
+        }
+    }
+    async start() {
+        // eslint-disable-next-line guard-for-in
+        for (const moduleName in this.definition) {
+            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();
+        }
+    }
+}
+//# sourceMappingURL=Protocol.js.map

package/dist/protocol/Protocol.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Protocol.js","sourceRoot":"","sources":["../../src/protocol/Protocol.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,GAAG,EACH,eAAe,GAMhB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAuB,SAAS,EAAE,MAAM,UAAU,CAAC;AAM1D,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,iDAAiD,CAAC;AACzF,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAEnE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AACxF,OAAO,EAAE,iBAAiB,EAAE,MAAM,yCAAyC,CAAC;AAC5E,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAG1D,OAAO,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AAEpE,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAE5E;;;;;GAKG;AACH,MAAM,yBAAyB,GAA2B;IACxD,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,yBAAyB;IACzD,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,mBAAmB;IAC7C,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,wBAAwB;CACxD,CAAC;AAyBF,MAAM,OAAO,QAGX,SAAQ,eAAwB;IAGzB,MAAM,CAAC,IAAI,CAEhB,OAAgB;QAChB,OAAO,MAAM,cAAe,SAAQ,QAAiB;YACnD;gBACE,KAAK,CAAC,OAAO,CAAC,CAAC;YACjB,CAAC;SACF,CAAC;IACJ,CAAC;IAMD,YAAmB,UAAmB;QACpC,KAAK,CAAC,UAAU,CAAC,CAAC;QAClB,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;IAC/B,CAAC;IAED,IAAW,YAAY;QACrB,OAAO,IAAI,CAAC,oBAAoB,CAAC,YAAY,CAAC;IAChD,CAAC;IAED,IAAW,oBAAoB;QAC7B,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAuB,sBAAsB,CAAC,CAAC;IAC9E,CAAC;IAEM,cAAc,CACnB,UAAgC,EAChC,eAA4D;QAE5D,GAAG,CAAC,KAAK,CAAC,aAAa,UAAU,EAAE,CAAC,CAAC;QACrC,eAAe,CAAC,MAAM,GAAG,IAAI,CAAC;QAE9B,IAAI,eAAe,YAAY,2BAA2B,EAAE;YAC1D,eAAe,CAAC,IAAI,GAAG,UAAU,CAAC;SACnC;QAED,KAAK,CAAC,cAAc,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;IACpD,CAAC;IAED,IAAW,mBAAmB;QAC5B,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;IAEO,QAAQ,CACd,UAAyB;QAEzB,OAAO,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,SAAS,CAAC;IACnD,CAAC;IAED,IAAW,iBAAiB;QAC1B,kCAAkC;QAClC,gEAAgE;QAChE,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAC3B,mBAAmB,CACpB,CAAC;IACJ,CAAC;IAED,IAAW,WAAW;QACpB,kCAAkC;QAClC,gEAAgE;QAChE,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAC3B,aAAa,CACd,CAAC;IACJ,CAAC;IAED,IAAW,qBAAqB;QAC9B,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAE3B,uBAAuB,CAAC,CAAC;IAC7B,CAAC;IAEM,MAAM,CAAC,cAAc;QAC1B,OAAO;YACL,qBAAqB;YACrB,iBAAiB;YACjB,WAAW;YACX,YAAY,EAAE,gBAAgB;YAC9B,WAAW,EAAE,eAAe;YAC5B,aAAa,EAAE,sBAAsB;SACtC,CAAC;IACJ,CAAC;IAEM,MAAM,CAAC,aAAa;QACzB,OAAO;YACL,qBAAqB,EAAE,EAAE;YACzB,iBAAiB,EAAE,EAAE;YACrB,WAAW,EAAE,EAAE;YACf,YAAY,EAAE,EAAE;YAChB,WAAW,EAAE,EAAE;YACf,aAAa,EAAE,EAAE;SACkD,CAAC;IACxE,CAAC;IAEM,mBAAmB;QACxB,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAmB,kBAAkB,CAAC,CAAC;IACtE,CAAC;IAEM,MAAM,CAAC,sBAA8C;QAC1D,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;QAErC,wDAAwD;QACxD,gCAAgC;QAChC,MAAM,qBAAqB,GAAG;YAC5B,EAAE,IAAI,EAAE,uBAAuB,EAAE,WAAW,EAAE,mBAAmB,EAAE;YACnE,EAAE,IAAI,EAAE,iBAAiB,EAAE,WAAW,EAAE,aAAa,EAAE;YACvD,EAAE,IAAI,EAAE,sBAAsB,EAAE,WAAW,EAAE,kBAAkB,EAAE;SACzD,CAAC;QAEX,qBAAqB,CAAC,OAAO,CAAC,CAAC,sBAAsB,EAAE,EAAE;YACvD,MAAM,YAAY,GAAG,sBAAsB,CAAC,IAAI,CAAC;YAEjD,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,CAChE,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,CACxE,CAAC;YAEF,MAAM,iBAAiB,GACrB,yBAAyB,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;YAE/C,IAAI,iBAAiB,KAAK,SAAS,EAAE;gBACnC,GAAG,CAAC,KAAK,CACP,+EAA+E,CAChF,CAAC;gBACF,OAAO;aACR;YAED,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE;gBACpC,IAAI,CAAC,SAAS,CAAC,QAAQ,CACrB,iBAAiB,EACjB,EAAE,QAAQ,EAAE,GAAG,EAAE,EACjB,EAAE,SAAS,EAAE,SAAS,CAAC,eAAe,EAAE,CACzC,CAAC;YACJ,CAAC,CAAC,CAAC;YACH,IAAI,mBAAmB,CAAC,MAAM,KAAK,CAAC,EAAE;gBACpC,kEAAkE;gBAClE,yBAAyB;gBACzB,MAAM,EAAE,WAAW,EAAE,GACnB,sBAAsB,CAAC;gBAEzB,kCAAkC;gBAClC,IAAI,CAAC,SAAS,CAAC,QAAQ,CACrB,iBAAiB,EACjB,EAAE,QAAQ,EAAE,WAAW,EAAE,EACzB,EAAE,SAAS,EAAE,SAAS,CAAC,eAAe,EAAE,CACzC,CAAC;aACH;QACH,CAAC,CAAC,CAAC;QAEH,0EAA0E;QAC1E,kDAAkD;QAClD,IAAI,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE;YAChD,MAAM,gBAAgB,GACpB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAEpC,gBAAgB,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,iBAAiB,EAAE,EAAE;gBACzD,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,iBAAiB,EAAE;oBACzC,UAAU,EAAE,CAAC,mBAAmB,EAAE,EAAE;wBAClC,+BAA+B;wBAC/B,MAAM,OAAO,GACX,mBAAmB,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;wBACzC,OAAO,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;oBAC5C,CAAC;iBACF,CAAC,CAAC;YACL,CAAC,CAAC,CAAC;SACJ;aAAM;YACL,GAAG,CAAC,IAAI,CACN,sGAAsG,CACvG,CAAC;SACH;IACH,CAAC;IAEM,KAAK,CAAC,KAAK;QAChB,wCAAwC;QACxC,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,UAAU,EAAE;YACxC,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YAEhD,GAAG,CAAC,IAAI,CACN,4BAA4B,UAAU,KAAK,cAAc,CAAC,WAAW,CAAC,IAAI,GAAG,CAC9E,CAAC;YACF,4CAA4C;YAC5C,MAAM,cAAc,CAAC,KAAK,EAAE,CAAC;SAC9B;IACH,CAAC;CACF"}