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

package/dist/prover/block/BlockProver.js

@@ -11,7 +11,7 @@ var __param = (this && this.__param) || function (paramIndex, decorator) {
     return function (target, key) { decorator(target, key, paramIndex); }
 };
 /* eslint-disable max-lines */
-import { Bool, Experimental, Field, Poseidon, Provable, SelfProof } from "o1js";
+import { Bool, Experimental, Field, Poseidon, Provable, SelfProof, } from "o1js";
 import { container, inject, injectable, injectAll } from "tsyringe";
 import { provableMethod, ZkProgrammable, } from "@proto-kit/common";
 import { DefaultProvableHashList } from "../../utils/ProvableHashList";
@@ -21,7 +21,8 @@ import { ProvableStateTransition, } from "../../model/StateTransition";
 import { RuntimeMethodExecutionContext } from "../../state/context/RuntimeMethodExecutionContext";
 import { NetworkState } from "../../model/network/NetworkState";
 import { SignedTransaction } from "../../model/transaction/SignedTransaction";
-import { MinaActions, MinaActionsHashList } from "../../utils/MinaPrefixedProvableHashList";
+import { MinaActions, MinaActionsHashList, } from "../../utils/MinaPrefixedProvableHashList";
+import { StateTransitionReductionList } from "../../utils/StateTransitionReductionList";
 import { BlockProverExecutionData, BlockProverPublicInput, BlockProverPublicOutput, } from "./BlockProvable";
 import { BlockHashMerkleTreeWitness, BlockHashTreeEntry, } from "./accummulators/BlockHashMerkleTree";
 const errors = {
@@ -116,7 +117,7 @@ export class BlockProverProgrammable extends ZkProgrammable {
         const { stateTransitions, status, statusMessage } = executionContext.current().result;
         status.assertTrue(statusMessage);
         const transitions = stateTransitions.map((transition) => transition.toProvable());
-        const hashList = new DefaultProvableHashList(ProvableStateTransition, stateTransitionProof.publicInput.protocolTransitionsHash);
+        const hashList = new StateTransitionReductionList(ProvableStateTransition, stateTransitionProof.publicInput.protocolTransitionsHash);
         transitions.forEach((transition) => {
             hashList.push(transition);
         });
@@ -221,7 +222,7 @@ export class BlockProverProgrammable extends ZkProgrammable {
         transactionProof.verifyIf(verifyTransactionProof);
         // 2. Execute beforeBlock hooks
         const beforeBlockResult = this.executeBlockHooks(state, networkState, "beforeBlock");
-        const beforeBlockHashList = new DefaultProvableHashList(ProvableStateTransition);
+        const beforeBlockHashList = new StateTransitionReductionList(ProvableStateTransition);
         beforeBlockResult.stateTransitions.forEach((st) => {
             beforeBlockHashList.push(st.toProvable());
         });
@@ -246,14 +247,14 @@ export class BlockProverProgrammable extends ZkProgrammable {
         // 5. Execute afterBlock hooks
         this.assertSTProofInput(stateTransitionProof, state.stateRoot);
         const afterBlockResult = this.executeBlockHooks(state, beforeBlockResult.networkState, "afterBlock");
-        const afterBlockHashList = new DefaultProvableHashList(ProvableStateTransition);
+        const afterBlockHashList = new StateTransitionReductionList(ProvableStateTransition);
         afterBlockResult.stateTransitions.forEach((st) => {
             afterBlockHashList.push(st.toProvable());
         });
         state.networkStateHash = afterBlockResult.networkState.hash();
         // We are reusing runtime STs here as afterBlock STs
         stateTransitionProof.publicInput.stateTransitionsHash.assertEquals(afterBlockHashList.commitment, "STProof from-ST-hash not matching generated ST-hash from afterBlock hooks");
-        state.stateRoot = stateTransitionProof.publicInput.stateRoot;
+        state.stateRoot = Provable.if(stsEmitted, stateTransitionProof.publicOutput.stateRoot, state.stateRoot);
         // 6. Close block
         // Calculate the new block index
         const blockIndex = blockWitness.calculateIndex();
@@ -385,6 +386,7 @@ export class BlockProverProgrammable extends ZkProgrammable {
         return {
             compile: program.compile.bind(program),
             verify: program.verify.bind(program),
+            analyzeMethods: program.analyzeMethods.bind(program),
             Proof: SelfProofClass,
             methods,
         };

package/dist/prover/block/accummulators/BlockHashMerkleTree.js

@@ -1,6 +1,6 @@
 import { createMerkleTree } from "@proto-kit/common";
 import { Bool, Field, Poseidon, Struct } from "o1js";
-export class BlockHashMerkleTree extends createMerkleTree(16) {
+export class BlockHashMerkleTree extends createMerkleTree(40) {
 }
 export class BlockHashMerkleTreeWitness extends BlockHashMerkleTree.WITNESS {
 }

package/dist/prover/statetransition/StateTransitionProver.d.ts

@@ -6,6 +6,7 @@ import { ProvableStateTransitionType, StateTransitionProvableBatch } from "../..
 import { ProtocolModule } from "../../protocol/ProtocolModule";
 import { StateTransitionProvable, StateTransitionProverPublicInput, StateTransitionProof, StateTransitionProverPublicOutput } from "./StateTransitionProvable";
 import { StateTransitionWitnessProviderReference } from "./StateTransitionWitnessProviderReference";
+import { StateTransitionProverType } from "../../protocol/Protocol";
 interface StateTransitionProverExecutionState {
     stateRoot: Field;
     protocolStateRoot: Field;
@@ -39,9 +40,9 @@ export declare class StateTransitionProverProgrammable extends ZkProgrammable<St
     runBatch(publicInput: StateTransitionProverPublicInput, batch: StateTransitionProvableBatch): StateTransitionProverPublicOutput;
     merge(publicInput: StateTransitionProverPublicInput, proof1: StateTransitionProof, proof2: StateTransitionProof): StateTransitionProverPublicOutput;
 }
-export declare class StateTransitionProver extends ProtocolModule implements StateTransitionProvable {
+export declare class StateTransitionProver extends ProtocolModule implements StateTransitionProvable, StateTransitionProverType {
     readonly witnessProviderReference: StateTransitionWitnessProviderReference;
-    readonly zkProgrammable: StateTransitionProverProgrammable;
+    zkProgrammable: StateTransitionProverProgrammable;
     constructor(witnessProviderReference: StateTransitionWitnessProviderReference);
     runBatch(publicInput: StateTransitionProverPublicInput, batch: StateTransitionProvableBatch): StateTransitionProverPublicOutput;
     merge(publicInput: StateTransitionProverPublicInput, proof1: StateTransitionProof, proof2: StateTransitionProof): StateTransitionProverPublicOutput;

package/dist/prover/statetransition/StateTransitionProver.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"StateTransitionProver.d.ts","sourceRoot":"","sources":["../../../src/prover/statetransition/StateTransitionProver.ts"],"names":[],"mappings":"AACA,OAAO,EAAsB,KAAK,EAAuB,MAAM,MAAM,CAAC;AAEtE,OAAO,EACL,gBAAgB,EAEhB,cAAc,EAGd,cAAc,EACf,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAEL,gBAAgB,EACjB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EACL,2BAA2B,EAC3B,4BAA4B,EAC7B,MAAM,0CAA0C,CAAC;AAElD,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAG/D,OAAO,EACL,uBAAuB,EACvB,gCAAgC,EAChC,oBAAoB,EACpB,iCAAiC,EAClC,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,uCAAuC,EAAE,MAAM,2CAA2C,CAAC;AAepG,UAAU,mCAAmC;IAC3C,SAAS,EAAE,KAAK,CAAC;IACjB,iBAAiB,EAAE,KAAK,CAAC;IACzB,mBAAmB,EAAE,gBAAgB,CAAC,uBAAuB,CAAC,CAAC;IAC/D,sBAAsB,EAAE,gBAAgB,CAAC,uBAAuB,CAAC,CAAC;CACnE;AAOD;;;GAGG;AACH,qBAAa,iCAAkC,SAAQ,cAAc,CACnE,gCAAgC,EAChC,iCAAiC,CAClC;IAGG,OAAO,CAAC,QAAQ,CAAC,qBAAqB;aACtB,wBAAwB,EAAE,uCAAuC;gBADhE,qBAAqB,EAAE,qBAAqB,EAC7C,wBAAwB,EAAE,uCAAuC;IAKnF,IAAW,QAAQ,IAAI,gBAAgB,GAAG,SAAS,CAElD;IAEM,gBAAgB,IAAI,cAAc,CACvC,gCAAgC,EAChC,iCAAiC,CAClC;IAqDD,OAAO,KAAK,eAAe,GAM1B;IAED;;;OAGG;IACI,gBAAgB,CACrB,SAAS,EAAE,KAAK,EAChB,iBAAiB,EAAE,KAAK,EACxB,6BAA6B,EAAE,KAAK,EACpC,gCAAgC,EAAE,KAAK,EACvC,eAAe,EAAE,4BAA4B,GAC5C,mCAAmC;IA6BtC;;;OAGG;IACI,eAAe,CACpB,KAAK,EAAE,mCAAmC,EAC1C,UAAU,EAAE,uBAAuB,EACnC,IAAI,EAAE,2BAA2B,EACjC,KAAK,SAAI;IAiDX;;OAEG;IAEI,QAAQ,CACb,WAAW,EAAE,gCAAgC,EAC7C,KAAK,EAAE,4BAA4B,GAClC,iCAAiC;IAkB7B,KAAK,CACV,WAAW,EAAE,gCAAgC,EAC7C,MAAM,EAAE,oBAAoB,EAC5B,MAAM,EAAE,oBAAoB,GAC3B,iCAAiC;CAqErC;AAED,qBACa,qBACX,SAAQ,cACR,YAAW,uBAAuB;aAMhB,wBAAwB,EAAE,uCAAuC;IAJnF,SAAgB,cAAc,EAAE,iCAAiC,CAAC;gBAIhD,wBAAwB,EAAE,uCAAuC;IAS5E,QAAQ,CACb,WAAW,EAAE,gCAAgC,EAC7C,KAAK,EAAE,4BAA4B,GAClC,iCAAiC;IAI7B,KAAK,CACV,WAAW,EAAE,gCAAgC,EAC7C,MAAM,EAAE,oBAAoB,EAC5B,MAAM,EAAE,oBAAoB,GAC3B,iCAAiC;CAGrC"}
+{"version":3,"file":"StateTransitionProver.d.ts","sourceRoot":"","sources":["../../../src/prover/statetransition/StateTransitionProver.ts"],"names":[],"mappings":"AACA,OAAO,EAAsB,KAAK,EAAuB,MAAM,MAAM,CAAC;AAEtE,OAAO,EACL,gBAAgB,EAEhB,cAAc,EAGd,cAAc,EACf,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAEL,gBAAgB,EACjB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EACL,2BAA2B,EAC3B,4BAA4B,EAC7B,MAAM,0CAA0C,CAAC;AAElD,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAG/D,OAAO,EACL,uBAAuB,EACvB,gCAAgC,EAChC,oBAAoB,EACpB,iCAAiC,EAClC,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,uCAAuC,EAAE,MAAM,2CAA2C,CAAC;AACpG,OAAO,EAAE,yBAAyB,EAAE,MAAM,yBAAyB,CAAC;AAepE,UAAU,mCAAmC;IAC3C,SAAS,EAAE,KAAK,CAAC;IACjB,iBAAiB,EAAE,KAAK,CAAC;IACzB,mBAAmB,EAAE,gBAAgB,CAAC,uBAAuB,CAAC,CAAC;IAC/D,sBAAsB,EAAE,gBAAgB,CAAC,uBAAuB,CAAC,CAAC;CACnE;AAOD;;;GAGG;AACH,qBAAa,iCAAkC,SAAQ,cAAc,CACnE,gCAAgC,EAChC,iCAAiC,CAClC;IAGG,OAAO,CAAC,QAAQ,CAAC,qBAAqB;aACtB,wBAAwB,EAAE,uCAAuC;gBADhE,qBAAqB,EAAE,qBAAqB,EAC7C,wBAAwB,EAAE,uCAAuC;IAKnF,IAAW,QAAQ,IAAI,gBAAgB,GAAG,SAAS,CAElD;IAEM,gBAAgB,IAAI,cAAc,CACvC,gCAAgC,EAChC,iCAAiC,CAClC;IAsDD,OAAO,KAAK,eAAe,GAM1B;IAED;;;OAGG;IACI,gBAAgB,CACrB,SAAS,EAAE,KAAK,EAChB,iBAAiB,EAAE,KAAK,EACxB,6BAA6B,EAAE,KAAK,EACpC,gCAAgC,EAAE,KAAK,EACvC,eAAe,EAAE,4BAA4B,GAC5C,mCAAmC;IA6BtC;;;OAGG;IACI,eAAe,CACpB,KAAK,EAAE,mCAAmC,EAC1C,UAAU,EAAE,uBAAuB,EACnC,IAAI,EAAE,2BAA2B,EACjC,KAAK,SAAI;IAiDX;;OAEG;IAEI,QAAQ,CACb,WAAW,EAAE,gCAAgC,EAC7C,KAAK,EAAE,4BAA4B,GAClC,iCAAiC;IAkB7B,KAAK,CACV,WAAW,EAAE,gCAAgC,EAC7C,MAAM,EAAE,oBAAoB,EAC5B,MAAM,EAAE,oBAAoB,GAC3B,iCAAiC;CAqErC;AAED,qBACa,qBACX,SAAQ,cACR,YAAW,uBAAuB,EAAE,yBAAyB;aAM3C,wBAAwB,EAAE,uCAAuC;IAJ5E,cAAc,EAAE,iCAAiC,CAAC;gBAIvC,wBAAwB,EAAE,uCAAuC;IAS5E,QAAQ,CACb,WAAW,EAAE,gCAAgC,EAC7C,KAAK,EAAE,4BAA4B,GAClC,iCAAiC;IAI7B,KAAK,CACV,WAAW,EAAE,gCAAgC,EAC7C,MAAM,EAAE,oBAAoB,EAC5B,MAAM,EAAE,oBAAoB,GAC3B,iCAAiC;CAGrC"}

package/dist/prover/statetransition/StateTransitionProver.js

@@ -72,6 +72,7 @@ export class StateTransitionProverProgrammable extends ZkProgrammable {
         return {
             compile: program.compile.bind(program),
             verify: program.verify.bind(program),
+            analyzeMethods: program.analyzeMethods.bind(program),
             Proof: SelfProofClass,
             methods,
         };

package/dist/settlement/ContractModule.d.ts

@@ -0,0 +1,15 @@
+import { ConfigurableModule, NoConfig, TypedClass } from "@proto-kit/common";
+import { SmartContract } from "o1js";
+export type SmartContractClassFromInterface<Type> = typeof SmartContract & TypedClass<Type>;
+/**
+ * This module type is used to define a contract module that can be used to
+ * construct and inject smart contract instances.
+ * It defines a method contractFactory, whose arguments can be configured via
+ * the Argument generic. It returns a smart contract class that is a subclass
+ * of SmartContract and implements a certain interface as specified by the
+ * ContractType generic.
+ */
+export declare abstract class ContractModule<ContractType, Arguments = undefined, Config = NoConfig> extends ConfigurableModule<Config> {
+    abstract contractFactory(args: Arguments): SmartContractClassFromInterface<ContractType>;
+}
+//# sourceMappingURL=ContractModule.d.ts.map

package/dist/settlement/ContractModule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ContractModule.d.ts","sourceRoot":"","sources":["../../src/settlement/ContractModule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EAAE,aAAa,EAAE,MAAM,MAAM,CAAC;AAErC,MAAM,MAAM,+BAA+B,CAAC,IAAI,IAAI,OAAO,aAAa,GACtE,UAAU,CAAC,IAAI,CAAC,CAAC;AAEnB;;;;;;;GAOG;AACH,8BAAsB,cAAc,CAClC,YAAY,EAEZ,SAAS,GAAG,SAAS,EACrB,MAAM,GAAG,QAAQ,CACjB,SAAQ,kBAAkB,CAAC,MAAM,CAAC;aAClB,eAAe,CAC7B,IAAI,EAAE,SAAS,GACd,+BAA+B,CAAC,YAAY,CAAC;CACjD"}

package/dist/settlement/ContractModule.js

@@ -0,0 +1,11 @@
+import { ConfigurableModule } from "@proto-kit/common";
+/**
+ * This module type is used to define a contract module that can be used to
+ * construct and inject smart contract instances.
+ * It defines a method contractFactory, whose arguments can be configured via
+ * the Argument generic. It returns a smart contract class that is a subclass
+ * of SmartContract and implements a certain interface as specified by the
+ * ContractType generic.
+ */
+export class ContractModule extends ConfigurableModule {
+}

package/dist/settlement/SettlementContractModule.d.ts

@@ -0,0 +1,39 @@
+import { AreProofsEnabled, ChildContainerProvider, ModuleContainer, ModulesRecord, TypedClass } from "@proto-kit/common";
+import { PublicKey, SmartContract } from "o1js";
+import { ProtocolEnvironment } from "../protocol/ProtocolEnvironment";
+import { ProtocolModule } from "../protocol/ProtocolModule";
+import { ContractModule, SmartContractClassFromInterface } from "./ContractModule";
+import { DispatchContractProtocolModule } from "./contracts/DispatchContractProtocolModule";
+import { DispatchContractType } from "./contracts/DispatchSmartContract";
+import { SettlementContractConfig, SettlementContractProtocolModule } from "./contracts/SettlementContractProtocolModule";
+import { SettlementContractType } from "./contracts/SettlementSmartContract";
+export type SettlementModulesRecord = ModulesRecord<TypedClass<ContractModule<unknown, unknown, unknown>>>;
+export type MandatorySettlementModulesRecord = {
+    SettlementContract: TypedClass<ContractModule<SettlementContractType, SmartContractClassFromInterface<DispatchContractType>, SettlementContractConfig>>;
+    DispatchContract: TypedClass<ContractModule<DispatchContractType, unknown, unknown>>;
+};
+export declare class SettlementContractModule<SettlementModules extends SettlementModulesRecord & MandatorySettlementModulesRecord> extends ModuleContainer<SettlementModules> implements ProtocolModule<unknown> {
+    constructor(definition: {
+        modules: SettlementModules;
+    });
+    static from<SettlementModules extends SettlementModulesRecord & MandatorySettlementModulesRecord>(modules: SettlementModules): TypedClass<SettlementContractModule<SettlementModules>>;
+    static fromDefaults(): TypedClass<SettlementContractModule<{
+        SettlementContract: typeof SettlementContractProtocolModule;
+        DispatchContract: typeof DispatchContractProtocolModule;
+    }>>;
+    protocol?: ProtocolEnvironment;
+    get appChain(): AreProofsEnabled | undefined;
+    create(childContainerProvider: ChildContainerProvider): void;
+    getContractClasses(): {
+        settlement: SmartContractClassFromInterface<SettlementContractType>;
+        dispatch: SmartContractClassFromInterface<DispatchContractType>;
+    };
+    createContracts(addresses: {
+        settlement: PublicKey;
+        dispatch: PublicKey;
+    }): {
+        settlement: SettlementContractType & SmartContract;
+        dispatch: DispatchContractType & SmartContract;
+    };
+}
+//# sourceMappingURL=SettlementContractModule.d.ts.map

package/dist/settlement/SettlementContractModule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"SettlementContractModule.d.ts","sourceRoot":"","sources":["../../src/settlement/SettlementContractModule.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,sBAAsB,EACtB,eAAe,EACf,aAAa,EACb,UAAU,EACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,MAAM,CAAC;AAGhD,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAE5D,OAAO,EACL,cAAc,EACd,+BAA+B,EAChC,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,8BAA8B,EAAE,MAAM,4CAA4C,CAAC;AAC5F,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EACL,wBAAwB,EACxB,gCAAgC,EACjC,MAAM,8CAA8C,CAAC;AACtD,OAAO,EAAE,sBAAsB,EAAE,MAAM,qCAAqC,CAAC;AAE7E,MAAM,MAAM,uBAAuB,GAAG,aAAa,CACjD,UAAU,CAAC,cAAc,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CACtD,CAAC;AAEF,MAAM,MAAM,gCAAgC,GAAG;IAC7C,kBAAkB,EAAE,UAAU,CAC5B,cAAc,CACZ,sBAAsB,EACtB,+BAA+B,CAAC,oBAAoB,CAAC,EACrD,wBAAwB,CACzB,CACF,CAAC;IACF,gBAAgB,EAAE,UAAU,CAC1B,cAAc,CAAC,oBAAoB,EAAE,OAAO,EAAE,OAAO,CAAC,CACvD,CAAC;CACH,CAAC;AAEF,qBACa,wBAAwB,CACjC,iBAAiB,SAAS,uBAAuB,GAC/C,gCAAgC,CAEpC,SAAQ,eAAe,CAAC,iBAAiB,CACzC,YAAW,cAAc,CAAC,OAAO,CAAC;gBAEf,UAAU,EAAE;QAAE,OAAO,EAAE,iBAAiB,CAAA;KAAE;WAI/C,IAAI,CAChB,iBAAiB,SAAS,uBAAuB,GAC/C,gCAAgC,EAElC,OAAO,EAAE,iBAAiB,GACzB,UAAU,CAAC,wBAAwB,CAAC,iBAAiB,CAAC,CAAC;WAQ5C,YAAY;;;;IAQnB,QAAQ,CAAC,EAAE,mBAAmB,CAAC;IAEtC,IAAW,QAAQ,IAAI,gBAAgB,GAAG,SAAS,CAElD;IAGM,MAAM,CAAC,sBAAsB,EAAE,sBAAsB;IAMrD,kBAAkB,IAAI;QAC3B,UAAU,EAAE,+BAA+B,CAAC,sBAAsB,CAAC,CAAC;QACpE,QAAQ,EAAE,+BAA+B,CAAC,oBAAoB,CAAC,CAAC;KACjE;IAkBM,eAAe,CAAC,SAAS,EAAE;QAChC,UAAU,EAAE,SAAS,CAAC;QACtB,QAAQ,EAAE,SAAS,CAAC;KACrB,GAAG;QACF,UAAU,EAAE,sBAAsB,GAAG,aAAa,CAAC;QACnD,QAAQ,EAAE,oBAAoB,GAAG,aAAa,CAAC;KAChD;CAWF"}

package/dist/settlement/SettlementContractModule.js

@@ -0,0 +1,68 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+var SettlementContractModule_1;
+import { ModuleContainer } from "@proto-kit/common";
+import { injectable } from "tsyringe";
+import { DispatchContractProtocolModule } from "./contracts/DispatchContractProtocolModule";
+import { SettlementContractProtocolModule, } from "./contracts/SettlementContractProtocolModule";
+let SettlementContractModule = SettlementContractModule_1 = class SettlementContractModule extends ModuleContainer {
+    constructor(definition) {
+        super(definition);
+    }
+    static from(modules) {
+        return class ScopedSettlementContractModule extends SettlementContractModule_1 {
+            constructor() {
+                super({ modules });
+            }
+        };
+    }
+    static fromDefaults() {
+        return SettlementContractModule_1.from({
+            SettlementContract: SettlementContractProtocolModule,
+            DispatchContract: DispatchContractProtocolModule,
+        });
+    }
+    get appChain() {
+        return this.protocol?.getAreProofsEnabled();
+    }
+    // **
+    create(childContainerProvider) {
+        super.create(childContainerProvider);
+    }
+    // private assertIsKeyofModules
+    getContractClasses() {
+        const settlementContractKey = "SettlementContract";
+        const dispatchContractKey = "DispatchContract";
+        this.assertIsValidModuleName(settlementContractKey);
+        this.assertIsValidModuleName(dispatchContractKey);
+        const settlementModule = this.resolve(settlementContractKey);
+        const dispatchModule = this.resolve(dispatchContractKey);
+        const dispatch = dispatchModule.contractFactory(undefined);
+        const settlement = settlementModule.contractFactory(dispatch);
+        return {
+            settlement,
+            dispatch,
+        };
+    }
+    createContracts(addresses) {
+        const { dispatch, settlement } = this.getContractClasses();
+        const dispatchInstance = new dispatch(addresses.dispatch);
+        const settlementInstance = new settlement(addresses.settlement);
+        return {
+            dispatch: dispatchInstance,
+            settlement: settlementInstance,
+        };
+    }
+};
+SettlementContractModule = SettlementContractModule_1 = __decorate([
+    injectable(),
+    __metadata("design:paramtypes", [Object])
+], SettlementContractModule);
+export { SettlementContractModule };

package/dist/settlement/contracts/DispatchContractProtocolModule.d.ts

@@ -0,0 +1,12 @@
+import { RuntimeLike } from "../../model/RuntimeLike";
+import { ContractModule, SmartContractClassFromInterface } from "../ContractModule";
+import { DispatchContractType } from "./DispatchSmartContract";
+export type DispatchContractConfig = {
+    incomingMessagesMethods: Record<string, `${string}.${string}`>;
+};
+export declare class DispatchContractProtocolModule extends ContractModule<DispatchContractType, undefined, DispatchContractConfig> {
+    private readonly runtime;
+    constructor(runtime: RuntimeLike);
+    contractFactory(): SmartContractClassFromInterface<DispatchContractType>;
+}
+//# sourceMappingURL=DispatchContractProtocolModule.d.ts.map

package/dist/settlement/contracts/DispatchContractProtocolModule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DispatchContractProtocolModule.d.ts","sourceRoot":"","sources":["../../../src/settlement/contracts/DispatchContractProtocolModule.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EACL,cAAc,EACd,+BAA+B,EAChC,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAEL,oBAAoB,EACrB,MAAM,yBAAyB,CAAC;AAEjC,MAAM,MAAM,sBAAsB,GAAG;IACnC,uBAAuB,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,MAAM,IAAI,MAAM,EAAE,CAAC,CAAC;CAChE,CAAC;AAEF,qBACa,8BAA+B,SAAQ,cAAc,CAChE,oBAAoB,EACpB,SAAS,EACT,sBAAsB,CACvB;IACuC,OAAO,CAAC,QAAQ,CAAC,OAAO;gBAAP,OAAO,EAAE,WAAW;IAIpE,eAAe,IAAI,+BAA+B,CAAC,oBAAoB,CAAC;CAWhF"}

package/dist/settlement/contracts/DispatchContractProtocolModule.js

@@ -0,0 +1,36 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+var __param = (this && this.__param) || function (paramIndex, decorator) {
+    return function (target, key) { decorator(target, key, paramIndex); }
+};
+import { inject, injectable } from "tsyringe";
+import { ContractModule, } from "../ContractModule";
+import { DispatchSmartContract, } from "./DispatchSmartContract";
+let DispatchContractProtocolModule = class DispatchContractProtocolModule extends ContractModule {
+    constructor(runtime) {
+        super();
+        this.runtime = runtime;
+    }
+    contractFactory() {
+        const { incomingMessagesMethods } = this.config;
+        const methodIdMappings = this.runtime.methodIdResolver.methodIdMap();
+        DispatchSmartContract.args = {
+            incomingMessagesPaths: incomingMessagesMethods,
+            methodIdMappings,
+        };
+        return DispatchSmartContract;
+    }
+};
+DispatchContractProtocolModule = __decorate([
+    injectable(),
+    __param(0, inject("Runtime")),
+    __metadata("design:paramtypes", [Object])
+], DispatchContractProtocolModule);
+export { DispatchContractProtocolModule };

package/dist/settlement/contracts/DispatchSmartContract.d.ts

@@ -0,0 +1,22 @@
+import { Field, PublicKey, SmartContract, State, UInt64 } from "o1js";
+import { RuntimeMethodIdMapping } from "../../model/RuntimeLike";
+export declare const ACTIONS_EMPTY_HASH: import("o1js/dist/node/lib/field").Field;
+export interface DispatchContractType {
+    updateMessagesHash: (executedMessagesHash: Field, newPromisedMessagesHash: Field) => void;
+    initialize: (settlementContract: PublicKey) => void;
+    promisedMessagesHash: State<Field>;
+}
+export declare class DispatchSmartContract extends SmartContract implements DispatchContractType {
+    static args: {
+        methodIdMappings: RuntimeMethodIdMapping;
+        incomingMessagesPaths: Record<string, `${string}.${string}`>;
+    };
+    promisedMessagesHash: State<import("o1js/dist/node/lib/field").Field>;
+    honoredMessagesHash: State<import("o1js/dist/node/lib/field").Field>;
+    settlementContract: State<PublicKey>;
+    updateMessagesHash(executedMessagesHash: Field, newPromisedMessagesHash: Field): void;
+    initialize(settlementContract: PublicKey): void;
+    private dispatchMessage;
+    deposit(amount: UInt64): void;
+}
+//# sourceMappingURL=DispatchSmartContract.d.ts.map

package/dist/settlement/contracts/DispatchSmartContract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DispatchSmartContract.d.ts","sourceRoot":"","sources":["../../../src/settlement/contracts/DispatchSmartContract.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,EAIL,SAAS,EAET,aAAa,EACb,KAAK,EAEL,MAAM,EACP,MAAM,MAAM,CAAC;AAEd,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AAQjE,eAAO,MAAM,kBAAkB,0CAA6B,CAAC;AAE7D,MAAM,WAAW,oBAAoB;IACnC,kBAAkB,EAAE,CAClB,oBAAoB,EAAE,KAAK,EAC3B,uBAAuB,EAAE,KAAK,KAC3B,IAAI,CAAC;IACV,UAAU,EAAE,CAAC,kBAAkB,EAAE,SAAS,KAAK,IAAI,CAAC;IAEpD,oBAAoB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;CACpC;AAED,qBAAa,qBACX,SAAQ,aACR,YAAW,oBAAoB;IAE/B,OAAc,IAAI,EAAE;QAClB,gBAAgB,EAAE,sBAAsB,CAAC;QACzC,qBAAqB,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,MAAM,IAAI,MAAM,EAAE,CAAC,CAAC;KAC9D,CAAC;IAEmB,oBAAoB,kDAAkB;IAEtC,mBAAmB,kDAAkB;IAEjC,kBAAkB,mBAAsB;IAG1D,kBAAkB,CACvB,oBAAoB,EAAE,KAAK,EAC3B,uBAAuB,EAAE,KAAK;IAezB,UAAU,CAAC,kBAAkB,EAAE,SAAS;IAY/C,OAAO,CAAC,eAAe;IA8BhB,OAAO,CAAC,MAAM,EAAE,MAAM;CAyB9B"}

package/dist/settlement/contracts/DispatchSmartContract.js

@@ -0,0 +1,110 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+import { AccountUpdate, Field, method, Poseidon, PublicKey, Reducer, SmartContract, State, state, UInt64, } from "o1js";
+import { RuntimeTransaction } from "../../model/transaction/RuntimeTransaction";
+import { MinaActions, MinaEvents, } from "../../utils/MinaPrefixedProvableHashList";
+import { Deposit } from "../messages/Deposit";
+export const ACTIONS_EMPTY_HASH = Reducer.initialActionState;
+export class DispatchSmartContract extends SmartContract {
+    constructor() {
+        super(...arguments);
+        this.promisedMessagesHash = State();
+        this.honoredMessagesHash = State();
+        this.settlementContract = State();
+    }
+    updateMessagesHash(executedMessagesHash, newPromisedMessagesHash) {
+        const promisedMessagesHash = this.promisedMessagesHash.getAndAssertEquals();
+        this.honoredMessagesHash.getAndAssertEquals();
+        executedMessagesHash.assertEquals(promisedMessagesHash);
+        this.honoredMessagesHash.set(executedMessagesHash);
+        // Assert and apply new promisedMessagesHash
+        this.self.account.actionState.assertEquals(newPromisedMessagesHash);
+        this.promisedMessagesHash.set(newPromisedMessagesHash);
+    }
+    initialize(settlementContract) {
+        this.promisedMessagesHash.getAndAssertEquals().assertEquals(Field(0));
+        this.honoredMessagesHash.getAndAssertEquals().assertEquals(Field(0));
+        this.settlementContract
+            .getAndAssertEquals()
+            .assertEquals(PublicKey.empty());
+        this.promisedMessagesHash.set(ACTIONS_EMPTY_HASH);
+        this.honoredMessagesHash.set(ACTIONS_EMPTY_HASH);
+        this.settlementContract.set(settlementContract);
+    }
+    dispatchMessage(methodId, value, valueType) {
+        const args = valueType.toFields(value);
+        // Should be the same as RuntimeTransaction.hash
+        const argsHash = Poseidon.hash(args);
+        const runtimeTransaction = RuntimeTransaction.fromMessage({
+            methodId,
+            argsHash,
+        });
+        // Append tx to incomingMessagesHash
+        const actionData = runtimeTransaction.hashData();
+        const actionHash = MinaActions.actionHash(actionData);
+        this.self.body.actions = {
+            hash: actionHash,
+            data: [actionData],
+        };
+        const eventHash = MinaEvents.eventHash(args);
+        this.self.body.events = {
+            hash: eventHash,
+            data: [args],
+        };
+    }
+    deposit(amount) {
+        // Save this, since otherwise it would be a second witness later,
+        // which could be a different values than the first
+        const { sender } = this;
+        const settlementContract = this.settlementContract.getAndAssertEquals();
+        // Credit the amount to the settlement contract
+        const balanceAU = AccountUpdate.create(settlementContract);
+        balanceAU.balance.addInPlace(amount);
+        this.self.approve(balanceAU);
+        const action = new Deposit({
+            address: sender,
+            amount,
+        });
+        const { methodIdMappings, incomingMessagesPaths } = DispatchSmartContract.args;
+        const methodId = Field(methodIdMappings[incomingMessagesPaths.deposit].methodId).toConstant();
+        this.dispatchMessage(methodId.toConstant(), action, Deposit);
+    }
+}
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], DispatchSmartContract.prototype, "promisedMessagesHash", void 0);
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], DispatchSmartContract.prototype, "honoredMessagesHash", void 0);
+__decorate([
+    state(PublicKey),
+    __metadata("design:type", Object)
+], DispatchSmartContract.prototype, "settlementContract", void 0);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [Field,
+        Field]),
+    __metadata("design:returntype", void 0)
+], DispatchSmartContract.prototype, "updateMessagesHash", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [PublicKey]),
+    __metadata("design:returntype", void 0)
+], DispatchSmartContract.prototype, "initialize", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [UInt64]),
+    __metadata("design:returntype", void 0)
+], DispatchSmartContract.prototype, "deposit", null);

