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

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":"AACA,OAAO,EACL,cAAc,EACd,2BAA2B,EAC3B,eAAe,EAEhB,MAAM,mBAAmB,CAAC;AAE3B,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;AAG9E,OAAO,EACL,sBAAsB,EAGvB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAClF,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAC;AAE9E,MAAM,MAAM,wBAAwB,GAAG;IACrC,wBAAwB,CAAC,EAAE,MAAM,CAAC;CACnC,CAAC;AAKF,qBACa,gCAAiC,SAAQ,cAAc,CAClE,sBAAsB,EACtB,wBAAwB,CACzB;IAGG,OAAO,CAAC,QAAQ,CAAC,KAAK;IAEtB,OAAO,CAAC,QAAQ,CAAC,WAAW;IAE5B,OAAO,CAAC,QAAQ,CAAC,sBAAsB;IAEvC,OAAO,CAAC,QAAQ,CAAC,oBAAoB;IACrC,OAAO,CAAC,QAAQ,CAAC,2BAA2B;gBAP3B,KAAK,EAAE,sBAAsB,CAAC,OAAO,CAAC,EAAE,EAExC,WAAW,EAAE,aAAa,EAE1B,sBAAsB,EAAE,8BAA8B,EAEtD,oBAAoB,EAAE,4BAA4B,EAClD,2BAA2B,EAAE,2BAA2B;IAKpE,eAAe,IAAI,+BAA+B,CAAC,sBAAsB,CAAC;IA+BpE,OAAO,CAClB,QAAQ,EAAE,eAAe,GACxB,OAAO,CAAC,cAAc,GAAG,SAAS,CAAC;CA4BvC"}

package/dist/settlement/contracts/SettlementContractProtocolModule.js

@@ -0,0 +1,84 @@
+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 { ChildVerificationKeyService, log, } from "@proto-kit/common";
+import { ContractModule, } from "../ContractModule";
+import { DispatchSmartContractBase } from "./DispatchSmartContract";
+import { SettlementSmartContract, SettlementSmartContractBase, } from "./SettlementSmartContract";
+import { BridgeContractBase } from "./BridgeContract";
+import { DispatchContractProtocolModule } from "./DispatchContractProtocolModule";
+import { BridgeContractProtocolModule } from "./BridgeContractProtocolModule";
+// 24 hours
+const DEFAULT_ESCAPE_HATCH = (60 / 3) * 24;
+export let SettlementContractProtocolModule = class SettlementContractProtocolModule extends ContractModule {
+    constructor(hooks, blockProver, dispatchContractModule, bridgeContractModule, childVerificationKeyService) {
+        super();
+        this.hooks = hooks;
+        this.blockProver = blockProver;
+        this.dispatchContractModule = dispatchContractModule;
+        this.bridgeContractModule = bridgeContractModule;
+        this.childVerificationKeyService = childVerificationKeyService;
+    }
+    contractFactory() {
+        const { hooks, config } = this;
+        const dispatchContract = this.dispatchContractModule.contractFactory();
+        const bridgeContract = this.bridgeContractModule.contractFactory();
+        const escapeHatchSlotsInterval = config.escapeHatchSlotsInterval ?? DEFAULT_ESCAPE_HATCH;
+        const { args } = SettlementSmartContractBase;
+        SettlementSmartContractBase.args = {
+            ...args,
+            DispatchContract: dispatchContract,
+            hooks,
+            escapeHatchSlotsInterval,
+            BridgeContract: bridgeContract,
+            BridgeContractVerificationKey: args?.BridgeContractVerificationKey,
+            BridgeContractPermissions: args?.BridgeContractPermissions,
+            signedSettlements: args?.signedSettlements,
+            ChildVerificationKeyService: this.childVerificationKeyService,
+        };
+        // Ideally we don't want to have this cyclic dependency, but we have it in the protocol,
+        // So its logical that we can't avoid that here
+        BridgeContractBase.args.SettlementContract = SettlementSmartContract;
+        DispatchSmartContractBase.args.settlementContractClass =
+            SettlementSmartContract;
+        return SettlementSmartContract;
+    }
+    async compile(registry) {
+        // Dependencies
+        const bridgeArtifact = await this.bridgeContractModule.compile(registry);
+        await this.blockProver.compile(registry);
+        this.contractFactory();
+        // Init params
+        SettlementSmartContractBase.args.BridgeContractVerificationKey =
+            bridgeArtifact.BridgeContract.verificationKey;
+        if (SettlementSmartContractBase.args.signedSettlements === undefined) {
+            throw new Error("Args not fully initialized - make sure to also include the SettlementModule in the sequencer");
+        }
+        log.debug("Compiling Settlement Contract");
+        const artifact = await registry.forceProverExists(async (reg) => await registry.compile(SettlementSmartContract));
+        return {
+            SettlementSmartContract: artifact,
+        };
+    }
+};
+SettlementContractProtocolModule = __decorate([
+    injectable(),
+    __param(0, injectAll("ProvableSettlementHook")),
+    __param(1, inject("BlockProver")),
+    __param(2, inject("DispatchContract")),
+    __param(3, inject("BridgeContract")),
+    __metadata("design:paramtypes", [Array, Object, DispatchContractProtocolModule,
+        BridgeContractProtocolModule,
+        ChildVerificationKeyService])
+], SettlementContractProtocolModule);
+//# sourceMappingURL=SettlementContractProtocolModule.js.map

