@proto-kit/protocol 0.1.1-develop.165 → 0.1.1-develop.1665

package/dist/settlement/SettlementContractModule.js

@@ -0,0 +1,80 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+var SettlementContractModule_1;
+import { ModuleContainer, noop, } from "@proto-kit/common";
+import { injectable } from "tsyringe";
+import { DispatchContractProtocolModule } from "./contracts/DispatchContractProtocolModule";
+import { SettlementContractProtocolModule, } from "./contracts/SettlementContractProtocolModule";
+import { BridgeContractProtocolModule, } from "./contracts/BridgeContractProtocolModule";
+export let SettlementContractModule = SettlementContractModule_1 = class SettlementContractModule extends ModuleContainer {
+    constructor(definition) {
+        super(definition);
+    }
+    static from(modules) {
+        return class ScopedSettlementContractModule extends SettlementContractModule_1 {
+            constructor() {
+                super(modules);
+            }
+        };
+    }
+    static mandatoryModules() {
+        return {
+            SettlementContract: SettlementContractProtocolModule,
+            DispatchContract: DispatchContractProtocolModule,
+            BridgeContract: BridgeContractProtocolModule,
+        };
+    }
+    static fromDefaults() {
+        return SettlementContractModule_1.from(SettlementContractModule_1.mandatoryModules());
+    }
+    static with(additionalModules) {
+        return SettlementContractModule_1.from({
+            ...SettlementContractModule_1.mandatoryModules(),
+            ...additionalModules,
+        });
+    }
+    get areProofsEnabled() {
+        return this.protocol?.getAreProofsEnabled();
+    }
+    // **
+    create(childContainerProvider) {
+        super.create(childContainerProvider);
+    }
+    async start() {
+        noop();
+    }
+    getContractClasses() {
+        const contracts = 
+        // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
+        this.moduleNames.map((name) => {
+            const module = this.resolve(name);
+            return [name, module.contractFactory()];
+        });
+        return Object.fromEntries(contracts);
+    }
+    createContracts(addresses) {
+        const { DispatchContract, SettlementContract } = this.getContractClasses();
+        const dispatchInstance = new DispatchContract(addresses.dispatch);
+        const settlementInstance = new SettlementContract(addresses.settlement);
+        return {
+            dispatch: dispatchInstance,
+            settlement: settlementInstance,
+        };
+    }
+    createBridgeContract(address, tokenId) {
+        const { BridgeContract } = this.getContractClasses();
+        return new BridgeContract(address, tokenId);
+    }
+};
+SettlementContractModule = SettlementContractModule_1 = __decorate([
+    injectable(),
+    __metadata("design:paramtypes", [Object])
+], SettlementContractModule);
+//# sourceMappingURL=SettlementContractModule.js.map

package/dist/settlement/SettlementContractModule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"SettlementContractModule.js","sourceRoot":"","sources":["../../src/settlement/SettlementContractModule.ts"],"names":[],"mappings":";;;;;;;;;;AAAA,OAAO,EAGL,eAAe,EAGf,IAAI,GAEL,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAMtC,OAAO,EAAE,8BAA8B,EAAE,MAAM,4CAA4C,CAAC;AAE5F,OAAO,EAEL,gCAAgC,GACjC,MAAM,8CAA8C,CAAC;AAGtD,OAAO,EAEL,4BAA4B,GAC7B,MAAM,0CAA0C,CAAC;AAkB3C,WAAM,wBAAwB,gCAA9B,MAAM,wBAIX,SAAQ,eAAkC;IAG1C,YAAmB,UAA6B;QAC9C,KAAK,CAAC,UAAU,CAAC,CAAC;IACpB,CAAC;IAEM,MAAM,CAAC,IAAI,CAIhB,OAA0B;QAE1B,OAAO,MAAM,8BAA+B,SAAQ,0BAA2C;YAC7F;gBACE,KAAK,CAAC,OAAO,CAAC,CAAC;YACjB,CAAC;SACF,CAAC;IACJ,CAAC;IAEM,MAAM,CAAC,gBAAgB;QAC5B,OAAO;YACL,kBAAkB,EAAE,gCAAgC;YACpD,gBAAgB,EAAE,8BAA8B;YAChD,cAAc,EAAE,4BAA4B;SACpC,CAAC;IACb,CAAC;IAEM,MAAM,CAAC,YAAY;QACxB,OAAO,0BAAwB,CAAC,IAAI,CAClC,0BAAwB,CAAC,gBAAgB,EAAE,CAC5C,CAAC;IACJ,CAAC;IAEM,MAAM,CAAC,IAAI,CAChB,iBAAoC;QAEpC,OAAO,0BAAwB,CAAC,IAAI,CAAC;YACnC,GAAG,0BAAwB,CAAC,gBAAgB,EAAE;YAC9C,GAAG,iBAAiB;SACZ,CAAC,CAAC;IACd,CAAC;IAKD,IAAW,gBAAgB;QACzB,OAAO,IAAI,CAAC,QAAQ,EAAE,mBAAmB,EAAE,CAAC;IAC9C,CAAC;IACD,KAAK;IAEE,MAAM,CAAC,sBAA8C;QAC1D,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;IACvC,CAAC;IAEM,KAAK,CAAC,KAAK;QAChB,IAAI,EAAE,CAAC;IACT,CAAC;IAEM,kBAAkB;QACvB,MAAM,SAAS;QACb,yEAAyE;QACxE,IAAI,CAAC,WAAgD,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YAClE,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAClC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,eAAe,EAAE,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;QACL,OAAO,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;IACvC,CAAC;IAEM,eAAe,CAAC,SAGtB;QAIC,MAAM,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAE3E,MAAM,gBAAgB,GAAG,IAAI,gBAAgB,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAClE,MAAM,kBAAkB,GAAG,IAAI,kBAAkB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAExE,OAAO;YACL,QAAQ,EAAE,gBAAgB;YAC1B,UAAU,EAAE,kBAAkB;SAC/B,CAAC;IACJ,CAAC;IAEM,oBAAoB,CACzB,OAAkB,EAClB,OAAe;QAEf,MAAM,EAAE,cAAc,EAAE,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAErD,OAAO,IAAI,cAAc,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;CACF,CAAA;AAnGY,wBAAwB;IADpC,UAAU,EAAE;;GACA,wBAAwB,CAmGpC"}

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

