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

package/dist/settlement/contracts/settlement/BridgingSettlementContract.js

@@ -0,0 +1,188 @@
+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 { Bool, Field, method, PublicKey, Signature, State, state, UInt32, AccountUpdateForest, Struct, TokenId, } from "o1js";
+import { container } from "tsyringe";
+import { NetworkState } from "../../../model/network/NetworkState";
+import { TokenBridgeDeploymentAuth } from "../authorizations/TokenBridgeDeploymentAuth";
+import { UpdateMessagesHashAuth } from "../authorizations/UpdateMessagesHashAuth";
+import { ContractArgsRegistry, } from "../../ContractArgsRegistry";
+import { DynamicBlockProof, SettlementBase, SettlementContractArgsSchema, } from "./SettlementBase";
+/* eslint-disable @typescript-eslint/lines-between-class-members */
+export class TokenMapping extends Struct({
+    tokenId: Field,
+    publicKey: PublicKey,
+}) {
+}
+export const BridgingSettlementContractArgsSchema = {
+    ...SettlementContractArgsSchema,
+    DispatchContract: "Required",
+    BridgeContract: "Required",
+    BridgeContractVerificationKey: "Optional",
+    BridgeContractPermissions: "Required",
+};
+export class BridgingSettlementContractBase extends SettlementBase {
+    constructor() {
+        super(...arguments);
+        this.events = {
+            "token-bridge-deployed": TokenMapping,
+        };
+    }
+    getInitializationArgs() {
+        return container
+            .resolve(ContractArgsRegistry)
+            .getArgs("SettlementContract", BridgingSettlementContractArgsSchema);
+    }
+    // Not @state
+    // abstract offchainStateCommitmentsHash: State<Field>;
+    assertStateRoot(root) {
+        this.stateRoot.requireEquals(root);
+        return this.self;
+    }
+    async initializeBaseBridging(sequencer, dispatchContract) {
+        await super.initializeBase(sequencer);
+        this.dispatchContractAddress.set(dispatchContract);
+    }
+    // TODO We should move this to the dispatchcontract eventually - or after mesa
+    //  to the combined settlement & dispatch contract
+    async deployTokenBridge(tokenId, address) {
+        const { BridgeContractVerificationKey, signedSettlements, BridgeContractPermissions, BridgeContract: BridgeContractClass, DispatchContract, } = this.getInitializationArgs();
+        const bridgeContract = new BridgeContractClass(address, tokenId);
+        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(BridgeContractVerificationKey, signedSettlements, 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,
+        }));
+        const dispatchContractAddress = this.dispatchContractAddress.getAndRequireEquals();
+        // Set authorization for the auth callback, that we need
+        this.authorizationField.set(new TokenBridgeDeploymentAuth({
+            target: dispatchContractAddress,
+            tokenId,
+            address,
+        }).hash());
+        const dispatchContract = new DispatchContract(dispatchContractAddress);
+        await dispatchContract.enableTokenDeposits(tokenId, address, this.address);
+    }
+    async settleBaseBridging(blockProof, signature, publicKey, inputNetworkState, outputNetworkState, newPromisedMessagesHash) {
+        await super.settleBase(blockProof, signature, publicKey, inputNetworkState, outputNetworkState, newPromisedMessagesHash);
+        const dispatchContractAddress = this.dispatchContractAddress.getAndRequireEquals();
+        const { DispatchContract } = this.getInitializationArgs();
+        // Get dispatch contract values
+        // These values are witnesses but will be checked later on the AU
+        // call to the dispatch contract via .updateMessagesHash()
+        const dispatchContract = new DispatchContract(dispatchContractAddress);
+        const promisedMessagesHash = dispatchContract.promisedMessagesHash.get();
+        // Assert and apply deposit commitments
+        promisedMessagesHash.assertEquals(blockProof.publicOutput.incomingMessagesHash, "Promised messages not honored");
+        // Set authorization for the dispatchContract to verify the messages hash update
+        this.authorizationField.set(new UpdateMessagesHashAuth({
+            target: dispatchContract.address,
+            executedMessagesHash: promisedMessagesHash,
+            newPromisedMessagesHash,
+        }).hash());
+        // Call DispatchContract
+        // This call checks that the promisedMessagesHash, which is already proven
+        // to be the blockProofs publicoutput, is actually the current on-chain
+        // promisedMessageHash. It also checks the newPromisedMessagesHash to be
+        // a current sequencestate value
+        await dispatchContract.updateMessagesHash(promisedMessagesHash, newPromisedMessagesHash);
+    }
+}
+export class BridgingSettlementContract extends BridgingSettlementContractBase {
+    constructor() {
+        super(...arguments);
+        this.sequencerKey = State();
+        this.lastSettlementL1BlockHeight = State();
+        this.stateRoot = State();
+        this.networkStateHash = State();
+        this.blockHashRoot = State();
+        this.dispatchContractAddress = State();
+        this.authorizationField = State();
+    }
+    async deployAndInitialize(args, permissions, sequencer, dispatchContract) {
+        dispatchContract.assertSome("Bridging-enabled settlement contract requires a dispatch contract address");
+        await super.deploy(args);
+        this.self.account.permissions.set(permissions);
+        await this.initializeBaseBridging(sequencer, dispatchContract.value);
+    }
+    async approveBase(forest) {
+        this.checkZeroBalanceChange(forest);
+    }
+    async addTokenBridge(tokenId, address) {
+        await this.deployTokenBridge(tokenId, address);
+    }
+    async settle(blockProof, signature, publicKey, inputNetworkState, outputNetworkState, newPromisedMessagesHash) {
+        return await this.settleBaseBridging(blockProof, signature, publicKey, inputNetworkState, outputNetworkState, newPromisedMessagesHash);
+    }
+}
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], BridgingSettlementContract.prototype, "sequencerKey", void 0);
+__decorate([
+    state(UInt32),
+    __metadata("design:type", Object)
+], BridgingSettlementContract.prototype, "lastSettlementL1BlockHeight", void 0);
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], BridgingSettlementContract.prototype, "stateRoot", void 0);
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], BridgingSettlementContract.prototype, "networkStateHash", void 0);
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], BridgingSettlementContract.prototype, "blockHashRoot", void 0);
+__decorate([
+    state(PublicKey),
+    __metadata("design:type", Object)
+], BridgingSettlementContract.prototype, "dispatchContractAddress", void 0);
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], BridgingSettlementContract.prototype, "authorizationField", void 0);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [AccountUpdateForest]),
+    __metadata("design:returntype", Promise)
+], BridgingSettlementContract.prototype, "approveBase", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [Field, PublicKey]),
+    __metadata("design:returntype", Promise)
+], BridgingSettlementContract.prototype, "addTokenBridge", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [DynamicBlockProof,
+        Signature,
+        PublicKey,
+        NetworkState,
+        NetworkState,
+        Field]),
+    __metadata("design:returntype", Promise)
+], BridgingSettlementContract.prototype, "settle", null);
+/* eslint-enable @typescript-eslint/lines-between-class-members */
+//# sourceMappingURL=BridgingSettlementContract.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"BridgingSettlementContract.js","sourceRoot":"","sources":["../../../../src/settlement/contracts/settlement/BridgingSettlementContract.ts"],"names":[],"mappings":";;;;;;;;;AACA,OAAO,EAEL,IAAI,EACJ,KAAK,EACL,MAAM,EACN,SAAS,EACT,SAAS,EAET,KAAK,EACL,KAAK,EACL,MAAM,EACN,mBAAmB,EAGnB,MAAM,EACN,OAAO,GAER,MAAM,MAAM,CAAC;AACd,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAErC,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AAGnE,OAAO,EAAE,yBAAyB,EAAE,MAAM,6CAA6C,CAAC;AACxF,OAAO,EAAE,sBAAsB,EAAE,MAAM,0CAA0C,CAAC;AAClF,OAAO,EACL,oBAAoB,GAGrB,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,iBAAiB,EACjB,cAAc,EAEd,4BAA4B,GAE7B,MAAM,kBAAkB,CAAC;AAE1B,mEAAmE;AAEnE,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC;IACvC,OAAO,EAAE,KAAK;IACd,SAAS,EAAE,SAAS;CACrB,CAAC;CAAG;AAiBL,MAAM,CAAC,MAAM,oCAAoC,GAC/C;IACE,GAAG,4BAA4B;IAC/B,gBAAgB,EAAE,UAAU;IAC5B,cAAc,EAAE,UAAU;IAC1B,6BAA6B,EAAE,UAAU;IACzC,yBAAyB,EAAE,UAAU;CACtC,CAAC;AAEJ,MAAM,OAAgB,8BACpB,SAAQ,cAAc;IADxB;;QAUE,WAAM,GAAG;YACP,uBAAuB,EAAE,YAAY;SACtC,CAAC;IAwIJ,CAAC;IAhJQ,qBAAqB;QAC1B,OAAO,SAAS;aACb,OAAO,CAAC,oBAAoB,CAAC;aAC7B,OAAO,CAAC,oBAAoB,EAAE,oCAAoC,CAAC,CAAC;IACzE,CAAC;IAUD,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;IAES,KAAK,CAAC,sBAAsB,CACpC,SAAoB,EACpB,gBAA2B;QAE3B,MAAM,KAAK,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;QAEtC,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;IACrD,CAAC;IAED,8EAA8E;IAC9E,kDAAkD;IACxC,KAAK,CAAC,iBAAiB,CAAC,OAAc,EAAE,OAAkB;QAClE,MAAM,EACJ,6BAA6B,EAC7B,iBAAiB,EACjB,yBAAyB,EACzB,cAAc,EAAE,mBAAmB,EACnC,gBAAgB,GACjB,GAAG,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAEjC,MAAM,cAAc,GAAG,IAAI,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAEjE,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,6BAA6B,EAC7B,iBAAkB,EAClB,yBAA0B,EAC1B,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,MAAM,uBAAuB,GAC3B,IAAI,CAAC,uBAAuB,CAAC,mBAAmB,EAAE,CAAC;QAErD,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,GAAG,IAAI,gBAAgB,CAAC,uBAAuB,CAAC,CAAC;QACvE,MAAM,gBAAgB,CAAC,mBAAmB,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7E,CAAC;IAES,KAAK,CAAC,kBAAkB,CAChC,UAA6B,EAC7B,SAAoB,EACpB,SAAoB,EACpB,iBAA+B,EAC/B,kBAAgC,EAChC,uBAA8B;QAE9B,MAAM,KAAK,CAAC,UAAU,CACpB,UAAU,EACV,SAAS,EACT,SAAS,EACT,iBAAiB,EACjB,kBAAkB,EAClB,uBAAuB,CACxB,CAAC;QAEF,MAAM,uBAAuB,GAC3B,IAAI,CAAC,uBAAuB,CAAC,mBAAmB,EAAE,CAAC;QAErD,MAAM,EAAE,gBAAgB,EAAE,GAAG,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAE1D,+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,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;IACJ,CAAC;CACF;AAED,MAAM,OAAO,0BACX,SAAQ,8BAA8B;IADxC;;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;QAE3B,4BAAuB,GAAG,KAAK,EAAa,CAAC;QAEjD,uBAAkB,GAAG,KAAK,EAAS,CAAC;IA8C3D,CAAC;IA5CQ,KAAK,CAAC,mBAAmB,CAC9B,IAA4B,EAC5B,WAAwB,EACxB,SAAoB,EACpB,gBAAmC;QAEnC,gBAAgB,CAAC,UAAU,CACzB,2EAA2E,CAC5E,CAAC;QAEF,MAAM,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAEzB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAE/C,MAAM,IAAI,CAAC,sBAAsB,CAAC,SAAS,EAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACvE,CAAC;IAEa,AAAN,KAAK,CAAC,WAAW,CAAC,MAA2B;QACnD,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC;IAGY,AAAN,KAAK,CAAC,cAAc,CAAC,OAAc,EAAE,OAAkB;QAC5D,MAAM,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC;IAGY,AAAN,KAAK,CAAC,MAAM,CACjB,UAA6B,EAC7B,SAAoB,EACpB,SAAoB,EACpB,iBAA+B,EAC/B,kBAAgC,EAChC,uBAA8B;QAE9B,OAAO,MAAM,IAAI,CAAC,kBAAkB,CAClC,UAAU,EACV,SAAS,EACT,SAAS,EACT,iBAAiB,EACjB,kBAAkB,EAClB,uBAAuB,CACxB,CAAC;IACJ,CAAC;CACF;AAvDsB;IAApB,KAAK,CAAC,KAAK,CAAC;;gEAAsC;AAC7B;IAArB,KAAK,CAAC,MAAM,CAAC;;+EAAsD;AAE/C;IAApB,KAAK,CAAC,KAAK,CAAC;;6DAAmC;AAC3B;IAApB,KAAK,CAAC,KAAK,CAAC;;oEAA0C;AAClC;IAApB,KAAK,CAAC,KAAK,CAAC;;iEAAuC;AAE3B;IAAxB,KAAK,CAAC,SAAS,CAAC;;2EAAqD;AAEjD;IAApB,KAAK,CAAC,KAAK,CAAC;;sEAA4C;AAmB3C;IAAb,MAAM;;qCAA2B,mBAAmB;;6DAEpD;AAGY;IADZ,MAAM;;qCAC8B,KAAK,EAAW,SAAS;;gEAE7D;AAGY;IADZ,MAAM;;qCAEO,iBAAiB;QAClB,SAAS;QACT,SAAS;QACD,YAAY;QACX,YAAY;QACP,KAAK;;wDAU/B;AAGH,kEAAkE"}

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