package/dist/settlement/contracts/SettlementContractProtocolModule.d.ts

@@ -0,0 +1,19 @@
+import { TypedClass } from "@proto-kit/common";
+import { SmartContract } from "o1js";
+import { BlockProvable } from "../../prover/block/BlockProvable";
+import { ContractModule, SmartContractClassFromInterface } from "../ContractModule";
+import { ProvableSettlementHook } from "../modularity/ProvableSettlementHook";
+import { DispatchContractType } from "./DispatchSmartContract";
+import { SettlementContractType } from "./SettlementSmartContract";
+export type SettlementContractConfig = {
+    escapeHatchSlotsInterval?: number;
+    withdrawalStatePath: `${string}.${string}`;
+    withdrawalMethodPath: `${string}.${string}`;
+};
+export declare class SettlementContractProtocolModule extends ContractModule<SettlementContractType, TypedClass<DispatchContractType & SmartContract>, SettlementContractConfig> {
+    private readonly hooks;
+    private readonly blockProver;
+    constructor(hooks: ProvableSettlementHook<unknown>[], blockProver: BlockProvable);
+    contractFactory(dispatchContract: TypedClass<DispatchContractType & SmartContract>): SmartContractClassFromInterface<SettlementContractType>;
+}
+//# sourceMappingURL=SettlementContractProtocolModule.d.ts.map