package/dist/settlement/contracts/SettlementContractProtocolModule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"SettlementContractProtocolModule.js","sourceRoot":"","sources":["../../../src/settlement/contracts/SettlementContractProtocolModule.ts"],"names":[],"mappings":";;;;;;;;;;;;AAAA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACzD,OAAO,EAEL,2BAA2B,EAE3B,GAAG,GACJ,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EACL,cAAc,GAEf,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EAAE,yBAAyB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,EAEL,uBAAuB,EACvB,2BAA2B,GAC5B,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAClF,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAC;AAM9E,WAAW;AACX,MAAM,oBAAoB,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;AAGpC,WAAM,gCAAgC,GAAtC,MAAM,gCAAiC,SAAQ,cAGrD;IACC,YAEmB,KAAwC,EAExC,WAA0B,EAE1B,sBAAsD,EAEtD,oBAAkD,EAClD,2BAAwD;QAEzE,KAAK,EAAE,CAAC;QATS,UAAK,GAAL,KAAK,CAAmC;QAExC,gBAAW,GAAX,WAAW,CAAe;QAE1B,2BAAsB,GAAtB,sBAAsB,CAAgC;QAEtD,yBAAoB,GAApB,oBAAoB,CAA8B;QAClD,gCAA2B,GAA3B,2BAA2B,CAA6B;IAG3E,CAAC;IAEM,eAAe;QACpB,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;QAC/B,MAAM,gBAAgB,GAAG,IAAI,CAAC,sBAAsB,CAAC,eAAe,EAAE,CAAC;QACvE,MAAM,cAAc,GAAG,IAAI,CAAC,oBAAoB,CAAC,eAAe,EAAE,CAAC;QAEnE,MAAM,wBAAwB,GAC5B,MAAM,CAAC,wBAAwB,IAAI,oBAAoB,CAAC;QAE1D,MAAM,EAAE,IAAI,EAAE,GAAG,2BAA2B,CAAC;QAC7C,2BAA2B,CAAC,IAAI,GAAG;YACjC,GAAG,IAAI;YACP,gBAAgB,EAAE,gBAAgB;YAClC,KAAK;YACL,wBAAwB;YACxB,cAAc,EAAE,cAAc;YAC9B,6BAA6B,EAAE,IAAI,EAAE,6BAA6B;YAClE,yBAAyB,EAAE,IAAI,EAAE,yBAAyB;YAC1D,iBAAiB,EAAE,IAAI,EAAE,iBAAiB;YAC1C,2BAA2B,EAAE,IAAI,CAAC,2BAA2B;SAC9D,CAAC;QAEF,wFAAwF;QACxF,+CAA+C;QAC/C,kBAAkB,CAAC,IAAI,CAAC,kBAAkB,GAAG,uBAAuB,CAAC;QAErE,yBAAyB,CAAC,IAAI,CAAC,uBAAuB;YACpD,uBAAuB,CAAC;QAE1B,OAAO,uBAAuB,CAAC;IACjC,CAAC;IAEM,KAAK,CAAC,OAAO,CAClB,QAAyB;QAEzB,eAAe;QACf,MAAM,cAAc,GAAG,MAAM,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAEzE,MAAM,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAEzC,IAAI,CAAC,eAAe,EAAE,CAAC;QAEvB,cAAc;QACd,2BAA2B,CAAC,IAAI,CAAC,6BAA6B;YAC5D,cAAc,CAAC,cAAc,CAAC,eAAe,CAAC;QAEhD,IAAI,2BAA2B,CAAC,IAAI,CAAC,iBAAiB,KAAK,SAAS,EAAE;YACpE,MAAM,IAAI,KAAK,CACb,8FAA8F,CAC/F,CAAC;SACH;QAED,GAAG,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;QAE3C,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,iBAAiB,CAC/C,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,QAAQ,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAC/D,CAAC;QAEF,OAAO;YACL,uBAAuB,EAAE,QAAQ;SAClC,CAAC;IACJ,CAAC;CACF,CAAA;AA/EY,gCAAgC;IAD5C,UAAU,EAAE;IAMR,WAAA,SAAS,CAAC,wBAAwB,CAAC,CAAA;IAEnC,WAAA,MAAM,CAAC,aAAa,CAAC,CAAA;IAErB,WAAA,MAAM,CAAC,kBAAkB,CAAC,CAAA;IAE1B,WAAA,MAAM,CAAC,gBAAgB,CAAC,CAAA;oDADgB,8BAA8B;QAEhC,4BAA4B;QACrB,2BAA2B;GAbhE,gCAAgC,CA+E5C"}

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