@@ -0,0 +1,41 @@
+import { DeployArgs, DynamicProof, Field, Option, PublicKey, Signature, State, TokenContract, UInt32, Permissions } from "o1js";
+import { ChildVerificationKeyService } from "@proto-kit/common";
+import { NetworkState } from "../../../model/network/NetworkState";
+import { ProvableSettlementHook } from "../../modularity/ProvableSettlementHook";
+import { BlockProverPublicInput, BlockProverPublicOutput } from "../../../prover/block/BlockProvable";
+import { NaiveObjectSchema, StaticInitializationContract } from "../../ContractArgsRegistry";
+export declare const BATCH_SIGNATURE_PREFIX: import("o1js/dist/node/lib/provable/field").Field;
+export declare class DynamicBlockProof extends DynamicProof<BlockProverPublicInput, BlockProverPublicOutput> {
+    static publicInputType: typeof BlockProverPublicInput;
+    static publicOutputType: typeof BlockProverPublicOutput;
+    static maxProofsVerified: 2;
+}
+export interface SettlementContractType {
+    sequencerKey: State<Field>;
+    lastSettlementL1BlockHeight: State<UInt32>;
+    stateRoot: State<Field>;
+    networkStateHash: State<Field>;
+    blockHashRoot: State<Field>;
+    deployAndInitialize: (args: DeployArgs | undefined, permissions: Permissions, sequencer: PublicKey, dispatchContract: Option<PublicKey>) => Promise<void>;
+    settle: (blockProof: DynamicBlockProof, signature: Signature, publicKey: PublicKey, inputNetworkState: NetworkState, outputNetworkState: NetworkState, newPromisedMessagesHash: Field) => Promise<void>;
+}
+export interface SettlementContractArgs {
+    hooks: ProvableSettlementHook<unknown>[];
+    escapeHatchSlotsInterval: number;
+    signedSettlements: boolean;
+    ChildVerificationKeyService: ChildVerificationKeyService;
+}
+export declare const SettlementContractArgsSchema: NaiveObjectSchema<SettlementContractArgs>;
+export declare abstract class SettlementBase extends TokenContract implements StaticInitializationContract<SettlementContractArgs> {
+    getInitializationArgs(): SettlementContractArgs;
+    abstract sequencerKey: State<Field>;
+    abstract lastSettlementL1BlockHeight: State<UInt32>;
+    abstract stateRoot: State<Field>;
+    abstract networkStateHash: State<Field>;
+    abstract blockHashRoot: State<Field>;
+    protected initializeBase(sequencer: PublicKey): Promise<void>;
+    abstract settle(blockProof: DynamicBlockProof, signature: Signature, publicKey: PublicKey, inputNetworkState: NetworkState, outputNetworkState: NetworkState, newPromisedMessagesHash: Field): Promise<void>;
+    abstract deployAndInitialize(args: DeployArgs | undefined, permissions: Permissions, sequencer: PublicKey, dispatchContract: Option<PublicKey>): Promise<void>;
+    protected settleBase(blockProof: DynamicBlockProof, signature: Signature, publicKey: PublicKey, inputNetworkState: NetworkState, outputNetworkState: NetworkState, newPromisedMessagesHash: Field): Promise<void>;
+}
+//# sourceMappingURL=SettlementBase.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"SettlementBase.d.ts","sourceRoot":"","sources":["../../../../src/settlement/contracts/settlement/SettlementBase.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EACV,YAAY,EACZ,KAAK,EACL,MAAM,EACN,SAAS,EACT,SAAS,EACT,KAAK,EACL,aAAa,EACb,MAAM,EACN,WAAW,EACZ,MAAM,MAAM,CAAC;AACd,OAAO,EACL,2BAA2B,EAI5B,MAAM,mBAAmB,CAAC;AAI3B,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AACnE,OAAO,EACL,sBAAsB,EAGvB,MAAM,yCAAyC,CAAC;AACjD,OAAO,EACL,sBAAsB,EACtB,uBAAuB,EACxB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAEL,iBAAiB,EACjB,4BAA4B,EAC7B,MAAM,4BAA4B,CAAC;AAKpC,eAAO,MAAM,sBAAsB,mDAAqC,CAAC;AAEzE,qBAAa,iBAAkB,SAAQ,YAAY,CACjD,sBAAsB,EACtB,uBAAuB,CACxB;IACC,OAAc,eAAe,gCAA0B;IAEvD,OAAc,gBAAgB,iCAA2B;IAEzD,OAAc,iBAAiB,IAAc;CAC9C;AAED,MAAM,WAAW,sBAAsB;IACrC,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3B,2BAA2B,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAC3C,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACxB,gBAAgB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC/B,aAAa,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAE5B,mBAAmB,EAAE,CACnB,IAAI,EAAE,UAAU,GAAG,SAAS,EAC5B,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,SAAS,EACpB,gBAAgB,EAAE,MAAM,CAAC,SAAS,CAAC,KAChC,OAAO,CAAC,IAAI,CAAC,CAAC;IAEnB,MAAM,EAAE,CACN,UAAU,EAAE,iBAAiB,EAC7B,SAAS,EAAE,SAAS,EACpB,SAAS,EAAE,SAAS,EACpB,iBAAiB,EAAE,YAAY,EAC/B,kBAAkB,EAAE,YAAY,EAChC,uBAAuB,EAAE,KAAK,KAC3B,OAAO,CAAC,IAAI,CAAC,CAAC;CACpB;AAED,MAAM,WAAW,sBAAsB;IACrC,KAAK,EAAE,sBAAsB,CAAC,OAAO,CAAC,EAAE,CAAC;IACzC,wBAAwB,EAAE,MAAM,CAAC;IACjC,iBAAiB,EAAE,OAAO,CAAC;IAC3B,2BAA2B,EAAE,2BAA2B,CAAC;CAC1D;AAED,eAAO,MAAM,4BAA4B,EAAE,iBAAiB,CAAC,sBAAsB,CAMhF,CAAC;AAEJ,8BAAsB,cACpB,SAAQ,aACR,YAAW,4BAA4B,CAAC,sBAAsB,CAAC;IAE/D,qBAAqB,IAAI,sBAAsB;IAM/C,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;cAErB,cAAc,CAAC,SAAS,EAAE,SAAS;IAOnD,QAAQ,CAAC,MAAM,CACb,UAAU,EAAE,iBAAiB,EAC7B,SAAS,EAAE,SAAS,EACpB,SAAS,EAAE,SAAS,EACpB,iBAAiB,EAAE,YAAY,EAC/B,kBAAkB,EAAE,YAAY,EAChC,uBAAuB,EAAE,KAAK,GAC7B,OAAO,CAAC,IAAI,CAAC;IAEhB,QAAQ,CAAC,mBAAmB,CAC1B,IAAI,EAAE,UAAU,GAAG,SAAS,EAC5B,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,SAAS,EACpB,gBAAgB,EAAE,MAAM,CAAC,SAAS,CAAC,GAClC,OAAO,CAAC,IAAI,CAAC;cAEA,UAAU,CACxB,UAAU,EAAE,iBAAiB,EAC7B,SAAS,EAAE,SAAS,EACpB,SAAS,EAAE,SAAS,EACpB,iBAAiB,EAAE,YAAY,EAC/B,kBAAkB,EAAE,YAAY,EAChC,uBAAuB,EAAE,KAAK;CA6GjC"}