package/dist/settlement/contracts/SettlementContractProtocolModule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"SettlementContractProtocolModule.d.ts","sourceRoot":"","sources":["../../../src/settlement/contracts/SettlementContractProtocolModule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,MAAM,CAAC;AAGrC,OAAO,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAC;AACjE,OAAO,EACL,cAAc,EACd,+BAA+B,EAChC,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAE9E,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAEL,sBAAsB,EAEvB,MAAM,2BAA2B,CAAC;AAEnC,MAAM,MAAM,wBAAwB,GAAG;IACrC,wBAAwB,CAAC,EAAE,MAAM,CAAC;IAClC,mBAAmB,EAAE,GAAG,MAAM,IAAI,MAAM,EAAE,CAAC;IAC3C,oBAAoB,EAAE,GAAG,MAAM,IAAI,MAAM,EAAE,CAAC;CAC7C,CAAC;AAKF,qBACa,gCAAiC,SAAQ,cAAc,CAClE,sBAAsB,EACtB,UAAU,CAAC,oBAAoB,GAAG,aAAa,CAAC,EAChD,wBAAwB,CACzB;IAGG,OAAO,CAAC,QAAQ,CAAC,KAAK;IAEtB,OAAO,CAAC,QAAQ,CAAC,WAAW;gBAFX,KAAK,EAAE,sBAAsB,CAAC,OAAO,CAAC,EAAE,EAExC,WAAW,EAAE,aAAa;IAMtC,eAAe,CACpB,gBAAgB,EAAE,UAAU,CAAC,oBAAoB,GAAG,aAAa,CAAC,GACjE,+BAA+B,CAAC,sBAAsB,CAAC;CAmB3D"}

