@proto-kit/protocol 0.1.1-develop.600 → 0.1.1-develop.833

package/dist/settlement/OutgoingMessageArgument.d.ts

@@ -0,0 +1,109 @@
+import { RollupMerkleTreeWitness } from "@proto-kit/common";
+import { Withdrawal } from "./messages/Withdrawal";
+export declare const OUTGOING_MESSAGE_BATCH_SIZE = 1;
+declare const OutgoingMessageArgument_base: (new (value: {
+    witness: RollupMerkleTreeWitness;
+    value: Withdrawal;
+}) => {
+    witness: RollupMerkleTreeWitness;
+    value: Withdrawal;
+}) & {
+    _isStruct: true;
+} & import("o1js/dist/node/snarky").ProvablePure<{
+    witness: RollupMerkleTreeWitness;
+    value: Withdrawal;
+}> & {
+    toInput: (x: {
+        witness: RollupMerkleTreeWitness;
+        value: Withdrawal;
+    }) => {
+        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        witness: RollupMerkleTreeWitness;
+        value: Withdrawal;
+    }) => {
+        witness: {
+            path: string[];
+            isLeft: boolean[];
+        };
+        value: {
+            address: string;
+            amount: string;
+        };
+    };
+    fromJSON: (x: {
+        witness: {
+            path: string[];
+            isLeft: boolean[];
+        };
+        value: {
+            address: string;
+            amount: string;
+        };
+    }) => {
+        witness: RollupMerkleTreeWitness;
+        value: Withdrawal;
+    };
+};
+export declare class OutgoingMessageArgument extends OutgoingMessageArgument_base {
+    static dummy(): OutgoingMessageArgument;
+}
+declare const OutgoingMessageArgumentBatch_base: (new (value: {
+    arguments: OutgoingMessageArgument[];
+    isDummys: import("o1js/dist/node/lib/bool").Bool[];
+}) => {
+    arguments: OutgoingMessageArgument[];
+    isDummys: import("o1js/dist/node/lib/bool").Bool[];
+}) & {
+    _isStruct: true;
+} & import("o1js/dist/node/snarky").ProvablePure<{
+    arguments: OutgoingMessageArgument[];
+    isDummys: import("o1js/dist/node/lib/bool").Bool[];
+}> & {
+    toInput: (x: {
+        arguments: OutgoingMessageArgument[];
+        isDummys: import("o1js/dist/node/lib/bool").Bool[];
+    }) => {
+        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        arguments: OutgoingMessageArgument[];
+        isDummys: import("o1js/dist/node/lib/bool").Bool[];
+    }) => {
+        arguments: {
+            witness: {
+                path: string[];
+                isLeft: boolean[];
+            };
+            value: {
+                address: string;
+                amount: string;
+            };
+        }[];
+        isDummys: boolean[];
+    };
+    fromJSON: (x: {
+        arguments: {
+            witness: {
+                path: string[];
+                isLeft: boolean[];
+            };
+            value: {
+                address: string;
+                amount: string;
+            };
+        }[];
+        isDummys: boolean[];
+    }) => {
+        arguments: OutgoingMessageArgument[];
+        isDummys: import("o1js/dist/node/lib/bool").Bool[];
+    };
+};
+export declare class OutgoingMessageArgumentBatch extends OutgoingMessageArgumentBatch_base {
+    static fromMessages(providedArguments: OutgoingMessageArgument[]): OutgoingMessageArgumentBatch;
+}
+export {};
+//# sourceMappingURL=OutgoingMessageArgument.d.ts.map

package/dist/settlement/OutgoingMessageArgument.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"OutgoingMessageArgument.d.ts","sourceRoot":"","sources":["../../src/settlement/OutgoingMessageArgument.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAEnD,eAAO,MAAM,2BAA2B,IAAI,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE7C,qBAAa,uBAAwB,SAAQ,4BAG3C;WACc,KAAK,IAAI,uBAAuB;CAM/C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED,qBAAa,4BAA6B,SAAQ,iCAOhD;WACc,YAAY,CAAC,iBAAiB,EAAE,uBAAuB,EAAE;CAcxE"}

package/dist/settlement/OutgoingMessageArgument.js

