@aztec/stdlib 6.0.0-nightly.20260812 → 6.0.0-nightly.20260821

package/dest/rollup/block_root_rollup_private_inputs.js

@@ -1,125 +1,26 @@
-import { ARCHIVE_HEIGHT, L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH } from '@aztec/constants';
+import { SpongeBlob } from '@aztec/blob-lib/types';
+import { ARCHIVE_HEIGHT, L1_TO_L2_MSG_TREE_HEIGHT } from '@aztec/constants';
 import { Fr } from '@aztec/foundation/curves/bn254';
 import { bufferSchemaFor } from '@aztec/foundation/schemas';
 import { BufferReader, bigintToUInt64BE, serializeToBuffer } from '@aztec/foundation/serialize';
-import { ParityPublicInputs } from '../parity/parity_public_inputs.js';
+import { L1ToL2MessageBundle } from '../messaging/l1_to_l2_message_bundle.js';
+import { L1ToL2MessageSponge } from '../messaging/l1_to_l2_message_sponge.js';
 import { ProofData } from '../proofs/proof_data.js';
 import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
 import { StateReference } from '../tx/state_reference.js';
 import { CheckpointConstantData } from './checkpoint_constant_data.js';
 import { TxRollupPublicInputs } from './tx_rollup_public_inputs.js';