package/dist/settlement/contracts/SettlementContractProtocolModule.js

@@ -0,0 +1,44 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+var __param = (this && this.__param) || function (paramIndex, decorator) {
+    return function (target, key) { decorator(target, key, paramIndex); }
+};
+import { inject, injectable, injectAll } from "tsyringe";
+import { ContractModule, } from "../ContractModule";
+import { LazyBlockProof, SettlementSmartContract, } from "./SettlementSmartContract";
+// 24 hours
+const DEFAULT_ESCAPE_HATCH = (60 / 3) * 24;
+let SettlementContractProtocolModule = class SettlementContractProtocolModule extends ContractModule {
+    constructor(hooks, blockProver) {
+        LazyBlockProof.tag = blockProver.zkProgrammable.zkProgram.Proof.tag;
+        super();
+        this.hooks = hooks;
+        this.blockProver = blockProver;
+    }
+    contractFactory(dispatchContract) {
+        const { hooks, config } = this;
+        const withdrawalStatePathSplit = this.config.withdrawalStatePath.split(".");
+        const escapeHatchSlotsInterval = this.config.escapeHatchSlotsInterval ?? DEFAULT_ESCAPE_HATCH;
+        SettlementSmartContract.args = {
+            DispatchContract: dispatchContract,
+            hooks,
+            withdrawalStatePath: withdrawalStatePathSplit,
+            escapeHatchSlotsInterval,
+        };
+        return SettlementSmartContract;
+    }
+};
+SettlementContractProtocolModule = __decorate([
+    injectable(),
+    __param(0, injectAll("ProvableSettlementHook")),
+    __param(1, inject("BlockProver")),
+    __metadata("design:paramtypes", [Array, Object])
+], SettlementContractProtocolModule);
+export { SettlementContractProtocolModule };