package/dist/settlement/contracts/settlement/SettlementBase.js

@@ -0,0 +1,105 @@
+import { DynamicProof, Field, TokenContract, UInt32, } from "o1js";
+import { LinkedMerkleTree, mapSequential, prefixToField, } from "@proto-kit/common";
+import { container } from "tsyringe";
+import { BlockHashMerkleTree } from "../../../prover/block/accummulators/BlockHashMerkleTree";
+import { NetworkState } from "../../../model/network/NetworkState";
+import { BlockProverPublicInput, BlockProverPublicOutput, } from "../../../prover/block/BlockProvable";
+import { ContractArgsRegistry, } from "../../ContractArgsRegistry";
+/* eslint-disable @typescript-eslint/lines-between-class-members */
+// Some random prefix for the sequencer signature
+export const BATCH_SIGNATURE_PREFIX = prefixToField("pk-batchSignature");
+export class DynamicBlockProof extends DynamicProof {
+}
+DynamicBlockProof.publicInputType = BlockProverPublicInput;
+DynamicBlockProof.publicOutputType = BlockProverPublicOutput;
+DynamicBlockProof.maxProofsVerified = 2;
+export const SettlementContractArgsSchema = {
+    ChildVerificationKeyService: "Required",
+    hooks: "Required",
+    escapeHatchSlotsInterval: "Required",
+    signedSettlements: "Required",
+};
+export class SettlementBase extends TokenContract {
+    getInitializationArgs() {
+        return container
+            .resolve(ContractArgsRegistry)
+            .getArgs("SettlementContract", SettlementContractArgsSchema);
+    }
+    async initializeBase(sequencer) {
+        this.sequencerKey.set(sequencer.x);
+        this.stateRoot.set(LinkedMerkleTree.EMPTY_ROOT);
+        this.blockHashRoot.set(Field(BlockHashMerkleTree.EMPTY_ROOT));
+        this.networkStateHash.set(NetworkState.empty().hash());
+    }
+    async settleBase(blockProof, signature, publicKey, inputNetworkState, outputNetworkState, newPromisedMessagesHash) {
+        const { escapeHatchSlotsInterval, hooks, ChildVerificationKeyService: childVerificationKeyService, } = this.getInitializationArgs();
+        // Brought in as a constant
+        const blockProofVk = childVerificationKeyService.getVerificationKey("BlockProver");
+        if (!blockProofVk.hash.isConstant()) {
+            throw new Error("Sanity check - vk hash has to be constant");
+        }
+        // Verify the blockproof
+        blockProof.verify(blockProofVk);
+        // Get and assert on-chain values
+        const stateRoot = this.stateRoot.getAndRequireEquals();
+        const networkStateHash = this.networkStateHash.getAndRequireEquals();
+        const blockHashRoot = this.blockHashRoot.getAndRequireEquals();
+        const sequencerKey = this.sequencerKey.getAndRequireEquals();
+        const lastSettlementL1BlockHeight = this.lastSettlementL1BlockHeight.getAndRequireEquals();
+        // Get block height and use the lower bound for all ops
+        const minBlockHeightIncluded = this.network.blockchainLength.get();
+        this.network.blockchainLength.requireBetween(minBlockHeightIncluded, 
+        // 5 because that is the length the newPromisedMessagesHash will be valid
+        minBlockHeightIncluded.add(4));
+        // Check signature/escape catch
+        publicKey.x.assertEquals(sequencerKey, "Sequencer public key witness not matching");
+        const signatureValid = signature.verify(publicKey, [
+            BATCH_SIGNATURE_PREFIX,
+            lastSettlementL1BlockHeight.value,
+        ]);
+        const escapeHatchActivated = lastSettlementL1BlockHeight
+            .add(UInt32.from(escapeHatchSlotsInterval))
+            .lessThan(minBlockHeightIncluded);
+        signatureValid
+            .or(escapeHatchActivated)
+            .assertTrue("Sequencer signature not valid and escape hatch not activated");
+        // Assert correctness of networkState witness
+        inputNetworkState
+            .hash()
+            .assertEquals(networkStateHash, "InputNetworkState witness not valid");
+        outputNetworkState
+            .hash()
+            .assertEquals(blockProof.publicOutput.networkStateHash, "OutputNetworkState witness not valid");
+        // Check remainders are zero
+        blockProof.publicOutput.proverStateRemainder.assertEquals(Field(0), "Supplied proof is has outstanding block prover state to be proven");
+        // Execute onSettlementHooks for additional checks
+        const stateRecord = {
+            blockHashRoot,
+            stateRoot,
+            networkStateHash,
+            lastSettlementL1BlockHeight,
+            sequencerKey: publicKey,
+        };
+        const inputs = {
+            blockProof,
+            contractState: stateRecord,
+            newPromisedMessagesHash,
+            fromNetworkState: inputNetworkState,
+            toNetworkState: outputNetworkState,
+            currentL1BlockHeight: minBlockHeightIncluded,
+        };
+        await mapSequential(hooks, async (hook) => {
+            await hook.beforeSettlement(this, inputs);
+        });
+        // Apply blockProof
+        stateRoot.assertEquals(blockProof.publicInput.stateRoot, "Input state root not matching");
+        networkStateHash.assertEquals(blockProof.publicInput.networkStateHash, "Input networkStateHash not matching");
+        blockHashRoot.assertEquals(blockProof.publicInput.blockHashRoot, "Input blockHashRoot not matching");
+        this.stateRoot.set(blockProof.publicOutput.stateRoot);
+        this.networkStateHash.set(blockProof.publicOutput.networkStateHash);
+        this.blockHashRoot.set(blockProof.publicOutput.blockHashRoot);
+        this.lastSettlementL1BlockHeight.set(minBlockHeightIncluded);
+    }
+}
+/* eslint-enable @typescript-eslint/lines-between-class-members */
+//# sourceMappingURL=SettlementBase.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"SettlementBase.js","sourceRoot":"","sources":["../../../../src/settlement/contracts/settlement/SettlementBase.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,YAAY,EACZ,KAAK,EAKL,aAAa,EACb,MAAM,GAEP,MAAM,MAAM,CAAC;AACd,OAAO,EAEL,gBAAgB,EAChB,aAAa,EACb,aAAa,GACd,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAErC,OAAO,EAAE,mBAAmB,EAAE,MAAM,yDAAyD,CAAC;AAC9F,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AAMnE,OAAO,EACL,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACL,oBAAoB,GAGrB,MAAM,4BAA4B,CAAC;AAEpC,mEAAmE;AAEnE,iDAAiD;AACjD,MAAM,CAAC,MAAM,sBAAsB,GAAG,aAAa,CAAC,mBAAmB,CAAC,CAAC;AAEzE,MAAM,OAAO,iBAAkB,SAAQ,YAGtC;;AACe,iCAAe,GAAG,sBAAsB,CAAC;AAEzC,kCAAgB,GAAG,uBAAuB,CAAC;AAE3C,mCAAiB,GAAG,CAAU,CAAC;AAkC/C,MAAM,CAAC,MAAM,4BAA4B,GACvC;IACE,2BAA2B,EAAE,UAAU;IACvC,KAAK,EAAE,UAAU;IACjB,wBAAwB,EAAE,UAAU;IACpC,iBAAiB,EAAE,UAAU;CAC9B,CAAC;AAEJ,MAAM,OAAgB,cACpB,SAAQ,aAAa;IAGrB,qBAAqB;QACnB,OAAO,SAAS;aACb,OAAO,CAAC,oBAAoB,CAAC;aAC7B,OAAO,CAAC,oBAAoB,EAAE,4BAA4B,CAAC,CAAC;IACjE,CAAC;IAQS,KAAK,CAAC,cAAc,CAAC,SAAoB;QACjD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC;QAChD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC,CAAC;QAC9D,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;IACzD,CAAC;IAkBS,KAAK,CAAC,UAAU,CACxB,UAA6B,EAC7B,SAAoB,EACpB,SAAoB,EACpB,iBAA+B,EAC/B,kBAAgC,EAChC,uBAA8B;QAE9B,MAAM,EACJ,wBAAwB,EACxB,KAAK,EACL,2BAA2B,EAAE,2BAA2B,GACzD,GAAG,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAEjC,2BAA2B;QAC3B,MAAM,YAAY,GAChB,2BAA2B,CAAC,kBAAkB,CAAC,aAAa,CAAC,CAAC;QAChE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE;YACnC,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;SAC9D;QACD,wBAAwB;QAExB,UAAU,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QAChC,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;QAE7D,MAAM,2BAA2B,GAC/B,IAAI,CAAC,2BAA2B,CAAC,mBAAmB,EAAE,CAAC;QAEzD,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,4BAA4B;QAC5B,UAAU,CAAC,YAAY,CAAC,oBAAoB,CAAC,YAAY,CACvD,KAAK,CAAC,CAAC,CAAC,EACR,mEAAmE,CACpE,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,IAAI,CAAC,2BAA2B,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;IAC/D,CAAC;CACF;AAED,kEAAkE"}

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

