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

package/dest/parity/parity_public_inputs.js

@@ -2,25 +2,23 @@ import { Fr } from '@aztec/foundation/curves/bn254';
 import { bufferSchemaFor } from '@aztec/foundation/schemas';
 import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
+import { L1ToL2MessageSponge } from '../messaging/l1_to_l2_message_sponge.js';
 export class ParityPublicInputs {
-    shaRoot;
-    convertedRoot;
-    vkTreeRoot;
+    startRollingHash;
+    endRollingHash;
+    endSponge;
     proverId;
-    constructor(/** Root of the SHA256 tree. */ shaRoot, /** Root of the converted tree. */ convertedRoot, /** Root of the VK tree */ vkTreeRoot, /** Prover identity committed to by the circuit, for sybil protection. */ proverId){
-        this.shaRoot = shaRoot;
-        this.convertedRoot = convertedRoot;
-        this.vkTreeRoot = vkTreeRoot;
+    constructor(/** Inbox rolling hash before absorbing this checkpoint's messages. */ startRollingHash, /** Inbox rolling hash after absorbing the checkpoint's real messages. */ endRollingHash, /** Message-bundle sponge after absorbing the same real messages into the empty per-checkpoint sponge. */ endSponge, /** Prover identity committed to by the circuit, for sybil protection. */ proverId){
+        this.startRollingHash = startRollingHash;
+        this.endRollingHash = endRollingHash;
+        this.endSponge = endSponge;
         this.proverId = proverId;
-        if (shaRoot.toBuffer()[0] != 0) {
-            throw new Error(`shaRoot buffer must be 31 bytes. Got 32 bytes`);
-        }
     }
     /**
    * Serializes the inputs to a buffer.
    * @returns The inputs serialized to a buffer.
    */ toBuffer() {
-        return serializeToBuffer(...ParityPublicInputs.getFields(this));
+        return serializeToBuffer(this.startRollingHash, this.endRollingHash, this.endSponge, this.proverId);
     }
     /**
    * Serializes the inputs to a hex string.
@@ -44,9 +42,9 @@ export class ParityPublicInputs {
    * @returns The instance fields.
    */ static getFields(fields) {
         return [
-            fields.shaRoot,
-            fields.convertedRoot,
-            fields.vkTreeRoot,
+            fields.startRollingHash,
+            fields.endRollingHash,
+            fields.endSponge,
             fields.proverId
         ];
     }
@@ -56,7 +54,7 @@ export class ParityPublicInputs {
    * @returns A new ParityPublicInputs instance.
    */ static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new ParityPublicInputs(reader.readObject(Fr), reader.readObject(Fr), Fr.fromBuffer(reader), Fr.fromBuffer(reader));
+        return new ParityPublicInputs(reader.readObject(Fr), reader.readObject(Fr), reader.readObject(L1ToL2MessageSponge), Fr.fromBuffer(reader));
     }
     /**
    * Deserializes the inputs from a hex string.

package/dest/proofs/proving_request_type.d.ts

@@ -4,18 +4,15 @@ export declare enum ProvingRequestType {
     PRIVATE_TX_BASE_ROLLUP = 2,
     PUBLIC_TX_BASE_ROLLUP = 3,
     TX_MERGE_ROLLUP = 4,
-    BLOCK_ROOT_FIRST_ROLLUP = 5,
-    BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP = 6,
-    BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP = 7,
-    BLOCK_ROOT_ROLLUP = 8,
-    BLOCK_ROOT_SINGLE_TX_ROLLUP = 9,
-    BLOCK_MERGE_ROLLUP = 10,
-    CHECKPOINT_ROOT_ROLLUP = 11,
-    CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP = 12,
-    CHECKPOINT_PADDING_ROLLUP = 13,
-    CHECKPOINT_MERGE_ROLLUP = 14,
-    ROOT_ROLLUP = 15,
-    PARITY_BASE = 16,
-    PARITY_ROOT = 17
+    BLOCK_ROOT_ROLLUP = 5,
+    BLOCK_ROOT_SINGLE_TX_ROLLUP = 6,
+    BLOCK_ROOT_NO_TXS_ROLLUP = 7,
+    BLOCK_MERGE_ROLLUP = 8,
+    CHECKPOINT_ROOT_ROLLUP = 9,
+    CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP = 10,
+    CHECKPOINT_PADDING_ROLLUP = 11,
+    CHECKPOINT_MERGE_ROLLUP = 12,
+    ROOT_ROLLUP = 13,
+    INBOX_PARITY = 14
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmluZ19yZXF1ZXN0X3R5cGUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wcm9vZnMvcHJvdmluZ19yZXF1ZXN0X3R5cGUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsb0JBQVksa0JBQWtCO0lBQzVCLFNBQVMsSUFBQTtJQUNULHFCQUFxQixJQUFBO0lBRXJCLHNCQUFzQixJQUFBO0lBQ3RCLHFCQUFxQixJQUFBO0lBQ3JCLGVBQWUsSUFBQTtJQUNmLHVCQUF1QixJQUFBO0lBQ3ZCLGlDQUFpQyxJQUFBO0lBQ2pDLGdDQUFnQyxJQUFBO0lBQ2hDLGlCQUFpQixJQUFBO0lBQ2pCLDJCQUEyQixJQUFBO0lBQzNCLGtCQUFrQixLQUFBO0lBQ2xCLHNCQUFzQixLQUFBO0lBQ3RCLG1DQUFtQyxLQUFBO0lBQ25DLHlCQUF5QixLQUFBO0lBQ3pCLHVCQUF1QixLQUFBO0lBQ3ZCLFdBQVcsS0FBQTtJQUVYLFdBQVcsS0FBQTtJQUNYLFdBQVcsS0FBQTtDQUNaIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmluZ19yZXF1ZXN0X3R5cGUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wcm9vZnMvcHJvdmluZ19yZXF1ZXN0X3R5cGUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsb0JBQVksa0JBQWtCO0lBQzVCLFNBQVMsSUFBQTtJQUNULHFCQUFxQixJQUFBO0lBRXJCLHNCQUFzQixJQUFBO0lBQ3RCLHFCQUFxQixJQUFBO0lBQ3JCLGVBQWUsSUFBQTtJQUNmLGlCQUFpQixJQUFBO0lBQ2pCLDJCQUEyQixJQUFBO0lBQzNCLHdCQUF3QixJQUFBO0lBQ3hCLGtCQUFrQixJQUFBO0lBQ2xCLHNCQUFzQixJQUFBO0lBQ3RCLG1DQUFtQyxLQUFBO0lBQ25DLHlCQUF5QixLQUFBO0lBQ3pCLHVCQUF1QixLQUFBO0lBQ3ZCLFdBQVcsS0FBQTtJQUVYLFlBQVksS0FBQTtDQUNiIn0=

package/dest/proofs/proving_request_type.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"proving_request_type.d.ts","sourceRoot":"","sources":["../../src/proofs/proving_request_type.ts"],"names":[],"mappings":"AAAA,oBAAY,kBAAkB;IAC5B,SAAS,IAAA;IACT,qBAAqB,IAAA;IAErB,sBAAsB,IAAA;IACtB,qBAAqB,IAAA;IACrB,eAAe,IAAA;IACf,uBAAuB,IAAA;IACvB,iCAAiC,IAAA;IACjC,gCAAgC,IAAA;IAChC,iBAAiB,IAAA;IACjB,2BAA2B,IAAA;IAC3B,kBAAkB,KAAA;IAClB,sBAAsB,KAAA;IACtB,mCAAmC,KAAA;IACnC,yBAAyB,KAAA;IACzB,uBAAuB,KAAA;IACvB,WAAW,KAAA;IAEX,WAAW,KAAA;IACX,WAAW,KAAA;CACZ"}
+{"version":3,"file":"proving_request_type.d.ts","sourceRoot":"","sources":["../../src/proofs/proving_request_type.ts"],"names":[],"mappings":"AAAA,oBAAY,kBAAkB;IAC5B,SAAS,IAAA;IACT,qBAAqB,IAAA;IAErB,sBAAsB,IAAA;IACtB,qBAAqB,IAAA;IACrB,eAAe,IAAA;IACf,iBAAiB,IAAA;IACjB,2BAA2B,IAAA;IAC3B,wBAAwB,IAAA;IACxB,kBAAkB,IAAA;IAClB,sBAAsB,IAAA;IACtB,mCAAmC,KAAA;IACnC,yBAAyB,KAAA;IACzB,uBAAuB,KAAA;IACvB,WAAW,KAAA;IAEX,YAAY,KAAA;CACb"}

package/dest/proofs/proving_request_type.js

@@ -4,18 +4,15 @@ export var ProvingRequestType = /*#__PURE__*/ function(ProvingRequestType) {
     ProvingRequestType[ProvingRequestType["PRIVATE_TX_BASE_ROLLUP"] = 2] = "PRIVATE_TX_BASE_ROLLUP";
     ProvingRequestType[ProvingRequestType["PUBLIC_TX_BASE_ROLLUP"] = 3] = "PUBLIC_TX_BASE_ROLLUP";
     ProvingRequestType[ProvingRequestType["TX_MERGE_ROLLUP"] = 4] = "TX_MERGE_ROLLUP";
-    ProvingRequestType[ProvingRequestType["BLOCK_ROOT_FIRST_ROLLUP"] = 5] = "BLOCK_ROOT_FIRST_ROLLUP";
-    ProvingRequestType[ProvingRequestType["BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP"] = 6] = "BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP";
-    ProvingRequestType[ProvingRequestType["BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP"] = 7] = "BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP";
-    ProvingRequestType[ProvingRequestType["BLOCK_ROOT_ROLLUP"] = 8] = "BLOCK_ROOT_ROLLUP";
-    ProvingRequestType[ProvingRequestType["BLOCK_ROOT_SINGLE_TX_ROLLUP"] = 9] = "BLOCK_ROOT_SINGLE_TX_ROLLUP";
-    ProvingRequestType[ProvingRequestType["BLOCK_MERGE_ROLLUP"] = 10] = "BLOCK_MERGE_ROLLUP";
-    ProvingRequestType[ProvingRequestType["CHECKPOINT_ROOT_ROLLUP"] = 11] = "CHECKPOINT_ROOT_ROLLUP";
-    ProvingRequestType[ProvingRequestType["CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP"] = 12] = "CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP";
-    ProvingRequestType[ProvingRequestType["CHECKPOINT_PADDING_ROLLUP"] = 13] = "CHECKPOINT_PADDING_ROLLUP";
-    ProvingRequestType[ProvingRequestType["CHECKPOINT_MERGE_ROLLUP"] = 14] = "CHECKPOINT_MERGE_ROLLUP";
-    ProvingRequestType[ProvingRequestType["ROOT_ROLLUP"] = 15] = "ROOT_ROLLUP";
-    ProvingRequestType[ProvingRequestType["PARITY_BASE"] = 16] = "PARITY_BASE";
-    ProvingRequestType[ProvingRequestType["PARITY_ROOT"] = 17] = "PARITY_ROOT";
+    ProvingRequestType[ProvingRequestType["BLOCK_ROOT_ROLLUP"] = 5] = "BLOCK_ROOT_ROLLUP";
+    ProvingRequestType[ProvingRequestType["BLOCK_ROOT_SINGLE_TX_ROLLUP"] = 6] = "BLOCK_ROOT_SINGLE_TX_ROLLUP";
+    ProvingRequestType[ProvingRequestType["BLOCK_ROOT_NO_TXS_ROLLUP"] = 7] = "BLOCK_ROOT_NO_TXS_ROLLUP";
+    ProvingRequestType[ProvingRequestType["BLOCK_MERGE_ROLLUP"] = 8] = "BLOCK_MERGE_ROLLUP";
+    ProvingRequestType[ProvingRequestType["CHECKPOINT_ROOT_ROLLUP"] = 9] = "CHECKPOINT_ROOT_ROLLUP";
+    ProvingRequestType[ProvingRequestType["CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP"] = 10] = "CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP";
+    ProvingRequestType[ProvingRequestType["CHECKPOINT_PADDING_ROLLUP"] = 11] = "CHECKPOINT_PADDING_ROLLUP";
+    ProvingRequestType[ProvingRequestType["CHECKPOINT_MERGE_ROLLUP"] = 12] = "CHECKPOINT_MERGE_ROLLUP";
+    ProvingRequestType[ProvingRequestType["ROOT_ROLLUP"] = 13] = "ROOT_ROLLUP";
+    ProvingRequestType[ProvingRequestType["INBOX_PARITY"] = 14] = "INBOX_PARITY";
     return ProvingRequestType;
 }({});

package/dest/rollup/block_constant_data.d.ts

@@ -10,10 +10,10 @@ export declare class BlockConstantData {
     /** Archive tree snapshot at the very beginning of the entire rollup. */
     lastArchive: AppendOnlyTreeSnapshot;
     /**
-     * L1-to-L2 message tree snapshot after this block lands.
-     * For the first block in a checkpoint, this should be the snapshot after inserting the new l1-to-l2 message subtree
-     * into the last l1-to-l2 tree snapshot in `last_archive`.
-     * For subsequent blocks, this should match the snapshot of the previous block.
+     * L1-to-L2 message tree snapshot after this block's own message bundle has been inserted. The AVM validates this
+     * block's l1-to-l2 message read requests against it, so a tx in this block can read the messages this block
+     * inserts (same-block consumption). Every block-root variant that carries txs asserts this equals its computed
+     * post-bundle root, whether or not the block is the first in its checkpoint.
      */
     l1ToL2TreeSnapshot: AppendOnlyTreeSnapshot;
     /** Root of the verification key tree. */
@@ -28,10 +28,10 @@ export declare class BlockConstantData {
     /** Archive tree snapshot at the very beginning of the entire rollup. */
     lastArchive: AppendOnlyTreeSnapshot, 
     /**
-     * L1-to-L2 message tree snapshot after this block lands.
-     * For the first block in a checkpoint, this should be the snapshot after inserting the new l1-to-l2 message subtree
-     * into the last l1-to-l2 tree snapshot in `last_archive`.
-     * For subsequent blocks, this should match the snapshot of the previous block.
+     * L1-to-L2 message tree snapshot after this block's own message bundle has been inserted. The AVM validates this
+     * block's l1-to-l2 message read requests against it, so a tx in this block can read the messages this block
+     * inserts (same-block consumption). Every block-root variant that carries txs asserts this equals its computed
+     * post-bundle root, whether or not the block is the first in its checkpoint.
      */
     l1ToL2TreeSnapshot: AppendOnlyTreeSnapshot, 
     /** Root of the verification key tree. */

package/dest/rollup/block_constant_data.js

@@ -12,10 +12,10 @@ import { GlobalVariables } from '../tx/global_variables.js';
     globalVariables;
     proverId;
     constructor(/** Archive tree snapshot at the very beginning of the entire rollup. */ lastArchive, /**
-     * L1-to-L2 message tree snapshot after this block lands.
-     * For the first block in a checkpoint, this should be the snapshot after inserting the new l1-to-l2 message subtree
-     * into the last l1-to-l2 tree snapshot in `last_archive`.
-     * For subsequent blocks, this should match the snapshot of the previous block.
+     * L1-to-L2 message tree snapshot after this block's own message bundle has been inserted. The AVM validates this
+     * block's l1-to-l2 message read requests against it, so a tx in this block can read the messages this block
+     * inserts (same-block consumption). Every block-root variant that carries txs asserts this equals its computed
+     * post-bundle root, whether or not the block is the first in its checkpoint.
      */ l1ToL2TreeSnapshot, /** Root of the verification key tree. */ vkTreeRoot, /** Hash of the protocol contracts list. */ protocolContractsHash, /** Global variables for the block. */ globalVariables, /** Identifier of the prover. */ proverId){
         this.lastArchive = lastArchive;
         this.l1ToL2TreeSnapshot = l1ToL2TreeSnapshot;

package/dest/rollup/block_rollup_public_inputs.d.ts

@@ -1,6 +1,7 @@
 import { SpongeBlob } from '@aztec/blob-lib/types';
 import { Fr } from '@aztec/foundation/curves/bn254';
 import { BufferReader } from '@aztec/foundation/serialize';
+import { L1ToL2MessageSponge } from '../messaging/l1_to_l2_message_sponge.js';
 import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
 import { StateReference } from '../tx/state_reference.js';
 import type { UInt64 } from '../types/shared.js';
@@ -48,9 +49,14 @@ export declare class BlockRollupPublicInputs {
      */
     blockHeadersHash: Fr;
     /**
-     * SHA256 hash of l1 to l2 messages.
+     * Message-bundle sponge threaded across the checkpoint's blocks, before this block range absorbs its bundle.
      */
-    inHash: Fr;
+    startMsgSponge: L1ToL2MessageSponge;
+    /**
+     * Message-bundle sponge after this block range absorbs its bundle. The checkpoint root asserts the final value
+     * matches the parity root's sponge over the same (padded) message list.
+     */
+    endMsgSponge: L1ToL2MessageSponge;
     /**
      * SHA256 hash of L2 to L1 messages created in this block range.
      */
@@ -103,9 +109,14 @@ export declare class BlockRollupPublicInputs {
      */
     blockHeadersHash: Fr, 
     /**
-     * SHA256 hash of l1 to l2 messages.
+     * Message-bundle sponge threaded across the checkpoint's blocks, before this block range absorbs its bundle.
+     */
+    startMsgSponge: L1ToL2MessageSponge, 
+    /**
+     * Message-bundle sponge after this block range absorbs its bundle. The checkpoint root asserts the final value
+     * matches the parity root's sponge over the same (padded) message list.
      */
-    inHash: Fr, 
+    endMsgSponge: L1ToL2MessageSponge, 
     /**
      * SHA256 hash of L2 to L1 messages created in this block range.
      */
@@ -127,7 +138,8 @@ export declare class BlockRollupPublicInputs {
         previousArchiveRoot: `0x${string}`;
         newArchiveRoot: `0x${string}`;
         blockHeadersHash: `0x${string}`;
-        inHash: `0x${string}`;
+        startMsgSpongeNumAbsorbed: number;
+        endMsgSpongeNumAbsorbed: number;
         outHash: `0x${string}`;
         timestamp: string;
         accumulatedFees: `0x${string}`;
@@ -135,4 +147,4 @@ export declare class BlockRollupPublicInputs {
     };
     static get schema(): import("zod").ZodType<BlockRollupPublicInputs, string, import("zod/v4/core").$ZodTypeInternals<BlockRollupPublicInputs, string>>;
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmxvY2tfcm9sbHVwX3B1YmxpY19pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9yb2xsdXAvYmxvY2tfcm9sbHVwX3B1YmxpY19pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQ25ELE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVwRCxPQUFPLEVBQUUsWUFBWSxFQUF1QyxNQUFNLDZCQUE2QixDQUFDO0FBR2hHLE9BQU8sRUFBRSxzQkFBc0IsRUFBRSxNQUFNLHVDQUF1QyxDQUFDO0FBQy9FLE9BQU8sRUFBRSxjQUFjLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUMxRCxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUNqRCxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUV2RTs7R0FFRztBQUNILHFCQUFhLHVCQUF1QjtJQUVoQzs7T0FFRztJQUNJLFNBQVMsRUFBRSxzQkFBc0I7SUFDeEM7O09BRUc7SUFDSSxlQUFlLEVBQUUsc0JBQXNCO0lBQzlDOztPQUVHO0lBQ0ksVUFBVSxFQUFFLHNCQUFzQjtJQUN6Qzs7T0FFRztJQUNJLFVBQVUsRUFBRSxjQUFjO0lBQ2pDOztPQUVHO0lBQ0ksUUFBUSxFQUFFLGNBQWM7SUFDL0I7O09BRUc7SUFDSSxlQUFlLEVBQUUsVUFBVTtJQUNsQzs7T0FFRztJQUNJLGFBQWEsRUFBRSxVQUFVO0lBQ2hDOztPQUVHO0lBQ0ksU0FBUyxFQUFFLE1BQU07SUFDeEI7Ozs7T0FJRztJQUNJLGdCQUFnQixFQUFFLEVBQUU7SUFDM0I7O09BRUc7SUFDSSxNQUFNLEVBQUUsRUFBRTtJQUNqQjs7T0FFRztJQUNJLE9BQU8sRUFBRSxFQUFFO0lBQ2xCOztPQUVHO0lBQ0ksZUFBZSxFQUFFLEVBQUU7SUFDMUI7O09BRUc7SUFDSSxtQkFBbUIsRUFBRSxFQUFFO0lBdERoQztJQUNFOztPQUVHO0lBQ0ksU0FBUyxFQUFFLHNCQUFzQjtJQUN4Qzs7T0FFRztJQUNJLGVBQWUsRUFBRSxzQkFBc0I7SUFDOUM7O09BRUc7SUFDSSxVQUFVLEVBQUUsc0JBQXNCO0lBQ3pDOztPQUVHO0lBQ0ksVUFBVSxFQUFFLGNBQWM7SUFDakM7O09BRUc7SUFDSSxRQUFRLEVBQUUsY0FBYztJQUMvQjs7T0FFRztJQUNJLGVBQWUsRUFBRSxVQUFVO0lBQ2xDOztPQUVHO0lBQ0ksYUFBYSxFQUFFLFVBQVU7SUFDaEM7O09BRUc7SUFDSSxTQUFTLEVBQUUsTUFBTTtJQUN4Qjs7OztPQUlHO0lBQ0ksZ0JBQWdCLEVBQUUsRUFBRTtJQUMzQjs7T0FFRztJQUNJLE1BQU0sRUFBRSxFQUFFO0lBQ2pCOztPQUVHO0lBQ0ksT0FBTyxFQUFFLEVBQUU7SUFDbEI7O09BRUc7SUFDSSxlQUFlLEVBQUUsRUFBRTtJQUMxQjs7T0FFRztJQUNJLG1CQUFtQixFQUFFLEVBQUUsRUFDNUI7SUFFSixNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLHVCQUF1QixDQWlCeEU7SUFFRCxRQUFRLDRCQWdCUDtJQUVELFFBQVEsa0JBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLDJCQUU1QjtJQUVELE1BQU0sNEJBRUw7SUFFRCxTQUFTOzs7Ozs7Ozs7TUFXUjtJQUVELE1BQU0sS0FBSyxNQUFNLHFJQUVoQjtDQUNGIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmxvY2tfcm9sbHVwX3B1YmxpY19pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9yb2xsdXAvYmxvY2tfcm9sbHVwX3B1YmxpY19pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQ25ELE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVwRCxPQUFPLEVBQUUsWUFBWSxFQUF1QyxNQUFNLDZCQUE2QixDQUFDO0FBR2hHLE9BQU8sRUFBRSxtQkFBbUIsRUFBRSxNQUFNLHlDQUF5QyxDQUFDO0FBQzlFLE9BQU8sRUFBRSxzQkFBc0IsRUFBRSxNQUFNLHVDQUF1QyxDQUFDO0FBQy9FLE9BQU8sRUFBRSxjQUFjLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUMxRCxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUNqRCxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUV2RTs7R0FFRztBQUNILHFCQUFhLHVCQUF1QjtJQUVoQzs7T0FFRztJQUNJLFNBQVMsRUFBRSxzQkFBc0I7SUFDeEM7O09BRUc7SUFDSSxlQUFlLEVBQUUsc0JBQXNCO0lBQzlDOztPQUVHO0lBQ0ksVUFBVSxFQUFFLHNCQUFzQjtJQUN6Qzs7T0FFRztJQUNJLFVBQVUsRUFBRSxjQUFjO0lBQ2pDOztPQUVHO0lBQ0ksUUFBUSxFQUFFLGNBQWM7SUFDL0I7O09BRUc7SUFDSSxlQUFlLEVBQUUsVUFBVTtJQUNsQzs7T0FFRztJQUNJLGFBQWEsRUFBRSxVQUFVO0lBQ2hDOztPQUVHO0lBQ0ksU0FBUyxFQUFFLE1BQU07SUFDeEI7Ozs7T0FJRztJQUNJLGdCQUFnQixFQUFFLEVBQUU7SUFDM0I7O09BRUc7SUFDSSxjQUFjLEVBQUUsbUJBQW1CO0lBQzFDOzs7T0FHRztJQUNJLFlBQVksRUFBRSxtQkFBbUI7SUFDeEM7O09BRUc7SUFDSSxPQUFPLEVBQUUsRUFBRTtJQUNsQjs7T0FFRztJQUNJLGVBQWUsRUFBRSxFQUFFO0lBQzFCOztPQUVHO0lBQ0ksbUJBQW1CLEVBQUUsRUFBRTtJQTNEaEM7SUFDRTs7T0FFRztJQUNJLFNBQVMsRUFBRSxzQkFBc0I7SUFDeEM7O09BRUc7SUFDSSxlQUFlLEVBQUUsc0JBQXNCO0lBQzlDOztPQUVHO0lBQ0ksVUFBVSxFQUFFLHNCQUFzQjtJQUN6Qzs7T0FFRztJQUNJLFVBQVUsRUFBRSxjQUFjO0lBQ2pDOztPQUVHO0lBQ0ksUUFBUSxFQUFFLGNBQWM7SUFDL0I7O09BRUc7SUFDSSxlQUFlLEVBQUUsVUFBVTtJQUNsQzs7T0FFRztJQUNJLGFBQWEsRUFBRSxVQUFVO0lBQ2hDOztPQUVHO0lBQ0ksU0FBUyxFQUFFLE1BQU07SUFDeEI7Ozs7T0FJRztJQUNJLGdCQUFnQixFQUFFLEVBQUU7SUFDM0I7O09BRUc7SUFDSSxjQUFjLEVBQUUsbUJBQW1CO0lBQzFDOzs7T0FHRztJQUNJLFlBQVksRUFBRSxtQkFBbUI7SUFDeEM7O09BRUc7SUFDSSxPQUFPLEVBQUUsRUFBRTtJQUNsQjs7T0FFRztJQUNJLGVBQWUsRUFBRSxFQUFFO0lBQzFCOztPQUVHO0lBQ0ksbUJBQW1CLEVBQUUsRUFBRSxFQUM1QjtJQUVKLE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsdUJBQXVCLENBa0J4RTtJQUVELFFBQVEsNEJBaUJQO0lBRUQsUUFBUSxrQkFFUDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsR0FBRyxFQUFFLE1BQU0sMkJBRTVCO0lBRUQsTUFBTSw0QkFFTDtJQUVELFNBQVM7Ozs7Ozs7Ozs7TUFZUjtJQUVELE1BQU0sS0FBSyxNQUFNLHFJQUVoQjtDQUNGIn0=

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

@@ -1 +1 @@
-{"version":3,"file":"block_rollup_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/block_rollup_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAuC,MAAM,6BAA6B,CAAC;AAGhG,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAEvE;;GAEG;AACH,qBAAa,uBAAuB;IAEhC;;OAEG;IACI,SAAS,EAAE,sBAAsB;IACxC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,UAAU,EAAE,cAAc;IACjC;;OAEG;IACI,QAAQ,EAAE,cAAc;IAC/B;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,aAAa,EAAE,UAAU;IAChC;;OAEG;IACI,SAAS,EAAE,MAAM;IACxB;;;;OAIG;IACI,gBAAgB,EAAE,EAAE;IAC3B;;OAEG;IACI,MAAM,EAAE,EAAE;IACjB;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,eAAe,EAAE,EAAE;IAC1B;;OAEG;IACI,mBAAmB,EAAE,EAAE;IAtDhC;IACE;;OAEG;IACI,SAAS,EAAE,sBAAsB;IACxC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,UAAU,EAAE,cAAc;IACjC;;OAEG;IACI,QAAQ,EAAE,cAAc;IAC/B;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,aAAa,EAAE,UAAU;IAChC;;OAEG;IACI,SAAS,EAAE,MAAM;IACxB;;;;OAIG;IACI,gBAAgB,EAAE,EAAE;IAC3B;;OAEG;IACI,MAAM,EAAE,EAAE;IACjB;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,eAAe,EAAE,EAAE;IAC1B;;OAEG;IACI,mBAAmB,EAAE,EAAE,EAC5B;IAEJ,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uBAAuB,CAiBxE;IAED,QAAQ,4BAgBP;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,2BAE5B;IAED,MAAM,4BAEL;IAED,SAAS;;;;;;;;;MAWR;IAED,MAAM,KAAK,MAAM,qIAEhB;CACF"}
+{"version":3,"file":"block_rollup_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/block_rollup_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAuC,MAAM,6BAA6B,CAAC;AAGhG,OAAO,EAAE,mBAAmB,EAAE,MAAM,yCAAyC,CAAC;AAC9E,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAEvE;;GAEG;AACH,qBAAa,uBAAuB;IAEhC;;OAEG;IACI,SAAS,EAAE,sBAAsB;IACxC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,UAAU,EAAE,cAAc;IACjC;;OAEG;IACI,QAAQ,EAAE,cAAc;IAC/B;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,aAAa,EAAE,UAAU;IAChC;;OAEG;IACI,SAAS,EAAE,MAAM;IACxB;;;;OAIG;IACI,gBAAgB,EAAE,EAAE;IAC3B;;OAEG;IACI,cAAc,EAAE,mBAAmB;IAC1C;;;OAGG;IACI,YAAY,EAAE,mBAAmB;IACxC;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,eAAe,EAAE,EAAE;IAC1B;;OAEG;IACI,mBAAmB,EAAE,EAAE;IA3DhC;IACE;;OAEG;IACI,SAAS,EAAE,sBAAsB;IACxC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,UAAU,EAAE,cAAc;IACjC;;OAEG;IACI,QAAQ,EAAE,cAAc;IAC/B;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,aAAa,EAAE,UAAU;IAChC;;OAEG;IACI,SAAS,EAAE,MAAM;IACxB;;;;OAIG;IACI,gBAAgB,EAAE,EAAE;IAC3B;;OAEG;IACI,cAAc,EAAE,mBAAmB;IAC1C;;;OAGG;IACI,YAAY,EAAE,mBAAmB;IACxC;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,eAAe,EAAE,EAAE;IAC1B;;OAEG;IACI,mBAAmB,EAAE,EAAE,EAC5B;IAEJ,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uBAAuB,CAkBxE;IAED,QAAQ,4BAiBP;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,2BAE5B;IAED,MAAM,4BAEL;IAED,SAAS;;;;;;;;;;MAYR;IAED,MAAM,KAAK,MAAM,qIAEhB;CACF"}

package/dest/rollup/block_rollup_public_inputs.js

@@ -3,6 +3,7 @@ import { Fr } from '@aztec/foundation/curves/bn254';
 import { bufferSchemaFor } from '@aztec/foundation/schemas';
 import { BufferReader, bigintToUInt64BE, serializeToBuffer } from '@aztec/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
+import { L1ToL2MessageSponge } from '../messaging/l1_to_l2_message_sponge.js';
 import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
 import { StateReference } from '../tx/state_reference.js';
 import { CheckpointConstantData } from './checkpoint_constant_data.js';
@@ -18,7 +19,8 @@ import { CheckpointConstantData } from './checkpoint_constant_data.js';
     endSpongeBlob;
     timestamp;
     blockHeadersHash;
-    inHash;
+    startMsgSponge;
+    endMsgSponge;
     outHash;
     accumulatedFees;
     accumulatedManaUsed;
@@ -43,8 +45,11 @@ import { CheckpointConstantData } from './checkpoint_constant_data.js';
      * other blocks in the same checkpoint to form an unbalanced tree. The root of that tree becomes the final hash
      * stored in the checkpoint header, enabling validation of the blocks included in a checkpoint given their headers.
      */ blockHeadersHash, /**
-     * SHA256 hash of l1 to l2 messages.
-     */ inHash, /**
+     * Message-bundle sponge threaded across the checkpoint's blocks, before this block range absorbs its bundle.
+     */ startMsgSponge, /**
+     * Message-bundle sponge after this block range absorbs its bundle. The checkpoint root asserts the final value
+     * matches the parity root's sponge over the same (padded) message list.
+     */ endMsgSponge, /**
      * SHA256 hash of L2 to L1 messages created in this block range.
      */ outHash, /**
      * The summed transaction fees of all the txs in this block range.
@@ -60,17 +65,18 @@ import { CheckpointConstantData } from './checkpoint_constant_data.js';
         this.endSpongeBlob = endSpongeBlob;
         this.timestamp = timestamp;
         this.blockHeadersHash = blockHeadersHash;
-        this.inHash = inHash;
+        this.startMsgSponge = startMsgSponge;
+        this.endMsgSponge = endMsgSponge;
         this.outHash = outHash;
         this.accumulatedFees = accumulatedFees;
         this.accumulatedManaUsed = accumulatedManaUsed;
     }
     static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new BlockRollupPublicInputs(reader.readObject(CheckpointConstantData), reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(StateReference), reader.readObject(StateReference), reader.readObject(SpongeBlob), reader.readObject(SpongeBlob), reader.readUInt64(), Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader));
+        return new BlockRollupPublicInputs(reader.readObject(CheckpointConstantData), reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(StateReference), reader.readObject(StateReference), reader.readObject(SpongeBlob), reader.readObject(SpongeBlob), reader.readUInt64(), Fr.fromBuffer(reader), reader.readObject(L1ToL2MessageSponge), reader.readObject(L1ToL2MessageSponge), Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader));
     }
     toBuffer() {
-        return serializeToBuffer(this.constants, this.previousArchive, this.newArchive, this.startState, this.endState, this.startSpongeBlob, this.endSpongeBlob, bigintToUInt64BE(this.timestamp), this.blockHeadersHash, this.inHash, this.outHash, this.accumulatedFees, this.accumulatedManaUsed);
+        return serializeToBuffer(this.constants, this.previousArchive, this.newArchive, this.startState, this.endState, this.startSpongeBlob, this.endSpongeBlob, bigintToUInt64BE(this.timestamp), this.blockHeadersHash, this.startMsgSponge, this.endMsgSponge, this.outHash, this.accumulatedFees, this.accumulatedManaUsed);
     }
     toString() {
         return bufferToHex(this.toBuffer());
@@ -86,7 +92,8 @@ import { CheckpointConstantData } from './checkpoint_constant_data.js';
             previousArchiveRoot: this.previousArchive.root.toString(),
             newArchiveRoot: this.newArchive.root.toString(),
             blockHeadersHash: this.blockHeadersHash.toString(),
-            inHash: this.inHash.toString(),
+            startMsgSpongeNumAbsorbed: this.startMsgSponge.numAbsorbed,
+            endMsgSpongeNumAbsorbed: this.endMsgSponge.numAbsorbed,
             outHash: this.outHash.toString(),
             timestamp: this.timestamp.toString(),
             accumulatedFees: this.accumulatedFees.toString(),