@@ -0,0 +1,116 @@
+import { AccountUpdate, Bool, Field, Permissions, PublicKey, SmartContract, State, TokenContractV2, VerificationKey } from "o1js";
+import { TypedClass } from "@proto-kit/common";
+import { OutgoingMessageArgumentBatch, OutgoingMessageArgument } from "../messages/OutgoingMessageArgument";
+import { OutgoingMessageProcessor } from "../modularity/OutgoingMessageProcessor";
+import type { SettlementContractType } from "./SettlementSmartContract";
+export type BridgeContractType = {
+    stateRoot: State<Field>;
+    outgoingMessageCursor: State<Field>;
+    rollupOutgoingMessages: (batch: OutgoingMessageArgumentBatch) => Promise<Field>;
+    redeem: (additionUpdate: AccountUpdate) => Promise<void>;
+    deployProvable: (args: VerificationKey | undefined, signedSettlement: boolean, permissions: Permissions, settlementContractAddress: PublicKey) => Promise<AccountUpdate>;
+    updateStateRoot: (root: Field) => Promise<void>;
+};
+declare const OutgoingMessageKey_base: (new (value: {
+    index: import("o1js/dist/node/lib/provable/field").Field;
+    tokenId: import("o1js/dist/node/lib/provable/field").Field;
+}) => {
+    index: import("o1js/dist/node/lib/provable/field").Field;
+    tokenId: import("o1js/dist/node/lib/provable/field").Field;
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    index: import("o1js/dist/node/lib/provable/field").Field;
+    tokenId: import("o1js/dist/node/lib/provable/field").Field;
+}, {
+    index: bigint;
+    tokenId: bigint;
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        index: import("o1js/dist/node/lib/provable/field").Field;
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+    };
+} & {
+    fromValue: (value: {
+        index: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        tokenId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        index: import("o1js/dist/node/lib/provable/field").Field;
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    toInput: (x: {
+        index: import("o1js/dist/node/lib/provable/field").Field;
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        index: import("o1js/dist/node/lib/provable/field").Field;
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        index: string;
+        tokenId: string;
+    };
+    fromJSON: (x: {
+        index: string;
+        tokenId: string;
+    }) => {
+        index: import("o1js/dist/node/lib/provable/field").Field;
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    empty: () => {
+        index: import("o1js/dist/node/lib/provable/field").Field;
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+    };
+};
+export declare class OutgoingMessageKey extends OutgoingMessageKey_base {
+}
+export declare class BridgeContractContext {
+    data: {
+        messageInputs: any[][];
+    };
+}
+export declare abstract class BridgeContractBase extends TokenContractV2 {
+    static args: {
+        SettlementContract: (TypedClass<SettlementContractType> & typeof SmartContract) | undefined;
+        messageProcessors: OutgoingMessageProcessor<unknown>[];
+        batchSize?: number;
+    };
+    constructor(address: PublicKey, tokenId?: Field);
+    abstract settlementContractAddress: State<PublicKey>;
+    abstract stateRoot: State<Field>;
+    abstract outgoingMessageCursor: State<Field>;
+    /**
+     * Function to deploy the bridging contract in a provable way, so that it can be
+     * a provable process initiated by the settlement contract with a baked-in vk
+     *
+     * @returns Creates and returns an account update deploying the bridge contract
+     */
+    deployProvable(verificationKey: VerificationKey | undefined, signedSettlement: boolean, permissions: Permissions, settlementContractAddress: PublicKey): Promise<AccountUpdate>;
+    approveBase(): Promise<void>;
+    updateStateRootBase(root: Field): Promise<void>;
+    private batchSize;
+    private executeProcessors;
+    processMessage(batchIndex: number, args: OutgoingMessageArgument, isDummy: Bool): {
+        messageType: import("o1js/dist/node/lib/provable/field").Field;
+        result: {
+            accountUpdates: AccountUpdate[];
+            status: import("o1js/dist/node/lib/provable/bool").Bool;
+            statusMessage?: string | undefined;
+        };
+        hash: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    rollupOutgoingMessagesBase(batch: OutgoingMessageArgumentBatch): Promise<import("o1js/dist/node/lib/provable/field").Field>;
+    protected redeemBase(additionUpdate: AccountUpdate): Promise<void>;
+}
+export declare class BridgeContract extends BridgeContractBase implements BridgeContractType {
+    settlementContractAddress: State<PublicKey>;
+    stateRoot: State<import("o1js/dist/node/lib/provable/field").Field>;
+    outgoingMessageCursor: State<import("o1js/dist/node/lib/provable/field").Field>;
+    updateStateRoot(root: Field): Promise<void>;
+    rollupOutgoingMessages(batch: OutgoingMessageArgumentBatch): Promise<import("o1js/dist/node/lib/provable/field").Field>;
+    redeem(additionUpdate: AccountUpdate): Promise<void>;
+}
+export {};
+//# sourceMappingURL=BridgeContract.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"BridgeContract.d.ts","sourceRoot":"","sources":["../../../src/settlement/contracts/BridgeContract.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,aAAa,EACb,IAAI,EAEJ,KAAK,EAEL,WAAW,EAGX,SAAS,EACT,aAAa,EACb,KAAK,EAGL,eAAe,EAEf,eAAe,EAChB,MAAM,MAAM,CAAC;AACd,OAAO,EAAe,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAG5D,OAAO,EAEL,4BAA4B,EAE5B,uBAAuB,EACxB,MAAM,qCAAqC,CAAC;AAE7C,OAAO,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AAGlF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AAExE,MAAM,MAAM,kBAAkB,GAAG;IAC/B,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACxB,qBAAqB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAEpC,sBAAsB,EAAE,CACtB,KAAK,EAAE,4BAA4B,KAChC,OAAO,CAAC,KAAK,CAAC,CAAC;IACpB,MAAM,EAAE,CAAC,cAAc,EAAE,aAAa,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAEzD,cAAc,EAAE,CACd,IAAI,EAAE,eAAe,GAAG,SAAS,EACjC,gBAAgB,EAAE,OAAO,EACzB,WAAW,EAAE,WAAW,EACxB,yBAAyB,EAAE,SAAS,KACjC,OAAO,CAAC,aAAa,CAAC,CAAC;IAE5B,eAAe,EAAE,CAAC,IAAI,EAAE,KAAK,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CACjD,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAGF,qBAAa,kBAAmB,SAAQ,uBAGtC;CAAG;AAEL,qBAEa,qBAAqB;IACzB,IAAI,EAAE;QACX,aAAa,EAAE,GAAG,EAAE,EAAE,CAAC;KACxB,CAAyB;CAC3B;AAED,8BAAsB,kBAAmB,SAAQ,eAAe;IAC9D,OAAc,IAAI,EAAE;QAClB,kBAAkB,EACd,CAAC,UAAU,CAAC,sBAAsB,CAAC,GAAG,OAAO,aAAa,CAAC,GAC3D,SAAS,CAAC;QACd,iBAAiB,EAAE,wBAAwB,CAAC,OAAO,CAAC,EAAE,CAAC;QACvD,SAAS,CAAC,EAAE,MAAM,CAAC;KACpB,CAAC;gBAEiB,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,KAAK;IAItD,QAAQ,CAAC,yBAAyB,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IAErD,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAEjC,QAAQ,CAAC,qBAAqB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAE7C;;;;;OAKG;IACU,cAAc,CACzB,eAAe,EAAE,eAAe,GAAG,SAAS,EAC5C,gBAAgB,EAAE,OAAO,EACzB,WAAW,EAAE,WAAW,EACxB,yBAAyB,EAAE,SAAS;IAgCzB,WAAW,IAAI,OAAO,CAAC,IAAI,CAAC;IAI5B,mBAAmB,CAAC,IAAI,EAAE,KAAK;IAoB5C,OAAO,CAAC,SAAS;IAIjB,OAAO,CAAC,iBAAiB;IA2BlB,cAAc,CACnB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,uBAAuB,EAC7B,OAAO,EAAE,IAAI;;;;;;;;;IA2EF,0BAA0B,CAAC,KAAK,EAAE,4BAA4B;cAqD3D,UAAU,CAAC,cAAc,EAAE,aAAa;CA0BzD;AAED,qBAAa,cACX,SAAQ,kBACR,YAAW,kBAAkB;IAEJ,yBAAyB,mBAAsB;IAEnD,SAAS,2DAAkB;IAE3B,qBAAqB,2DAAkB;IAG/C,eAAe,CAAC,IAAI,EAAE,KAAK;IAK3B,sBAAsB,CAAC,KAAK,EAAE,4BAA4B;IAK1D,MAAM,CAAC,cAAc,EAAE,aAAa;CAGlD"}

package/dist/settlement/contracts/BridgeContract.js

@@ -0,0 +1,259 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+import { AccountUpdate, Bool, Experimental, Field, method, Poseidon, Provable, PublicKey, State, state, Struct, TokenContractV2, TokenId, } from "o1js";
+import { noop, range } from "@proto-kit/common";
+import { container, injectable, singleton } from "tsyringe";
+import { OUTGOING_MESSAGE_BATCH_SIZE, OutgoingMessageArgumentBatch, createMessageStruct, } from "../messages/OutgoingMessageArgument";
+import { Path } from "../../model/Path";
+import { PROTOKIT_FIELD_PREFIXES } from "../../hashing/protokit-prefixes";
+// Equal to WithdrawalKey
+export class OutgoingMessageKey extends Struct({
+    index: Field,
+    tokenId: Field,
+}) {
+}
+export let BridgeContractContext = class BridgeContractContext {
+    constructor() {
+        this.data = { messageInputs: [] };
+    }
+};
+BridgeContractContext = __decorate([
+    injectable(),
+    singleton()
+], BridgeContractContext);
+export class BridgeContractBase extends TokenContractV2 {
+    constructor(address, tokenId) {
+        super(address, tokenId);
+    }
+    /**
+     * Function to deploy the bridging contract in a provable way, so that it can be
+     * a provable process initiated by the settlement contract with a baked-in vk
+     *
+     * @returns Creates and returns an account update deploying the bridge contract
+     */
+    async deployProvable(verificationKey, signedSettlement, permissions, settlementContractAddress) {
+        const accountUpdate = this.self;
+        if (!signedSettlement) {
+            if (verificationKey === undefined) {
+                throw new Error("Verification Key not provided, can't deploy");
+            }
+            accountUpdate.account.verificationKey.set(verificationKey);
+        }
+        accountUpdate.requireSignature();
+        this.account.permissions.set(permissions);
+        range(0, 8).forEach((i) => {
+            accountUpdate.update.appState[i] = {
+                isSome: Bool(true),
+                value: Field(0),
+            };
+        });
+        this.settlementContractAddress.set(settlementContractAddress);
+        accountUpdate.body.mayUseToken = {
+            // Set to true for custom tokens only
+            inheritFromParent: accountUpdate.tokenId.equals(TokenId.default).not(),
+            parentsOwnToken: Bool(false),
+        };
+        return accountUpdate;
+    }
+    async approveBase() {
+        noop();
+    }
+    async updateStateRootBase(root) {
+        // It's fine for us to only store the actual root since we only have to
+        // witness values, not update/insert
+        this.stateRoot.set(root);
+        const settlementContractAddress = this.settlementContractAddress.getAndRequireEquals();
+        const SettlementContractClass = BridgeContractBase.args.SettlementContract;
+        if (SettlementContractClass === undefined) {
+            throw new Error("Settlement Contract class hasn't been set yet, something is wrong with your module composition");
+        }
+        const settlementContract = new SettlementContractClass(settlementContractAddress);
+        const accountUpdate = settlementContract.assertStateRoot(root);
+        this.approve(accountUpdate);
+    }
+    batchSize() {
+        return BridgeContractBase.args.batchSize ?? OUTGOING_MESSAGE_BATCH_SIZE;
+    }
+    executeProcessors(batchIndex, args) {
+        return BridgeContractBase.args.messageProcessors.map((processor, j) => {
+            // eslint-disable-next-line @typescript-eslint/no-unsafe-assignment
+            const value = Experimental.memoizeWitness(processor.type, () => {
+                return container.resolve(BridgeContractContext).data.messageInputs[batchIndex][j];
+            });
+            const MessageType = createMessageStruct(processor.type);
+            const message = new MessageType({
+                messageType: args.messageType,
+                value,
+            });
+            return {
+                messageType: args.messageType,
+                result: processor.processMessage(value, {
+                    bridgeContract: {
+                        publicKey: this.address,
+                        tokenId: this.tokenId,
+                    },
+                }),
+                hash: Poseidon.hash(MessageType.toFields(message)),
+            };
+        });
+    }
+    processMessage(batchIndex, args, isDummy) {
+        const results = this.executeProcessors(batchIndex, args);
+        const maxAccountUpdates = Math.max(0, ...results.map(({ result: { accountUpdates } }) => accountUpdates.length));
+        const AccountUpdateArray = Provable.Array(AccountUpdate, maxAccountUpdates);
+        const dummyMessageType = PROTOKIT_FIELD_PREFIXES.OUTGOING_MESSAGE_DUMMY_TYPE;
+        const argMessageType = Provable.if(isDummy, dummyMessageType, args.messageType);
+        const dummyAU = AccountUpdate.dummy();
+        const chosen = results
+            .map((a) => {
+            a.result.accountUpdates = a.result.accountUpdates.concat(...Array(maxAccountUpdates - a.result.accountUpdates.length).fill(dummyAU));
+            return a;
+        })
+            .concat({
+            messageType: dummyMessageType,
+            hash: Field(0),
+            result: {
+                accountUpdates: Array(maxAccountUpdates).fill(dummyAU),
+                status: Bool(true),
+                statusMessage: undefined,
+            },
+        })
+            .reduce((a, b) => {
+            const isA = a.messageType.equals(argMessageType);
+            const messageType = Provable.if(isA, a.messageType, b.messageType);
+            const hash = Provable.if(isA, a.hash, b.hash);
+            const accountUpdates = Provable.if(isA, AccountUpdateArray, a.result.accountUpdates, b.result.accountUpdates);
+            const status = Provable.if(isA, a.result.status, b.result.status);
+            let statusMessage = undefined;
+            Provable.asProver(() => {
+                if (isA.toBoolean()) {
+                    statusMessage = a.result.statusMessage;
+                }
+                else {
+                    statusMessage = b.result.statusMessage;
+                }
+            });
+            return {
+                messageType,
+                hash,
+                result: { accountUpdates, status, statusMessage },
+            };
+        });
+        // If no processor picks up our message type, the reduce above returns
+        // the first candidate. This statement asserts that this is not the case
+        chosen.messageType.assertEquals(argMessageType, "No processor found for message type");
+        return chosen;
+    }
+    async rollupOutgoingMessagesBase(batch) {
+        let counter = this.outgoingMessageCursor.getAndRequireEquals();
+        const stateRoot = this.stateRoot.getAndRequireEquals();
+        // Count account creation fee to return later, so that the sender can fund
+        // those accounts with a separate AU
+        let accountCreationFeePaid = Field(0);
+        for (let i = 0; i < this.batchSize(); i++) {
+            const args = batch.arguments[i];
+            const isDummy = batch.isDummys[i];
+            const message = this.processMessage(i, args, isDummy);
+            // Check witness
+            const path = Path.fromKey(PROTOKIT_FIELD_PREFIXES.OUTGOING_MESSAGE_BASE_PATH, OutgoingMessageKey, {
+                index: counter,
+                tokenId: this.tokenId,
+            });
+            args.witness
+                .checkMembership(stateRoot, path, message.hash)
+                .or(isDummy)
+                .assertTrue("Provided Withdrawal witness not valid");
+            message.result.status.assertTrue(message.result.statusMessage);
+            message.result.accountUpdates.forEach((accountUpdate) => {
+                Provable.log("Approving account update", accountUpdate.label);
+                this.approve(accountUpdate);
+            });
+            counter = counter.add(Provable.if(isDummy, Field(0), Field(1)));
+            // Track new accounts to be able to know how much new accounts to fund
+            const newAccounts = message.result.accountUpdates
+                .map((accountUpdate) => {
+                const isNew = accountUpdate.account.isNew.getAndRequireEquals();
+                return Provable.if(isNew, Field(1), Field(0));
+            })
+                .reduce((a, b) => a.add(b));
+            accountCreationFeePaid = accountCreationFeePaid.add(newAccounts);
+        }
+        this.outgoingMessageCursor.set(counter);
+        return accountCreationFeePaid;
+    }
+    async redeemBase(additionUpdate) {
+        additionUpdate.body.tokenId.assertEquals(this.tokenId, "Tokenid not same as this bridging contract's tokenId");
+        additionUpdate.body.balanceChange.sgn
+            .isPositive()
+            .assertTrue("Sign not correct");
+        const amount = additionUpdate.body.balanceChange.magnitude;
+        // Burn tokens
+        this.internal.burn({
+            address: additionUpdate.publicKey,
+            amount,
+        });
+        // Inherit from parent for custom tokens
+        additionUpdate.body.mayUseToken = {
+            inheritFromParent: this.tokenId.equals(TokenId.default).not(),
+            parentsOwnToken: Bool(false),
+        };
+        // Send mina
+        this.approve(additionUpdate);
+        this.balance.subInPlace(amount);
+    }
+}
+export class BridgeContract extends BridgeContractBase {
+    constructor() {
+        super(...arguments);
+        this.settlementContractAddress = State();
+        this.stateRoot = State();
+        this.outgoingMessageCursor = State();
+    }
+    async updateStateRoot(root) {
+        return await this.updateStateRootBase(root);
+    }
+    async rollupOutgoingMessages(batch) {
+        return await this.rollupOutgoingMessagesBase(batch);
+    }
+    async redeem(additionUpdate) {
+        return await this.redeemBase(additionUpdate);
+    }
+}
+__decorate([
+    state(PublicKey),
+    __metadata("design:type", Object)
+], BridgeContract.prototype, "settlementContractAddress", void 0);
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], BridgeContract.prototype, "stateRoot", void 0);
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], BridgeContract.prototype, "outgoingMessageCursor", void 0);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [Field]),
+    __metadata("design:returntype", Promise)
+], BridgeContract.prototype, "updateStateRoot", null);
+__decorate([
+    method.returns(Field),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [OutgoingMessageArgumentBatch]),
+    __metadata("design:returntype", Promise)
+], BridgeContract.prototype, "rollupOutgoingMessages", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [AccountUpdate]),
+    __metadata("design:returntype", Promise)
+], BridgeContract.prototype, "redeem", null);
+//# sourceMappingURL=BridgeContract.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"BridgeContract.js","sourceRoot":"","sources":["../../../src/settlement/contracts/BridgeContract.ts"],"names":[],"mappings":";;;;;;;;;AAAA,OAAO,EACL,aAAa,EACb,IAAI,EACJ,YAAY,EACZ,KAAK,EACL,MAAM,EAEN,QAAQ,EACR,QAAQ,EACR,SAAS,EAET,KAAK,EACL,KAAK,EACL,MAAM,EACN,eAAe,EACf,OAAO,GAER,MAAM,MAAM,CAAC;AACd,OAAO,EAAE,IAAI,EAAE,KAAK,EAAc,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAE5D,OAAO,EACL,2BAA2B,EAC3B,4BAA4B,EAC5B,mBAAmB,GAEpB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAExC,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAuB1E,yBAAyB;AACzB,MAAM,OAAO,kBAAmB,SAAQ,MAAM,CAAC;IAC7C,KAAK,EAAE,KAAK;IACZ,OAAO,EAAE,KAAK;CACf,CAAC;CAAG;AAIE,WAAM,qBAAqB,GAA3B,MAAM,qBAAqB;IAA3B;QACE,SAAI,GAEP,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;IAC5B,CAAC;CAAA,CAAA;AAJY,qBAAqB;IAFjC,UAAU,EAAE;IACZ,SAAS,EAAE;GACC,qBAAqB,CAIjC;AAED,MAAM,OAAgB,kBAAmB,SAAQ,eAAe;IAS9D,YAAmB,OAAkB,EAAE,OAAe;QACpD,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC1B,CAAC;IAQD;;;;;OAKG;IACI,KAAK,CAAC,cAAc,CACzB,eAA4C,EAC5C,gBAAyB,EACzB,WAAwB,EACxB,yBAAoC;QAEpC,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC;QAEhC,IAAI,CAAC,gBAAgB,EAAE;YACrB,IAAI,eAAe,KAAK,SAAS,EAAE;gBACjC,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;aAChE;YACD,aAAa,CAAC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;SAC5D;QAED,aAAa,CAAC,gBAAgB,EAAE,CAAC;QACjC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAE1C,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;YACxB,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG;gBACjC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;gBAClB,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;aAChB,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,yBAAyB,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;QAE9D,aAAa,CAAC,IAAI,CAAC,WAAW,GAAG;YAC/B,qCAAqC;YACrC,iBAAiB,EAAE,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE;YACtE,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC;SAC7B,CAAC;QAEF,OAAO,aAAa,CAAC;IACvB,CAAC;IAEM,KAAK,CAAC,WAAW;QACtB,IAAI,EAAE,CAAC;IACT,CAAC;IAEM,KAAK,CAAC,mBAAmB,CAAC,IAAW;QAC1C,uEAAuE;QACvE,oCAAoC;QACpC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAEzB,MAAM,yBAAyB,GAC7B,IAAI,CAAC,yBAAyB,CAAC,mBAAmB,EAAE,CAAC;QACvD,MAAM,uBAAuB,GAAG,kBAAkB,CAAC,IAAI,CAAC,kBAAkB,CAAC;QAC3E,IAAI,uBAAuB,KAAK,SAAS,EAAE;YACzC,MAAM,IAAI,KAAK,CACb,gGAAgG,CACjG,CAAC;SACH;QACD,MAAM,kBAAkB,GAAG,IAAI,uBAAuB,CACpD,yBAAyB,CAC1B,CAAC;QACF,MAAM,aAAa,GAAG,kBAAkB,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QAC/D,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAC9B,CAAC;IAEO,SAAS;QACf,OAAO,kBAAkB,CAAC,IAAI,CAAC,SAAS,IAAI,2BAA2B,CAAC;IAC1E,CAAC;IAEO,iBAAiB,CAAC,UAAkB,EAAE,IAA6B;QACzE,OAAO,kBAAkB,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE;YACpE,mEAAmE;YACnE,MAAM,KAAK,GAAG,YAAY,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,EAAE;gBAC7D,OAAO,SAAS,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC,IAAI,CAAC,aAAa,CAChE,UAAU,CACX,CAAC,CAAC,CAAC,CAAC;YACP,CAAC,CAAC,CAAC;YAEH,MAAM,WAAW,GAAG,mBAAmB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YACxD,MAAM,OAAO,GAAG,IAAI,WAAW,CAAC;gBAC9B,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,KAAK;aACN,CAAC,CAAC;YACH,OAAO;gBACL,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,MAAM,EAAE,SAAS,CAAC,cAAc,CAAC,KAAK,EAAE;oBACtC,cAAc,EAAE;wBACd,SAAS,EAAE,IAAI,CAAC,OAAO;wBACvB,OAAO,EAAE,IAAI,CAAC,OAAO;qBACtB;iBACF,CAAC;gBACF,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;aACnD,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IAEM,cAAc,CACnB,UAAkB,EAClB,IAA6B,EAC7B,OAAa;QAEb,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QAEzD,MAAM,iBAAiB,GAAG,IAAI,CAAC,GAAG,CAChC,CAAC,EACD,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,CAC1E,CAAC;QACF,MAAM,kBAAkB,GAAG,QAAQ,CAAC,KAAK,CAAC,aAAa,EAAE,iBAAiB,CAAC,CAAC;QAE5E,MAAM,gBAAgB,GACpB,uBAAuB,CAAC,2BAA2B,CAAC;QACtD,MAAM,cAAc,GAAG,QAAQ,CAAC,EAAE,CAChC,OAAO,EACP,gBAAgB,EAChB,IAAI,CAAC,WAAW,CACjB,CAAC;QACF,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,EAAE,CAAC;QAEtC,MAAM,MAAM,GAAG,OAAO;aACnB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACT,CAAC,CAAC,MAAM,CAAC,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,CACtD,GAAG,KAAK,CACN,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,CACnD,CAAC,IAAI,CAAC,OAAO,CAAC,CAChB,CAAC;YACF,OAAO,CAAC,CAAC;QACX,CAAC,CAAC;aACD,MAAM,CAAC;YACN,WAAW,EAAE,gBAAgB;YAC7B,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YACd,MAAM,EAAE;gBACN,cAAc,EAAE,KAAK,CAAgB,iBAAiB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;gBACrE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;gBAClB,aAAa,EAAE,SAAS;aACzB;SACF,CAAC;aACD,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACf,MAAM,GAAG,GAAG,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;YAEjD,MAAM,WAAW,GAAG,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC;YACnE,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAC9C,MAAM,cAAc,GAAG,QAAQ,CAAC,EAAE,CAChC,GAAG,EACH,kBAAkB,EAClB,CAAC,CAAC,MAAM,CAAC,cAAc,EACvB,CAAC,CAAC,MAAM,CAAC,cAAc,CACxB,CAAC;YACF,MAAM,MAAM,GAAG,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAClE,IAAI,aAAa,GAAuB,SAAS,CAAC;YAClD,QAAQ,CAAC,QAAQ,CAAC,GAAG,EAAE;gBACrB,IAAI,GAAG,CAAC,SAAS,EAAE,EAAE;oBACnB,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC;iBACxC;qBAAM;oBACL,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC;iBACxC;YACH,CAAC,CAAC,CAAC;YAEH,OAAO;gBACL,WAAW;gBACX,IAAI;gBACJ,MAAM,EAAE,EAAE,cAAc,EAAE,MAAM,EAAE,aAAa,EAAE;aAClD,CAAC;QACJ,CAAC,CAAC,CAAC;QAEL,sEAAsE;QACtE,wEAAwE;QACxE,MAAM,CAAC,WAAW,CAAC,YAAY,CAC7B,cAAc,EACd,qCAAqC,CACtC,CAAC;QAEF,OAAO,MAAM,CAAC;IAChB,CAAC;IAEM,KAAK,CAAC,0BAA0B,CAAC,KAAmC;QACzE,IAAI,OAAO,GAAG,IAAI,CAAC,qBAAqB,CAAC,mBAAmB,EAAE,CAAC;QAC/D,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,mBAAmB,EAAE,CAAC;QAEvD,0EAA0E;QAC1E,oCAAoC;QACpC,IAAI,sBAAsB,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QAEtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,EAAE;YACzC,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAEhC,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAElC,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YAEtD,gBAAgB;YAChB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CACvB,uBAAuB,CAAC,0BAA0B,EAClD,kBAAkB,EAClB;gBACE,KAAK,EAAE,OAAO;gBACd,OAAO,EAAE,IAAI,CAAC,OAAO;aACtB,CACF,CAAC;YAEF,IAAI,CAAC,OAAO;iBACT,eAAe,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC;iBAC9C,EAAE,CAAC,OAAO,CAAC;iBACX,UAAU,CAAC,uCAAuC,CAAC,CAAC;YAEvD,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;YAE/D,OAAO,CAAC,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,aAAa,EAAE,EAAE;gBACtD,QAAQ,CAAC,GAAG,CAAC,0BAA0B,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;gBAC9D,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;YAC9B,CAAC,CAAC,CAAC;YACH,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAEhE,sEAAsE;YACtE,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,cAAc;iBAC9C,GAAG,CAAC,CAAC,aAAa,EAAE,EAAE;gBACrB,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC;gBAChE,OAAO,QAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAChD,CAAC,CAAC;iBACD,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9B,sBAAsB,GAAG,sBAAsB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;SAClE;QAED,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAExC,OAAO,sBAAsB,CAAC;IAChC,CAAC;IAES,KAAK,CAAC,UAAU,CAAC,cAA6B;QACtD,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CACtC,IAAI,CAAC,OAAO,EACZ,sDAAsD,CACvD,CAAC;QACF,cAAc,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG;aAClC,UAAU,EAAE;aACZ,UAAU,CAAC,kBAAkB,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC;QAE3D,cAAc;QACd,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YACjB,OAAO,EAAE,cAAc,CAAC,SAAS;YACjC,MAAM;SACP,CAAC,CAAC;QAEH,wCAAwC;QACxC,cAAc,CAAC,IAAI,CAAC,WAAW,GAAG;YAChC,iBAAiB,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE;YAC7D,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC;SAC7B,CAAC;QAEF,YAAY;QACZ,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;QAC7B,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAClC,CAAC;CACF;AAED,MAAM,OAAO,cACX,SAAQ,kBAAkB;IAD5B;;QAI2B,8BAAyB,GAAG,KAAK,EAAa,CAAC;QAEnD,cAAS,GAAG,KAAK,EAAS,CAAC;QAE3B,0BAAqB,GAAG,KAAK,EAAS,CAAC;IAgB9D,CAAC;IAbc,AAAN,KAAK,CAAC,eAAe,CAAC,IAAW;QACtC,OAAO,MAAM,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC;IAGY,AAAN,KAAK,CAAC,sBAAsB,CAAC,KAAmC;QACrE,OAAO,MAAM,IAAI,CAAC,0BAA0B,CAAC,KAAK,CAAC,CAAC;IACtD,CAAC;IAGY,AAAN,KAAK,CAAC,MAAM,CAAC,cAA6B;QAC/C,OAAO,MAAM,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;IAC/C,CAAC;CACF;AApB0B;IAAxB,KAAK,CAAC,SAAS,CAAC;;iEAAuD;AAEnD;IAApB,KAAK,CAAC,KAAK,CAAC;;iDAAmC;AAE3B;IAApB,KAAK,CAAC,KAAK,CAAC;;6DAA+C;AAG/C;IADZ,MAAM;;qCAC4B,KAAK;;qDAEvC;AAGY;IADZ,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;;qCACqB,4BAA4B;;4DAEtE;AAGY;IADZ,MAAM;;qCAC6B,aAAa;;4CAEhD"}

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