@@ -0,0 +1,123 @@
+import { TypedClass, ChildVerificationKeyService } from "@proto-kit/common";
+import { AccountUpdate, Field, PublicKey, Signature, SmartContract, State, UInt32, AccountUpdateForest, TokenContract, PrivateKey, VerificationKey, Permissions, DynamicProof } from "o1js";
+import { NetworkState } from "../../model/network/NetworkState";
+import { BlockProverPublicInput, BlockProverPublicOutput } from "../../prover/block/BlockProvable";
+import { ProvableSettlementHook } from "../modularity/ProvableSettlementHook";
+import { DispatchContractType } from "./DispatchSmartContract";
+import { BridgeContractType } from "./BridgeContract";
+export declare class DynamicBlockProof extends DynamicProof<BlockProverPublicInput, BlockProverPublicOutput> {
+    static publicInputType: typeof BlockProverPublicInput;
+    static publicOutputType: typeof BlockProverPublicOutput;
+    static maxProofsVerified: 2;
+}
+declare const TokenMapping_base: (new (value: {
+    tokenId: import("o1js/dist/node/lib/provable/field").Field;
+    publicKey: PublicKey;
+}) => {
+    tokenId: import("o1js/dist/node/lib/provable/field").Field;
+    publicKey: PublicKey;
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    tokenId: import("o1js/dist/node/lib/provable/field").Field;
+    publicKey: PublicKey;
+}, {
+    tokenId: bigint;
+    publicKey: {
+        x: bigint;
+        isOdd: boolean;
+    };
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+        publicKey: PublicKey;
+    };
+} & {
+    fromValue: (value: {
+        tokenId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        publicKey: PublicKey | {
+            x: bigint | import("o1js/dist/node/lib/provable/field").Field;
+            isOdd: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+        };
+    }) => {
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+        publicKey: PublicKey;
+    };
+    toInput: (x: {
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+        publicKey: PublicKey;
+    }) => {
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+        publicKey: PublicKey;
+    }) => {
+        tokenId: string;
+        publicKey: string;
+    };
+    fromJSON: (x: {
+        tokenId: string;
+        publicKey: string;
+    }) => {
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+        publicKey: PublicKey;
+    };
+    empty: () => {
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+        publicKey: PublicKey;
+    };
+};
+export declare class TokenMapping extends TokenMapping_base {
+}
+export interface SettlementContractType {
+    authorizationField: State<Field>;
+    initialize: (sequencer: PublicKey, dispatchContract: PublicKey, bridgeContract: PublicKey, contractKey: PrivateKey) => Promise<void>;
+    assertStateRoot: (root: Field) => AccountUpdate;
+    settle: (blockProof: DynamicBlockProof, signature: Signature, dispatchContractAddress: PublicKey, publicKey: PublicKey, inputNetworkState: NetworkState, outputNetworkState: NetworkState, newPromisedMessagesHash: Field) => Promise<void>;
+    addTokenBridge: (tokenId: Field, address: PublicKey, dispatchContract: PublicKey) => Promise<void>;
+}
+export declare const BATCH_SIGNATURE_PREFIX: import("o1js/dist/node/lib/provable/field").Field;
+export declare abstract class SettlementSmartContractBase extends TokenContract {
+    static args: {
+        DispatchContract: TypedClass<DispatchContractType & SmartContract>;
+        hooks: ProvableSettlementHook<unknown>[];
+        escapeHatchSlotsInterval: number;
+        BridgeContract: TypedClass<BridgeContractType> & typeof SmartContract;
+        BridgeContractVerificationKey: VerificationKey | undefined;
+        BridgeContractPermissions: Permissions | undefined;
+        signedSettlements: boolean | undefined;
+        ChildVerificationKeyService: ChildVerificationKeyService;
+    };
+    events: {
+        "token-bridge-deployed": typeof TokenMapping;
+    };
+    abstract sequencerKey: State<Field>;
+    abstract lastSettlementL1BlockHeight: State<UInt32>;
+    abstract stateRoot: State<Field>;
+    abstract networkStateHash: State<Field>;
+    abstract blockHashRoot: State<Field>;
+    abstract dispatchContractAddressX: State<Field>;
+    abstract authorizationField: State<Field>;
+    assertStateRoot(root: Field): AccountUpdate;
+    private assertLazyConfigsInitialized;
+    protected deployTokenBridge(tokenId: Field, address: PublicKey, dispatchContractAddress: PublicKey, dispatchContractPreconditionEnforced?: boolean): Promise<void>;
+    protected initializeBase(sequencer: PublicKey, dispatchContract: PublicKey, bridgeContract: PublicKey, contractKey: PrivateKey): Promise<void>;
+    protected settleBase(blockProof: DynamicBlockProof, signature: Signature, dispatchContractAddress: PublicKey, publicKey: PublicKey, inputNetworkState: NetworkState, outputNetworkState: NetworkState, newPromisedMessagesHash: Field): Promise<void>;
+}
+export declare class SettlementSmartContract extends SettlementSmartContractBase implements SettlementContractType {
+    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>;
+    authorizationField: State<import("o1js/dist/node/lib/provable/field").Field>;
+    approveBase(forest: AccountUpdateForest): Promise<void>;
+    initialize(sequencer: PublicKey, dispatchContract: PublicKey, bridgeContract: PublicKey, contractKey: PrivateKey): Promise<void>;
+    addTokenBridge(tokenId: Field, address: PublicKey, dispatchContract: PublicKey): Promise<void>;
+    settle(blockProof: DynamicBlockProof, signature: Signature, dispatchContractAddress: PublicKey, publicKey: PublicKey, inputNetworkState: NetworkState, outputNetworkState: NetworkState, newPromisedMessagesHash: Field): Promise<void>;
+}
+export {};
+//# 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,EAEL,UAAU,EAEV,2BAA2B,EAE5B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,aAAa,EAEb,KAAK,EAEL,SAAS,EACT,SAAS,EACT,aAAa,EACb,KAAK,EAEL,MAAM,EACN,mBAAmB,EACnB,aAAa,EACb,UAAU,EACV,eAAe,EACf,WAAW,EAIX,YAAY,EACb,MAAM,MAAM,CAAC;AAEd,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAEhE,OAAO,EACL,sBAAsB,EACtB,uBAAuB,EACxB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EACL,sBAAsB,EAGvB,MAAM,sCAAsC,CAAC;AAE9C,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAMtD,qBAAa,iBAAkB,SAAQ,YAAY,CACjD,sBAAsB,EACtB,uBAAuB,CACxB;IACC,OAAc,eAAe,gCAA0B;IAEvD,OAAc,gBAAgB,iCAA2B;IAEzD,OAAc,iBAAiB,IAAc;CAC9C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED,qBAAa,YAAa,SAAQ,iBAGhC;CAAG;AAEL,MAAM,WAAW,sBAAsB;IACrC,kBAAkB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAEjC,UAAU,EAAE,CACV,SAAS,EAAE,SAAS,EACpB,gBAAgB,EAAE,SAAS,EAC3B,cAAc,EAAE,SAAS,EACzB,WAAW,EAAE,UAAU,KACpB,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB,eAAe,EAAE,CAAC,IAAI,EAAE,KAAK,KAAK,aAAa,CAAC;IAChD,MAAM,EAAE,CACN,UAAU,EAAE,iBAAiB,EAC7B,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,cAAc,EAAE,CACd,OAAO,EAAE,KAAK,EACd,OAAO,EAAE,SAAS,EAClB,gBAAgB,EAAE,SAAS,KACxB,OAAO,CAAC,IAAI,CAAC,CAAC;CACpB;AAGD,eAAO,MAAM,sBAAsB,mDAAqC,CAAC;AAgBzE,8BAAsB,2BAA4B,SAAQ,aAAa;IAIrE,OAAc,IAAI,EAAE;QAClB,gBAAgB,EAAE,UAAU,CAAC,oBAAoB,GAAG,aAAa,CAAC,CAAC;QACnE,KAAK,EAAE,sBAAsB,CAAC,OAAO,CAAC,EAAE,CAAC;QACzC,wBAAwB,EAAE,MAAM,CAAC;QACjC,cAAc,EAAE,UAAU,CAAC,kBAAkB,CAAC,GAAG,OAAO,aAAa,CAAC;QAEtE,6BAA6B,EAAE,eAAe,GAAG,SAAS,CAAC;QAC3D,yBAAyB,EAAE,WAAW,GAAG,SAAS,CAAC;QACnD,iBAAiB,EAAE,OAAO,GAAG,SAAS,CAAC;QACvC,2BAA2B,EAAE,2BAA2B,CAAC;KAC1D,CAAC;IAEF,MAAM;;MAEJ;IAEF,QAAQ,CAAC,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACpC,QAAQ,CAAC,2BAA2B,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACpD,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACjC,QAAQ,CAAC,gBAAgB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACxC,QAAQ,CAAC,aAAa,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACrC,QAAQ,CAAC,wBAAwB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAEhD,QAAQ,CAAC,kBAAkB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAKnC,eAAe,CAAC,IAAI,EAAE,KAAK,GAAG,aAAa;IAMlD,OAAO,CAAC,4BAA4B;cAkBpB,iBAAiB,CAC/B,OAAO,EAAE,KAAK,EACd,OAAO,EAAE,SAAS,EAClB,uBAAuB,EAAE,SAAS,EAClC,oCAAoC,UAAQ;cA8E9B,cAAc,CAC5B,SAAS,EAAE,SAAS,EACpB,gBAAgB,EAAE,SAAS,EAC3B,cAAc,EAAE,SAAS,EACzB,WAAW,EAAE,UAAU;cA6BT,UAAU,CACxB,UAAU,EAAE,iBAAiB,EAC7B,SAAS,EAAE,SAAS,EACpB,uBAAuB,EAAE,SAAS,EAClC,SAAS,EAAE,SAAS,EACpB,iBAAiB,EAAE,YAAY,EAC/B,kBAAkB,EAAE,YAAY,EAChC,uBAAuB,EAAE,KAAK;CAqJjC;AAED,qBAAa,uBACX,SAAQ,2BACR,YAAW,sBAAsB;IAEZ,YAAY,2DAAkB;IAC7B,2BAA2B,gBAAmB;IAE/C,SAAS,2DAAkB;IAC3B,gBAAgB,2DAAkB;IAClC,aAAa,2DAAkB;IAE/B,wBAAwB,2DAAkB;IAE1C,kBAAkB,2DAAkB;IAE3C,WAAW,CAAC,MAAM,EAAE,mBAAmB;IAKxC,UAAU,CACrB,SAAS,EAAE,SAAS,EACpB,gBAAgB,EAAE,SAAS,EAC3B,cAAc,EAAE,SAAS,EACzB,WAAW,EAAE,UAAU;IAWZ,cAAc,CACzB,OAAO,EAAE,KAAK,EACd,OAAO,EAAE,SAAS,EAClB,gBAAgB,EAAE,SAAS;IAMhB,MAAM,CACjB,UAAU,EAAE,iBAAiB,EAC7B,SAAS,EAAE,SAAS,EACpB,uBAAuB,EAAE,SAAS,EAClC,SAAS,EAAE,SAAS,EACpB,iBAAiB,EAAE,YAAY,EAC/B,kBAAkB,EAAE,YAAY,EAChC,uBAAuB,EAAE,KAAK;CAYjC"}

package/dist/settlement/contracts/SettlementSmartContract.js