-export class BlockRootFirstRollupPrivateInputs {
-    l1ToL2Roots;
-    previousRollups;
-    previousL1ToL2;
-    newL1ToL2MessageSubtreeRootSiblingPath;
-    newArchiveSiblingPath;
-    constructor(/**
-     * The original and converted roots of the L1 to L2 messages subtrees.
-     */ l1ToL2Roots, /**
-     * The previous rollup proof data from base or merge rollup circuits.
-     */ previousRollups, /**
-     * The l1 to l2 message tree snapshot immediately before this block.
-     */ previousL1ToL2, /**
-     * Hint for inserting the new l1 to l2 message subtree root into `previousL1ToL2`.
-     */ newL1ToL2MessageSubtreeRootSiblingPath, /**
-     * Hint for inserting the new block hash to the last archive.
-     */ newArchiveSiblingPath){
-        this.l1ToL2Roots = l1ToL2Roots;
-        this.previousRollups = previousRollups;
-        this.previousL1ToL2 = previousL1ToL2;
-        this.newL1ToL2MessageSubtreeRootSiblingPath = newL1ToL2MessageSubtreeRootSiblingPath;
-        this.newArchiveSiblingPath = newArchiveSiblingPath;
-    }
-    static from(fields) {
-        return new BlockRootFirstRollupPrivateInputs(...BlockRootFirstRollupPrivateInputs.getFields(fields));
-    }
-    static getFields(fields) {
-        return [
-            fields.l1ToL2Roots,
-            fields.previousRollups,
-            fields.previousL1ToL2,
-            fields.newL1ToL2MessageSubtreeRootSiblingPath,
-            fields.newArchiveSiblingPath
-        ];
-    }
-    toBuffer() {
-        return serializeToBuffer(...BlockRootFirstRollupPrivateInputs.getFields(this));
-    }
-    static fromBuffer(buffer) {
-        const reader = BufferReader.asReader(buffer);
-        return new BlockRootFirstRollupPrivateInputs(ProofData.fromBuffer(reader, ParityPublicInputs), [
-            ProofData.fromBuffer(reader, TxRollupPublicInputs),
-            ProofData.fromBuffer(reader, TxRollupPublicInputs)
-        ], AppendOnlyTreeSnapshot.fromBuffer(reader), reader.readArray(L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH, Fr), reader.readArray(ARCHIVE_HEIGHT, Fr));
-    }
-    toJSON() {
-        return this.toBuffer();
-    }
-    static get schema() {
-        return bufferSchemaFor(BlockRootFirstRollupPrivateInputs);
-    }
-}
-export class BlockRootSingleTxFirstRollupPrivateInputs {
-    l1ToL2Roots;
-    previousRollup;
-    previousL1ToL2;
-    newL1ToL2MessageSubtreeRootSiblingPath;
-    newArchiveSiblingPath;
-    constructor(/**
-     * The original and converted roots of the L1 to L2 messages subtrees.
-     */ l1ToL2Roots, /**
-     * The previous rollup proof data from base or merge rollup circuits.
-     */ previousRollup, /**
-     * The l1 to l2 message tree snapshot immediately before this block.
-     */ previousL1ToL2, /**
-     * Hint for inserting the new l1 to l2 message subtree root.
-     */ newL1ToL2MessageSubtreeRootSiblingPath, /**
-     * Hint for inserting the new block hash to the last archive.
-     */ newArchiveSiblingPath){
-        this.l1ToL2Roots = l1ToL2Roots;
-        this.previousRollup = previousRollup;
-        this.previousL1ToL2 = previousL1ToL2;
-        this.newL1ToL2MessageSubtreeRootSiblingPath = newL1ToL2MessageSubtreeRootSiblingPath;
-        this.newArchiveSiblingPath = newArchiveSiblingPath;
-    }
-    static from(fields) {
-        return new BlockRootSingleTxFirstRollupPrivateInputs(...BlockRootSingleTxFirstRollupPrivateInputs.getFields(fields));
-    }
-    static getFields(fields) {
-        return [
-            fields.l1ToL2Roots,
-            fields.previousRollup,
-            fields.previousL1ToL2,
-            fields.newL1ToL2MessageSubtreeRootSiblingPath,
-            fields.newArchiveSiblingPath
-        ];
-    }
-    toBuffer() {
-        return serializeToBuffer(...BlockRootSingleTxFirstRollupPrivateInputs.getFields(this));
-    }
-    static fromBuffer(buffer) {
-        const reader = BufferReader.asReader(buffer);
-        return new BlockRootSingleTxFirstRollupPrivateInputs(ProofData.fromBuffer(reader, ParityPublicInputs), ProofData.fromBuffer(reader, TxRollupPublicInputs), AppendOnlyTreeSnapshot.fromBuffer(reader), reader.readArray(L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH, Fr), reader.readArray(ARCHIVE_HEIGHT, Fr));
-    }
-    toJSON() {
-        return this.toBuffer();
-    }
-    static get schema() {
-        return bufferSchemaFor(BlockRootSingleTxFirstRollupPrivateInputs);
-    }
-}
-export class BlockRootEmptyTxFirstRollupPrivateInputs {
-    l1ToL2Roots;
+export class BlockRootNoTxsRollupPrivateInputs {
     previousArchive;
     previousState;
     constants;
     timestamp;
-    newL1ToL2MessageSubtreeRootSiblingPath;
+    startSpongeBlob;
+    startMsgSponge;
+    messageBundle;
+    l1ToL2MessageFrontierHint;
     newArchiveSiblingPath;
     constructor(/**
-     * The original and converted roots of the L1 to L2 messages subtrees.
-     */ l1ToL2Roots, /**
      * The archive after applying the previous block.
      */ previousArchive, /**
      * The state reference of the previous block.
@@ -128,63 +29,85 @@ export class BlockRootEmptyTxFirstRollupPrivateInputs {
      */ constants, /**
      * The timestamp of this block.
      */ timestamp, /**
-     * Hint for inserting the new l1 to l2 message subtree root.
-     */ newL1ToL2MessageSubtreeRootSiblingPath, /**
+     * Sponge blob this block starts from: initialized for the checkpoint's first block, inherited from the previous
+     * block otherwise (checked against `SpongeBlob.init()` or the previous block's `endSpongeBlob` respectively).
+     */ startSpongeBlob, /**
+     * Message sponge this block starts from: empty for the checkpoint's first block, inherited from the previous block
+     * otherwise (checked against the empty sponge or the previous block's `endMsgSponge` respectively).
+     */ startMsgSponge, /**
+     * L1-to-L2 message bundle inserted by this block.
+     */ messageBundle, /**
+     * Frontier hint for appending the message bundle to the previous state's l1 to l2 message tree.
+     */ l1ToL2MessageFrontierHint, /**
      * Hint for inserting the new block hash to the last archive.
      */ newArchiveSiblingPath){
-        this.l1ToL2Roots = l1ToL2Roots;
         this.previousArchive = previousArchive;
         this.previousState = previousState;
         this.constants = constants;
         this.timestamp = timestamp;
-        this.newL1ToL2MessageSubtreeRootSiblingPath = newL1ToL2MessageSubtreeRootSiblingPath;
+        this.startSpongeBlob = startSpongeBlob;
+        this.startMsgSponge = startMsgSponge;
+        this.messageBundle = messageBundle;
+        this.l1ToL2MessageFrontierHint = l1ToL2MessageFrontierHint;
         this.newArchiveSiblingPath = newArchiveSiblingPath;
     }
     static from(fields) {
-        return new BlockRootEmptyTxFirstRollupPrivateInputs(...BlockRootEmptyTxFirstRollupPrivateInputs.getFields(fields));
+        return new BlockRootNoTxsRollupPrivateInputs(...BlockRootNoTxsRollupPrivateInputs.getFields(fields));
     }
     static getFields(fields) {
         return [
-            fields.l1ToL2Roots,
             fields.previousArchive,
             fields.previousState,
             fields.constants,
             fields.timestamp,
-            fields.newL1ToL2MessageSubtreeRootSiblingPath,
+            fields.startSpongeBlob,
+            fields.startMsgSponge,
+            fields.messageBundle,
+            fields.l1ToL2MessageFrontierHint,
             fields.newArchiveSiblingPath
         ];
     }
     toBuffer() {
-        return serializeToBuffer([
-            this.l1ToL2Roots,
-            this.previousArchive,
-            this.previousState,
-            this.constants,
-            bigintToUInt64BE(this.timestamp),
-            this.newL1ToL2MessageSubtreeRootSiblingPath,
-            this.newArchiveSiblingPath
-        ]);
+        return serializeToBuffer(this.previousArchive, this.previousState, this.constants, bigintToUInt64BE(this.timestamp), this.startSpongeBlob, this.startMsgSponge, this.messageBundle, this.l1ToL2MessageFrontierHint, this.newArchiveSiblingPath);
     }
     static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new BlockRootEmptyTxFirstRollupPrivateInputs(ProofData.fromBuffer(reader, ParityPublicInputs), AppendOnlyTreeSnapshot.fromBuffer(reader), StateReference.fromBuffer(reader), CheckpointConstantData.fromBuffer(reader), reader.readUInt64(), reader.readArray(L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH, Fr), reader.readArray(ARCHIVE_HEIGHT, Fr));
+        return new BlockRootNoTxsRollupPrivateInputs(AppendOnlyTreeSnapshot.fromBuffer(reader), StateReference.fromBuffer(reader), CheckpointConstantData.fromBuffer(reader), reader.readUInt64(), reader.readObject(SpongeBlob), reader.readObject(L1ToL2MessageSponge), reader.readObject(L1ToL2MessageBundle), reader.readArray(L1_TO_L2_MSG_TREE_HEIGHT, Fr), reader.readArray(ARCHIVE_HEIGHT, Fr));
     }
     toJSON() {
         return this.toBuffer();
     }
     static get schema() {
-        return bufferSchemaFor(BlockRootEmptyTxFirstRollupPrivateInputs);
+        return bufferSchemaFor(BlockRootNoTxsRollupPrivateInputs);
     }
 }
 export class BlockRootRollupPrivateInputs {
     previousRollups;
+    messageBundle;
+    previousL1ToL2;
+    startMsgSponge;
+    l1ToL2MessageFrontierHint;
     newArchiveSiblingPath;
     constructor(/**
      * The previous rollup proof data from base or merge rollup circuits.
      */ previousRollups, /**
+     * L1-to-L2 message bundle inserted by this block.
+     */ messageBundle, /**
+     * The l1 to l2 message tree snapshot this block builds on (the previous block's post-insertion snapshot). Pinned by
+     * block-merge continuity to the previous block's end state; the circuit appends this block's bundle on top and
+     * asserts the tx constants carry the resulting post-bundle snapshot.
+     */ previousL1ToL2, /**
+     * Message sponge inherited from the previous block (checked against its `endMsgSponge` in the merge/checkpoint root).
+     */ startMsgSponge, /**
+     * Frontier hint for appending the message bundle to `previousL1ToL2`.
+     */ l1ToL2MessageFrontierHint, /**
      * Hint for inserting the new block hash to the last archive.
      */ newArchiveSiblingPath){
         this.previousRollups = previousRollups;
+        this.messageBundle = messageBundle;
+        this.previousL1ToL2 = previousL1ToL2;
+        this.startMsgSponge = startMsgSponge;
+        this.l1ToL2MessageFrontierHint = l1ToL2MessageFrontierHint;
         this.newArchiveSiblingPath = newArchiveSiblingPath;
     }
     static from(fields) {
@@ -193,18 +116,22 @@ export class BlockRootRollupPrivateInputs {
     static getFields(fields) {
         return [
             fields.previousRollups,
+            fields.messageBundle,
+            fields.previousL1ToL2,
+            fields.startMsgSponge,
+            fields.l1ToL2MessageFrontierHint,
             fields.newArchiveSiblingPath
         ];
     }
     toBuffer() {
-        return serializeToBuffer(...BlockRootRollupPrivateInputs.getFields(this));
+        return serializeToBuffer(this.previousRollups, this.messageBundle, this.previousL1ToL2, this.startMsgSponge, this.l1ToL2MessageFrontierHint, this.newArchiveSiblingPath);
     }
     static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
         return new BlockRootRollupPrivateInputs([
             ProofData.fromBuffer(reader, TxRollupPublicInputs),
             ProofData.fromBuffer(reader, TxRollupPublicInputs)
-        ], reader.readArray(ARCHIVE_HEIGHT, Fr));
+        ], reader.readObject(L1ToL2MessageBundle), AppendOnlyTreeSnapshot.fromBuffer(reader), reader.readObject(L1ToL2MessageSponge), reader.readArray(L1_TO_L2_MSG_TREE_HEIGHT, Fr), reader.readArray(ARCHIVE_HEIGHT, Fr));
     }
     toJSON() {
         return this.toBuffer();
@@ -215,13 +142,31 @@ export class BlockRootRollupPrivateInputs {
 }
 export class BlockRootSingleTxRollupPrivateInputs {
     previousRollup;
+    messageBundle;
+    previousL1ToL2;
+    startMsgSponge;
+    l1ToL2MessageFrontierHint;
     newArchiveSiblingPath;
     constructor(/**
      * The previous rollup proof data from base or merge rollup circuits.
      */ previousRollup, /**
+     * L1-to-L2 message bundle inserted by this block.
+     */ messageBundle, /**
+     * The l1 to l2 message tree snapshot this block builds on (the previous block's post-insertion snapshot). Pinned by
+     * block-merge continuity to the previous block's end state; the circuit appends this block's bundle on top and
+     * asserts the tx constants carry the resulting post-bundle snapshot.
+     */ previousL1ToL2, /**
+     * Message sponge inherited from the previous block (checked against its `endMsgSponge` in the merge/checkpoint root).
+     */ startMsgSponge, /**
+     * Frontier hint for appending the message bundle to `previousL1ToL2`.
+     */ l1ToL2MessageFrontierHint, /**
      * Hint for inserting the new block hash to the last archive.
      */ newArchiveSiblingPath){
         this.previousRollup = previousRollup;
+        this.messageBundle = messageBundle;
+        this.previousL1ToL2 = previousL1ToL2;
+        this.startMsgSponge = startMsgSponge;
+        this.l1ToL2MessageFrontierHint = l1ToL2MessageFrontierHint;
         this.newArchiveSiblingPath = newArchiveSiblingPath;
     }
     static from(fields) {
@@ -230,15 +175,19 @@ export class BlockRootSingleTxRollupPrivateInputs {
     static getFields(fields) {
         return [
             fields.previousRollup,
+            fields.messageBundle,
+            fields.previousL1ToL2,
+            fields.startMsgSponge,
+            fields.l1ToL2MessageFrontierHint,
             fields.newArchiveSiblingPath
         ];
     }
     toBuffer() {
-        return serializeToBuffer(...BlockRootSingleTxRollupPrivateInputs.getFields(this));
+        return serializeToBuffer(this.previousRollup, this.messageBundle, this.previousL1ToL2, this.startMsgSponge, this.l1ToL2MessageFrontierHint, this.newArchiveSiblingPath);
     }
     static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new BlockRootSingleTxRollupPrivateInputs(ProofData.fromBuffer(reader, TxRollupPublicInputs), reader.readArray(ARCHIVE_HEIGHT, Fr));
+        return new BlockRootSingleTxRollupPrivateInputs(ProofData.fromBuffer(reader, TxRollupPublicInputs), reader.readObject(L1ToL2MessageBundle), AppendOnlyTreeSnapshot.fromBuffer(reader), reader.readObject(L1ToL2MessageSponge), reader.readArray(L1_TO_L2_MSG_TREE_HEIGHT, Fr), reader.readArray(ARCHIVE_HEIGHT, Fr));
     }
     toJSON() {
         return this.toBuffer();

package/dest/rollup/checkpoint_header.d.ts

@@ -22,8 +22,12 @@ export declare class CheckpointHeader {
     blockHeadersHash: Fr;
     /** Hash of the blobs in the checkpoint. */
     blobsHash: Fr;
-    /** Root of the l1 to l2 messages subtree. */
-    inHash: Fr;
+    /**
+     * Inbox rolling-hash chain value after consuming all L1-to-L2 messages bundled into this checkpoint:
+     * the truncated-to-field sha256 chain the L1 Inbox accumulates. This is the checkpoint's only inbox
+     * commitment.
+     */
+    inboxRollingHash: Fr;
     /**
      * The root of the epoch out hash balanced tree. The out hash of the first checkpoint in the epoch is inserted at
      * index 0, the second at index 1, and so on.
@@ -53,8 +57,12 @@ export declare class CheckpointHeader {
     blockHeadersHash: Fr, 
     /** Hash of the blobs in the checkpoint. */
     blobsHash: Fr, 
-    /** Root of the l1 to l2 messages subtree. */
-    inHash: Fr, 
+    /**
+     * Inbox rolling-hash chain value after consuming all L1-to-L2 messages bundled into this checkpoint:
+     * the truncated-to-field sha256 chain the L1 Inbox accumulates. This is the checkpoint's only inbox
+     * commitment.
+     */
+    inboxRollingHash: Fr, 
     /**
      * The root of the epoch out hash balanced tree. The out hash of the first checkpoint in the epoch is inserted at
      * index 0, the second at index 1, and so on.
@@ -106,7 +114,7 @@ export declare class CheckpointHeader {
         lastArchive: `0x${string}`;
         blockHeadersHash: `0x${string}`;
         blobsHash: `0x${string}`;
-        inHash: `0x${string}`;
+        inboxRollingHash: `0x${string}`;
         epochOutHash: `0x${string}`;
         slotNumber: SlotNumber;
         timestamp: bigint;
@@ -121,4 +129,4 @@ export declare class CheckpointHeader {
     };
     [inspect.custom](): string;
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9oZWFkZXIuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9yb2xsdXAvY2hlY2twb2ludF9oZWFkZXIudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDNUQsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBRTdELE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDM0QsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDeEQsT0FBTyxFQUFFLFlBQVksRUFBdUMsTUFBTSw2QkFBNkIsQ0FBQztBQUVoRyxPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUV4RCxPQUFPLEVBQUUsT0FBTyxFQUFFLE1BQU0sTUFBTSxDQUFDO0FBRy9CLE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUN6RCxPQUFPLEVBQUUsT0FBTyxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFFMUMsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDakUsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFFakQ7Ozs7R0FJRztBQUNILHFCQUFhLGdCQUFnQjtJQUV6QiwyREFBMkQ7SUFDcEQsZUFBZSxFQUFFLEVBQUU7SUFDMUIsNERBQTREO0lBQ3JELGdCQUFnQixFQUFFLEVBQUU7SUFDM0IsMkNBQTJDO0lBQ3BDLFNBQVMsRUFBRSxFQUFFO0lBQ3BCLDZDQUE2QztJQUN0QyxNQUFNLEVBQUUsRUFBRTtJQUNqQjs7Ozs7O09BTUc7SUFDSSxZQUFZLEVBQUUsRUFBRTtJQUN2QixrQ0FBa0M7SUFDM0IsVUFBVSxFQUFFLFVBQVU7SUFDN0IsaUNBQWlDO0lBQzFCLFNBQVMsRUFBRSxNQUFNO0lBQ3hCLGlDQUFpQztJQUMxQixRQUFRLEVBQUUsVUFBVTtJQUMzQiwrQkFBK0I7SUFDeEIsWUFBWSxFQUFFLFlBQVk7SUFDakMsd0NBQXdDO0lBQ2pDLE9BQU8sRUFBRSxPQUFPO0lBQ3ZCLHdFQUF3RTtJQUNqRSxhQUFhLEVBQUUsRUFBRTtJQUN4QixnREFBZ0Q7SUFDekMsZUFBZSxFQUFFLEVBQUU7SUE5QjVCO0lBQ0UsMkRBQTJEO0lBQ3BELGVBQWUsRUFBRSxFQUFFO0lBQzFCLDREQUE0RDtJQUNyRCxnQkFBZ0IsRUFBRSxFQUFFO0lBQzNCLDJDQUEyQztJQUNwQyxTQUFTLEVBQUUsRUFBRTtJQUNwQiw2Q0FBNkM7SUFDdEMsTUFBTSxFQUFFLEVBQUU7SUFDakI7Ozs7OztPQU1HO0lBQ0ksWUFBWSxFQUFFLEVBQUU7SUFDdkIsa0NBQWtDO0lBQzNCLFVBQVUsRUFBRSxVQUFVO0lBQzdCLGlDQUFpQztJQUMxQixTQUFTLEVBQUUsTUFBTTtJQUN4QixpQ0FBaUM7SUFDMUIsUUFBUSxFQUFFLFVBQVU7SUFDM0IsK0JBQStCO0lBQ3hCLFlBQVksRUFBRSxZQUFZO0lBQ2pDLHdDQUF3QztJQUNqQyxPQUFPLEVBQUUsT0FBTztJQUN2Qix3RUFBd0U7SUFDakUsYUFBYSxFQUFFLEVBQUU7SUFDeEIsZ0RBQWdEO0lBQ3pDLGVBQWUsRUFBRSxFQUFFLEVBQ3hCO0lBRUosTUFBTSxLQUFLLE1BQU0sSUFBSSxNQUFNLENBQUMsZ0JBQWdCLENBQUMsQ0FpQjVDO0lBRUQsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLGdCQUFnQixDQUFDLGdHQWVsRDtJQUVELE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxnQkFBZ0IsQ0FBQyxvQkFFN0M7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxvQkFpQjlDO0lBRUQsTUFBTSxDQUFDLEtBQUssRUFBRSxnQkFBZ0IsV0FlN0I7SUFFRCxpRkFBaUY7SUFDakYsc0JBQXNCLENBQUMsS0FBSyxFQUFFLGVBQWUsV0FRNUM7SUFFRCxRQUFRLDRCQWdCUDtJQUVELElBQUksSUFBSSxFQUFFLENBRVQ7SUFFRCxNQUFNLENBQUMsS0FBSyxDQUFDLE1BQU0sR0FBRSxPQUFPLENBQUMsUUFBUSxDQUFDLGdCQUFnQixDQUFDLENBQU0sb0JBZ0I1RDtJQUVELE1BQU0sQ0FBQyxNQUFNLENBQUMsU0FBUyxHQUFFLE9BQU8sQ0FBQyxRQUFRLENBQUMsZ0JBQWdCLENBQUMsQ0FBTSxHQUFHLGdCQUFnQixDQWdCbkY7SUFFRCxPQUFPLElBQUksT0FBTyxDQWVqQjtJQUVEOzs7T0FHRztJQUNJLFFBQVEsa0JBRWQ7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLG9CQUU1QjtJQUVELE1BQU0sQ0FBQyxRQUFRLENBQUMsTUFBTSxFQUFFLFVBQVUsb0JBZWpDO0lBRUQ7OztPQUdHO0lBQ0gsYUFBYSxJQUFJLFVBQVUsQ0FFMUI7SUFFRCxNQUFNLElBQUksVUFBVSxDQWtCbkI7SUFFRCxTQUFTOzs7Ozs7Ozs7Ozs7Ozs7O01BZVI7SUFFRCxDQUFDLE9BQU8sQ0FBQyxNQUFNLENBQUMsV0FlZjtDQUNGIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9oZWFkZXIuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9yb2xsdXAvY2hlY2twb2ludF9oZWFkZXIudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDNUQsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBRTdELE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDM0QsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDeEQsT0FBTyxFQUFFLFlBQVksRUFBdUMsTUFBTSw2QkFBNkIsQ0FBQztBQUVoRyxPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUV4RCxPQUFPLEVBQUUsT0FBTyxFQUFFLE1BQU0sTUFBTSxDQUFDO0FBRy9CLE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUN6RCxPQUFPLEVBQUUsT0FBTyxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFFMUMsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDakUsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFFakQ7Ozs7R0FJRztBQUNILHFCQUFhLGdCQUFnQjtJQUV6QiwyREFBMkQ7SUFDcEQsZUFBZSxFQUFFLEVBQUU7SUFDMUIsNERBQTREO0lBQ3JELGdCQUFnQixFQUFFLEVBQUU7SUFDM0IsMkNBQTJDO0lBQ3BDLFNBQVMsRUFBRSxFQUFFO0lBQ3BCOzs7O09BSUc7SUFDSSxnQkFBZ0IsRUFBRSxFQUFFO0lBQzNCOzs7Ozs7T0FNRztJQUNJLFlBQVksRUFBRSxFQUFFO0lBQ3ZCLGtDQUFrQztJQUMzQixVQUFVLEVBQUUsVUFBVTtJQUM3QixpQ0FBaUM7SUFDMUIsU0FBUyxFQUFFLE1BQU07SUFDeEIsaUNBQWlDO0lBQzFCLFFBQVEsRUFBRSxVQUFVO0lBQzNCLCtCQUErQjtJQUN4QixZQUFZLEVBQUUsWUFBWTtJQUNqQyx3Q0FBd0M7SUFDakMsT0FBTyxFQUFFLE9BQU87SUFDdkIsd0VBQXdFO0lBQ2pFLGFBQWEsRUFBRSxFQUFFO0lBQ3hCLGdEQUFnRDtJQUN6QyxlQUFlLEVBQUUsRUFBRTtJQWxDNUI7SUFDRSwyREFBMkQ7SUFDcEQsZUFBZSxFQUFFLEVBQUU7SUFDMUIsNERBQTREO0lBQ3JELGdCQUFnQixFQUFFLEVBQUU7SUFDM0IsMkNBQTJDO0lBQ3BDLFNBQVMsRUFBRSxFQUFFO0lBQ3BCOzs7O09BSUc7SUFDSSxnQkFBZ0IsRUFBRSxFQUFFO0lBQzNCOzs7Ozs7T0FNRztJQUNJLFlBQVksRUFBRSxFQUFFO0lBQ3ZCLGtDQUFrQztJQUMzQixVQUFVLEVBQUUsVUFBVTtJQUM3QixpQ0FBaUM7SUFDMUIsU0FBUyxFQUFFLE1BQU07SUFDeEIsaUNBQWlDO0lBQzFCLFFBQVEsRUFBRSxVQUFVO0lBQzNCLCtCQUErQjtJQUN4QixZQUFZLEVBQUUsWUFBWTtJQUNqQyx3Q0FBd0M7SUFDakMsT0FBTyxFQUFFLE9BQU87SUFDdkIsd0VBQXdFO0lBQ2pFLGFBQWEsRUFBRSxFQUFFO0lBQ3hCLGdEQUFnRDtJQUN6QyxlQUFlLEVBQUUsRUFBRSxFQUN4QjtJQUVKLE1BQU0sS0FBSyxNQUFNLElBQUksTUFBTSxDQUFDLGdCQUFnQixDQUFDLENBaUI1QztJQUVELE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxnQkFBZ0IsQ0FBQyxnR0FlbEQ7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsZ0JBQWdCLENBQUMsb0JBRTdDO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksb0JBaUI5QztJQUVELE1BQU0sQ0FBQyxLQUFLLEVBQUUsZ0JBQWdCLFdBZTdCO0lBRUQsaUZBQWlGO0lBQ2pGLHNCQUFzQixDQUFDLEtBQUssRUFBRSxlQUFlLFdBUTVDO0lBRUQsUUFBUSw0QkFnQlA7SUFFRCxJQUFJLElBQUksRUFBRSxDQUVUO0lBRUQsTUFBTSxDQUFDLEtBQUssQ0FBQyxNQUFNLEdBQUUsT0FBTyxDQUFDLFFBQVEsQ0FBQyxnQkFBZ0IsQ0FBQyxDQUFNLG9CQWdCNUQ7SUFFRCxNQUFNLENBQUMsTUFBTSxDQUFDLFNBQVMsR0FBRSxPQUFPLENBQUMsUUFBUSxDQUFDLGdCQUFnQixDQUFDLENBQU0sR0FBRyxnQkFBZ0IsQ0FnQm5GO0lBRUQsT0FBTyxJQUFJLE9BQU8sQ0FlakI7SUFFRDs7O09BR0c7SUFDSSxRQUFRLGtCQUVkO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxvQkFFNUI7SUFFRCxNQUFNLENBQUMsUUFBUSxDQUFDLE1BQU0sRUFBRSxVQUFVLG9CQWVqQztJQUVEOzs7T0FHRztJQUNILGFBQWEsSUFBSSxVQUFVLENBRTFCO0lBRUQsTUFBTSxJQUFJLFVBQVUsQ0FrQm5CO0lBRUQsU0FBUzs7Ozs7Ozs7Ozs7Ozs7OztNQWVSO0lBRUQsQ0FBQyxPQUFPLENBQUMsTUFBTSxDQUFDLFdBZWY7Q0FDRiJ9

package/dest/rollup/checkpoint_header.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"checkpoint_header.d.ts","sourceRoot":"","sources":["../../src/rollup/checkpoint_header.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAE7D,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,EAAE,YAAY,EAAuC,MAAM,6BAA6B,CAAC;AAEhG,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAG/B,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAE1C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;;;GAIG;AACH,qBAAa,gBAAgB;IAEzB,2DAA2D;IACpD,eAAe,EAAE,EAAE;IAC1B,4DAA4D;IACrD,gBAAgB,EAAE,EAAE;IAC3B,2CAA2C;IACpC,SAAS,EAAE,EAAE;IACpB,6CAA6C;IACtC,MAAM,EAAE,EAAE;IACjB;;;;;;OAMG;IACI,YAAY,EAAE,EAAE;IACvB,kCAAkC;IAC3B,UAAU,EAAE,UAAU;IAC7B,iCAAiC;IAC1B,SAAS,EAAE,MAAM;IACxB,iCAAiC;IAC1B,QAAQ,EAAE,UAAU;IAC3B,+BAA+B;IACxB,YAAY,EAAE,YAAY;IACjC,wCAAwC;IACjC,OAAO,EAAE,OAAO;IACvB,wEAAwE;IACjE,aAAa,EAAE,EAAE;IACxB,gDAAgD;IACzC,eAAe,EAAE,EAAE;IA9B5B;IACE,2DAA2D;IACpD,eAAe,EAAE,EAAE;IAC1B,4DAA4D;IACrD,gBAAgB,EAAE,EAAE;IAC3B,2CAA2C;IACpC,SAAS,EAAE,EAAE;IACpB,6CAA6C;IACtC,MAAM,EAAE,EAAE;IACjB;;;;;;OAMG;IACI,YAAY,EAAE,EAAE;IACvB,kCAAkC;IAC3B,UAAU,EAAE,UAAU;IAC7B,iCAAiC;IAC1B,SAAS,EAAE,MAAM;IACxB,iCAAiC;IAC1B,QAAQ,EAAE,UAAU;IAC3B,+BAA+B;IACxB,YAAY,EAAE,YAAY;IACjC,wCAAwC;IACjC,OAAO,EAAE,OAAO;IACvB,wEAAwE;IACjE,aAAa,EAAE,EAAE;IACxB,gDAAgD;IACzC,eAAe,EAAE,EAAE,EACxB;IAEJ,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,gBAAgB,CAAC,CAiB5C;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,gBAAgB,CAAC,gGAelD;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,gBAAgB,CAAC,oBAE7C;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,oBAiB9C;IAED,MAAM,CAAC,KAAK,EAAE,gBAAgB,WAe7B;IAED,iFAAiF;IACjF,sBAAsB,CAAC,KAAK,EAAE,eAAe,WAQ5C;IAED,QAAQ,4BAgBP;IAED,IAAI,IAAI,EAAE,CAET;IAED,MAAM,CAAC,KAAK,CAAC,MAAM,GAAE,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAM,oBAgB5D;IAED,MAAM,CAAC,MAAM,CAAC,SAAS,GAAE,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAM,GAAG,gBAAgB,CAgBnF;IAED,OAAO,IAAI,OAAO,CAejB;IAED;;;OAGG;IACI,QAAQ,kBAEd;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,oBAE5B;IAED,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,oBAejC;IAED;;;OAGG;IACH,aAAa,IAAI,UAAU,CAE1B;IAED,MAAM,IAAI,UAAU,CAkBnB;IAED,SAAS;;;;;;;;;;;;;;;;MAeR;IAED,CAAC,OAAO,CAAC,MAAM,CAAC,WAef;CACF"}
+{"version":3,"file":"checkpoint_header.d.ts","sourceRoot":"","sources":["../../src/rollup/checkpoint_header.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAE7D,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,EAAE,YAAY,EAAuC,MAAM,6BAA6B,CAAC;AAEhG,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAG/B,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAE1C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;;;GAIG;AACH,qBAAa,gBAAgB;IAEzB,2DAA2D;IACpD,eAAe,EAAE,EAAE;IAC1B,4DAA4D;IACrD,gBAAgB,EAAE,EAAE;IAC3B,2CAA2C;IACpC,SAAS,EAAE,EAAE;IACpB;;;;OAIG;IACI,gBAAgB,EAAE,EAAE;IAC3B;;;;;;OAMG;IACI,YAAY,EAAE,EAAE;IACvB,kCAAkC;IAC3B,UAAU,EAAE,UAAU;IAC7B,iCAAiC;IAC1B,SAAS,EAAE,MAAM;IACxB,iCAAiC;IAC1B,QAAQ,EAAE,UAAU;IAC3B,+BAA+B;IACxB,YAAY,EAAE,YAAY;IACjC,wCAAwC;IACjC,OAAO,EAAE,OAAO;IACvB,wEAAwE;IACjE,aAAa,EAAE,EAAE;IACxB,gDAAgD;IACzC,eAAe,EAAE,EAAE;IAlC5B;IACE,2DAA2D;IACpD,eAAe,EAAE,EAAE;IAC1B,4DAA4D;IACrD,gBAAgB,EAAE,EAAE;IAC3B,2CAA2C;IACpC,SAAS,EAAE,EAAE;IACpB;;;;OAIG;IACI,gBAAgB,EAAE,EAAE;IAC3B;;;;;;OAMG;IACI,YAAY,EAAE,EAAE;IACvB,kCAAkC;IAC3B,UAAU,EAAE,UAAU;IAC7B,iCAAiC;IAC1B,SAAS,EAAE,MAAM;IACxB,iCAAiC;IAC1B,QAAQ,EAAE,UAAU;IAC3B,+BAA+B;IACxB,YAAY,EAAE,YAAY;IACjC,wCAAwC;IACjC,OAAO,EAAE,OAAO;IACvB,wEAAwE;IACjE,aAAa,EAAE,EAAE;IACxB,gDAAgD;IACzC,eAAe,EAAE,EAAE,EACxB;IAEJ,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,gBAAgB,CAAC,CAiB5C;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,gBAAgB,CAAC,gGAelD;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,gBAAgB,CAAC,oBAE7C;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,oBAiB9C;IAED,MAAM,CAAC,KAAK,EAAE,gBAAgB,WAe7B;IAED,iFAAiF;IACjF,sBAAsB,CAAC,KAAK,EAAE,eAAe,WAQ5C;IAED,QAAQ,4BAgBP;IAED,IAAI,IAAI,EAAE,CAET;IAED,MAAM,CAAC,KAAK,CAAC,MAAM,GAAE,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAM,oBAgB5D;IAED,MAAM,CAAC,MAAM,CAAC,SAAS,GAAE,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAM,GAAG,gBAAgB,CAgBnF;IAED,OAAO,IAAI,OAAO,CAejB;IAED;;;OAGG;IACI,QAAQ,kBAEd;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,oBAE5B;IAED,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,oBAejC;IAED;;;OAGG;IACH,aAAa,IAAI,UAAU,CAE1B;IAED,MAAM,IAAI,UAAU,CAkBnB;IAED,SAAS;;;;;;;;;;;;;;;;MAeR;IAED,CAAC,OAAO,CAAC,MAAM,CAAC,WAef;CACF"}

package/dest/rollup/checkpoint_header.js

@@ -19,7 +19,7 @@ _computedKey = inspect.custom;
     lastArchiveRoot;
     blockHeadersHash;
     blobsHash;
-    inHash;
+    inboxRollingHash;
     epochOutHash;
     slotNumber;
     timestamp;
@@ -28,7 +28,11 @@ _computedKey = inspect.custom;
     gasFees;
     totalManaUsed;
     accumulatedFees;
-    constructor(/** Root of the archive tree before this block is added. */ lastArchiveRoot, /** Hash of the headers of all blocks in this checkpoint. */ blockHeadersHash, /** Hash of the blobs in the checkpoint. */ blobsHash, /** Root of the l1 to l2 messages subtree. */ inHash, /**
+    constructor(/** Root of the archive tree before this block is added. */ lastArchiveRoot, /** Hash of the headers of all blocks in this checkpoint. */ blockHeadersHash, /** Hash of the blobs in the checkpoint. */ blobsHash, /**
+     * Inbox rolling-hash chain value after consuming all L1-to-L2 messages bundled into this checkpoint:
+     * the truncated-to-field sha256 chain the L1 Inbox accumulates. This is the checkpoint's only inbox
+     * commitment.
+     */ inboxRollingHash, /**
      * The root of the epoch out hash balanced tree. The out hash of the first checkpoint in the epoch is inserted at
      * index 0, the second at index 1, and so on.
      * Note: This is not necessarily the final epoch out hash. It includes only the out hashes of checkpoints up to and
@@ -38,7 +42,7 @@ _computedKey = inspect.custom;
         this.lastArchiveRoot = lastArchiveRoot;
         this.blockHeadersHash = blockHeadersHash;
         this.blobsHash = blobsHash;
-        this.inHash = inHash;
+        this.inboxRollingHash = inboxRollingHash;
         this.epochOutHash = epochOutHash;
         this.slotNumber = slotNumber;
         this.timestamp = timestamp;
@@ -53,7 +57,7 @@ _computedKey = inspect.custom;
             lastArchiveRoot: schemas.Fr,
             blockHeadersHash: schemas.Fr,
             blobsHash: schemas.Fr,
-            inHash: schemas.Fr,
+            inboxRollingHash: schemas.Fr,
             epochOutHash: schemas.Fr,
             slotNumber: schemas.SlotNumber,
             timestamp: schemas.BigInt,
@@ -69,7 +73,7 @@ _computedKey = inspect.custom;
             fields.lastArchiveRoot,
             fields.blockHeadersHash,
             fields.blobsHash,
-            fields.inHash,
+            fields.inboxRollingHash,
             fields.epochOutHash,
             fields.slotNumber,
             fields.timestamp,
@@ -88,7 +92,7 @@ _computedKey = inspect.custom;
         return new CheckpointHeader(reader.readObject(Fr), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(Fr), SlotNumber(Fr.fromBuffer(reader).toNumber()), reader.readUInt64(), reader.readObject(EthAddress), reader.readObject(AztecAddress), reader.readObject(GasFees), reader.readObject(Fr), reader.readObject(Fr));
     }
     equals(other) {
-        return this.lastArchiveRoot.equals(other.lastArchiveRoot) && this.blockHeadersHash.equals(other.blockHeadersHash) && this.blobsHash.equals(other.blobsHash) && this.inHash.equals(other.inHash) && this.epochOutHash.equals(other.epochOutHash) && this.slotNumber === other.slotNumber && this.timestamp === other.timestamp && this.coinbase.equals(other.coinbase) && this.feeRecipient.equals(other.feeRecipient) && this.gasFees.equals(other.gasFees) && this.totalManaUsed.equals(other.totalManaUsed) && this.accumulatedFees.equals(other.accumulatedFees);
+        return this.lastArchiveRoot.equals(other.lastArchiveRoot) && this.blockHeadersHash.equals(other.blockHeadersHash) && this.blobsHash.equals(other.blobsHash) && this.inboxRollingHash.equals(other.inboxRollingHash) && this.epochOutHash.equals(other.epochOutHash) && this.slotNumber === other.slotNumber && this.timestamp === other.timestamp && this.coinbase.equals(other.coinbase) && this.feeRecipient.equals(other.feeRecipient) && this.gasFees.equals(other.gasFees) && this.totalManaUsed.equals(other.totalManaUsed) && this.accumulatedFees.equals(other.accumulatedFees);
     }
     /** Returns true if the global variables match those in the checkpoint header. */ matchesGlobalVariables(other) {
         return this.coinbase.equals(other.coinbase) && this.feeRecipient.equals(other.feeRecipient) && this.gasFees.equals(other.gasFees) && this.slotNumber === other.slotNumber && this.timestamp === other.timestamp;
@@ -99,7 +103,7 @@ _computedKey = inspect.custom;
             this.lastArchiveRoot,
             this.blockHeadersHash,
             this.blobsHash,
-            this.inHash,
+            this.inboxRollingHash,
             this.epochOutHash,
             new Fr(this.slotNumber),
             bigintToUInt64BE(this.timestamp),
@@ -120,7 +124,7 @@ _computedKey = inspect.custom;
             lastArchiveRoot: Fr.ZERO,
             blockHeadersHash: Fr.ZERO,
             blobsHash: Fr.ZERO,
-            inHash: Fr.ZERO,
+            inboxRollingHash: Fr.ZERO,
             epochOutHash: Fr.ZERO,
             slotNumber: SlotNumber.ZERO,
             timestamp: 0n,
@@ -137,7 +141,7 @@ _computedKey = inspect.custom;
             lastArchiveRoot: Fr.random(),
             blockHeadersHash: Fr.random(),
             blobsHash: Fr.random(),
-            inHash: Fr.random(),
+            inboxRollingHash: Fr.random(),
             epochOutHash: Fr.random(),
             slotNumber: SlotNumber(Math.floor(Math.random() * 1000) + 1),
             timestamp: BigInt(Math.floor(Date.now() / 1000)),
@@ -150,7 +154,7 @@ _computedKey = inspect.custom;
         });
     }
     isEmpty() {
-        return this.lastArchiveRoot.isZero() && this.blockHeadersHash.isZero() && this.blobsHash.isZero() && this.inHash.isZero() && this.epochOutHash.isZero() && this.slotNumber === 0 && this.timestamp === 0n && this.coinbase.isZero() && this.feeRecipient.isZero() && this.gasFees.isEmpty() && this.totalManaUsed.isZero() && this.accumulatedFees.isZero();
+        return this.lastArchiveRoot.isZero() && this.blockHeadersHash.isZero() && this.blobsHash.isZero() && this.inboxRollingHash.isZero() && this.epochOutHash.isZero() && this.slotNumber === 0 && this.timestamp === 0n && this.coinbase.isZero() && this.feeRecipient.isZero() && this.gasFees.isEmpty() && this.totalManaUsed.isZero() && this.accumulatedFees.isZero();
     }
     /**
    * Serializes this instance into a string.
@@ -162,7 +166,7 @@ _computedKey = inspect.custom;
         return CheckpointHeader.fromBuffer(hexToBuffer(str));
     }
     static fromViem(header) {
-        return new CheckpointHeader(Fr.fromString(header.lastArchiveRoot), Fr.fromString(header.blockHeadersHash), Fr.fromString(header.blobsHash), Fr.fromString(header.inHash), Fr.fromString(header.outHash), SlotNumber.fromBigInt(header.slotNumber), header.timestamp, new EthAddress(hexToBuffer(header.coinbase)), new AztecAddress(hexToBuffer(header.feeRecipient)), new GasFees(header.gasFees.feePerDaGas, header.gasFees.feePerL2Gas), new Fr(header.totalManaUsed), new Fr(header.accumulatedFees));
+        return new CheckpointHeader(Fr.fromString(header.lastArchiveRoot), Fr.fromString(header.blockHeadersHash), Fr.fromString(header.blobsHash), Fr.fromString(header.inboxRollingHash), Fr.fromString(header.outHash), SlotNumber.fromBigInt(header.slotNumber), header.timestamp, new EthAddress(hexToBuffer(header.coinbase)), new AztecAddress(hexToBuffer(header.feeRecipient)), new GasFees(header.gasFees.feePerDaGas, header.gasFees.feePerL2Gas), new Fr(header.totalManaUsed), new Fr(header.accumulatedFees));
     }
     /**
    * Returns the slot number as a SlotNumber branded type.
@@ -175,7 +179,7 @@ _computedKey = inspect.custom;
             lastArchiveRoot: this.lastArchiveRoot.toString(),
             blockHeadersHash: this.blockHeadersHash.toString(),
             blobsHash: this.blobsHash.toString(),
-            inHash: this.inHash.toString(),
+            inboxRollingHash: this.inboxRollingHash.toString(),
             outHash: this.epochOutHash.toString(),
             slotNumber: BigInt(this.slotNumber),
             timestamp: this.timestamp,
@@ -194,7 +198,7 @@ _computedKey = inspect.custom;
             lastArchive: this.lastArchiveRoot.toString(),
             blockHeadersHash: this.blockHeadersHash.toString(),
             blobsHash: this.blobsHash.toString(),
-            inHash: this.inHash.toString(),
+            inboxRollingHash: this.inboxRollingHash.toString(),
             epochOutHash: this.epochOutHash.toString(),
             slotNumber: this.slotNumber,
             timestamp: this.timestamp,
@@ -210,7 +214,7 @@ _computedKey = inspect.custom;
   lastArchiveRoot: ${this.lastArchiveRoot.toString()},
   blockHeadersHash: ${this.blockHeadersHash.toString()},
   blobsHash: ${inspect(this.blobsHash)},
-  inHash: ${inspect(this.inHash)},
+  inboxRollingHash: ${inspect(this.inboxRollingHash)},
   epochOutHash: ${inspect(this.epochOutHash)},
   slotNumber: ${this.slotNumber},
   timestamp: ${this.timestamp},

package/dest/rollup/checkpoint_rollup_public_inputs.d.ts

@@ -30,6 +30,15 @@ export declare class CheckpointRollupPublicInputs {
      * The out hash tree snapshot after applying this checkpoint range.
      */
     newOutHash: AppendOnlyTreeSnapshot;
+    /**
+     * Inbox rolling hash before consuming this checkpoint range's messages.
+     */
+    startInboxRollingHash: Fr;
+    /**
+     * Inbox rolling hash after consuming this checkpoint range's messages (the end value lands in the checkpoint
+     * header). Checkpoint merges assert `right.start == left.end` for chain continuity.
+     */
+    endInboxRollingHash: Fr;
     /**
      * The hashes of the headers of the constituent checkpoints.
      */
@@ -71,6 +80,15 @@ export declare class CheckpointRollupPublicInputs {
      * The out hash tree snapshot after applying this checkpoint range.
      */
     newOutHash: AppendOnlyTreeSnapshot, 
+    /**
+     * Inbox rolling hash before consuming this checkpoint range's messages.
+     */
+    startInboxRollingHash: Fr, 
+    /**
+     * Inbox rolling hash after consuming this checkpoint range's messages (the end value lands in the checkpoint
+     * header). Checkpoint merges assert `right.start == left.end` for chain continuity.
+     */
+    endInboxRollingHash: Fr, 
     /**
      * The hashes of the headers of the constituent checkpoints.
      */
@@ -103,6 +121,8 @@ export declare class CheckpointRollupPublicInputs {
         newArchiveRoot: `0x${string}`;
         previousOutHashRoot: `0x${string}`;
         newOutHashRoot: `0x${string}`;
+        startInboxRollingHash: `0x${string}`;
+        endInboxRollingHash: `0x${string}`;
     };
     /** Creates an instance from a hex string. */
     static get schema(): import("zod").ZodType<CheckpointRollupPublicInputs, string, import("zod/v4/core").$ZodTypeInternals<CheckpointRollupPublicInputs, string>>;
@@ -118,12 +138,12 @@ export declare class FeeRecipient {
     static empty(): FeeRecipient;
     isEmpty(): boolean;
     toFriendlyJSON(): {
-        value?: undefined;
         recipient?: undefined;
+        value?: undefined;
     } | {
         recipient: `0x${string}`;
         value: `0x${string}`;
     };
     static random(): FeeRecipient;
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9yb2xsdXBfcHVibGljX2lucHV0cy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3JvbGx1cC9jaGVja3BvaW50X3JvbGx1cF9wdWJsaWNfaW5wdXRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxlQUFlLEVBQUUsMkJBQTJCLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNyRixPQUFPLEVBQUUseUJBQXlCLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUM3RCxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLCtCQUErQixDQUFDO0FBRTNELE9BQU8sRUFBRSxZQUFZLEVBQUUsS0FBSyxLQUFLLEVBQXdDLE1BQU0sNkJBQTZCLENBQUM7QUFFN0csT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFFeEQsT0FBTyxFQUFFLHNCQUFzQixFQUFFLE1BQU0sdUNBQXVDLENBQUM7QUFDL0UsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFN0Q7O0dBRUc7QUFDSCxxQkFBYSw0QkFBNEI7SUFFckM7O09BRUc7SUFDSSxTQUFTLEVBQUUsaUJBQWlCO0lBQ25DOztPQUVHO0lBQ0ksZUFBZSxFQUFFLHNCQUFzQjtJQUM5Qzs7T0FFRztJQUNJLFVBQVUsRUFBRSxzQkFBc0I7SUFDekM7O09BRUc7SUFDSSxlQUFlLEVBQUUsc0JBQXNCO0lBQzlDOztPQUVHO0lBQ0ksVUFBVSxFQUFFLHNCQUFzQjtJQUN6Qzs7T0FFRztJQUNJLHNCQUFzQixFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTyx5QkFBeUIsQ0FBQztJQUMxRTs7T0FFRztJQUNJLElBQUksRUFBRSxLQUFLLENBQUMsWUFBWSxFQUFFLE9BQU8seUJBQXlCLENBQUM7SUFDbEU7O09BRUc7SUFDSSxvQkFBb0IsRUFBRSxlQUFlO0lBQzVDOztPQUVHO0lBQ0ksa0JBQWtCLEVBQUUsZUFBZTtJQUMxQzs7T0FFRztJQUNJLG1CQUFtQixFQUFFLDJCQUEyQjtJQXhDekQ7SUFDRTs7T0FFRztJQUNJLFNBQVMsRUFBRSxpQkFBaUI7SUFDbkM7O09BRUc7SUFDSSxlQUFlLEVBQUUsc0JBQXNCO0lBQzlDOztPQUVHO0lBQ0ksVUFBVSxFQUFFLHNCQUFzQjtJQUN6Qzs7T0FFRztJQUNJLGVBQWUsRUFBRSxzQkFBc0I7SUFDOUM7O09BRUc7SUFDSSxVQUFVLEVBQUUsc0JBQXNCO0lBQ3pDOztPQUVHO0lBQ0ksc0JBQXNCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLHlCQUF5QixDQUFDO0lBQzFFOztPQUVHO0lBQ0ksSUFBSSxFQUFFLEtBQUssQ0FBQyxZQUFZLEVBQUUsT0FBTyx5QkFBeUIsQ0FBQztJQUNsRTs7T0FFRztJQUNJLG9CQUFvQixFQUFFLGVBQWU7SUFDNUM7O09BRUc7SUFDSSxrQkFBa0IsRUFBRSxlQUFlO0lBQzFDOztPQUVHO0lBQ0ksbUJBQW1CLEVBQUUsMkJBQTJCLEVBQ3JEO0lBRUosTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksZ0NBYzlDO0lBRUQsUUFBUSw0QkFhUDtJQUVELFFBQVEsa0JBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLGdDQUU1QjtJQUVELDhEQUE4RDtJQUM5RCxNQUFNLDRCQUVMO0lBRUQsU0FBUzs7Ozs7O01BUVI7SUFFRCw2Q0FBNkM7SUFDN0MsTUFBTSxLQUFLLE1BQU0sK0lBRWhCO0NBQ0Y7QUFFRCxxQkFBYSxZQUFZO0lBRWQsU0FBUyxFQUFFLFVBQVU7SUFDckIsS0FBSyxFQUFFLEVBQUU7SUFGbEIsWUFDUyxTQUFTLEVBQUUsVUFBVSxFQUNyQixLQUFLLEVBQUUsRUFBRSxFQUNkO0lBRUosTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxZQUFZLENBRzdEO0lBRUQsUUFBUSw0QkFFUDtJQUVELE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxZQUFZLENBQUMsNkJBRTlDO0lBRUQsUUFBUSxTQUVQO0lBRUQsTUFBTSxDQUFDLEtBQUssaUJBRVg7SUFFRCxPQUFPLFlBRU47SUFFRCxjQUFjOzs7Ozs7TUFLYjtJQUVELE1BQU0sQ0FBQyxNQUFNLGlCQUVaO0NBQ0YifQ==
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9yb2xsdXBfcHVibGljX2lucHV0cy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3JvbGx1cC9jaGVja3BvaW50X3JvbGx1cF9wdWJsaWNfaW5wdXRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxlQUFlLEVBQUUsMkJBQTJCLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNyRixPQUFPLEVBQUUseUJBQXlCLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUM3RCxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLCtCQUErQixDQUFDO0FBRTNELE9BQU8sRUFBRSxZQUFZLEVBQUUsS0FBSyxLQUFLLEVBQXdDLE1BQU0sNkJBQTZCLENBQUM7QUFFN0csT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFFeEQsT0FBTyxFQUFFLHNCQUFzQixFQUFFLE1BQU0sdUNBQXVDLENBQUM7QUFDL0UsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFN0Q7O0dBRUc7QUFDSCxxQkFBYSw0QkFBNEI7SUFFckM7O09BRUc7SUFDSSxTQUFTLEVBQUUsaUJBQWlCO0lBQ25DOztPQUVHO0lBQ0ksZUFBZSxFQUFFLHNCQUFzQjtJQUM5Qzs7T0FFRztJQUNJLFVBQVUsRUFBRSxzQkFBc0I7SUFDekM7O09BRUc7SUFDSSxlQUFlLEVBQUUsc0JBQXNCO0lBQzlDOztPQUVHO0lBQ0ksVUFBVSxFQUFFLHNCQUFzQjtJQUN6Qzs7T0FFRztJQUNJLHFCQUFxQixFQUFFLEVBQUU7SUFDaEM7OztPQUdHO0lBQ0ksbUJBQW1CLEVBQUUsRUFBRTtJQUM5Qjs7T0FFRztJQUNJLHNCQUFzQixFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTyx5QkFBeUIsQ0FBQztJQUMxRTs7T0FFRztJQUNJLElBQUksRUFBRSxLQUFLLENBQUMsWUFBWSxFQUFFLE9BQU8seUJBQXlCLENBQUM7SUFDbEU7O09BRUc7SUFDSSxvQkFBb0IsRUFBRSxlQUFlO0lBQzVDOztPQUVHO0lBQ0ksa0JBQWtCLEVBQUUsZUFBZTtJQUMxQzs7T0FFRztJQUNJLG1CQUFtQixFQUFFLDJCQUEyQjtJQWpEekQ7SUFDRTs7T0FFRztJQUNJLFNBQVMsRUFBRSxpQkFBaUI7SUFDbkM7O09BRUc7SUFDSSxlQUFlLEVBQUUsc0JBQXNCO0lBQzlDOztPQUVHO0lBQ0ksVUFBVSxFQUFFLHNCQUFzQjtJQUN6Qzs7T0FFRztJQUNJLGVBQWUsRUFBRSxzQkFBc0I7SUFDOUM7O09BRUc7SUFDSSxVQUFVLEVBQUUsc0JBQXNCO0lBQ3pDOztPQUVHO0lBQ0kscUJBQXFCLEVBQUUsRUFBRTtJQUNoQzs7O09BR0c7SUFDSSxtQkFBbUIsRUFBRSxFQUFFO0lBQzlCOztPQUVHO0lBQ0ksc0JBQXNCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLHlCQUF5QixDQUFDO0lBQzFFOztPQUVHO0lBQ0ksSUFBSSxFQUFFLEtBQUssQ0FBQyxZQUFZLEVBQUUsT0FBTyx5QkFBeUIsQ0FBQztJQUNsRTs7T0FFRztJQUNJLG9CQUFvQixFQUFFLGVBQWU7SUFDNUM7O09BRUc7SUFDSSxrQkFBa0IsRUFBRSxlQUFlO0lBQzFDOztPQUVHO0lBQ0ksbUJBQW1CLEVBQUUsMkJBQTJCLEVBQ3JEO0lBRUosTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksZ0NBZ0I5QztJQUVELFFBQVEsNEJBZVA7SUFFRCxRQUFRLGtCQUVQO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxnQ0FFNUI7SUFFRCw4REFBOEQ7SUFDOUQsTUFBTSw0QkFFTDtJQUVELFNBQVM7Ozs7Ozs7O01BVVI7SUFFRCw2Q0FBNkM7SUFDN0MsTUFBTSxLQUFLLE1BQU0sK0lBRWhCO0NBQ0Y7QUFFRCxxQkFBYSxZQUFZO0lBRWQsU0FBUyxFQUFFLFVBQVU7SUFDckIsS0FBSyxFQUFFLEVBQUU7SUFGbEIsWUFDUyxTQUFTLEVBQUUsVUFBVSxFQUNyQixLQUFLLEVBQUUsRUFBRSxFQUNkO0lBRUosTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxZQUFZLENBRzdEO0lBRUQsUUFBUSw0QkFFUDtJQUVELE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxZQUFZLENBQUMsNkJBRTlDO0lBRUQsUUFBUSxTQUVQO0lBRUQsTUFBTSxDQUFDLEtBQUssaUJBRVg7SUFFRCxPQUFPLFlBRU47SUFFRCxjQUFjOzs7Ozs7TUFLYjtJQUVELE1BQU0sQ0FBQyxNQUFNLGlCQUVaO0NBQ0YifQ==

package/dest/rollup/checkpoint_rollup_public_inputs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"checkpoint_rollup_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/checkpoint_rollup_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AACrF,OAAO,EAAE,yBAAyB,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAE3D,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAwC,MAAM,6BAA6B,CAAC;AAE7G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,4BAA4B;IAErC;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,sBAAsB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,yBAAyB,CAAC;IAC1E;;OAEG;IACI,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,yBAAyB,CAAC;IAClE;;OAEG;IACI,oBAAoB,EAAE,eAAe;IAC5C;;OAEG;IACI,kBAAkB,EAAE,eAAe;IAC1C;;OAEG;IACI,mBAAmB,EAAE,2BAA2B;IAxCzD;IACE;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,sBAAsB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,yBAAyB,CAAC;IAC1E;;OAEG;IACI,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,yBAAyB,CAAC;IAClE;;OAEG;IACI,oBAAoB,EAAE,eAAe;IAC5C;;OAEG;IACI,kBAAkB,EAAE,eAAe;IAC1C;;OAEG;IACI,mBAAmB,EAAE,2BAA2B,EACrD;IAEJ,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,gCAc9C;IAED,QAAQ,4BAaP;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,gCAE5B;IAED,8DAA8D;IAC9D,MAAM,4BAEL;IAED,SAAS;;;;;;MAQR;IAED,6CAA6C;IAC7C,MAAM,KAAK,MAAM,+IAEhB;CACF;AAED,qBAAa,YAAY;IAEd,SAAS,EAAE,UAAU;IACrB,KAAK,EAAE,EAAE;IAFlB,YACS,SAAS,EAAE,UAAU,EACrB,KAAK,EAAE,EAAE,EACd;IAEJ,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,YAAY,CAG7D;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,YAAY,CAAC,6BAE9C;IAED,QAAQ,SAEP;IAED,MAAM,CAAC,KAAK,iBAEX;IAED,OAAO,YAEN;IAED,cAAc;;;;;;MAKb;IAED,MAAM,CAAC,MAAM,iBAEZ;CACF"}
+{"version":3,"file":"checkpoint_rollup_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/checkpoint_rollup_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AACrF,OAAO,EAAE,yBAAyB,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAE3D,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAwC,MAAM,6BAA6B,CAAC;AAE7G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,4BAA4B;IAErC;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,qBAAqB,EAAE,EAAE;IAChC;;;OAGG;IACI,mBAAmB,EAAE,EAAE;IAC9B;;OAEG;IACI,sBAAsB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,yBAAyB,CAAC;IAC1E;;OAEG;IACI,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,yBAAyB,CAAC;IAClE;;OAEG;IACI,oBAAoB,EAAE,eAAe;IAC5C;;OAEG;IACI,kBAAkB,EAAE,eAAe;IAC1C;;OAEG;IACI,mBAAmB,EAAE,2BAA2B;IAjDzD;IACE;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,qBAAqB,EAAE,EAAE;IAChC;;;OAGG;IACI,mBAAmB,EAAE,EAAE;IAC9B;;OAEG;IACI,sBAAsB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,yBAAyB,CAAC;IAC1E;;OAEG;IACI,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,yBAAyB,CAAC;IAClE;;OAEG;IACI,oBAAoB,EAAE,eAAe;IAC5C;;OAEG;IACI,kBAAkB,EAAE,eAAe;IAC1C;;OAEG;IACI,mBAAmB,EAAE,2BAA2B,EACrD;IAEJ,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,gCAgB9C;IAED,QAAQ,4BAeP;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,gCAE5B;IAED,8DAA8D;IAC9D,MAAM,4BAEL;IAED,SAAS;;;;;;;;MAUR;IAED,6CAA6C;IAC7C,MAAM,KAAK,MAAM,+IAEhB;CACF;AAED,qBAAa,YAAY;IAEd,SAAS,EAAE,UAAU;IACrB,KAAK,EAAE,EAAE;IAFlB,YACS,SAAS,EAAE,UAAU,EACrB,KAAK,EAAE,EAAE,EACd;IAEJ,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,YAAY,CAG7D;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,YAAY,CAAC,6BAE9C;IAED,QAAQ,SAEP;IAED,MAAM,CAAC,KAAK,iBAEX;IAED,OAAO,YAEN;IAED,cAAc;;;;;;MAKb;IAED,MAAM,CAAC,MAAM,iBAEZ;CACF"}

package/dest/rollup/checkpoint_rollup_public_inputs.js

@@ -15,6 +15,8 @@ import { EpochConstantData } from './epoch_constant_data.js';
     newArchive;
     previousOutHash;
     newOutHash;
+    startInboxRollingHash;
+    endInboxRollingHash;
     checkpointHeaderHashes;
     fees;
     startBlobAccumulator;
@@ -31,6 +33,11 @@ import { EpochConstantData } from './epoch_constant_data.js';
      */ previousOutHash, /**
      * The out hash tree snapshot after applying this checkpoint range.
      */ newOutHash, /**
+     * Inbox rolling hash before consuming this checkpoint range's messages.
+     */ startInboxRollingHash, /**
+     * Inbox rolling hash after consuming this checkpoint range's messages (the end value lands in the checkpoint
+     * header). Checkpoint merges assert `right.start == left.end` for chain continuity.
+     */ endInboxRollingHash, /**
      * The hashes of the headers of the constituent checkpoints.
      */ checkpointHeaderHashes, /**
      * The summed transaction fees and recipients of the constituent checkpoints.
@@ -46,6 +53,8 @@ import { EpochConstantData } from './epoch_constant_data.js';
         this.newArchive = newArchive;
         this.previousOutHash = previousOutHash;
         this.newOutHash = newOutHash;
+        this.startInboxRollingHash = startInboxRollingHash;
+        this.endInboxRollingHash = endInboxRollingHash;
         this.checkpointHeaderHashes = checkpointHeaderHashes;
         this.fees = fees;
         this.startBlobAccumulator = startBlobAccumulator;
@@ -54,10 +63,10 @@ import { EpochConstantData } from './epoch_constant_data.js';
     }
     static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new CheckpointRollupPublicInputs(reader.readObject(EpochConstantData), reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(AppendOnlyTreeSnapshot), reader.readArray(MAX_CHECKPOINTS_PER_EPOCH, Fr), reader.readArray(MAX_CHECKPOINTS_PER_EPOCH, FeeRecipient), reader.readObject(BlobAccumulator), reader.readObject(BlobAccumulator), reader.readObject(FinalBlobBatchingChallenges));
+        return new CheckpointRollupPublicInputs(reader.readObject(EpochConstantData), reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(AppendOnlyTreeSnapshot), Fr.fromBuffer(reader), Fr.fromBuffer(reader), reader.readArray(MAX_CHECKPOINTS_PER_EPOCH, Fr), reader.readArray(MAX_CHECKPOINTS_PER_EPOCH, FeeRecipient), reader.readObject(BlobAccumulator), reader.readObject(BlobAccumulator), reader.readObject(FinalBlobBatchingChallenges));
     }
     toBuffer() {
-        return serializeToBuffer(this.constants, this.previousArchive, this.newArchive, this.previousOutHash, this.newOutHash, this.checkpointHeaderHashes, this.fees, this.startBlobAccumulator, this.endBlobAccumulator, this.finalBlobChallenges);
+        return serializeToBuffer(this.constants, this.previousArchive, this.newArchive, this.previousOutHash, this.newOutHash, this.startInboxRollingHash, this.endInboxRollingHash, this.checkpointHeaderHashes, this.fees, this.startBlobAccumulator, this.endBlobAccumulator, this.finalBlobChallenges);
     }
     toString() {
         return bufferToHex(this.toBuffer());
@@ -74,7 +83,9 @@ import { EpochConstantData } from './epoch_constant_data.js';
             previousArchiveRoot: this.previousArchive.root.toString(),
             newArchiveRoot: this.newArchive.root.toString(),
             previousOutHashRoot: this.previousOutHash.root.toString(),
-            newOutHashRoot: this.newOutHash.root.toString()
+            newOutHashRoot: this.newOutHash.root.toString(),
+            startInboxRollingHash: this.startInboxRollingHash.toString(),
+            endInboxRollingHash: this.endInboxRollingHash.toString()
         };
     }
     /** Creates an instance from a hex string. */ static get schema() {