@@ -0,0 +1,15 @@
+import { State, UInt32, AccountUpdateForest, PublicKey, Field, Signature, DeployArgs, Permissions } from "o1js";
+import { O1PublicKeyOption } from "@proto-kit/common";
+import { NetworkState } from "../../../model/network/NetworkState";
+import { DynamicBlockProof, SettlementBase, SettlementContractType } from "./SettlementBase";
+export declare class SettlementContract extends SettlementBase 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>;
+    deployAndInitialize(args: DeployArgs | undefined, permissions: Permissions, sequencer: PublicKey, dispatchContract: O1PublicKeyOption): Promise<void>;
+    approveBase(forest: AccountUpdateForest): Promise<void>;
+    settle(blockProof: DynamicBlockProof, signature: Signature, publicKey: PublicKey, inputNetworkState: NetworkState, outputNetworkState: NetworkState, newPromisedMessagesHash: Field): Promise<void>;
+}
+//# sourceMappingURL=SettlementContract.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"SettlementContract.d.ts","sourceRoot":"","sources":["../../../../src/settlement/contracts/settlement/SettlementContract.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,MAAM,EACN,mBAAmB,EAGnB,SAAS,EACT,KAAK,EACL,SAAS,EACT,UAAU,EACV,WAAW,EACZ,MAAM,MAAM,CAAC;AACd,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAEtD,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AAEnE,OAAO,EACL,iBAAiB,EACjB,cAAc,EACd,sBAAsB,EACvB,MAAM,kBAAkB,CAAC;AAE1B,qBAAa,kBACX,SAAQ,cACR,YAAW,sBAAsB;IAEnB,YAAY,2DAAkB;IAE7B,2BAA2B,gBAAmB;IAE/C,SAAS,2DAAkB;IAE3B,gBAAgB,2DAAkB;IAElC,aAAa,2DAAkB;IAEhC,mBAAmB,CAC9B,IAAI,EAAE,UAAU,GAAG,SAAS,EAC5B,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,SAAS,EACpB,gBAAgB,EAAE,iBAAiB,GAClC,OAAO,CAAC,IAAI,CAAC;IAYF,WAAW,CAAC,MAAM,EAAE,mBAAmB;IAIvC,MAAM,CAClB,UAAU,EAAE,iBAAiB,EAC7B,SAAS,EAAE,SAAS,EACpB,SAAS,EAAE,SAAS,EACpB,iBAAiB,EAAE,YAAY,EAC/B,kBAAkB,EAAE,YAAY,EAChC,uBAAuB,EAAE,KAAK,GAC7B,OAAO,CAAC,IAAI,CAAC;CAUjB"}