@@ -0,0 +1,310 @@
+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 { prefixToField, mapSequential, LinkedMerkleTree, } from "@proto-kit/common";
+import { Bool, Field, method, PublicKey, Signature, State, state, UInt32, AccountUpdateForest, TokenContract, PrivateKey, Struct, Provable, TokenId, DynamicProof, } from "o1js";
+import { NetworkState } from "../../model/network/NetworkState";
+import { BlockHashMerkleTree } from "../../prover/block/accummulators/BlockHashMerkleTree";
+import { BlockProverPublicInput, BlockProverPublicOutput, } from "../../prover/block/BlockProvable";
+import { TokenBridgeDeploymentAuth } from "./authorizations/TokenBridgeDeploymentAuth";
+import { UpdateMessagesHashAuth } from "./authorizations/UpdateMessagesHashAuth";
+/* eslint-disable @typescript-eslint/lines-between-class-members */
+export class DynamicBlockProof extends DynamicProof {
+}
+DynamicBlockProof.publicInputType = BlockProverPublicInput;
+DynamicBlockProof.publicOutputType = BlockProverPublicOutput;
+DynamicBlockProof.maxProofsVerified = 2;
+export class TokenMapping extends Struct({
+    tokenId: Field,
+    publicKey: PublicKey,
+}) {
+}
+// Some random prefix for the sequencer signature
+export const BATCH_SIGNATURE_PREFIX = prefixToField("pk-batchSignature");
+// @singleton()
+// export class SettlementSmartContractStaticArgs {
+//   public args?: {
+//     DispatchContract: TypedClass<DispatchContractType & SmartContract>;
+//     hooks: ProvableSettlementHook<unknown>[];
+//     escapeHatchSlotsInterval: number;
+//     BridgeContract: TypedClass<BridgeContractType> & typeof SmartContract;
+//     // Lazily initialized
+//     BridgeContractVerificationKey: VerificationKey | undefined;
+//     BridgeContractPermissions: Permissions | undefined;
+//     signedSettlements: boolean | undefined;
+//   };
+// }
+export class SettlementSmartContractBase extends TokenContract {
+    constructor() {
+        super(...arguments);
+        this.events = {
+            "token-bridge-deployed": TokenMapping,
+        };
+    }
+    // Not @state
+    // abstract offchainStateCommitmentsHash: State<Field>;
+    assertStateRoot(root) {
+        this.stateRoot.requireEquals(root);
+        return this.self;
+    }
+    // TODO Like these properties, I am too lazy to properly infer the types here
+    assertLazyConfigsInitialized() {
+        const uninitializedProperties = [];
+        const { args } = SettlementSmartContractBase;
+        if (args.BridgeContractPermissions === undefined) {
+            uninitializedProperties.push("BridgeContractPermissions");
+        }
+        if (args.signedSettlements === undefined) {
+            uninitializedProperties.push("signedSettlements");
+        }
+        if (uninitializedProperties.length > 0) {
+            throw new Error(`Lazy configs of SettlementSmartContract haven't been initialized ${uninitializedProperties.reduce((a, b) => `${a},${b}`)}`);
+        }
+    }
+    async deployTokenBridge(tokenId, address, dispatchContractAddress, dispatchContractPreconditionEnforced = false) {
+        Provable.asProver(() => {
+            this.assertLazyConfigsInitialized();
+        });
+        const { args } = SettlementSmartContractBase;
+        const BridgeContractClass = args.BridgeContract;
+        const bridgeContract = new BridgeContractClass(address, tokenId);
+        const { BridgeContractVerificationKey, signedSettlements, BridgeContractPermissions, } = args;
+        if (signedSettlements === undefined ||
+            BridgeContractPermissions === undefined) {
+            throw new Error("Static arguments for SettlementSmartContract not initialized");
+        }
+        if (BridgeContractVerificationKey !== undefined &&
+            !BridgeContractVerificationKey.hash.isConstant()) {
+            throw new Error("Bridge contract verification key has to be constants");
+        }
+        // This function is not a zkapps method, therefore it will be part of this methods execution
+        // The returning account update (owner.self) is therefore part of this circuit and is assertable
+        const deploymentAccountUpdate = await bridgeContract.deployProvable(args.BridgeContractVerificationKey, args.signedSettlements, args.BridgeContractPermissions, this.address);
+        this.approve(deploymentAccountUpdate);
+        this.self.body.mayUseToken = {
+            // Only set this if we deploy a custom token
+            parentsOwnToken: tokenId.equals(TokenId.default).not(),
+            inheritFromParent: Bool(false),
+        };
+        this.emitEvent("token-bridge-deployed", new TokenMapping({
+            tokenId: tokenId,
+            publicKey: address,
+        }));
+        // We can't set a precondition twice, for the $mina bridge deployment that
+        // would be the case, so we disable it in this case
+        if (!dispatchContractPreconditionEnforced) {
+            this.dispatchContractAddressX.requireEquals(dispatchContractAddress.x);
+        }
+        // Set authorization for the auth callback, that we need
+        this.authorizationField.set(new TokenBridgeDeploymentAuth({
+            target: dispatchContractAddress,
+            tokenId,
+            address,
+        }).hash());
+        const dispatchContract = new SettlementSmartContractBase.args.DispatchContract(dispatchContractAddress);
+        await dispatchContract.enableTokenDeposits(tokenId, address, this.address);
+    }
+    async initializeBase(sequencer, dispatchContract, bridgeContract, contractKey) {
+        this.sequencerKey.getAndRequireEquals().assertEquals(Field(0));
+        this.stateRoot.getAndRequireEquals().assertEquals(Field(0));
+        this.blockHashRoot.getAndRequireEquals().assertEquals(Field(0));
+        this.networkStateHash.getAndRequireEquals().assertEquals(Field(0));
+        this.dispatchContractAddressX.getAndRequireEquals().assertEquals(Field(0));
+        this.sequencerKey.set(sequencer.x);
+        this.stateRoot.set(LinkedMerkleTree.EMPTY_ROOT);
+        this.blockHashRoot.set(Field(BlockHashMerkleTree.EMPTY_ROOT));
+        this.networkStateHash.set(NetworkState.empty().hash());
+        this.dispatchContractAddressX.set(dispatchContract.x);
+        const { DispatchContract } = SettlementSmartContractBase.args;
+        const contractInstance = new DispatchContract(dispatchContract);
+        await contractInstance.initialize(this.address);
+        // Deploy bridge contract for $Mina
+        await this.deployTokenBridge(this.tokenId, bridgeContract, dispatchContract, true);
+        contractKey.toPublicKey().assertEquals(this.address);
+    }
+    async settleBase(blockProof, signature, dispatchContractAddress, publicKey, inputNetworkState, outputNetworkState, newPromisedMessagesHash) {
+        // Brought in as a constant
+        const blockProofVk = SettlementSmartContractBase.args.ChildVerificationKeyService.getVerificationKey("BlockProver");
+        if (!blockProofVk.hash.isConstant()) {
+            throw new Error("Sanity check - vk hash has to be constant");
+        }
+        // Verify the blockproof
+        blockProof.verify(blockProofVk);
+        // Get and assert on-chain values
+        const stateRoot = this.stateRoot.getAndRequireEquals();
+        const networkStateHash = this.networkStateHash.getAndRequireEquals();
+        const blockHashRoot = this.blockHashRoot.getAndRequireEquals();
+        const sequencerKey = this.sequencerKey.getAndRequireEquals();
+        const lastSettlementL1BlockHeight = this.lastSettlementL1BlockHeight.getAndRequireEquals();
+        const onChainDispatchContractAddressX = this.dispatchContractAddressX.getAndRequireEquals();
+        onChainDispatchContractAddressX.assertEquals(dispatchContractAddress.x, "DispatchContract address not provided correctly");
+        const { DispatchContract, escapeHatchSlotsInterval, hooks } = SettlementSmartContractBase.args;
+        // Get dispatch contract values
+        // These values are witnesses but will be checked later on the AU
+        // call to the dispatch contract via .updateMessagesHash()
+        const dispatchContract = new DispatchContract(dispatchContractAddress);
+        const promisedMessagesHash = dispatchContract.promisedMessagesHash.get();
+        // Get block height and use the lower bound for all ops
+        const minBlockHeightIncluded = this.network.blockchainLength.get();
+        this.network.blockchainLength.requireBetween(minBlockHeightIncluded, 
+        // 5 because that is the length the newPromisedMessagesHash will be valid
+        minBlockHeightIncluded.add(4));
+        // Check signature/escape catch
+        publicKey.x.assertEquals(sequencerKey, "Sequencer public key witness not matching");
+        const signatureValid = signature.verify(publicKey, [
+            BATCH_SIGNATURE_PREFIX,
+            lastSettlementL1BlockHeight.value,
+        ]);
+        const escapeHatchActivated = lastSettlementL1BlockHeight
+            .add(UInt32.from(escapeHatchSlotsInterval))
+            .lessThan(minBlockHeightIncluded);
+        signatureValid
+            .or(escapeHatchActivated)
+            .assertTrue("Sequencer signature not valid and escape hatch not activated");
+        // Assert correctness of networkState witness
+        inputNetworkState
+            .hash()
+            .assertEquals(networkStateHash, "InputNetworkState witness not valid");
+        outputNetworkState
+            .hash()
+            .assertEquals(blockProof.publicOutput.networkStateHash, "OutputNetworkState witness not valid");
+        blockProof.publicOutput.closed.assertEquals(Bool(true), "Supplied proof is not a closed BlockProof");
+        blockProof.publicOutput.pendingSTBatchesHash.assertEquals(Field(0), "Supplied proof is has outstanding STs to be proven");
+        // Execute onSettlementHooks for additional checks
+        const stateRecord = {
+            blockHashRoot,
+            stateRoot,
+            networkStateHash,
+            lastSettlementL1BlockHeight,
+            sequencerKey: publicKey,
+        };
+        const inputs = {
+            blockProof,
+            contractState: stateRecord,
+            newPromisedMessagesHash,
+            fromNetworkState: inputNetworkState,
+            toNetworkState: outputNetworkState,
+            currentL1BlockHeight: minBlockHeightIncluded,
+        };
+        await mapSequential(hooks, async (hook) => {
+            await hook.beforeSettlement(this, inputs);
+        });
+        // Apply blockProof
+        stateRoot.assertEquals(blockProof.publicInput.stateRoot, "Input state root not matching");
+        networkStateHash.assertEquals(blockProof.publicInput.networkStateHash, "Input networkStateHash not matching");
+        blockHashRoot.assertEquals(blockProof.publicInput.blockHashRoot, "Input blockHashRoot not matching");
+        this.stateRoot.set(blockProof.publicOutput.stateRoot);
+        this.networkStateHash.set(blockProof.publicOutput.networkStateHash);
+        this.blockHashRoot.set(blockProof.publicOutput.blockHashRoot);
+        // Assert and apply deposit commitments
+        promisedMessagesHash.assertEquals(blockProof.publicOutput.incomingMessagesHash, "Promised messages not honored");
+        // Set authorization for the dispatchContract to verify the messages hash update
+        this.authorizationField.set(new UpdateMessagesHashAuth({
+            target: dispatchContract.address,
+            executedMessagesHash: promisedMessagesHash,
+            newPromisedMessagesHash,
+        }).hash());
+        // Call DispatchContract
+        // This call checks that the promisedMessagesHash, which is already proven
+        // to be the blockProofs publicoutput, is actually the current on-chain
+        // promisedMessageHash. It also checks the newPromisedMessagesHash to be
+        // a current sequencestate value
+        await dispatchContract.updateMessagesHash(promisedMessagesHash, newPromisedMessagesHash);
+        this.lastSettlementL1BlockHeight.set(minBlockHeightIncluded);
+    }
+}
+export class SettlementSmartContract extends SettlementSmartContractBase {
+    constructor() {
+        super(...arguments);
+        this.sequencerKey = State();
+        this.lastSettlementL1BlockHeight = State();
+        this.stateRoot = State();
+        this.networkStateHash = State();
+        this.blockHashRoot = State();
+        this.dispatchContractAddressX = State();
+        this.authorizationField = State();
+    }
+    async approveBase(forest) {
+        this.checkZeroBalanceChange(forest);
+    }
+    async initialize(sequencer, dispatchContract, bridgeContract, contractKey) {
+        await this.initializeBase(sequencer, dispatchContract, bridgeContract, contractKey);
+    }
+    async addTokenBridge(tokenId, address, dispatchContract) {
+        await this.deployTokenBridge(tokenId, address, dispatchContract);
+    }
+    async settle(blockProof, signature, dispatchContractAddress, publicKey, inputNetworkState, outputNetworkState, newPromisedMessagesHash) {
+        return await this.settleBase(blockProof, signature, dispatchContractAddress, publicKey, inputNetworkState, outputNetworkState, newPromisedMessagesHash);
+    }
+}
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], SettlementSmartContract.prototype, "sequencerKey", void 0);
+__decorate([
+    state(UInt32),
+    __metadata("design:type", Object)
+], SettlementSmartContract.prototype, "lastSettlementL1BlockHeight", void 0);
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], SettlementSmartContract.prototype, "stateRoot", void 0);
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], SettlementSmartContract.prototype, "networkStateHash", void 0);
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], SettlementSmartContract.prototype, "blockHashRoot", void 0);
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], SettlementSmartContract.prototype, "dispatchContractAddressX", void 0);
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], SettlementSmartContract.prototype, "authorizationField", void 0);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [AccountUpdateForest]),
+    __metadata("design:returntype", Promise)
+], SettlementSmartContract.prototype, "approveBase", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [PublicKey,
+        PublicKey,
+        PublicKey,
+        PrivateKey]),
+    __metadata("design:returntype", Promise)
+], SettlementSmartContract.prototype, "initialize", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [Field,
+        PublicKey,
+        PublicKey]),
+    __metadata("design:returntype", Promise)
+], SettlementSmartContract.prototype, "addTokenBridge", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [DynamicBlockProof,
+        Signature,
+        PublicKey,
+        PublicKey,
+        NetworkState,
+        NetworkState,
+        Field]),
+    __metadata("design:returntype", Promise)
+], SettlementSmartContract.prototype, "settle", null);
+/* eslint-enable @typescript-eslint/lines-between-class-members */
+//# sourceMappingURL=SettlementSmartContract.js.map