@@ -0,0 +1,16 @@
+import { CompileRegistry } from "@proto-kit/common";
+import { ContractModule } from "../ContractModule";
+import { OutgoingMessageProcessor } from "../modularity/OutgoingMessageProcessor";
+import { BridgeContract, BridgeContractType } from "./BridgeContract";
+export type BridgeContractConfig = {
+    outgoingBatchSize?: number;
+};
+export declare class BridgeContractProtocolModule extends ContractModule<BridgeContractType, BridgeContractConfig> {
+    private readonly messageProcessors;
+    constructor(messageProcessors: OutgoingMessageProcessor<unknown>[]);
+    contractFactory(): typeof BridgeContract;
+    compile(registry: CompileRegistry): Promise<{
+        BridgeContract: import("@proto-kit/common").CompileArtifact;
+    }>;
+}
+//# sourceMappingURL=BridgeContractProtocolModule.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"BridgeContractProtocolModule.d.ts","sourceRoot":"","sources":["../../../src/settlement/contracts/BridgeContractProtocolModule.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEpD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AAElF,OAAO,EACL,cAAc,EAEd,kBAAkB,EACnB,MAAM,kBAAkB,CAAC;AAE1B,MAAM,MAAM,oBAAoB,GAAG;IACjC,iBAAiB,CAAC,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,qBACa,4BAA6B,SAAQ,cAAc,CAC9D,kBAAkB,EAClB,oBAAoB,CACrB;IAGG,OAAO,CAAC,QAAQ,CAAC,iBAAiB;gBAAjB,iBAAiB,EAAE,wBAAwB,CAAC,OAAO,CAAC,EAAE;IAKlE,eAAe;IAYT,OAAO,CAAC,QAAQ,EAAE,eAAe;;;CAO/C"}