package/dist/settlement/contracts/settlement/SettlementContract.js

@@ -0,0 +1,72 @@
+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 { State, UInt32, AccountUpdateForest, state, method, PublicKey, Field, Signature, } from "o1js";
+import { NetworkState } from "../../../model/network/NetworkState";
+import { DynamicBlockProof, SettlementBase, } from "./SettlementBase";
+export class SettlementContract extends SettlementBase {
+    constructor() {
+        super(...arguments);
+        this.sequencerKey = State();
+        this.lastSettlementL1BlockHeight = State();
+        this.stateRoot = State();
+        this.networkStateHash = State();
+        this.blockHashRoot = State();
+    }
+    async deployAndInitialize(args, permissions, sequencer, dispatchContract) {
+        dispatchContract.assertNone("Non-bridging settlement contract doesn't require a dispatch contract");
+        await super.deploy(args);
+        this.self.account.permissions.set(permissions);
+        await this.initializeBase(sequencer);
+    }
+    async approveBase(forest) {
+        this.checkZeroBalanceChange(forest);
+    }
+    async settle(blockProof, signature, publicKey, inputNetworkState, outputNetworkState, newPromisedMessagesHash) {
+        await super.settleBase(blockProof, signature, publicKey, inputNetworkState, outputNetworkState, newPromisedMessagesHash);
+    }
+}
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], SettlementContract.prototype, "sequencerKey", void 0);
+__decorate([
+    state(UInt32),
+    __metadata("design:type", Object)
+], SettlementContract.prototype, "lastSettlementL1BlockHeight", void 0);
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], SettlementContract.prototype, "stateRoot", void 0);
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], SettlementContract.prototype, "networkStateHash", void 0);
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], SettlementContract.prototype, "blockHashRoot", void 0);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [AccountUpdateForest]),
+    __metadata("design:returntype", Promise)
+], SettlementContract.prototype, "approveBase", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [DynamicBlockProof,
+        Signature,
+        PublicKey,
+        NetworkState,
+        NetworkState,
+        Field]),
+    __metadata("design:returntype", Promise)
+], SettlementContract.prototype, "settle", null);
+//# sourceMappingURL=SettlementContract.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"SettlementContract.js","sourceRoot":"","sources":["../../../../src/settlement/contracts/settlement/SettlementContract.ts"],"names":[],"mappings":";;;;;;;;;AAAA,OAAO,EACL,KAAK,EACL,MAAM,EACN,mBAAmB,EACnB,KAAK,EACL,MAAM,EACN,SAAS,EACT,KAAK,EACL,SAAS,GAGV,MAAM,MAAM,CAAC;AAGd,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AAEnE,OAAO,EACL,iBAAiB,EACjB,cAAc,GAEf,MAAM,kBAAkB,CAAC;AAE1B,MAAM,OAAO,kBACX,SAAQ,cAAc;IADxB;;QAIgB,iBAAY,GAAG,KAAK,EAAS,CAAC;QAE7B,gCAA2B,GAAG,KAAK,EAAU,CAAC;QAE/C,cAAS,GAAG,KAAK,EAAS,CAAC;QAE3B,qBAAgB,GAAG,KAAK,EAAS,CAAC;QAElC,kBAAa,GAAG,KAAK,EAAS,CAAC;IAwC/C,CAAC;IAtCQ,KAAK,CAAC,mBAAmB,CAC9B,IAA4B,EAC5B,WAAwB,EACxB,SAAoB,EACpB,gBAAmC;QAEnC,gBAAgB,CAAC,UAAU,CACzB,sEAAsE,CACvE,CAAC;QAEF,MAAM,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAEzB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAE/C,MAAM,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;IACvC,CAAC;IAEa,AAAN,KAAK,CAAC,WAAW,CAAC,MAA2B;QACnD,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC;IAEa,AAAN,KAAK,CAAC,MAAM,CAClB,UAA6B,EAC7B,SAAoB,EACpB,SAAoB,EACpB,iBAA+B,EAC/B,kBAAgC,EAChC,uBAA8B;QAE9B,MAAM,KAAK,CAAC,UAAU,CACpB,UAAU,EACV,SAAS,EACT,SAAS,EACT,iBAAiB,EACjB,kBAAkB,EAClB,uBAAuB,CACxB,CAAC;IACJ,CAAC;CACF;AAhDe;IAAb,KAAK,CAAC,KAAK,CAAC;;wDAA+B;AAE7B;IAAd,KAAK,CAAC,MAAM,CAAC;;uEAA+C;AAE/C;IAAb,KAAK,CAAC,KAAK,CAAC;;qDAA4B;AAE3B;IAAb,KAAK,CAAC,KAAK,CAAC;;4DAAmC;AAElC;IAAb,KAAK,CAAC,KAAK,CAAC;;yDAAgC;AAmB/B;IAAb,MAAM;;qCAA2B,mBAAmB;;qDAEpD;AAEa;IAAb,MAAM;;qCACO,iBAAiB;QAClB,SAAS;QACT,SAAS;QACD,YAAY;QACX,YAAY;QACP,KAAK;;gDAU/B"}