package/dist/settlement/contracts/SettlementSmartContract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"SettlementSmartContract.js","sourceRoot":"","sources":["../../../src/settlement/contracts/SettlementSmartContract.ts"],"names":[],"mappings":";;;;;;;;;AAAA,OAAO,EACL,aAAa,EAEb,aAAa,EAEb,gBAAgB,GACjB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAEL,IAAI,EACJ,KAAK,EACL,MAAM,EACN,SAAS,EACT,SAAS,EAET,KAAK,EACL,KAAK,EACL,MAAM,EACN,mBAAmB,EACnB,aAAa,EACb,UAAU,EAGV,MAAM,EACN,QAAQ,EACR,OAAO,EACP,YAAY,GACb,MAAM,MAAM,CAAC;AAEd,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,mBAAmB,EAAE,MAAM,sDAAsD,CAAC;AAC3F,OAAO,EACL,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAS1C,OAAO,EAAE,yBAAyB,EAAE,MAAM,4CAA4C,CAAC;AACvF,OAAO,EAAE,sBAAsB,EAAE,MAAM,yCAAyC,CAAC;AAEjF,mEAAmE;AAEnE,MAAM,OAAO,iBAAkB,SAAQ,YAGtC;;AACe,iCAAe,GAAG,sBAAsB,CAAC;AAEzC,kCAAgB,GAAG,uBAAuB,CAAC;AAE3C,mCAAiB,GAAG,CAAU,CAAC;AAG/C,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC;IACvC,OAAO,EAAE,KAAK;IACd,SAAS,EAAE,SAAS;CACrB,CAAC;CAAG;AA4BL,iDAAiD;AACjD,MAAM,CAAC,MAAM,sBAAsB,GAAG,aAAa,CAAC,mBAAmB,CAAC,CAAC;AAEzE,eAAe;AACf,mDAAmD;AACnD,oBAAoB;AACpB,0EAA0E;AAC1E,gDAAgD;AAChD,wCAAwC;AACxC,6EAA6E;AAC7E,4BAA4B;AAC5B,kEAAkE;AAClE,0DAA0D;AAC1D,8CAA8C;AAC9C,OAAO;AACP,IAAI;AAEJ,MAAM,OAAgB,2BAA4B,SAAQ,aAAa;IAAvE;;QAgBE,WAAM,GAAG;YACP,uBAAuB,EAAE,YAAY;SACtC,CAAC;IAqTJ,CAAC;IA1SC,aAAa;IACb,uDAAuD;IAEhD,eAAe,CAAC,IAAW;QAChC,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QACnC,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IAED,6EAA6E;IACrE,4BAA4B;QAClC,MAAM,uBAAuB,GAAa,EAAE,CAAC;QAC7C,MAAM,EAAE,IAAI,EAAE,GAAG,2BAA2B,CAAC;QAC7C,IAAI,IAAI,CAAC,yBAAyB,KAAK,SAAS,EAAE;YAChD,uBAAuB,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;SAC3D;QACD,IAAI,IAAI,CAAC,iBAAiB,KAAK,SAAS,EAAE;YACxC,uBAAuB,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;SACnD;QACD,IAAI,uBAAuB,CAAC,MAAM,GAAG,CAAC,EAAE;YACtC,MAAM,IAAI,KAAK,CACb,oEAAoE,uBAAuB,CAAC,MAAM,CAChG,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CACtB,EAAE,CACJ,CAAC;SACH;IACH,CAAC;IAES,KAAK,CAAC,iBAAiB,CAC/B,OAAc,EACd,OAAkB,EAClB,uBAAkC,EAClC,oCAAoC,GAAG,KAAK;QAE5C,QAAQ,CAAC,QAAQ,CAAC,GAAG,EAAE;YACrB,IAAI,CAAC,4BAA4B,EAAE,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,MAAM,EAAE,IAAI,EAAE,GAAG,2BAA2B,CAAC;QAC7C,MAAM,mBAAmB,GAAG,IAAI,CAAC,cAAc,CAAC;QAChD,MAAM,cAAc,GAAG,IAAI,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAEjE,MAAM,EACJ,6BAA6B,EAC7B,iBAAiB,EACjB,yBAAyB,GAC1B,GAAG,IAAI,CAAC;QAET,IACE,iBAAiB,KAAK,SAAS;YAC/B,yBAAyB,KAAK,SAAS,EACvC;YACA,MAAM,IAAI,KAAK,CACb,8DAA8D,CAC/D,CAAC;SACH;QAED,IACE,6BAA6B,KAAK,SAAS;YAC3C,CAAC,6BAA6B,CAAC,IAAI,CAAC,UAAU,EAAE,EAChD;YACA,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;SACzE;QAED,4FAA4F;QAC5F,gGAAgG;QAChG,MAAM,uBAAuB,GAAG,MAAM,cAAc,CAAC,cAAc,CACjE,IAAI,CAAC,6BAA6B,EAClC,IAAI,CAAC,iBAAkB,EACvB,IAAI,CAAC,yBAA0B,EAC/B,IAAI,CAAC,OAAO,CACb,CAAC;QAEF,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;QAEtC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,GAAG;YAC3B,4CAA4C;YAC5C,eAAe,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE;YACtD,iBAAiB,EAAE,IAAI,CAAC,KAAK,CAAC;SAC/B,CAAC;QAEF,IAAI,CAAC,SAAS,CACZ,uBAAuB,EACvB,IAAI,YAAY,CAAC;YACf,OAAO,EAAE,OAAO;YAChB,SAAS,EAAE,OAAO;SACnB,CAAC,CACH,CAAC;QAEF,0EAA0E;QAC1E,mDAAmD;QACnD,IAAI,CAAC,oCAAoC,EAAE;YACzC,IAAI,CAAC,wBAAwB,CAAC,aAAa,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC;SACxE;QAED,wDAAwD;QACxD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CACzB,IAAI,yBAAyB,CAAC;YAC5B,MAAM,EAAE,uBAAuB;YAC/B,OAAO;YACP,OAAO;SACR,CAAC,CAAC,IAAI,EAAE,CACV,CAAC;QACF,MAAM,gBAAgB,GACpB,IAAI,2BAA2B,CAAC,IAAI,CAAC,gBAAgB,CACnD,uBAAuB,CACxB,CAAC;QACJ,MAAM,gBAAgB,CAAC,mBAAmB,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7E,CAAC;IAES,KAAK,CAAC,cAAc,CAC5B,SAAoB,EACpB,gBAA2B,EAC3B,cAAyB,EACzB,WAAuB;QAEvB,IAAI,CAAC,YAAY,CAAC,mBAAmB,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,IAAI,CAAC,SAAS,CAAC,mBAAmB,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,IAAI,CAAC,aAAa,CAAC,mBAAmB,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,IAAI,CAAC,gBAAgB,CAAC,mBAAmB,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACnE,IAAI,CAAC,wBAAwB,CAAC,mBAAmB,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAE3E,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC;QAChD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC,CAAC;QAC9D,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;QACvD,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAEtD,MAAM,EAAE,gBAAgB,EAAE,GAAG,2BAA2B,CAAC,IAAI,CAAC;QAC9D,MAAM,gBAAgB,GAAG,IAAI,gBAAgB,CAAC,gBAAgB,CAAC,CAAC;QAChE,MAAM,gBAAgB,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAEhD,mCAAmC;QACnC,MAAM,IAAI,CAAC,iBAAiB,CAC1B,IAAI,CAAC,OAAO,EACZ,cAAc,EACd,gBAAgB,EAChB,IAAI,CACL,CAAC;QAEF,WAAW,CAAC,WAAW,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvD,CAAC;IAES,KAAK,CAAC,UAAU,CACxB,UAA6B,EAC7B,SAAoB,EACpB,uBAAkC,EAClC,SAAoB,EACpB,iBAA+B,EAC/B,kBAAgC,EAChC,uBAA8B;QAE9B,2BAA2B;QAC3B,MAAM,YAAY,GAChB,2BAA2B,CAAC,IAAI,CAAC,2BAA2B,CAAC,kBAAkB,CAC7E,aAAa,CACd,CAAC;QACJ,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE;YACnC,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;SAC9D;QAED,wBAAwB;QACxB,UAAU,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QAEhC,iCAAiC;QACjC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,mBAAmB,EAAE,CAAC;QACvD,MAAM,gBAAgB,GAAG,IAAI,CAAC,gBAAgB,CAAC,mBAAmB,EAAE,CAAC;QACrE,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC,mBAAmB,EAAE,CAAC;QAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,mBAAmB,EAAE,CAAC;QAC7D,MAAM,2BAA2B,GAC/B,IAAI,CAAC,2BAA2B,CAAC,mBAAmB,EAAE,CAAC;QACzD,MAAM,+BAA+B,GACnC,IAAI,CAAC,wBAAwB,CAAC,mBAAmB,EAAE,CAAC;QAEtD,+BAA+B,CAAC,YAAY,CAC1C,uBAAuB,CAAC,CAAC,EACzB,iDAAiD,CAClD,CAAC;QAEF,MAAM,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,KAAK,EAAE,GACzD,2BAA2B,CAAC,IAAI,CAAC;QAEnC,+BAA+B;QAC/B,iEAAiE;QACjE,0DAA0D;QAC1D,MAAM,gBAAgB,GAAG,IAAI,gBAAgB,CAAC,uBAAuB,CAAC,CAAC;QACvE,MAAM,oBAAoB,GAAG,gBAAgB,CAAC,oBAAoB,CAAC,GAAG,EAAE,CAAC;QAEzE,uDAAuD;QACvD,MAAM,sBAAsB,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,EAAE,CAAC;QACnE,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAC1C,sBAAsB;QACtB,yEAAyE;QACzE,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC,CAC9B,CAAC;QAEF,+BAA+B;QAC/B,SAAS,CAAC,CAAC,CAAC,YAAY,CACtB,YAAY,EACZ,2CAA2C,CAC5C,CAAC;QACF,MAAM,cAAc,GAAG,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE;YACjD,sBAAsB;YACtB,2BAA2B,CAAC,KAAK;SAClC,CAAC,CAAC;QACH,MAAM,oBAAoB,GAAG,2BAA2B;aACrD,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;aAC1C,QAAQ,CAAC,sBAAsB,CAAC,CAAC;QACpC,cAAc;aACX,EAAE,CAAC,oBAAoB,CAAC;aACxB,UAAU,CACT,8DAA8D,CAC/D,CAAC;QAEJ,6CAA6C;QAC7C,iBAAiB;aACd,IAAI,EAAE;aACN,YAAY,CAAC,gBAAgB,EAAE,qCAAqC,CAAC,CAAC;QACzE,kBAAkB;aACf,IAAI,EAAE;aACN,YAAY,CACX,UAAU,CAAC,YAAY,CAAC,gBAAgB,EACxC,sCAAsC,CACvC,CAAC;QAEJ,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,YAAY,CACzC,IAAI,CAAC,IAAI,CAAC,EACV,2CAA2C,CAC5C,CAAC;QACF,UAAU,CAAC,YAAY,CAAC,oBAAoB,CAAC,YAAY,CACvD,KAAK,CAAC,CAAC,CAAC,EACR,oDAAoD,CACrD,CAAC;QAEF,kDAAkD;QAClD,MAAM,WAAW,GAA0B;YACzC,aAAa;YACb,SAAS;YACT,gBAAgB;YAChB,2BAA2B;YAC3B,YAAY,EAAE,SAAS;SACxB,CAAC;QACF,MAAM,MAAM,GAAyB;YACnC,UAAU;YACV,aAAa,EAAE,WAAW;YAC1B,uBAAuB;YACvB,gBAAgB,EAAE,iBAAiB;YACnC,cAAc,EAAE,kBAAkB;YAClC,oBAAoB,EAAE,sBAAsB;SAC7C,CAAC;QACF,MAAM,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;YACxC,MAAM,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;QAEH,mBAAmB;QACnB,SAAS,CAAC,YAAY,CACpB,UAAU,CAAC,WAAW,CAAC,SAAS,EAChC,+BAA+B,CAChC,CAAC;QAEF,gBAAgB,CAAC,YAAY,CAC3B,UAAU,CAAC,WAAW,CAAC,gBAAgB,EACvC,qCAAqC,CACtC,CAAC;QACF,aAAa,CAAC,YAAY,CACxB,UAAU,CAAC,WAAW,CAAC,aAAa,EACpC,kCAAkC,CACnC,CAAC;QACF,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;QACtD,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,gBAAgB,CAAC,CAAC;QACpE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC;QAE9D,uCAAuC;QACvC,oBAAoB,CAAC,YAAY,CAC/B,UAAU,CAAC,YAAY,CAAC,oBAAoB,EAC5C,+BAA+B,CAChC,CAAC;QAEF,gFAAgF;QAChF,IAAI,CAAC,kBAAkB,CAAC,GAAG,CACzB,IAAI,sBAAsB,CAAC;YACzB,MAAM,EAAE,gBAAgB,CAAC,OAAO;YAChC,oBAAoB,EAAE,oBAAoB;YAC1C,uBAAuB;SACxB,CAAC,CAAC,IAAI,EAAE,CACV,CAAC;QAEF,wBAAwB;QACxB,0EAA0E;QAC1E,uEAAuE;QACvE,wEAAwE;QACxE,gCAAgC;QAChC,MAAM,gBAAgB,CAAC,kBAAkB,CACvC,oBAAoB,EACpB,uBAAuB,CACxB,CAAC;QAEF,IAAI,CAAC,2BAA2B,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;IAC/D,CAAC;CACF;AAED,MAAM,OAAO,uBACX,SAAQ,2BAA2B;IADrC;;QAIuB,iBAAY,GAAG,KAAK,EAAS,CAAC;QAC7B,gCAA2B,GAAG,KAAK,EAAU,CAAC;QAE/C,cAAS,GAAG,KAAK,EAAS,CAAC;QAC3B,qBAAgB,GAAG,KAAK,EAAS,CAAC;QAClC,kBAAa,GAAG,KAAK,EAAS,CAAC;QAE/B,6BAAwB,GAAG,KAAK,EAAS,CAAC;QAE1C,uBAAkB,GAAG,KAAK,EAAS,CAAC;IAkD3D,CAAC;IAhDe,AAAN,KAAK,CAAC,WAAW,CAAC,MAA2B;QACnD,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC;IAGY,AAAN,KAAK,CAAC,UAAU,CACrB,SAAoB,EACpB,gBAA2B,EAC3B,cAAyB,EACzB,WAAuB;QAEvB,MAAM,IAAI,CAAC,cAAc,CACvB,SAAS,EACT,gBAAgB,EAChB,cAAc,EACd,WAAW,CACZ,CAAC;IACJ,CAAC;IAGY,AAAN,KAAK,CAAC,cAAc,CACzB,OAAc,EACd,OAAkB,EAClB,gBAA2B;QAE3B,MAAM,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;IACnE,CAAC;IAGY,AAAN,KAAK,CAAC,MAAM,CACjB,UAA6B,EAC7B,SAAoB,EACpB,uBAAkC,EAClC,SAAoB,EACpB,iBAA+B,EAC/B,kBAAgC,EAChC,uBAA8B;QAE9B,OAAO,MAAM,IAAI,CAAC,UAAU,CAC1B,UAAU,EACV,SAAS,EACT,uBAAuB,EACvB,SAAS,EACT,iBAAiB,EACjB,kBAAkB,EAClB,uBAAuB,CACxB,CAAC;IACJ,CAAC;CACF;AA3DsB;IAApB,KAAK,CAAC,KAAK,CAAC;;6DAAsC;AAC7B;IAArB,KAAK,CAAC,MAAM,CAAC;;4EAAsD;AAE/C;IAApB,KAAK,CAAC,KAAK,CAAC;;0DAAmC;AAC3B;IAApB,KAAK,CAAC,KAAK,CAAC;;iEAA0C;AAClC;IAApB,KAAK,CAAC,KAAK,CAAC;;8DAAuC;AAE/B;IAApB,KAAK,CAAC,KAAK,CAAC;;yEAAkD;AAE1C;IAApB,KAAK,CAAC,KAAK,CAAC;;mEAA4C;AAE3C;IAAb,MAAM;;qCAA2B,mBAAmB;;0DAEpD;AAGY;IADZ,MAAM;;qCAEM,SAAS;QACF,SAAS;QACX,SAAS;QACZ,UAAU;;yDAQxB;AAGY;IADZ,MAAM;;qCAEI,KAAK;QACL,SAAS;QACA,SAAS;;6DAG5B;AAGY;IADZ,MAAM;;qCAEO,iBAAiB;QAClB,SAAS;QACK,SAAS;QACvB,SAAS;QACD,YAAY;QACX,YAAY;QACP,KAAK;;qDAW/B;AAGH,kEAAkE"}

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