package/dist/settlement/contracts/BridgeContractProtocolModule.js

@@ -0,0 +1,41 @@
+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 { injectable, injectAll } from "tsyringe";
+import { ContractModule } from "../ContractModule";
+import { BridgeContract, BridgeContractBase, } from "./BridgeContract";
+export let BridgeContractProtocolModule = class BridgeContractProtocolModule extends ContractModule {
+    constructor(messageProcessors) {
+        super();
+        this.messageProcessors = messageProcessors;
+    }
+    contractFactory() {
+        const { config } = this;
+        BridgeContractBase.args = {
+            SettlementContract: BridgeContractBase.args?.SettlementContract,
+            messageProcessors: this.messageProcessors,
+            batchSize: config.outgoingBatchSize,
+        };
+        return BridgeContract;
+    }
+    async compile(registry) {
+        return {
+            BridgeContract: await registry.forceProverExists(async () => await registry.compile(BridgeContract)),
+        };
+    }
+};
+BridgeContractProtocolModule = __decorate([
+    injectable(),
+    __param(0, injectAll("OutgoingMessageProcessor", { isOptional: true })),
+    __metadata("design:paramtypes", [Array])
+], BridgeContractProtocolModule);
+//# sourceMappingURL=BridgeContractProtocolModule.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"BridgeContractProtocolModule.js","sourceRoot":"","sources":["../../../src/settlement/contracts/BridgeContractProtocolModule.ts"],"names":[],"mappings":";;;;;;;;;;;;AAAA,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAGjD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAGnD,OAAO,EACL,cAAc,EACd,kBAAkB,GAEnB,MAAM,kBAAkB,CAAC;AAOnB,WAAM,4BAA4B,GAAlC,MAAM,4BAA6B,SAAQ,cAGjD;IACC,YAEmB,iBAAsD;QAEvE,KAAK,EAAE,CAAC;QAFS,sBAAiB,GAAjB,iBAAiB,CAAqC;IAGzE,CAAC;IAEM,eAAe;QACpB,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;QAExB,kBAAkB,CAAC,IAAI,GAAG;YACxB,kBAAkB,EAAE,kBAAkB,CAAC,IAAI,EAAE,kBAAkB;YAC/D,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;YACzC,SAAS,EAAE,MAAM,CAAC,iBAAiB;SACpC,CAAC;QAEF,OAAO,cAAc,CAAC;IACxB,CAAC;IAEM,KAAK,CAAC,OAAO,CAAC,QAAyB;QAC5C,OAAO;YACL,cAAc,EAAE,MAAM,QAAQ,CAAC,iBAAiB,CAC9C,KAAK,IAAI,EAAE,CAAC,MAAM,QAAQ,CAAC,OAAO,CAAC,cAAc,CAAC,CACnD;SACF,CAAC;IACJ,CAAC;CACF,CAAA;AA9BY,4BAA4B;IADxC,UAAU,EAAE;IAMR,WAAA,SAAS,CAAC,0BAA0B,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAA;;GALnD,4BAA4B,CA8BxC"}

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