@@ -0,0 +1,32 @@
+import { Bool, Provable, Struct } from "o1js";
+import { RollupMerkleTreeWitness } from "@proto-kit/common";
+import { Withdrawal } from "./messages/Withdrawal";
+export const OUTGOING_MESSAGE_BATCH_SIZE = 1;
+export class OutgoingMessageArgument extends Struct({
+    witness: RollupMerkleTreeWitness,
+    value: Withdrawal,
+}) {
+    static dummy() {
+        return new OutgoingMessageArgument({
+            witness: RollupMerkleTreeWitness.dummy(),
+            value: Withdrawal.dummy(),
+        });
+    }
+}
+export class OutgoingMessageArgumentBatch extends Struct({
+    arguments: Provable.Array(OutgoingMessageArgument, OUTGOING_MESSAGE_BATCH_SIZE),
+    isDummys: Provable.Array(Bool, OUTGOING_MESSAGE_BATCH_SIZE),
+}) {
+    static fromMessages(providedArguments) {
+        const batch = providedArguments.slice();
+        const isDummys = batch.map(() => Bool(false));
+        while (batch.length < OUTGOING_MESSAGE_BATCH_SIZE) {
+            batch.push(OutgoingMessageArgument.dummy());
+            isDummys.push(Bool(true));
+        }
+        return new OutgoingMessageArgumentBatch({
+            arguments: batch,
+            isDummys,
+        });
+    }
+}

package/dist/settlement/ProvableSettlementHook.d.ts

@@ -1,26 +1,26 @@
-import { Field, UInt32 } from "o1js";
-import type { BlockProof } from "../prover/block/BlockProver";
-import { ProtocolModule } from "../protocol/ProtocolModule";
-import { NetworkState } from "../model/network/NetworkState";
-import type { SettlementContract } from "./SettlementContract";
-export type SettlementStateRecord = {
-    sequencerKey: Field;
-    lastSettlementL1Block: UInt32;
-    stateRoot: Field;
-    networkStateHash: Field;
-    blockHashRoot: Field;
-    promisedMessagesHash: Field;
-    honoredMessagesHash: Field;
-};
-export type SettlementHookInputs = {
-    blockProof: BlockProof;
-    fromNetworkState: NetworkState;
-    toNetworkState: NetworkState;
-    newPromisedMessagesHash: Field;
-    contractState: SettlementStateRecord;
-    currentL1Block: UInt32;
-};
-export declare abstract class ProvableSettlementHook<Config> extends ProtocolModule<Config> {
-    abstract beforeSettlement(smartContract: SettlementContract, inputs: SettlementHookInputs): void;
-}
+import { Field, UInt32 } from "o1js";
+import type { BlockProof } from "../prover/block/BlockProver";
+import { ProtocolModule } from "../protocol/ProtocolModule";
+import { NetworkState } from "../model/network/NetworkState";
+import type { SettlementContract } from "./SettlementContract";
+export type SettlementStateRecord = {
+    sequencerKey: Field;
+    lastSettlementL1Block: UInt32;
+    stateRoot: Field;
+    networkStateHash: Field;
+    blockHashRoot: Field;
+    promisedMessagesHash: Field;
+    honoredMessagesHash: Field;
+};
+export type SettlementHookInputs = {
+    blockProof: BlockProof;
+    fromNetworkState: NetworkState;
+    toNetworkState: NetworkState;
+    newPromisedMessagesHash: Field;
+    contractState: SettlementStateRecord;
+    currentL1Block: UInt32;
+};
+export declare abstract class ProvableSettlementHook<Config> extends ProtocolModule<Config> {
+    abstract beforeSettlement(smartContract: SettlementContract, inputs: SettlementHookInputs): void;
+}
 //# sourceMappingURL=ProvableSettlementHook.d.ts.map

package/dist/settlement/ProvableSettlementHook.js

@@ -1,3 +1,3 @@
-import { ProtocolModule } from "../protocol/ProtocolModule";
-export class ProvableSettlementHook extends ProtocolModule {
-}
+import { ProtocolModule } from "../protocol/ProtocolModule";
+export class ProvableSettlementHook extends ProtocolModule {
+}

package/dist/settlement/SettlementContract.d.ts