@@ -0,0 +1,20 @@
+import { ArtifactRecord, ChildVerificationKeyService, CompileRegistry } from "@proto-kit/common";
+import { BlockProvable } from "../../prover/block/BlockProvable";
+import { ContractModule, SmartContractClassFromInterface } from "../ContractModule";
+import { ProvableSettlementHook } from "../modularity/ProvableSettlementHook";
+import { ContractArgsRegistry } from "../ContractArgsRegistry";
+import { SettlementContractType } from "./settlement/SettlementBase";
+export type SettlementContractConfig = {
+    escapeHatchSlotsInterval?: number;
+};
+export declare const DEFAULT_ESCAPE_HATCH: number;
+export declare class SettlementSmartContractModule extends ContractModule<SettlementContractType, SettlementContractConfig> {
+    private readonly hooks;
+    private readonly blockProver;
+    private readonly childVerificationKeyService;
+    private readonly argsRegistry;
+    constructor(hooks: ProvableSettlementHook<unknown>[], blockProver: BlockProvable, childVerificationKeyService: ChildVerificationKeyService, argsRegistry: ContractArgsRegistry);
+    contractFactory(): SmartContractClassFromInterface<SettlementContractType>;
+    compile(registry: CompileRegistry): Promise<ArtifactRecord | undefined>;
+}
+//# sourceMappingURL=SettlementSmartContractModule.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"SettlementSmartContractModule.d.ts","sourceRoot":"","sources":["../../../src/settlement/contracts/SettlementSmartContractModule.ts"],"names":[],"mappings":"AACA,OAAO,EACL,cAAc,EACd,2BAA2B,EAC3B,eAAe,EAEhB,MAAM,mBAAmB,CAAC;AAE3B,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;AAC9E,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAE/D,OAAO,EAEL,sBAAsB,EACvB,MAAM,6BAA6B,CAAC;AAGrC,MAAM,MAAM,wBAAwB,GAAG;IACrC,wBAAwB,CAAC,EAAE,MAAM,CAAC;CACnC,CAAC;AAGF,eAAO,MAAM,oBAAoB,QAAgB,CAAC;AAElD,qBACa,6BAA8B,SAAQ,cAAc,CAC/D,sBAAsB,EACtB,wBAAwB,CACzB;IAGG,OAAO,CAAC,QAAQ,CAAC,KAAK;IAEtB,OAAO,CAAC,QAAQ,CAAC,WAAW;IAC5B,OAAO,CAAC,QAAQ,CAAC,2BAA2B;IAC5C,OAAO,CAAC,QAAQ,CAAC,YAAY;gBAJZ,KAAK,EAAE,sBAAsB,CAAC,OAAO,CAAC,EAAE,EAExC,WAAW,EAAE,aAAa,EAC1B,2BAA2B,EAAE,2BAA2B,EACxD,YAAY,EAAE,oBAAoB;IAK9C,eAAe,IAAI,+BAA+B,CAAC,sBAAsB,CAAC;IAepE,OAAO,CAClB,QAAQ,EAAE,eAAe,GACxB,OAAO,CAAC,cAAc,GAAG,SAAS,CAAC;CAgBvC"}