@@ -0,0 +1,21 @@
+import { CompileRegistry } from "@proto-kit/common";
+import { RuntimeLike } from "../../model/RuntimeLike";
+import { ContractModule, SmartContractClassFromInterface } from "../ContractModule";
+import { DispatchContractType } from "./DispatchSmartContract";
+export type DispatchContractConfig = {
+    incomingMessagesMethods: Record<string, `${string}.${string}`>;
+};
+export declare class DispatchContractProtocolModule extends ContractModule<DispatchContractType, DispatchContractConfig> {
+    private readonly runtime;
+    constructor(runtime: RuntimeLike);
+    eventsDefinition(): {
+        "token-bridge-added": typeof import("./TokenBridgeTree").TokenBridgeTreeAddition;
+        "incoming-message-placeholder": typeof import("o1js/dist/node/lib/provable/field").Field & ((x: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field | import("o1js/dist/node/lib/provable/core/fieldvar").FieldConst | import("o1js/dist/node/lib/provable/core/fieldvar").FieldVar) => import("o1js/dist/node/lib/provable/field").Field);
+    };
+    private checkConfigIntegrity;
+    contractFactory(): SmartContractClassFromInterface<DispatchContractType>;
+    compile(registry: CompileRegistry): Promise<{
+        DispatchSmartContract: import("@proto-kit/common").CompileArtifact;
+    }>;
+}
+//# sourceMappingURL=DispatchContractProtocolModule.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"DispatchContractProtocolModule.d.ts","sourceRoot":"","sources":["../../../src/settlement/contracts/DispatchContractProtocolModule.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEpD,OAAO,EAAE,WAAW,EAA0B,MAAM,yBAAyB,CAAC;AAC9E,OAAO,EACL,cAAc,EACd,+BAA+B,EAChC,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAEL,oBAAoB,EAErB,MAAM,yBAAyB,CAAC;AAEjC,MAAM,MAAM,sBAAsB,GAAG;IACnC,uBAAuB,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,MAAM,IAAI,MAAM,EAAE,CAAC,CAAC;CAChE,CAAC;AAEF,qBACa,8BAA+B,SAAQ,cAAc,CAChE,oBAAoB,EACpB,sBAAsB,CACvB;IACuC,OAAO,CAAC,QAAQ,CAAC,OAAO;gBAAP,OAAO,EAAE,WAAW;IAIpE,gBAAgB;;;;IAKvB,OAAO,CAAC,oBAAoB;IAcrB,eAAe,IAAI,+BAA+B,CAAC,oBAAoB,CAAC;IAgBlE,OAAO,CAAC,QAAQ,EAAE,eAAe;;;CAU/C"}