package/dist/settlement/messages/Deposit.d.ts

@@ -0,0 +1,77 @@
+import { PublicKey, UInt64 } from "o1js";
+declare const Deposit_base: (new (value: {
+    tokenId: import("o1js/dist/node/lib/provable/field").Field;
+    address: PublicKey;
+    amount: UInt64;
+}) => {
+    tokenId: import("o1js/dist/node/lib/provable/field").Field;
+    address: PublicKey;
+    amount: UInt64;
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    tokenId: import("o1js/dist/node/lib/provable/field").Field;
+    address: PublicKey;
+    amount: UInt64;
+}, {
+    tokenId: bigint;
+    address: {
+        x: bigint;
+        isOdd: boolean;
+    };
+    amount: bigint;
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+        address: PublicKey;
+        amount: UInt64;
+    };
+} & {
+    fromValue: (value: {
+        tokenId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        address: PublicKey | {
+            x: bigint | import("o1js/dist/node/lib/provable/field").Field;
+            isOdd: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+        };
+        amount: number | bigint | UInt64;
+    }) => {
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+        address: PublicKey;
+        amount: UInt64;
+    };
+    toInput: (x: {
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+        address: PublicKey;
+        amount: UInt64;
+    }) => {
+        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;
+        address: PublicKey;
+        amount: UInt64;
+    }) => {
+        tokenId: string;
+        address: string;
+        amount: string;
+    };
+    fromJSON: (x: {
+        tokenId: string;
+        address: string;
+        amount: string;
+    }) => {
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+        address: PublicKey;
+        amount: UInt64;
+    };
+    empty: () => {
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+        address: PublicKey;
+        amount: UInt64;
+    };
+};
+export declare class Deposit extends Deposit_base {
+}
+export {};
+//# sourceMappingURL=Deposit.d.ts.map

