@proto-kit/protocol 0.1.1-develop.1088 → 0.1.1-develop.1313

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

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

package/dist/settlement/contracts/SettlementContractProtocolModule.js

@@ -11,34 +11,72 @@ 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 { LazyBlockProof, SettlementSmartContract, } from "./SettlementSmartContract";
+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) {
-        LazyBlockProof.tag = blockProver.zkProgrammable.zkProgram[0].Proof.tag;
+    constructor(hooks, blockProver, dispatchContractModule, bridgeContractModule, childVerificationKeyService) {
         super();
         this.hooks = hooks;
         this.blockProver = blockProver;
+        this.dispatchContractModule = dispatchContractModule;
+        this.bridgeContractModule = bridgeContractModule;
+        this.childVerificationKeyService = childVerificationKeyService;
     }
-    contractFactory(dispatchContract) {
+    contractFactory() {
         const { hooks, config } = this;
-        // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
-        const withdrawalStatePathSplit = config.withdrawalStatePath.split(".");
+        const dispatchContract = this.dispatchContractModule.contractFactory();
+        const bridgeContract = this.bridgeContractModule.contractFactory();
         const escapeHatchSlotsInterval = config.escapeHatchSlotsInterval ?? DEFAULT_ESCAPE_HATCH;
-        SettlementSmartContract.args = {
+        const { args } = SettlementSmartContractBase;
+        SettlementSmartContractBase.args = {
             DispatchContract: dispatchContract,
             hooks,
-            withdrawalStatePath: withdrawalStatePathSplit,
             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);
+        // 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.compile(SettlementSmartContract);
+        return {
+            SettlementSmartContract: artifact,
+        };
+    }
 };
 SettlementContractProtocolModule = __decorate([
     injectable(),
     __param(0, injectAll("ProvableSettlementHook")),
     __param(1, inject("BlockProver")),
-    __metadata("design:paramtypes", [Array, Object])
+    __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,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,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,OAAO,CAAC,uBAAuB,CAAC,CAAC;QAEjE,OAAO;YACL,uBAAuB,EAAE,QAAQ;SAClC,CAAC;IACJ,CAAC;CACF,CAAA;AA1EY,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,CA0E5C"}

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

@@ -1,42 +1,123 @@
-import { TypedClass } from "@proto-kit/common";
-import { AccountUpdate, Field, Proof, PublicKey, Signature, SmartContract, State, UInt32, TokenContract, AccountUpdateForest } from "o1js";
+import { TypedClass, ChildVerificationKeyService } from "@proto-kit/common";
+import { AccountUpdate, Field, PublicKey, Signature, SmartContract, State, UInt32, AccountUpdateForest, TokenContractV2, PrivateKey, VerificationKey, Permissions, DynamicProof } 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> {
+import { BridgeContractType } from "./BridgeContract";
+export declare class DynamicBlockProof extends DynamicProof<BlockProverPublicInput, BlockProverPublicOutput> {
     static publicInputType: typeof BlockProverPublicInput;
     static publicOutputType: typeof BlockProverPublicOutput;
-    static tag: () => {
-        name: string;
+    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 {
-    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>;
+    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 class SettlementSmartContract extends TokenContract implements SettlementContractType {
+export declare abstract class SettlementSmartContractBase extends TokenContractV2 {
     static args: {
         DispatchContract: TypedClass<DispatchContractType & SmartContract>;
         hooks: ProvableSettlementHook<unknown>[];
-        withdrawalStatePath: [string, string];
         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>;
-    outgoingMessageCursor: 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): 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>;
+    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

@@ -1 +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"}
+{"version":3,"file":"SettlementSmartContract.d.ts","sourceRoot":"","sources":["../../../src/settlement/contracts/SettlementSmartContract.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,UAAU,EAEV,2BAA2B,EAC5B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,aAAa,EAEb,KAAK,EAEL,SAAS,EACT,SAAS,EACT,aAAa,EACb,KAAK,EAEL,MAAM,EACN,mBAAmB,EACnB,eAAe,EACf,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,eAAe;IAIvE,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;CAiJjC;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

@@ -8,38 +8,109 @@ var __metadata = (this && this.__metadata) || function (k, v) {
     if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
 };
 import { prefixToField, RollupMerkleTree, mapSequential, } from "@proto-kit/common";
-import { AccountUpdate, Bool, Field, method, Mina, Poseidon, Proof, Provable, PublicKey, Signature, State, state, TokenId, UInt32, UInt64, TokenContract, AccountUpdateForest, } from "o1js";
+import { Bool, Field, method, PublicKey, Signature, State, state, UInt32, AccountUpdateForest, TokenContractV2, PrivateKey, Struct, Provable, TokenId, DynamicProof, } from "o1js";
 import { NetworkState } from "../../model/network/NetworkState";
-import { Path } from "../../model/Path";
 import { BlockHashMerkleTree } from "../../prover/block/accummulators/BlockHashMerkleTree";
 import { BlockProverPublicInput, BlockProverPublicOutput, } from "../../prover/block/BlockProvable";
-import { OUTGOING_MESSAGE_BATCH_SIZE, OutgoingMessageArgumentBatch, } from "../messages/OutgoingMessageArgument";
-import { Withdrawal } from "../messages/Withdrawal";
+import { TokenBridgeDeploymentAuth } from "./authorizations/TokenBridgeDeploymentAuth";
+import { UpdateMessagesHashAuth } from "./authorizations/UpdateMessagesHashAuth";
 /* eslint-disable @typescript-eslint/lines-between-class-members */
-export class LazyBlockProof extends Proof {
+export class DynamicBlockProof extends DynamicProof {
+}
+DynamicBlockProof.publicInputType = BlockProverPublicInput;
+DynamicBlockProof.publicOutputType = BlockProverPublicOutput;
+DynamicBlockProof.maxProofsVerified = 2;
+export class TokenMapping extends Struct({
+    tokenId: Field,
+    publicKey: PublicKey,
+}) {
 }
-LazyBlockProof.publicInputType = BlockProverPublicInput;
-LazyBlockProof.publicOutputType = BlockProverPublicOutput;
-LazyBlockProof.tag = () => {
-    throw new Error("Tag not initialized yet");
-};
 // Some random prefix for the sequencer signature
 export const BATCH_SIGNATURE_PREFIX = prefixToField("pk-batchSignature");
-export class SettlementSmartContract extends TokenContract {
+// @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 TokenContractV2 {
     constructor() {
         super(...arguments);
-        this.sequencerKey = State();
-        this.lastSettlementL1BlockHeight = State();
-        this.stateRoot = State();
-        this.networkStateHash = State();
-        this.blockHashRoot = State();
-        this.dispatchContractAddressX = State();
-        this.outgoingMessageCursor = State();
+        this.events = {
+            "token-bridge-deployed": TokenMapping,
+        };
     }
-    async approveBase(forest) {
-        this.checkZeroBalanceChange(forest);
+    // 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 initialize(sequencer, dispatchContract) {
+    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));
@@ -50,13 +121,21 @@ export class SettlementSmartContract extends TokenContract {
         this.blockHashRoot.set(Field(BlockHashMerkleTree.EMPTY_ROOT));
         this.networkStateHash.set(NetworkState.empty().hash());
         this.dispatchContractAddressX.set(dispatchContract.x);
-        const { DispatchContract } = SettlementSmartContract.args;
+        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 settle(blockProof, signature, dispatchContractAddress, publicKey, inputNetworkState, outputNetworkState, newPromisedMessagesHash) {
+    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();
+        blockProof.verify(blockProofVk);
         // Get and assert on-chain values
         const stateRoot = this.stateRoot.getAndRequireEquals();
         const networkStateHash = this.networkStateHash.getAndRequireEquals();
@@ -65,7 +144,7 @@ export class SettlementSmartContract extends TokenContract {
         const lastSettlementL1BlockHeight = this.lastSettlementL1BlockHeight.getAndRequireEquals();
         const onChainDispatchContractAddressX = this.dispatchContractAddressX.getAndRequireEquals();
         onChainDispatchContractAddressX.assertEquals(dispatchContractAddress.x, "DispatchContract address not provided correctly");
-        const { DispatchContract, escapeHatchSlotsInterval, hooks } = SettlementSmartContract.args;
+        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()
@@ -124,6 +203,12 @@ export class SettlementSmartContract extends TokenContract {
         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
@@ -132,46 +217,29 @@ export class SettlementSmartContract extends TokenContract {
         await dispatchContract.updateMessagesHash(promisedMessagesHash, newPromisedMessagesHash);
         this.lastSettlementL1BlockHeight.set(minBlockHeightIncluded);
     }
-    async rollupOutgoingMessages(batch) {
-        let counter = this.outgoingMessageCursor.getAndRequireEquals();
-        const stateRoot = this.stateRoot.getAndRequireEquals();
-        const [withdrawalModule, withdrawalStateName] = SettlementSmartContract.args.withdrawalStatePath;
-        const mapPath = Path.fromProperty(withdrawalModule, withdrawalStateName);
-        let accountCreationFeePaid = Field(0);
-        for (let i = 0; i < OUTGOING_MESSAGE_BATCH_SIZE; i++) {
-            const args = batch.arguments[i];
-            // Check witness
-            const path = Path.fromKey(mapPath, Field, counter);
-            args.witness
-                .checkMembership(stateRoot, path, Poseidon.hash(Withdrawal.toFields(args.value)))
-                .assertTrue("Provided Withdrawal witness not valid");
-            // Process message
-            const { address, amount } = args.value;
-            const isDummy = address.equals(this.address);
-            const tokenAu = this.internal.mint({ address, amount });
-            const isNewAccount = tokenAu.account.isNew.getAndRequireEquals();
-            tokenAu.body.balanceChange.magnitude =
-                tokenAu.body.balanceChange.magnitude.sub(Provable.if(isNewAccount, Mina.getNetworkConstants().accountCreationFee.toConstant(), UInt64.zero));
-            accountCreationFeePaid = accountCreationFeePaid.add(Provable.if(isNewAccount, Field(1e9), Field(0)));
-            counter = counter.add(Provable.if(isDummy, Field(0), Field(1)));
-        }
-        this.balance.subInPlace(UInt64.Unsafe.fromField(accountCreationFeePaid));
-        this.outgoingMessageCursor.set(counter);
+}
+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 redeem(additionUpdate) {
-        additionUpdate.body.tokenId.assertEquals(TokenId.default, "Tokenid not default token");
-        additionUpdate.body.balanceChange.sgn
-            .isPositive()
-            .assertTrue("Sign not correct");
-        const amount = additionUpdate.body.balanceChange.magnitude;
-        // Burn tokens
-        this.internal.burn({
-            address: additionUpdate.publicKey,
-            amount,
-        });
-        // Send mina
-        this.approve(additionUpdate);
-        this.balance.subInPlace(amount);
+    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([
@@ -201,7 +269,7 @@ __decorate([
 __decorate([
     state(Field),
     __metadata("design:type", Object)
-], SettlementSmartContract.prototype, "outgoingMessageCursor", void 0);
+], SettlementSmartContract.prototype, "authorizationField", void 0);
 __decorate([
     method,
     __metadata("design:type", Function),
@@ -211,13 +279,24 @@ __decorate([
 __decorate([
     method,
     __metadata("design:type", Function),
-    __metadata("design:paramtypes", [PublicKey, PublicKey]),
+    __metadata("design:paramtypes", [PublicKey,
+        PublicKey,
+        PublicKey,
+        PrivateKey]),
     __metadata("design:returntype", Promise)
 ], SettlementSmartContract.prototype, "initialize", null);
 __decorate([
     method,
     __metadata("design:type", Function),
-    __metadata("design:paramtypes", [LazyBlockProof,
+    __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,
@@ -226,16 +305,5 @@ __decorate([
         Field]),
     __metadata("design:returntype", Promise)
 ], SettlementSmartContract.prototype, "settle", null);
-__decorate([
-    method,
-    __metadata("design:type", Function),
-    __metadata("design:paramtypes", [OutgoingMessageArgumentBatch]),
-    __metadata("design:returntype", Promise)
-], SettlementSmartContract.prototype, "rollupOutgoingMessages", null);
-__decorate([
-    method,
-    __metadata("design:type", Function),
-    __metadata("design:paramtypes", [AccountUpdate]),
-    __metadata("design:returntype", Promise)
-], SettlementSmartContract.prototype, "redeem", 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,EACb,gBAAgB,EAEhB,aAAa,GAEd,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAEL,IAAI,EACJ,KAAK,EACL,MAAM,EACN,SAAS,EACT,SAAS,EAET,KAAK,EACL,KAAK,EACL,MAAM,EACN,mBAAmB,EACnB,eAAe,EACf,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,eAAe;IAAzE;;QAgBE,WAAM,GAAG;YACP,uBAAuB,EAAE,YAAY;SACtC,CAAC;IAiTJ,CAAC;IAtSC,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,KAAK,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC;QACvD,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;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"}