package/dist/settlement/contracts/DispatchContractProtocolModule.js

@@ -0,0 +1,57 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+var __param = (this && this.__param) || function (paramIndex, decorator) {
+    return function (target, key) { decorator(target, key, paramIndex); }
+};
+import { inject, injectable } from "tsyringe";
+import { PublicKey } from "o1js";
+import { ContractModule, } from "../ContractModule";
+import { DispatchSmartContract, DispatchSmartContractBase, } from "./DispatchSmartContract";
+export let DispatchContractProtocolModule = class DispatchContractProtocolModule extends ContractModule {
+    constructor(runtime) {
+        super();
+        this.runtime = runtime;
+    }
+    eventsDefinition() {
+        return new DispatchSmartContract(PublicKey.empty())
+            .events;
+    }
+    checkConfigIntegrity(incomingMessagesMethods, runtimeMethodIds) {
+        const missing = Object.values(incomingMessagesMethods).filter((method) => runtimeMethodIds[method] === undefined);
+        if (missing.length > 0) {
+            throw new Error(`Incoming messages config references a unknown methods: [${missing}]`);
+        }
+    }
+    contractFactory() {
+        const { incomingMessagesMethods } = this.config;
+        const methodIdMappings = this.runtime.methodIdResolver.methodIdMap();
+        this.checkConfigIntegrity(incomingMessagesMethods, methodIdMappings);
+        DispatchSmartContractBase.args = {
+            incomingMessagesPaths: incomingMessagesMethods,
+            methodIdMappings,
+            settlementContractClass: DispatchSmartContractBase.args?.settlementContractClass,
+        };
+        return DispatchSmartContract;
+    }
+    async compile(registry) {
+        if (DispatchSmartContractBase.args.settlementContractClass === undefined) {
+            throw new Error("Reference to Settlement Contract not set");
+        }
+        return {
+            DispatchSmartContract: await registry.forceProverExists(async () => await registry.compile(DispatchSmartContract)),
+        };
+    }
+};
+DispatchContractProtocolModule = __decorate([
+    injectable(),
+    __param(0, inject("Runtime")),
+    __metadata("design:paramtypes", [Object])
+], DispatchContractProtocolModule);
+//# sourceMappingURL=DispatchContractProtocolModule.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"DispatchContractProtocolModule.js","sourceRoot":"","sources":["../../../src/settlement/contracts/DispatchContractProtocolModule.ts"],"names":[],"mappings":";;;;;;;;;;;;AAAA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,MAAM,CAAC;AAIjC,OAAO,EACL,cAAc,GAEf,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EACL,qBAAqB,EAErB,yBAAyB,GAC1B,MAAM,yBAAyB,CAAC;AAO1B,WAAM,8BAA8B,GAApC,MAAM,8BAA+B,SAAQ,cAGnD;IACC,YAAuD,OAAoB;QACzE,KAAK,EAAE,CAAC;QAD6C,YAAO,GAAP,OAAO,CAAa;IAE3E,CAAC;IAEM,gBAAgB;QACrB,OAAO,IAAI,qBAAqB,CAAC,SAAS,CAAC,KAAK,EAAoB,CAAC;aAClE,MAAM,CAAC;IACZ,CAAC;IAEO,oBAAoB,CAC1B,uBAA8D,EAC9D,gBAAwC;QAExC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,uBAAuB,CAAC,CAAC,MAAM,CAC3D,CAAC,MAAM,EAAE,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,KAAK,SAAS,CACnD,CAAC;QACF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE;YACtB,MAAM,IAAI,KAAK,CACb,2DAA2D,OAAO,GAAG,CACtE,CAAC;SACH;IACH,CAAC;IAEM,eAAe;QACpB,MAAM,EAAE,uBAAuB,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC;QAChD,MAAM,gBAAgB,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,WAAW,EAAE,CAAC;QAErE,IAAI,CAAC,oBAAoB,CAAC,uBAAuB,EAAE,gBAAgB,CAAC,CAAC;QAErE,yBAAyB,CAAC,IAAI,GAAG;YAC/B,qBAAqB,EAAE,uBAAuB;YAC9C,gBAAgB;YAChB,uBAAuB,EACrB,yBAAyB,CAAC,IAAI,EAAE,uBAAuB;SAC1D,CAAC;QAEF,OAAO,qBAAqB,CAAC;IAC/B,CAAC;IAEM,KAAK,CAAC,OAAO,CAAC,QAAyB;QAC5C,IAAI,yBAAyB,CAAC,IAAI,CAAC,uBAAuB,KAAK,SAAS,EAAE;YACxE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;SAC7D;QACD,OAAO;YACL,qBAAqB,EAAE,MAAM,QAAQ,CAAC,iBAAiB,CACrD,KAAK,IAAI,EAAE,CAAC,MAAM,QAAQ,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAC1D;SACF,CAAC;IACJ,CAAC;CACF,CAAA;AArDY,8BAA8B;IAD1C,UAAU,EAAE;IAKS,WAAA,MAAM,CAAC,SAAS,CAAC,CAAA;;GAJ1B,8BAA8B,CAqD1C"}