package/dist/settlement/messages/Deposit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Deposit.d.ts","sourceRoot":"","sources":["../../../src/settlement/messages/Deposit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,SAAS,EAAU,MAAM,EAAE,MAAM,MAAM,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAExD,qBAAa,OAAQ,SAAQ,YAI3B;CAAG"}

package/dist/settlement/messages/Deposit.js

@@ -0,0 +1,8 @@
+import { Field, PublicKey, Struct, UInt64 } from "o1js";
+export class Deposit extends Struct({
+    tokenId: Field,
+    address: PublicKey,
+    amount: UInt64,
+}) {
+}
+//# sourceMappingURL=Deposit.js.map

package/dist/settlement/messages/Deposit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Deposit.js","sourceRoot":"","sources":["../../../src/settlement/messages/Deposit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAExD,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC;IAClC,OAAO,EAAE,KAAK;IACd,OAAO,EAAE,SAAS;IAClB,MAAM,EAAE,MAAM;CACf,CAAC;CAAG"}

package/dist/settlement/messages/OutgoingMessage.d.ts

@@ -0,0 +1,67 @@
+import { Field } from "o1js";
+declare const OutgoingMessageKeyStruct_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 OutgoingMessageKeyStruct extends OutgoingMessageKeyStruct_base {
+}
+export type OutgoingMessageEvent<T> = {
+    key: OutgoingMessageKeyStruct;
+    value: T;
+    messageType: Field;
+};
+export type OutgoingMessage<T> = {
+    value: T;
+    messageType: Field;
+};
+export {};
+//# sourceMappingURL=OutgoingMessage.d.ts.map