package/dist/settlement/contracts/SettlementSmartContract.d.ts

@@ -0,0 +1,41 @@
+import { TypedClass } from "@proto-kit/common";
+import { AccountUpdate, Field, Proof, PublicKey, Signature, SmartContract, State, UInt32 } from "o1js";
+import { NetworkState } from "../../model/network/NetworkState";
+import { BlockProverPublicInput, BlockProverPublicOutput } from "../../prover/block/BlockProvable";
+import { OutgoingMessageArgumentBatch } from "../messages/OutgoingMessageArgument";
+import { ProvableSettlementHook } from "../modularity/ProvableSettlementHook";
+import { DispatchContractType } from "./DispatchSmartContract";
+export declare class LazyBlockProof extends Proof<BlockProverPublicInput, BlockProverPublicOutput> {
+    static publicInputType: typeof BlockProverPublicInput;
+    static publicOutputType: typeof BlockProverPublicOutput;
+    static tag: () => {
+        name: string;
+    };
+}
+export interface SettlementContractType {
+    initialize: (sequencer: PublicKey, dispatchContract: PublicKey) => void;
+    settle: (blockProof: LazyBlockProof, signature: Signature, dispatchContractAddress: PublicKey, publicKey: PublicKey, inputNetworkState: NetworkState, outputNetworkState: NetworkState, newPromisedMessagesHash: Field) => void;
+    rollupOutgoingMessages: (batch: OutgoingMessageArgumentBatch) => void;
+    redeem: (additionUpdate: AccountUpdate) => void;
+}
+export declare const BATCH_SIGNATURE_PREFIX: import("o1js/dist/node/lib/field").Field;
+export declare class SettlementSmartContract extends SmartContract implements SettlementContractType {
+    static args: {
+        DispatchContract: TypedClass<DispatchContractType & SmartContract>;
+        hooks: ProvableSettlementHook<unknown>[];
+        withdrawalStatePath: [string, string];
+        escapeHatchSlotsInterval: number;
+    };
+    sequencerKey: State<import("o1js/dist/node/lib/field").Field>;
+    lastSettlementL1Block: State<UInt32>;
+    stateRoot: State<import("o1js/dist/node/lib/field").Field>;
+    networkStateHash: State<import("o1js/dist/node/lib/field").Field>;
+    blockHashRoot: State<import("o1js/dist/node/lib/field").Field>;
+    dispatchContractAddressX: State<import("o1js/dist/node/lib/field").Field>;
+    outgoingMessageCursor: State<import("o1js/dist/node/lib/field").Field>;
+    initialize(sequencer: PublicKey, dispatchContract: PublicKey): void;
+    settle(blockProof: LazyBlockProof, signature: Signature, dispatchContractAddress: PublicKey, publicKey: PublicKey, inputNetworkState: NetworkState, outputNetworkState: NetworkState, newPromisedMessagesHash: Field): void;
+    rollupOutgoingMessages(batch: OutgoingMessageArgumentBatch): void;
+    redeem(additionUpdate: AccountUpdate): void;
+}
+//# sourceMappingURL=SettlementSmartContract.d.ts.map

