@proto-kit/protocol 0.1.1-develop.1086

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

@@ -0,0 +1,16 @@
+import type { Field } from "o1js";
+import { RollupMerkleTreeWitness } from "@proto-kit/common";
+/**
+ * Interface for providing merkle witnesses to the state-transition prover
+ */
+export interface StateTransitionWitnessProvider {
+    /**
+     * Provides the merkle witness corresponding to the given key
+     * @param key Merkle-tree key
+     */
+    getWitness: (key: Field) => RollupMerkleTreeWitness;
+}
+export declare class NoOpStateTransitionWitnessProvider implements StateTransitionWitnessProvider {
+    getWitness(): RollupMerkleTreeWitness;
+}
+//# sourceMappingURL=StateTransitionWitnessProvider.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"StateTransitionWitnessProvider.d.ts","sourceRoot":"","sources":["../../../src/prover/statetransition/StateTransitionWitnessProvider.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,MAAM,CAAC;AAElC,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAE5D;;GAEG;AACH,MAAM,WAAW,8BAA8B;IAC7C;;;OAGG;IACH,UAAU,EAAE,CAAC,GAAG,EAAE,KAAK,KAAK,uBAAuB,CAAC;CACrD;AAED,qBACa,kCACX,YAAW,8BAA8B;IAElC,UAAU,IAAI,uBAAuB;CAG7C"}

package/dist/prover/statetransition/StateTransitionWitnessProvider.js

@@ -0,0 +1,16 @@
+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;
+};
+import { injectable } from "tsyringe";
+import { RollupMerkleTreeWitness } from "@proto-kit/common";
+export let NoOpStateTransitionWitnessProvider = class NoOpStateTransitionWitnessProvider {
+    getWitness() {
+        return new RollupMerkleTreeWitness({ path: [], isLeft: [] });
+    }
+};
+NoOpStateTransitionWitnessProvider = __decorate([
+    injectable()
+], NoOpStateTransitionWitnessProvider);

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

@@ -0,0 +1,7 @@
+import { StateTransitionWitnessProvider } from "./StateTransitionWitnessProvider";
+export declare class StateTransitionWitnessProviderReference {
+    private witnessProvider?;
+    setWitnessProvider(provider: StateTransitionWitnessProvider): void;
+    getWitnessProvider(): StateTransitionWitnessProvider | undefined;
+}
+//# sourceMappingURL=StateTransitionWitnessProviderReference.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"StateTransitionWitnessProviderReference.d.ts","sourceRoot":"","sources":["../../../src/prover/statetransition/StateTransitionWitnessProviderReference.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAElF,qBAEa,uCAAuC;IAClD,OAAO,CAAC,eAAe,CAAC,CAAiC;IAElD,kBAAkB,CAAC,QAAQ,EAAE,8BAA8B;IAI3D,kBAAkB,IAAI,8BAA8B,GAAG,SAAS;CAGxE"}

package/dist/prover/statetransition/StateTransitionWitnessProviderReference.js

@@ -0,0 +1,19 @@
+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;
+};
+import { injectable, Lifecycle, scoped } from "tsyringe";
+export let StateTransitionWitnessProviderReference = class StateTransitionWitnessProviderReference {
+    setWitnessProvider(provider) {
+        this.witnessProvider = provider;
+    }
+    getWitnessProvider() {
+        return this.witnessProvider;
+    }
+};
+StateTransitionWitnessProviderReference = __decorate([
+    injectable(),
+    scoped(Lifecycle.ContainerScoped)
+], StateTransitionWitnessProviderReference);

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,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/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,35 @@
+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";
+export 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);

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/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[0].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);

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

@@ -0,0 +1,42 @@
+import { TypedClass } from "@proto-kit/common";
+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";
+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) => 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/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/provable/field").Field>;
+    lastSettlementL1BlockHeight: State<UInt32>;
+    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

@@ -0,0 +1 @@
+{"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,2BAA2B,gBAAmB;IAE/C,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;IAmB5D,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;IAiInB,sBAAsB,CAAC,KAAK,EAAE,4BAA4B;IAoD1D,MAAM,CAAC,cAAc,EAAE,aAAa;CAoBlD"}