package/dist/settlement/messages/OutgoingMessage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"OutgoingMessage.d.ts","sourceRoot":"","sources":["../../../src/settlement/messages/OutgoingMessage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAU,MAAM,MAAM,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAErC,qBAAa,wBAAyB,SAAQ,6BAG5C;CAAG;AAEL,MAAM,MAAM,oBAAoB,CAAC,CAAC,IAAI;IACpC,GAAG,EAAE,wBAAwB,CAAC;IAC9B,KAAK,EAAE,CAAC,CAAC;IACT,WAAW,EAAE,KAAK,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,eAAe,CAAC,CAAC,IAAI;IAC/B,KAAK,EAAE,CAAC,CAAC;IACT,WAAW,EAAE,KAAK,CAAC;CACpB,CAAC"}

package/dist/settlement/messages/OutgoingMessage.js

@@ -0,0 +1,7 @@
+import { Field, Struct } from "o1js";
+export class OutgoingMessageKeyStruct extends Struct({
+    index: Field,
+    tokenId: Field,
+}) {
+}
+//# sourceMappingURL=OutgoingMessage.js.map

package/dist/settlement/messages/OutgoingMessage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"OutgoingMessage.js","sourceRoot":"","sources":["../../../src/settlement/messages/OutgoingMessage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAErC,MAAM,OAAO,wBAAyB,SAAQ,MAAM,CAAC;IACnD,KAAK,EAAE,KAAK;IACZ,OAAO,EAAE,KAAK;CACf,CAAC;CAAG"}