package/dist/settlement/contracts/SettlementSmartContract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"SettlementSmartContract.d.ts","sourceRoot":"","sources":["../../../src/settlement/contracts/SettlementSmartContract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmC,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAChF,OAAO,EACL,aAAa,EAEb,KAAK,EAIL,KAAK,EAEL,SAAS,EACT,SAAS,EACT,aAAa,EACb,KAAK,EAGL,MAAM,EAEP,MAAM,MAAM,CAAC;AACd,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAGhE,OAAO,EACL,sBAAsB,EACtB,uBAAuB,EACxB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAEL,4BAA4B,EAC7B,MAAM,qCAAqC,CAAC;AAE7C,OAAO,EACL,sBAAsB,EAGvB,MAAM,sCAAsC,CAAC;AAE9C,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAE/D,qBAAa,cAAe,SAAQ,KAAK,CACvC,sBAAsB,EACtB,uBAAuB,CACxB;IACC,OAAc,eAAe,gCAA0B;IAEvD,OAAc,gBAAgB,iCAA2B;IAEzD,OAAc,GAAG,EAAE,MAAM;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,CAEvC;CACH;AAED,MAAM,WAAW,sBAAsB;IACrC,UAAU,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,gBAAgB,EAAE,SAAS,KAAK,IAAI,CAAC;IACxE,MAAM,EAAE,CACN,UAAU,EAAE,cAAc,EAC1B,SAAS,EAAE,SAAS,EACpB,uBAAuB,EAAE,SAAS,EAClC,SAAS,EAAE,SAAS,EACpB,iBAAiB,EAAE,YAAY,EAC/B,kBAAkB,EAAE,YAAY,EAChC,uBAAuB,EAAE,KAAK,KAC3B,IAAI,CAAC;IACV,sBAAsB,EAAE,CAAC,KAAK,EAAE,4BAA4B,KAAK,IAAI,CAAC;IACtE,MAAM,EAAE,CAAC,cAAc,EAAE,aAAa,KAAK,IAAI,CAAC;CACjD;AAGD,eAAO,MAAM,sBAAsB,0CAAqC,CAAC;AAEzE,qBAAa,uBACX,SAAQ,aACR,YAAW,sBAAsB;IAIjC,OAAc,IAAI,EAAE;QAClB,gBAAgB,EAAE,UAAU,CAAC,oBAAoB,GAAG,aAAa,CAAC,CAAC;QACnE,KAAK,EAAE,sBAAsB,CAAC,OAAO,CAAC,EAAE,CAAC;QACzC,mBAAmB,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACtC,wBAAwB,EAAE,MAAM,CAAC;KAClC,CAAC;IAEmB,YAAY,kDAAkB;IAC7B,qBAAqB,gBAAmB;IAEzC,SAAS,kDAAkB;IAC3B,gBAAgB,kDAAkB;IAClC,aAAa,kDAAkB;IAE/B,wBAAwB,kDAAkB;IAE1C,qBAAqB,kDAAkB;IAGrD,UAAU,CAAC,SAAS,EAAE,SAAS,EAAE,gBAAgB,EAAE,SAAS;IAkB5D,MAAM,CACX,UAAU,EAAE,cAAc,EAC1B,SAAS,EAAE,SAAS,EACpB,uBAAuB,EAAE,SAAS,EAClC,SAAS,EAAE,SAAS,EACpB,iBAAiB,EAAE,YAAY,EAC/B,kBAAkB,EAAE,YAAY,EAChC,uBAAuB,EAAE,KAAK;IAwIzB,sBAAsB,CAAC,KAAK,EAAE,4BAA4B;IAoD1D,MAAM,CAAC,cAAc,EAAE,aAAa;CAoB5C"}