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

package/dist/settlement/SettlementContractModule.d.ts

@@ -24,6 +24,7 @@ export declare class SettlementContractModule<SettlementModules extends Settleme
     protocol?: ProtocolEnvironment;
     get appChain(): AreProofsEnabled | undefined;
     create(childContainerProvider: ChildContainerProvider): void;
+    start(): Promise<void>;
     getContractClasses(): {
         settlement: SmartContractClassFromInterface<SettlementContractType>;
         dispatch: SmartContractClassFromInterface<DispatchContractType>;

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

@@ -1 +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"}
+{"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,EAEX,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;IAI/C,KAAK;IAIX,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;CAaF"}

package/dist/settlement/SettlementContractModule.js

@@ -8,11 +8,11 @@ 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 { ModuleContainer, noop, } 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 {
+export let SettlementContractModule = SettlementContractModule_1 = class SettlementContractModule extends ModuleContainer {
     constructor(definition) {
         super(definition);
     }
@@ -36,7 +36,9 @@ let SettlementContractModule = SettlementContractModule_1 = class SettlementCont
     create(childContainerProvider) {
         super.create(childContainerProvider);
     }
-    // private assertIsKeyofModules
+    async start() {
+        noop();
+    }
     getContractClasses() {
         const settlementContractKey = "SettlementContract";
         const dispatchContractKey = "DispatchContract";
@@ -53,7 +55,9 @@ let SettlementContractModule = SettlementContractModule_1 = class SettlementCont
     }
     createContracts(addresses) {
         const { dispatch, settlement } = this.getContractClasses();
+        // eslint-disable-next-line new-cap
         const dispatchInstance = new dispatch(addresses.dispatch);
+        // eslint-disable-next-line new-cap
         const settlementInstance = new settlement(addresses.settlement);
         return {
             dispatch: dispatchInstance,
@@ -65,4 +69,3 @@ SettlementContractModule = SettlementContractModule_1 = __decorate([
     injectable(),
     __metadata("design:paramtypes", [Object])
 ], SettlementContractModule);
-export { SettlementContractModule };

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

@@ -0,0 +1,21 @@
+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 DispatchContract extends SmartContract implements DispatchContractType {
+    private readonly methodIdMappings;
+    private readonly incomingMessagesPaths;
+    promisedMessagesHash: State<import("o1js/dist/node/lib/field").Field>;
+    honoredMessagesHash: State<import("o1js/dist/node/lib/field").Field>;
+    settlementContract: State<PublicKey>;
+    constructor(address: PublicKey, methodIdMappings: RuntimeMethodIdMapping, incomingMessagesPaths: Record<string, `${string}.${string}`>);
+    updateMessagesHash(executedMessagesHash: Field, newPromisedMessagesHash: Field): void;
+    initialize(settlementContract: PublicKey): void;
+    private dispatchMessage;
+    deposit(amount: UInt64): void;
+}
+//# sourceMappingURL=DispatchContract.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"DispatchContract.d.ts","sourceRoot":"","sources":["../../../src/settlement/contracts/DispatchContract.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,gBACX,SAAQ,aACR,YAAW,oBAAoB;IAU7B,OAAO,CAAC,QAAQ,CAAC,gBAAgB;IACjC,OAAO,CAAC,QAAQ,CAAC,qBAAqB;IATnB,oBAAoB,kDAAkB;IAEtC,mBAAmB,kDAAkB;IAEjC,kBAAkB,mBAAsB;gBAG/D,OAAO,EAAE,SAAS,EACD,gBAAgB,EAAE,sBAAsB,EACxC,qBAAqB,EAAE,MAAM,CAC5C,MAAM,EACN,GAAG,MAAM,IAAI,MAAM,EAAE,CACtB;IAMI,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;CAqB9B"}

package/dist/settlement/contracts/DispatchContract.js

@@ -0,0 +1,111 @@
+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 DispatchContract extends SmartContract {
+    constructor(address, methodIdMappings, incomingMessagesPaths) {
+        super(address);
+        this.methodIdMappings = methodIdMappings;
+        this.incomingMessagesPaths = incomingMessagesPaths;
+        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 methodId = Field(this.methodIdMappings[this.incomingMessagesPaths.deposit].methodId).toConstant();
+        this.dispatchMessage(methodId.toConstant(), action, Deposit);
+    }
+}
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], DispatchContract.prototype, "promisedMessagesHash", void 0);
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], DispatchContract.prototype, "honoredMessagesHash", void 0);
+__decorate([
+    state(PublicKey),
+    __metadata("design:type", Object)
+], DispatchContract.prototype, "settlementContract", void 0);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [Field,
+        Field]),
+    __metadata("design:returntype", void 0)
+], DispatchContract.prototype, "updateMessagesHash", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [PublicKey]),
+    __metadata("design:returntype", void 0)
+], DispatchContract.prototype, "initialize", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [UInt64]),
+    __metadata("design:returntype", void 0)
+], DispatchContract.prototype, "deposit", null);

