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

package/dist/settlement/SettlementContractModule.d.ts

@@ -0,0 +1,40 @@
+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;
+    start(): Promise<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,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

@@ -0,0 +1,71 @@
+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, noop, } from "@proto-kit/common";
+import { injectable } from "tsyringe";
+import { DispatchContractProtocolModule } from "./contracts/DispatchContractProtocolModule";
+import { SettlementContractProtocolModule, } from "./contracts/SettlementContractProtocolModule";
+export 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);
+    }
+    async start() {
+        noop();
+    }
+    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();
+        // 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,
+            settlement: settlementInstance,
+        };
+    }
+};
+SettlementContractModule = SettlementContractModule_1 = __decorate([
+    injectable(),
+    __metadata("design:paramtypes", [Object])
+], 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.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/{hooks/TransactionFeeHook.js → settlement/contracts/DispatchContractProtocolModule.js}

@@ -10,30 +10,26 @@ var __metadata = (this && this.__metadata) || function (k, v) {
 var __param = (this && this.__param) || function (paramIndex, decorator) {
     return function (target, key) { decorator(target, key, paramIndex); }
 };
-var _a;
-/* eslint-disable import/no-unused-modules */
-import { createMerkleTree } from "@proto-kit/common";
-import { Runtime, } from "@proto-kit/module";
-import { inject } from "tsyringe";
-import { ProvableTransactionHook } from "../protocol/ProvableTransactionHook";
-export const treeFeeHeight = 10;
-export class FeeTree extends createMerkleTree(treeFeeHeight) {
-}
-let TransactionFeeHook = class TransactionFeeHook extends ProvableTransactionHook {
+import { inject, injectable } from "tsyringe";
+import { ContractModule, } from "../ContractModule";
+import { DispatchSmartContract, } from "./DispatchSmartContract";
+export let DispatchContractProtocolModule = class DispatchContractProtocolModule extends ContractModule {
     constructor(runtime) {
+        super();
         this.runtime = runtime;
-        this.feeTree = this.createFeeTree();
-        ;
     }
-    createFeeTree() {
-        const analyzedMethods = this.runtime.zkProgrammable.zkProgram.analyzeMethods();
-        console.log("analyzedMethods", analyzedMethods);
-        return new FeeTree();
+    contractFactory() {
+        const { incomingMessagesMethods } = this.config;
+        const methodIdMappings = this.runtime.methodIdResolver.methodIdMap();
+        DispatchSmartContract.args = {
+            incomingMessagesPaths: incomingMessagesMethods,
+            methodIdMappings,
+        };
+        return DispatchSmartContract;
     }
-    onTransaction(executionData) { }
 };
-TransactionFeeHook = __decorate([
+DispatchContractProtocolModule = __decorate([
+    injectable(),
     __param(0, inject("Runtime")),
-    __metadata("design:paramtypes", [typeof (_a = typeof Runtime !== "undefined" && Runtime) === "function" ? _a : Object])
-], TransactionFeeHook);
-export { TransactionFeeHook };
+    __metadata("design:paramtypes", [Object])
+], 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/provable/field").Field;
+export interface DispatchContractType {
+    updateMessagesHash: (executedMessagesHash: Field, newPromisedMessagesHash: Field) => Promise<void>;
+    initialize: (settlementContract: PublicKey) => Promise<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/provable/field").Field>;
+    honoredMessagesHash: State<import("o1js/dist/node/lib/provable/field").Field>;
+    settlementContract: State<PublicKey>;
+    updateMessagesHash(executedMessagesHash: Field, newPromisedMessagesHash: Field): Promise<void>;
+    initialize(settlementContract: PublicKey): Promise<void>;
+    private dispatchMessage;
+    deposit(amount: UInt64): Promise<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,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

@@ -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();
+    }
+    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.requireEquals(newPromisedMessagesHash);
+        this.promisedMessagesHash.set(newPromisedMessagesHash);
+    }
+    async initialize(settlementContract) {
+        this.promisedMessagesHash.getAndRequireEquals().assertEquals(Field(0));
+        this.honoredMessagesHash.getAndRequireEquals().assertEquals(Field(0));
+        this.settlementContract
+            .getAndRequireEquals()
+            .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],
+        };
+    }
+    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.sender.getUnconstrained();
+        const settlementContract = this.settlementContract.getAndRequireEquals();
+        // 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", Promise)
+], DispatchSmartContract.prototype, "updateMessagesHash", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [PublicKey]),
+    __metadata("design:returntype", Promise)
+], DispatchSmartContract.prototype, "initialize", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [UInt64]),
+    __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

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

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;
+export 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;
+        // 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,
+            withdrawalStatePath: withdrawalStatePathSplit,
+            escapeHatchSlotsInterval,
+        };
+        return SettlementSmartContract;
+    }
+};
+SettlementContractProtocolModule = __decorate([
+    injectable(),
+    __param(0, injectAll("ProvableSettlementHook")),
+    __param(1, inject("BlockProver")),
+    __metadata("design:paramtypes", [Array, Object])
+], SettlementContractProtocolModule);