@@ -1,230 +1,230 @@
-import { AccountUpdate, Field, Proof, PublicKey, Signature, SmartContract, State, UInt32, UInt64 } from "o1js";
-import { RollupMerkleTreeWitness } from "@proto-kit/common";
-import { ProtocolModule } from "../protocol/ProtocolModule";
-import { BlockProvable, BlockProverPublicInput, BlockProverPublicOutput } from "../prover/block/BlockProvable";
-import { NetworkState } from "../model/network/NetworkState";
-import { ProvableSettlementHook } from "./ProvableSettlementHook";
-declare class LazyBlockProof extends Proof<BlockProverPublicInput, BlockProverPublicOutput> {
-    static publicInputType: typeof BlockProverPublicInput;
-    static publicOutputType: typeof BlockProverPublicOutput;
-    static tag: () => {
-        name: string;
-    };
-}
-export type SettlementMethodIdMapping = Record<`${string}.${string}`, bigint>;
-declare const Deposit_base: (new (value: {
-    address: PublicKey;
-    amount: UInt64;
-}) => {
-    address: PublicKey;
-    amount: UInt64;
-}) & {
-    _isStruct: true;
-} & import("o1js/dist/node/snarky").ProvablePure<{
-    address: PublicKey;
-    amount: UInt64;
-}> & {
-    toInput: (x: {
-        address: PublicKey;
-        amount: UInt64;
-    }) => {
-        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
-    };
-    toJSON: (x: {
-        address: PublicKey;
-        amount: UInt64;
-    }) => {
-        address: string;
-        amount: string;
-    };
-    fromJSON: (x: {
-        address: string;
-        amount: string;
-    }) => {
-        address: PublicKey;
-        amount: UInt64;
-    };
-};
-export declare class Deposit extends Deposit_base {
-}
-declare const Withdrawal_base: (new (value: {
-    address: PublicKey;
-    amount: UInt64;
-}) => {
-    address: PublicKey;
-    amount: UInt64;
-}) & {
-    _isStruct: true;
-} & import("o1js/dist/node/snarky").ProvablePure<{
-    address: PublicKey;
-    amount: UInt64;
-}> & {
-    toInput: (x: {
-        address: PublicKey;
-        amount: UInt64;
-    }) => {
-        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
-    };
-    toJSON: (x: {
-        address: PublicKey;
-        amount: UInt64;
-    }) => {
-        address: string;
-        amount: string;
-    };
-    fromJSON: (x: {
-        address: string;
-        amount: string;
-    }) => {
-        address: PublicKey;
-        amount: UInt64;
-    };
-};
-export declare class Withdrawal extends Withdrawal_base {
-    static dummy(): Withdrawal;
-}
-export declare const OUTGOING_MESSAGE_BATCH_SIZE = 1;
-declare const OutgoingMessageArgument_base: (new (value: {
-    witness: RollupMerkleTreeWitness;
-    value: Withdrawal;
-}) => {
-    witness: RollupMerkleTreeWitness;
-    value: Withdrawal;
-}) & {
-    _isStruct: true;
-} & import("o1js/dist/node/snarky").ProvablePure<{
-    witness: RollupMerkleTreeWitness;
-    value: Withdrawal;
-}> & {
-    toInput: (x: {
-        witness: RollupMerkleTreeWitness;
-        value: Withdrawal;
-    }) => {
-        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
-    };
-    toJSON: (x: {
-        witness: RollupMerkleTreeWitness;
-        value: Withdrawal;
-    }) => {
-        witness: {
-            path: string[];
-            isLeft: boolean[];
-        };
-        value: {
-            address: string;
-            amount: string;
-        };
-    };
-    fromJSON: (x: {
-        witness: {
-            path: string[];
-            isLeft: boolean[];
-        };
-        value: {
-            address: string;
-            amount: string;
-        };
-    }) => {
-        witness: RollupMerkleTreeWitness;
-        value: Withdrawal;
-    };
-};
-export declare class OutgoingMessageArgument extends OutgoingMessageArgument_base {
-    static dummy(): OutgoingMessageArgument;
-}
-declare const OutgoingMessageArgumentBatch_base: (new (value: {
-    arguments: OutgoingMessageArgument[];
-    isDummys: import("o1js/dist/node/lib/bool").Bool[];
-}) => {
-    arguments: OutgoingMessageArgument[];
-    isDummys: import("o1js/dist/node/lib/bool").Bool[];
-}) & {
-    _isStruct: true;
-} & import("o1js/dist/node/snarky").ProvablePure<{
-    arguments: OutgoingMessageArgument[];
-    isDummys: import("o1js/dist/node/lib/bool").Bool[];
-}> & {
-    toInput: (x: {
-        arguments: OutgoingMessageArgument[];
-        isDummys: import("o1js/dist/node/lib/bool").Bool[];
-    }) => {
-        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
-    };
-    toJSON: (x: {
-        arguments: OutgoingMessageArgument[];
-        isDummys: import("o1js/dist/node/lib/bool").Bool[];
-    }) => {
-        arguments: {
-            witness: {
-                path: string[];
-                isLeft: boolean[];
-            };
-            value: {
-                address: string;
-                amount: string;
-            };
-        }[];
-        isDummys: boolean[];
-    };
-    fromJSON: (x: {
-        arguments: {
-            witness: {
-                path: string[];
-                isLeft: boolean[];
-            };
-            value: {
-                address: string;
-                amount: string;
-            };
-        }[];
-        isDummys: boolean[];
-    }) => {
-        arguments: OutgoingMessageArgument[];
-        isDummys: import("o1js/dist/node/lib/bool").Bool[];
-    };
-};
-export declare class OutgoingMessageArgumentBatch extends OutgoingMessageArgumentBatch_base {
-    static fromMessages(providedArguments: OutgoingMessageArgument[]): OutgoingMessageArgumentBatch;
-}
-export declare const BATCH_SIGNATURE_PREFIX: import("o1js/dist/node/lib/field").Field;
-export declare const ACTIONS_EMPTY_HASH: import("o1js/dist/node/lib/field").Field;
-export declare class SettlementContract extends SmartContract {
-    private readonly methodIdMappings;
-    private readonly hooks;
-    private readonly withdrawalStatePath;
-    private readonly incomingMessagesPaths;
-    private readonly escapeHatchSlotsInterval;
-    sequencerKey: State<import("o1js/dist/node/lib/field").Field>;
-    lastSettlementL1Block: State<UInt32>;
-    stateRoot: State<import("o1js/dist/node/lib/field").Field>;
-    networkStateHash: State<import("o1js/dist/node/lib/field").Field>;
-    blockHashRoot: State<import("o1js/dist/node/lib/field").Field>;
-    promisedMessagesHash: State<import("o1js/dist/node/lib/field").Field>;
-    honoredMessagesHash: State<import("o1js/dist/node/lib/field").Field>;
-    outgoingMessageCursor: State<import("o1js/dist/node/lib/field").Field>;
-    constructor(address: PublicKey, methodIdMappings: Record<string, bigint>, hooks: ProvableSettlementHook<unknown>[], withdrawalStatePath: [string, string], incomingMessagesPaths: Record<string, `${string}.${string}`>, escapeHatchSlotsInterval?: number);
-    initialize(sequencer: PublicKey): void;
-    settle(blockProof: LazyBlockProof, signature: Signature, publicKey: PublicKey, inputNetworkState: NetworkState, outputNetworkState: NetworkState, newPromisedMessagesHash: Field): void;
-    private dispatchMessage;
-    deposit(amount: UInt64): void;
-    rollupOutgoingMessages(batch: OutgoingMessageArgumentBatch): void;
-    redeem(additionUpdate: AccountUpdate): void;
-}
-export interface SettlementContractModuleConfig {
-    withdrawalStatePath: `${string}.${string}`;
-    withdrawalMethodPath: `${string}.${string}`;
-    incomingMessagesMethods: Record<string, `${string}.${string}`>;
-}
-export declare class SettlementContractModule extends ProtocolModule<SettlementContractModuleConfig> {
-    private readonly hooks;
-    private readonly blockProver;
-    constructor(hooks: ProvableSettlementHook<unknown>[], blockProver: BlockProvable);
-    getContractClass(): typeof SettlementContract;
-    createContract(address: PublicKey, methodIdMappings: SettlementMethodIdMapping): SettlementContract;
-}
-export {};
+import { AccountUpdate, Field, Proof, PublicKey, Signature, SmartContract, State, UInt32, UInt64 } from "o1js";
+import { RollupMerkleTreeWitness } from "@proto-kit/common";
+import { ProtocolModule } from "../protocol/ProtocolModule";
+import { BlockProvable, BlockProverPublicInput, BlockProverPublicOutput } from "../prover/block/BlockProvable";
+import { NetworkState } from "../model/network/NetworkState";
+import { ProvableSettlementHook } from "./ProvableSettlementHook";
+declare class LazyBlockProof extends Proof<BlockProverPublicInput, BlockProverPublicOutput> {
+    static publicInputType: typeof BlockProverPublicInput;
+    static publicOutputType: typeof BlockProverPublicOutput;
+    static tag: () => {
+        name: string;
+    };
+}
+export type SettlementMethodIdMapping = Record<`${string}.${string}`, bigint>;
+declare const Deposit_base: (new (value: {
+    address: PublicKey;
+    amount: UInt64;
+}) => {
+    address: PublicKey;
+    amount: UInt64;
+}) & {
+    _isStruct: true;
+} & import("o1js/dist/node/snarky").ProvablePure<{
+    address: PublicKey;
+    amount: UInt64;
+}> & {
+    toInput: (x: {
+        address: PublicKey;
+        amount: UInt64;
+    }) => {
+        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        address: PublicKey;
+        amount: UInt64;
+    }) => {
+        address: string;
+        amount: string;
+    };
+    fromJSON: (x: {
+        address: string;
+        amount: string;
+    }) => {
+        address: PublicKey;
+        amount: UInt64;
+    };
+};
+export declare class Deposit extends Deposit_base {
+}
+declare const Withdrawal_base: (new (value: {
+    address: PublicKey;
+    amount: UInt64;
+}) => {
+    address: PublicKey;
+    amount: UInt64;
+}) & {
+    _isStruct: true;
+} & import("o1js/dist/node/snarky").ProvablePure<{
+    address: PublicKey;
+    amount: UInt64;
+}> & {
+    toInput: (x: {
+        address: PublicKey;
+        amount: UInt64;
+    }) => {
+        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        address: PublicKey;
+        amount: UInt64;
+    }) => {
+        address: string;
+        amount: string;
+    };
+    fromJSON: (x: {
+        address: string;
+        amount: string;
+    }) => {
+        address: PublicKey;
+        amount: UInt64;
+    };
+};
+export declare class Withdrawal extends Withdrawal_base {
+    static dummy(): Withdrawal;
+}
+export declare const OUTGOING_MESSAGE_BATCH_SIZE = 1;
+declare const OutgoingMessageArgument_base: (new (value: {
+    witness: RollupMerkleTreeWitness;
+    value: Withdrawal;
+}) => {
+    witness: RollupMerkleTreeWitness;
+    value: Withdrawal;
+}) & {
+    _isStruct: true;
+} & import("o1js/dist/node/snarky").ProvablePure<{
+    witness: RollupMerkleTreeWitness;
+    value: Withdrawal;
+}> & {
+    toInput: (x: {
+        witness: RollupMerkleTreeWitness;
+        value: Withdrawal;
+    }) => {
+        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        witness: RollupMerkleTreeWitness;
+        value: Withdrawal;
+    }) => {
+        witness: {
+            path: string[];
+            isLeft: boolean[];
+        };
+        value: {
+            address: string;
+            amount: string;
+        };
+    };
+    fromJSON: (x: {
+        witness: {
+            path: string[];
+            isLeft: boolean[];
+        };
+        value: {
+            address: string;
+            amount: string;
+        };
+    }) => {
+        witness: RollupMerkleTreeWitness;
+        value: Withdrawal;
+    };
+};
+export declare class OutgoingMessageArgument extends OutgoingMessageArgument_base {
+    static dummy(): OutgoingMessageArgument;
+}
+declare const OutgoingMessageArgumentBatch_base: (new (value: {
+    arguments: OutgoingMessageArgument[];
+    isDummys: import("o1js/dist/node/lib/bool").Bool[];
+}) => {
+    arguments: OutgoingMessageArgument[];
+    isDummys: import("o1js/dist/node/lib/bool").Bool[];
+}) & {
+    _isStruct: true;
+} & import("o1js/dist/node/snarky").ProvablePure<{
+    arguments: OutgoingMessageArgument[];
+    isDummys: import("o1js/dist/node/lib/bool").Bool[];
+}> & {
+    toInput: (x: {
+        arguments: OutgoingMessageArgument[];
+        isDummys: import("o1js/dist/node/lib/bool").Bool[];
+    }) => {
+        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        arguments: OutgoingMessageArgument[];
+        isDummys: import("o1js/dist/node/lib/bool").Bool[];
+    }) => {
+        arguments: {
+            witness: {
+                path: string[];
+                isLeft: boolean[];
+            };
+            value: {
+                address: string;
+                amount: string;
+            };
+        }[];
+        isDummys: boolean[];
+    };
+    fromJSON: (x: {
+        arguments: {
+            witness: {
+                path: string[];
+                isLeft: boolean[];
+            };
+            value: {
+                address: string;
+                amount: string;
+            };
+        }[];
+        isDummys: boolean[];
+    }) => {
+        arguments: OutgoingMessageArgument[];
+        isDummys: import("o1js/dist/node/lib/bool").Bool[];
+    };
+};
+export declare class OutgoingMessageArgumentBatch extends OutgoingMessageArgumentBatch_base {
+    static fromMessages(providedArguments: OutgoingMessageArgument[]): OutgoingMessageArgumentBatch;
+}
+export declare const BATCH_SIGNATURE_PREFIX: import("o1js/dist/node/lib/field").Field;
+export declare const ACTIONS_EMPTY_HASH: import("o1js/dist/node/lib/field").Field;
+export declare class SettlementContract extends SmartContract {
+    private readonly methodIdMappings;
+    private readonly hooks;
+    private readonly withdrawalStatePath;
+    private readonly incomingMessagesPaths;
+    private readonly escapeHatchSlotsInterval;
+    sequencerKey: State<import("o1js/dist/node/lib/field").Field>;
+    lastSettlementL1Block: State<UInt32>;
+    stateRoot: State<import("o1js/dist/node/lib/field").Field>;
+    networkStateHash: State<import("o1js/dist/node/lib/field").Field>;
+    blockHashRoot: State<import("o1js/dist/node/lib/field").Field>;
+    promisedMessagesHash: State<import("o1js/dist/node/lib/field").Field>;
+    honoredMessagesHash: State<import("o1js/dist/node/lib/field").Field>;
+    outgoingMessageCursor: State<import("o1js/dist/node/lib/field").Field>;
+    constructor(address: PublicKey, methodIdMappings: Record<string, bigint>, hooks: ProvableSettlementHook<unknown>[], withdrawalStatePath: [string, string], incomingMessagesPaths: Record<string, `${string}.${string}`>, escapeHatchSlotsInterval?: number);
+    initialize(sequencer: PublicKey): void;
+    settle(blockProof: LazyBlockProof, signature: Signature, publicKey: PublicKey, inputNetworkState: NetworkState, outputNetworkState: NetworkState, newPromisedMessagesHash: Field): void;
+    private dispatchMessage;
+    deposit(amount: UInt64): void;
+    rollupOutgoingMessages(batch: OutgoingMessageArgumentBatch): void;
+    redeem(additionUpdate: AccountUpdate): void;
+}
+export interface SettlementContractModuleConfig {
+    withdrawalStatePath: `${string}.${string}`;
+    withdrawalMethodPath: `${string}.${string}`;
+    incomingMessagesMethods: Record<string, `${string}.${string}`>;
+}
+export declare class SettlementContractModule extends ProtocolModule<SettlementContractModuleConfig> {
+    private readonly hooks;
+    private readonly blockProver;
+    constructor(hooks: ProvableSettlementHook<unknown>[], blockProver: BlockProvable);
+    getContractClass(): typeof SettlementContract;
+    createContract(address: PublicKey, methodIdMappings: SettlementMethodIdMapping): SettlementContract;
+}
+export {};
 //# sourceMappingURL=SettlementContract.d.ts.map