package/dist/settlement/contracts/DispatchContractProtocolModule.js

@@ -13,7 +13,7 @@ var __param = (this && this.__param) || function (paramIndex, decorator) {
 import { inject, injectable } from "tsyringe";
 import { ContractModule, } from "../ContractModule";
 import { DispatchSmartContract, } from "./DispatchSmartContract";
-let DispatchContractProtocolModule = class DispatchContractProtocolModule extends ContractModule {
+export let DispatchContractProtocolModule = class DispatchContractProtocolModule extends ContractModule {
     constructor(runtime) {
         super();
         this.runtime = runtime;
@@ -33,4 +33,3 @@ DispatchContractProtocolModule = __decorate([
     __param(0, inject("Runtime")),
     __metadata("design:paramtypes", [Object])
 ], DispatchContractProtocolModule);
-export { DispatchContractProtocolModule };

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

@@ -1,9 +1,9 @@
 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 declare const ACTIONS_EMPTY_HASH: import("o1js/dist/node/lib/provable/field").Field;
 export interface DispatchContractType {
-    updateMessagesHash: (executedMessagesHash: Field, newPromisedMessagesHash: Field) => void;
-    initialize: (settlementContract: PublicKey) => void;
+    updateMessagesHash: (executedMessagesHash: Field, newPromisedMessagesHash: Field) => Promise<void>;
+    initialize: (settlementContract: PublicKey) => Promise<void>;
     promisedMessagesHash: State<Field>;
 }
 export declare class DispatchSmartContract extends SmartContract implements DispatchContractType {
@@ -11,12 +11,12 @@ export declare class DispatchSmartContract extends SmartContract implements Disp
         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>;
+    promisedMessagesHash: State<import("o1js/dist/node/lib/provable/field").Field>;
+    honoredMessagesHash: State<import("o1js/dist/node/lib/provable/field").Field>;
     settlementContract: State<PublicKey>;
-    updateMessagesHash(executedMessagesHash: Field, newPromisedMessagesHash: Field): void;
-    initialize(settlementContract: PublicKey): void;
+    updateMessagesHash(executedMessagesHash: Field, newPromisedMessagesHash: Field): Promise<void>;
+    initialize(settlementContract: PublicKey): Promise<void>;
     private dispatchMessage;
-    deposit(amount: UInt64): void;
+    deposit(amount: UInt64): Promise<void>;
 }
 //# sourceMappingURL=DispatchSmartContract.d.ts.map

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

@@ -1 +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"}
+{"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,mDAA6B,CAAC;AAE7D,MAAM,WAAW,oBAAoB;IACnC,kBAAkB,EAAE,CAClB,oBAAoB,EAAE,KAAK,EAC3B,uBAAuB,EAAE,KAAK,KAC3B,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB,UAAU,EAAE,CAAC,kBAAkB,EAAE,SAAS,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAE7D,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,2DAAkB;IAEtC,mBAAmB,2DAAkB;IAEjC,kBAAkB,mBAAsB;IAGpD,kBAAkB,CAC7B,oBAAoB,EAAE,KAAK,EAC3B,uBAAuB,EAAE,KAAK;IAgBnB,UAAU,CAAC,kBAAkB,EAAE,SAAS;IAYrD,OAAO,CAAC,eAAe;IA8BV,OAAO,CAAC,MAAM,EAAE,MAAM;CAyBpC"}

package/dist/settlement/contracts/DispatchSmartContract.js

@@ -19,20 +19,20 @@ export class DispatchSmartContract extends SmartContract {
         this.honoredMessagesHash = State();
         this.settlementContract = State();
     }
-    updateMessagesHash(executedMessagesHash, newPromisedMessagesHash) {
-        const promisedMessagesHash = this.promisedMessagesHash.getAndAssertEquals();
-        this.honoredMessagesHash.getAndAssertEquals();
+    async updateMessagesHash(executedMessagesHash, newPromisedMessagesHash) {
+        const promisedMessagesHash = this.promisedMessagesHash.getAndRequireEquals();
+        this.honoredMessagesHash.getAndRequireEquals();
         executedMessagesHash.assertEquals(promisedMessagesHash);
         this.honoredMessagesHash.set(executedMessagesHash);
         // Assert and apply new promisedMessagesHash
-        this.self.account.actionState.assertEquals(newPromisedMessagesHash);
+        this.self.account.actionState.requireEquals(newPromisedMessagesHash);
         this.promisedMessagesHash.set(newPromisedMessagesHash);
     }
-    initialize(settlementContract) {
-        this.promisedMessagesHash.getAndAssertEquals().assertEquals(Field(0));
-        this.honoredMessagesHash.getAndAssertEquals().assertEquals(Field(0));
+    async initialize(settlementContract) {
+        this.promisedMessagesHash.getAndRequireEquals().assertEquals(Field(0));
+        this.honoredMessagesHash.getAndRequireEquals().assertEquals(Field(0));
         this.settlementContract
-            .getAndAssertEquals()
+            .getAndRequireEquals()
             .assertEquals(PublicKey.empty());
         this.promisedMessagesHash.set(ACTIONS_EMPTY_HASH);
         this.honoredMessagesHash.set(ACTIONS_EMPTY_HASH);
@@ -59,11 +59,11 @@ export class DispatchSmartContract extends SmartContract {
             data: [args],
         };
     }
-    deposit(amount) {
+    async 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();
+        const sender = this.sender.getUnconstrained();
+        const settlementContract = this.settlementContract.getAndRequireEquals();
         // Credit the amount to the settlement contract
         const balanceAU = AccountUpdate.create(settlementContract);
         balanceAU.balance.addInPlace(amount);
@@ -94,17 +94,17 @@ __decorate([
     __metadata("design:type", Function),
     __metadata("design:paramtypes", [Field,
         Field]),
-    __metadata("design:returntype", void 0)
+    __metadata("design:returntype", Promise)
 ], DispatchSmartContract.prototype, "updateMessagesHash", null);
 __decorate([
     method,
     __metadata("design:type", Function),
     __metadata("design:paramtypes", [PublicKey]),
-    __metadata("design:returntype", void 0)
+    __metadata("design:returntype", Promise)
 ], DispatchSmartContract.prototype, "initialize", null);
 __decorate([
     method,
     __metadata("design:type", Function),
     __metadata("design:paramtypes", [UInt64]),
-    __metadata("design:returntype", void 0)
+    __metadata("design:returntype", Promise)
 ], DispatchSmartContract.prototype, "deposit", null);

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

@@ -0,0 +1,19 @@
+import { TypedClass } from "@proto-kit/common";
+import { SmartContract } from "o1js";
+import { BlockProvable } from "../../prover/block/BlockProvable";
+import { ContractModule } from "../ContractModule";
+import { ProvableSettlementHook } from "../modularity/ProvableSettlementHook";
+import { DispatchContractType } from "./DispatchContract";
+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>): TypedClass<SettlementContractType & SmartContract>;
+}
+//# sourceMappingURL=SettlementContract.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"SettlementContract.d.ts","sourceRoot":"","sources":["../../../src/settlement/contracts/SettlementContract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAY,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,EAAa,aAAa,EAAE,MAAM,MAAM,CAAC;AAEhD,OAAO,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,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,CAAA;AAED,qBACa,gCAAiC,SAAQ,cAAc,CAAC,sBAAsB,EAAE,UAAU,CAAC,oBAAoB,GAAG,aAAa,CAAC,EAAE,wBAAwB,CAAC;IAIpK,OAAO,CAAC,QAAQ,CAAC,KAAK;IAEtB,OAAO,CAAC,QAAQ,CAAC,WAAW;gBAFX,KAAK,EAAE,sBAAsB,CAAC,OAAO,CAAC,EAAE,EAExC,WAAW,EAAE,aAAa;IAOtC,eAAe,CAAC,gBAAgB,EAAE,UAAU,CAAC,oBAAoB,GAAG,aAAa,CAAC,GAAG,UAAU,CAAC,sBAAsB,GAAG,aAAa,CAAC;CAc/I"}

package/dist/settlement/contracts/SettlementContract.js

@@ -0,0 +1,43 @@
+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";
+let SettlementContractProtocolModule = class SettlementContractProtocolModule extends ContractModule {
+    constructor(
+    // @inject("DispatchContract") private readonly dispatchContract: ContractModule & { contractFactory(methodIdMapping: SettlementMethodIdMapping): TypedClass<DispatchContractType & SmartContract> },
+    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(".");
+        // Default: 24 hours
+        const escapeHatchSlotsInterval = this.config.escapeHatchSlotsInterval ?? (60 / 3) * 24;
+        return class ScopedSettlementSmartContract extends SettlementSmartContract {
+            constructor(address) {
+                super(address, dispatchContract, hooks, withdrawalStatePathSplit, escapeHatchSlotsInterval);
+            }
+        };
+    }
+};
+SettlementContractProtocolModule = __decorate([
+    injectable(),
+    __param(0, injectAll("ProvableSettlementHook")),
+    __param(1, inject("BlockProver")),
+    __metadata("design:paramtypes", [Array, Object])
+], SettlementContractProtocolModule);
+export { SettlementContractProtocolModule };

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

@@ -1 +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"}
+{"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;CAqB3D"}

package/dist/settlement/contracts/SettlementContractProtocolModule.js

@@ -15,7 +15,7 @@ import { ContractModule, } from "../ContractModule";
 import { LazyBlockProof, SettlementSmartContract, } from "./SettlementSmartContract";
 // 24 hours
 const DEFAULT_ESCAPE_HATCH = (60 / 3) * 24;
-let SettlementContractProtocolModule = class SettlementContractProtocolModule extends ContractModule {
+export let SettlementContractProtocolModule = class SettlementContractProtocolModule extends ContractModule {
     constructor(hooks, blockProver) {
         LazyBlockProof.tag = blockProver.zkProgrammable.zkProgram.Proof.tag;
         super();
@@ -24,8 +24,9 @@ let SettlementContractProtocolModule = class SettlementContractProtocolModule ex
     }
     contractFactory(dispatchContract) {
         const { hooks, config } = this;
-        const withdrawalStatePathSplit = this.config.withdrawalStatePath.split(".");
-        const escapeHatchSlotsInterval = this.config.escapeHatchSlotsInterval ?? DEFAULT_ESCAPE_HATCH;
+        // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
+        const withdrawalStatePathSplit = config.withdrawalStatePath.split(".");
+        const escapeHatchSlotsInterval = config.escapeHatchSlotsInterval ?? DEFAULT_ESCAPE_HATCH;
         SettlementSmartContract.args = {
             DispatchContract: dispatchContract,
             hooks,
@@ -41,4 +42,3 @@ SettlementContractProtocolModule = __decorate([
     __param(1, inject("BlockProver")),
     __metadata("design:paramtypes", [Array, Object])
 ], SettlementContractProtocolModule);
-export { SettlementContractProtocolModule };

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

@@ -1,5 +1,5 @@
 import { TypedClass } from "@proto-kit/common";
-import { AccountUpdate, Field, Proof, PublicKey, Signature, SmartContract, State, UInt32 } from "o1js";
+import { AccountUpdate, Field, Proof, PublicKey, Signature, SmartContract, State, UInt32, TokenContract, AccountUpdateForest } from "o1js";
 import { NetworkState } from "../../model/network/NetworkState";
 import { BlockProverPublicInput, BlockProverPublicOutput } from "../../prover/block/BlockProvable";
 import { OutgoingMessageArgumentBatch } from "../messages/OutgoingMessageArgument";
@@ -13,29 +13,30 @@ export declare class LazyBlockProof extends Proof<BlockProverPublicInput, BlockP
     };
 }
 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;
+    initialize: (sequencer: PublicKey, dispatchContract: PublicKey) => Promise<void>;
+    settle: (blockProof: LazyBlockProof, signature: Signature, dispatchContractAddress: PublicKey, publicKey: PublicKey, inputNetworkState: NetworkState, outputNetworkState: NetworkState, newPromisedMessagesHash: Field) => Promise<void>;
+    rollupOutgoingMessages: (batch: OutgoingMessageArgumentBatch) => Promise<void>;
+    redeem: (additionUpdate: AccountUpdate) => Promise<void>;
 }
-export declare const BATCH_SIGNATURE_PREFIX: import("o1js/dist/node/lib/field").Field;
-export declare class SettlementSmartContract extends SmartContract implements SettlementContractType {
+export declare const BATCH_SIGNATURE_PREFIX: import("o1js/dist/node/lib/provable/field").Field;
+export declare class SettlementSmartContract extends TokenContract 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>;
+    sequencerKey: State<import("o1js/dist/node/lib/provable/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;
+    stateRoot: State<import("o1js/dist/node/lib/provable/field").Field>;
+    networkStateHash: State<import("o1js/dist/node/lib/provable/field").Field>;
+    blockHashRoot: State<import("o1js/dist/node/lib/provable/field").Field>;
+    dispatchContractAddressX: State<import("o1js/dist/node/lib/provable/field").Field>;
+    outgoingMessageCursor: State<import("o1js/dist/node/lib/provable/field").Field>;
+    approveBase(forest: AccountUpdateForest): Promise<void>;
+    initialize(sequencer: PublicKey, dispatchContract: PublicKey): Promise<void>;
+    settle(blockProof: LazyBlockProof, signature: Signature, dispatchContractAddress: PublicKey, publicKey: PublicKey, inputNetworkState: NetworkState, outputNetworkState: NetworkState, newPromisedMessagesHash: Field): Promise<void>;
+    rollupOutgoingMessages(batch: OutgoingMessageArgumentBatch): Promise<void>;
+    redeem(additionUpdate: AccountUpdate): Promise<void>;
 }
 //# sourceMappingURL=SettlementSmartContract.d.ts.map

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

@@ -1 +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"}
+{"version":3,"file":"SettlementSmartContract.d.ts","sourceRoot":"","sources":["../../../src/settlement/contracts/SettlementSmartContract.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,UAAU,EAEX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,aAAa,EAEb,KAAK,EAIL,KAAK,EAEL,SAAS,EACT,SAAS,EACT,aAAa,EACb,KAAK,EAGL,MAAM,EAEN,aAAa,EACb,mBAAmB,EACpB,MAAM,MAAM,CAAC;AAEd,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;AAI/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,CACV,SAAS,EAAE,SAAS,EACpB,gBAAgB,EAAE,SAAS,KACxB,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB,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,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB,sBAAsB,EAAE,CACtB,KAAK,EAAE,4BAA4B,KAChC,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,EAAE,CAAC,cAAc,EAAE,aAAa,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CAC1D;AAGD,eAAO,MAAM,sBAAsB,mDAAqC,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,2DAAkB;IAC7B,qBAAqB,gBAAmB;IAEzC,SAAS,2DAAkB;IAC3B,gBAAgB,2DAAkB;IAClC,aAAa,2DAAkB;IAE/B,wBAAwB,2DAAkB;IAE1C,qBAAqB,2DAAkB;IAE9C,WAAW,CAAC,MAAM,EAAE,mBAAmB;IAKxC,UAAU,CAAC,SAAS,EAAE,SAAS,EAAE,gBAAgB,EAAE,SAAS;IAkB5D,MAAM,CACjB,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;IAwInB,sBAAsB,CAAC,KAAK,EAAE,4BAA4B;IAoD1D,MAAM,CAAC,cAAc,EAAE,aAAa;CAoBlD"}