package/dist/settlement/contracts/SettlementSmartContractModule.js

@@ -0,0 +1,56 @@
+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 { ChildVerificationKeyService, log, } from "@proto-kit/common";
+import { ContractModule, } from "../ContractModule";
+import { ContractArgsRegistry } from "../ContractArgsRegistry";
+import { SettlementContract } from "./settlement/SettlementContract";
+// 24 hours
+export const DEFAULT_ESCAPE_HATCH = (60 / 3) * 24;
+export let SettlementSmartContractModule = class SettlementSmartContractModule extends ContractModule {
+    constructor(hooks, blockProver, childVerificationKeyService, argsRegistry) {
+        super();
+        this.hooks = hooks;
+        this.blockProver = blockProver;
+        this.childVerificationKeyService = childVerificationKeyService;
+        this.argsRegistry = argsRegistry;
+    }
+    contractFactory() {
+        const { hooks, config } = this;
+        const escapeHatchSlotsInterval = config.escapeHatchSlotsInterval ?? DEFAULT_ESCAPE_HATCH;
+        this.argsRegistry.addArgs("SettlementContract", {
+            hooks,
+            escapeHatchSlotsInterval,
+            ChildVerificationKeyService: this.childVerificationKeyService,
+        });
+        return SettlementContract;
+    }
+    async compile(registry) {
+        // Dependencies
+        await this.blockProver.compile(registry);
+        this.contractFactory();
+        log.debug("Compiling Settlement Contract");
+        const artifact = await registry.forceProverExists(async (reg) => await registry.compile(SettlementContract));
+        return {
+            SettlementSmartContract: artifact,
+        };
+    }
+};
+SettlementSmartContractModule = __decorate([
+    injectable(),
+    __param(0, injectAll("ProvableSettlementHook")),
+    __param(1, inject("BlockProver")),
+    __metadata("design:paramtypes", [Array, Object, ChildVerificationKeyService,
+        ContractArgsRegistry])
+], SettlementSmartContractModule);
+//# sourceMappingURL=SettlementSmartContractModule.js.map