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

package/src/stats/stats.ts

@@ -101,17 +101,16 @@ export type ClientCircuitName =
   | 'app-circuit';
 
 export type ServerCircuitName =
-  | 'parity-base'
-  | 'parity-root'
+  | 'inbox-parity-64'
+  | 'inbox-parity-256'
+  | 'inbox-parity-1024'
   | 'chonk-verifier-public'
   | 'rollup-tx-base-private'
   | 'rollup-tx-base-public'
   | 'rollup-tx-merge'
-  | 'rollup-block-root-first'
-  | 'rollup-block-root-first-single-tx'
-  | 'rollup-block-root-first-empty-tx'
   | 'rollup-block-root'
   | 'rollup-block-root-single-tx'
+  | 'rollup-block-root-no-txs'
   | 'rollup-block-merge'
   | 'rollup-checkpoint-root'
   | 'rollup-checkpoint-root-single-block'

package/src/tests/factories.ts

@@ -9,12 +9,15 @@ import {
   AVM_V2_PROOF_LENGTH_IN_FIELDS,
   CHONK_PROOF_LENGTH,
   CONTRACT_CLASS_LOG_SIZE_IN_FIELDS,
-  L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH,
+  INBOX_PARITY_SIZE_SMALL,
+  L1_TO_L2_MSG_TREE_HEIGHT,
   MAX_CHECKPOINTS_PER_EPOCH,
   MAX_CONTRACT_CLASS_LOGS_PER_TX,
   MAX_ENQUEUED_CALLS_PER_CALL,
   MAX_ENQUEUED_CALLS_PER_TX,
   MAX_KEY_VALIDATION_REQUESTS_PER_CALL,
+  MAX_L1_TO_L2_MSGS_PER_BLOCK,
+  MAX_L1_TO_L2_MSGS_PER_CHECKPOINT,
   MAX_L2_TO_L1_MSGS_PER_CALL,
   MAX_L2_TO_L1_MSGS_PER_TX,
   MAX_NOTE_HASHES_PER_CALL,
@@ -34,9 +37,6 @@ import {
   NOTE_HASH_SUBTREE_ROOT_SIBLING_PATH_LENGTH,
   NULLIFIER_SUBTREE_ROOT_SIBLING_PATH_LENGTH,
   NULLIFIER_TREE_HEIGHT,
-  NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP,
-  NUM_BASE_PARITY_PER_ROOT_PARITY,
-  NUM_MSGS_PER_BASE_PARITY,
   PRIVATE_LOG_SIZE_IN_FIELDS,
   PUBLIC_DATA_TREE_HEIGHT,
   RECURSIVE_ROLLUP_HONK_PROOF_LENGTH,
@@ -129,10 +129,11 @@ import { ContractClassLog, ContractClassLogFields } from '../logs/index.js';
 import type { LogResult } from '../logs/log_result.js';
 import { PrivateLog } from '../logs/private_log.js';
 import { FlatPublicLogs, PublicLog } from '../logs/public_log.js';
+import { L1ToL2MessageBundle } from '../messaging/l1_to_l2_message_bundle.js';
+import { L1ToL2MessageSponge } from '../messaging/l1_to_l2_message_sponge.js';
 import { CountedL2ToL1Message, L2ToL1Message, ScopedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
-import { ParityBasePrivateInputs } from '../parity/parity_base_private_inputs.js';
+import { InboxParityPrivateInputs } from '../parity/inbox_parity_private_inputs.js';
 import { ParityPublicInputs } from '../parity/parity_public_inputs.js';
-import { ParityRootPrivateInputs } from '../parity/parity_root_private_inputs.js';
 import { ProofData, ProofDataForFixedVk } from '../proofs/index.js';
 import { Proof } from '../proofs/proof.js';
 import { makeRecursiveProof } from '../proofs/recursive_proof.js';
@@ -141,7 +142,7 @@ import { BlockConstantData } from '../rollup/block_constant_data.js';
 import { BlockMergeRollupPrivateInputs } from '../rollup/block_merge_rollup_private_inputs.js';
 import { BlockRollupPublicInputs } from '../rollup/block_rollup_public_inputs.js';
 import {
-  BlockRootFirstRollupPrivateInputs,
+  BlockRootRollupPrivateInputs,
   BlockRootSingleTxRollupPrivateInputs,
 } from '../rollup/block_root_rollup_private_inputs.js';
 import { CheckpointConstantData } from '../rollup/checkpoint_constant_data.js';
@@ -231,8 +232,6 @@ export function makeTxContext(seed: number = 1): TxContext {
  */
 export function makeGasSettings() {
   return GasSettings.fallback({
-    // Arbitrary daGas pinned to the pre-existing fixture value so avm_inputs.testdata.bin (consumed by
-    // the C++ vm2 tests) stays byte-stable; teardown derives to the same values the old fallback produced.
     gasLimits: new Gas(196_608, MAX_PROCESSABLE_L2_GAS),
     maxFeesPerGas: new GasFees(10, 10),
   });
@@ -788,13 +787,18 @@ export function makeBlockRollupPublicInputs(seed = 0): BlockRollupPublicInputs {
     makeSpongeBlob(seed + 0x700),
     BigInt(seed + 0x800),
     fr(seed + 0x820),
-    fr(seed + 0x830),
+    makeL1ToL2MessageSponge(seed + 0x835),
+    makeL1ToL2MessageSponge(seed + 0x838),
     fr(seed + 0x840),
     fr(seed + 0x850),
     fr(seed + 0x860),
   );
 }
 
+export function makeL1ToL2MessageSponge(seed = 0): L1ToL2MessageSponge {
+  return new L1ToL2MessageSponge(makeSpongeBlob(seed).sponge, seed % (INBOX_PARITY_SIZE_SMALL + 1));
+}
+
 export function makeCheckpointRollupPublicInputs(seed = 0) {
   return new CheckpointRollupPublicInputs(
     makeEpochConstantData(seed),
@@ -802,6 +806,8 @@ export function makeCheckpointRollupPublicInputs(seed = 0) {
     makeAppendOnlyTreeSnapshot(seed + 0x200),
     makeAppendOnlyTreeSnapshot(seed + 0x300),
     makeAppendOnlyTreeSnapshot(seed + 0x350),
+    fr(seed + 0x360),
+    fr(seed + 0x370),
     makeTuple(MAX_CHECKPOINTS_PER_EPOCH, () => fr(seed), 0x400),
     makeTuple(MAX_CHECKPOINTS_PER_EPOCH, () => makeFeeRecipient(seed), 0x500),
     makeBlobAccumulator(seed + 0x600),
@@ -812,25 +818,18 @@ export function makeCheckpointRollupPublicInputs(seed = 0) {
 
 export function makeParityPublicInputs(seed = 0): ParityPublicInputs {
   return new ParityPublicInputs(
-    new Fr(BigInt(seed + 0x200)),
-    new Fr(BigInt(seed + 0x300)),
     new Fr(BigInt(seed + 0x400)),
     new Fr(BigInt(seed + 0x500)),
+    makeL1ToL2MessageSponge(seed + 0x580),
+    new Fr(BigInt(seed + 0x800)),
   );
 }
 
-export function makeParityBasePrivateInputs(seed = 0): ParityBasePrivateInputs {
-  return new ParityBasePrivateInputs(
-    makeTuple(NUM_MSGS_PER_BASE_PARITY, fr, seed + 0x3000),
-    new Fr(seed + 0x4000),
-    new Fr(seed + 0x5000),
-  );
-}
-
-export function makeParityRootPrivateInputs(seed = 0) {
-  return new ParityRootPrivateInputs(
-    makeTuple(NUM_BASE_PARITY_PER_ROOT_PARITY, () => makeProofData(seed, makeParityPublicInputs)),
-  );
+export function makeInboxParityPrivateInputs(seed = 0): InboxParityPrivateInputs {
+  const size = INBOX_PARITY_SIZE_SMALL;
+  const numMsgs = seed % (size + 1);
+  const messages = Array.from({ length: size }, (_, i) => (i < numMsgs ? fr(i + seed + 0x3000) : Fr.ZERO));
+  return new InboxParityPrivateInputs(size, messages, numMsgs, new Fr(seed + 0x3500), new Fr(seed + 0x5000));
 }
 
 /**
@@ -844,6 +843,8 @@ export function makeRootRollupPublicInputs(seed = 0): RootRollupPublicInputs {
     fr(seed + 0x100),
     fr(seed + 0x200),
     fr(seed + 0x300),
+    fr(seed + 0x320),
+    fr(seed + 0x340),
     makeTuple(MAX_CHECKPOINTS_PER_EPOCH, () => fr(seed), 0x400),
     makeTuple(MAX_CHECKPOINTS_PER_EPOCH, () => makeFeeRecipient(seed), 0x500),
     makeEpochConstantData(seed + 0x600),
@@ -871,7 +872,7 @@ export function makeCheckpointHeader(seed = 0, overrides: Partial<FieldsOf<Check
     lastArchiveRoot: fr(seed + 0x100),
     blockHeadersHash: fr(seed + 0x150),
     blobsHash: fr(seed + 0x200),
-    inHash: fr(seed + 0x210),
+    inboxRollingHash: fr(seed + 0x215),
     epochOutHash: fr(seed + 0x220),
     slotNumber: SlotNumber(seed + 0x300),
     timestamp: BigInt(seed + 0x400),
@@ -891,14 +892,14 @@ export function makeCheckpointHeader(seed = 0, overrides: Partial<FieldsOf<Check
  */
 export function makeStateReference(seed = 0): StateReference {
   return new StateReference(
-    makeAppendOnlyTreeSnapshot(NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP * seed),
+    makeAppendOnlyTreeSnapshot(MAX_L1_TO_L2_MSGS_PER_CHECKPOINT * seed),
     makePartialStateReference(seed + 1),
   );
 }
 
 function makeTreeSnapshots(seed = 0) {
   return new TreeSnapshots(
-    makeAppendOnlyTreeSnapshot(seed * NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP),
+    makeAppendOnlyTreeSnapshot(seed * MAX_L1_TO_L2_MSGS_PER_CHECKPOINT),
     makeAppendOnlyTreeSnapshot((seed + 0x10) * MAX_NOTE_HASHES_PER_TX),
     makeAppendOnlyTreeSnapshot((seed + 0x20) * MAX_NULLIFIERS_PER_TX),
     makeAppendOnlyTreeSnapshot((seed + 0x30) * MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX),
@@ -945,12 +946,13 @@ export function makeTxMergeRollupPrivateInputs(seed = 0): TxMergeRollupPrivateIn
   ]);
 }
 
-export function makeBlockRootFirstRollupPrivateInputs(seed = 0) {
-  return new BlockRootFirstRollupPrivateInputs(
-    makeProofData(seed, makeParityPublicInputs),
+export function makeBlockRootRollupPrivateInputs(seed = 0) {
+  return new BlockRootRollupPrivateInputs(
     [makeProofData(seed + 0x1000, makeTxRollupPublicInputs), makeProofData(seed + 0x2000, makeTxRollupPublicInputs)],
+    new L1ToL2MessageBundle(makeArray(MAX_L1_TO_L2_MSGS_PER_BLOCK, fr, seed + 0x2500), MAX_L1_TO_L2_MSGS_PER_BLOCK),
     makeAppendOnlyTreeSnapshot(seed + 0x3000),
-    makeSiblingPath(seed + 0x4000, L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH),
+    makeL1ToL2MessageSponge(seed + 0x3500),
+    makeSiblingPath(seed + 0x4000, L1_TO_L2_MSG_TREE_HEIGHT),
     makeSiblingPath(seed + 0x5000, ARCHIVE_HEIGHT),
   );
 }
@@ -958,7 +960,11 @@ export function makeBlockRootFirstRollupPrivateInputs(seed = 0) {
 export function makeBlockRootSingleTxRollupPrivateInputs(seed = 0) {
   return new BlockRootSingleTxRollupPrivateInputs(
     makeProofData(seed + 0x1000, makeTxRollupPublicInputs),
-    makeSiblingPath(seed + 0x4000, ARCHIVE_HEIGHT),
+    new L1ToL2MessageBundle(makeArray(MAX_L1_TO_L2_MSGS_PER_BLOCK, fr, seed + 0x2500), 0),
+    makeAppendOnlyTreeSnapshot(seed + 0x2800),
+    makeL1ToL2MessageSponge(seed + 0x3000),
+    makeSiblingPath(seed + 0x4000, L1_TO_L2_MSG_TREE_HEIGHT),
+    makeSiblingPath(seed + 0x5000, ARCHIVE_HEIGHT),
   );
 }
 

package/src/tests/fixtures.ts

@@ -5,6 +5,9 @@ import { fileURLToPath } from 'url';
 import { type ContractArtifact, loadContractArtifact } from '../abi/index.js';
 import type { NoirCompiledContract } from '../noir/index.js';
 
+// The fixtures are gitignored copies of noir-contracts build outputs, read via fs below.
+// @dependency ../../fixtures/*.json
+
 // Copied from the build output for the contract `Benchmarking` in noir-contracts
 export function getBenchmarkContractArtifact(): ContractArtifact {
   const path = getPathToFixture('Benchmarking.test.json');

package/src/tests/mocks.ts

@@ -50,7 +50,7 @@ import {
 import { PrivateToAvmAccumulatedData } from '../kernel/private_to_avm_accumulated_data.js';
 import { PrivateToPublicAccumulatedDataBuilder } from '../kernel/private_to_public_accumulated_data_builder.js';
 import { PublicCallRequestArrayLengths } from '../kernel/public_call_request.js';
-import { computeInHashFromL1ToL2Messages } from '../messaging/in_hash.js';
+import { InboxBucketRef } from '../messaging/inbox_bucket.js';
 import { BlockProposal } from '../p2p/block_proposal.js';
 import { CheckpointAttestation } from '../p2p/checkpoint_attestation.js';
 import { CheckpointProposal } from '../p2p/checkpoint_proposal.js';
@@ -476,11 +476,9 @@ export async function mockCheckpointAndMessages(
   }
 
   const messages = blocksAndMessages[0].messages;
-  const inHash = computeInHashFromL1ToL2Messages(messages);
   const firstBlockLastArchive = blocksAndMessages[0].block.header.lastArchive;
   const checkpoint = await Checkpoint.random(checkpointNumber, {
     numBlocks: 0,
-    inHash,
     ...options,
     ...globals,
     lastArchive: firstBlockLastArchive,
@@ -544,11 +542,11 @@ export interface MakeBlockProposalOptions {
   signer?: Secp256k1Signer;
   blockHeader?: BlockHeader;
   indexWithinCheckpoint?: IndexWithinCheckpoint;
-  inHash?: Fr;
   archiveRoot?: Fr;
   txHashes?: TxHash[];
   txs?: Tx[];
   signatureContext?: CoordinationSignatureContext;
+  bucketRef?: InboxBucketRef;
 }
 
 export interface MakeCheckpointProposalOptions {
@@ -563,6 +561,7 @@ export interface MakeCheckpointProposalOptions {
     indexWithinCheckpoint?: IndexWithinCheckpoint;
     txHashes?: TxHash[];
     txs?: Tx[];
+    bucketRef?: InboxBucketRef;
   };
 }
 
@@ -595,24 +594,24 @@ export const makeAndSignCommitteeAttestationsAndSigners = (
 export const makeBlockProposal = (options?: MakeBlockProposalOptions): Promise<BlockProposal> => {
   const blockHeader = options?.blockHeader ?? makeBlockHeader(1);
   const indexWithinCheckpoint = options?.indexWithinCheckpoint ?? IndexWithinCheckpoint(0);
-  const inHash = options?.inHash ?? Fr.random();
   const archiveRoot = options?.archiveRoot ?? Fr.random();
   const txHashes = options?.txHashes ?? [0, 1, 2, 3, 4, 5].map(() => TxHash.random());
   const txs = options?.txs;
   const signer = options?.signer ?? Secp256k1Signer.random();
   const signatureContext = options?.signatureContext ?? TEST_COORDINATION_SIGNATURE_CONTEXT;
+  const bucketRef = options?.bucketRef;
 
   return BlockProposal.createProposalFromSigner(
     blockHeader,
     CheckpointNumber(1),
     indexWithinCheckpoint,
-    inHash,
     archiveRoot,
     txHashes,
     txs,
     signatureContext,
     (typedData, _context) => Promise.resolve(signTypedData(signer, typedData)),
     (typedData, _context) => Promise.resolve(signTypedData(signer, typedData)),
+    bucketRef,
   );
 };
 
@@ -628,12 +627,12 @@ export const makeCheckpointProposal = async (options?: MakeCheckpointProposalOpt
     ? await makeBlockProposal({
         blockHeader: options.lastBlock.blockHeader,
         indexWithinCheckpoint: options.lastBlock.indexWithinCheckpoint ?? IndexWithinCheckpoint(4),
-        inHash: checkpointHeader.inHash,
         archiveRoot,
         txHashes: options.lastBlock.txHashes,
         txs: options.lastBlock.txs,
         signer,
         signatureContext,
+        bucketRef: options.lastBlock.bucketRef,
       })
     : undefined;
 

package/src/tx/state_reference.ts

@@ -1,9 +1,4 @@
-import {
-  MAX_NOTE_HASHES_PER_TX,
-  MAX_NULLIFIERS_PER_TX,
-  NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP,
-  STATE_REFERENCE_LENGTH,
-} from '@aztec/constants';
+import { MAX_NOTE_HASHES_PER_TX, MAX_NULLIFIERS_PER_TX, STATE_REFERENCE_LENGTH } from '@aztec/constants';
 import type { Fr } from '@aztec/foundation/curves/bn254';
 import { BufferReader, BufferSink, FieldReader, serializeToSink } from '@aztec/foundation/serialize';
 import type { FieldsOf } from '@aztec/foundation/types';
@@ -106,14 +101,12 @@ export class StateReference {
   }
 
   /**
-   * Validates the trees in world state have the expected number of leaves (multiple of number of insertions per tx)
+   * Validates the partial-state trees have the expected number of leaves (multiple of number of insertions per tx).
+   *
+   * The L1-to-L2 message tree is not checked: it grows by real message counts at compact (unaligned)
+   * indices, so its next-available leaf index is no longer a multiple of any per-block subtree size.
    */
   public validate() {
-    if (this.l1ToL2MessageTree.nextAvailableLeafIndex % NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP !== 0) {
-      throw new Error(
-        `Invalid L1 to L2 message tree next available leaf index ${this.l1ToL2MessageTree.nextAvailableLeafIndex} (must be a multiple of ${NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP})`,
-      );
-    }
     if (this.partial.noteHashTree.nextAvailableLeafIndex % MAX_NOTE_HASHES_PER_TX !== 0) {
       throw new Error(
         `Invalid note hash tree next available leaf index ${this.partial.noteHashTree.nextAvailableLeafIndex} (must be a multiple of ${MAX_NOTE_HASHES_PER_TX})`,

package/dest/messaging/in_hash.d.ts

@@ -1,6 +0,0 @@
-import { Fr } from '@aztec/foundation/curves/bn254';
-/**
- * Computes the inHash for a checkpoint (or the first block in a checkpoint) given its l1 to l2 messages.
- */
-export declare function computeInHashFromL1ToL2Messages(unpaddedL1ToL2Messages: Fr[]): Fr;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5faGFzaC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL21lc3NhZ2luZy9pbl9oYXNoLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUVBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUdwRDs7R0FFRztBQUNILHdCQUFnQiwrQkFBK0IsQ0FBQyxzQkFBc0IsRUFBRSxFQUFFLEVBQUUsR0FBRyxFQUFFLENBR2hGIn0=

package/dest/messaging/in_hash.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"in_hash.d.ts","sourceRoot":"","sources":["../../src/messaging/in_hash.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAGpD;;GAEG;AACH,wBAAgB,+BAA+B,CAAC,sBAAsB,EAAE,EAAE,EAAE,GAAG,EAAE,CAGhF"}

package/dest/messaging/in_hash.js

@@ -1,10 +0,0 @@
-import { NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP } from '@aztec/constants';
-import { padArrayEnd } from '@aztec/foundation/collection';
-import { Fr } from '@aztec/foundation/curves/bn254';
-import { computeBalancedShaRoot } from '@aztec/foundation/trees';
-/**
- * Computes the inHash for a checkpoint (or the first block in a checkpoint) given its l1 to l2 messages.
- */ export function computeInHashFromL1ToL2Messages(unpaddedL1ToL2Messages) {
-    const l1ToL2Messages = padArrayEnd(unpaddedL1ToL2Messages, Fr.ZERO, NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP);
-    return new Fr(computeBalancedShaRoot(l1ToL2Messages.map((msg)=>msg.toBuffer())));
-}

package/dest/messaging/inbox_leaf.d.ts

@@ -1,25 +0,0 @@
-import { CheckpointNumber } from '@aztec/foundation/branded-types';
-import { Fr } from '@aztec/foundation/curves/bn254';
-import { BufferReader } from '@aztec/foundation/serialize';
-export declare class InboxLeaf {
-    /** Index of the leaf in the whole tree. */
-    readonly index: bigint;
-    /** Leaf in the subtree/message hash. */
-    readonly leaf: Fr;
-    constructor(
-    /** Index of the leaf in the whole tree. */
-    index: bigint, 
-    /** Leaf in the subtree/message hash. */
-    leaf: Fr);
-    toBuffer(): Buffer;
-    fromBuffer(buffer: Buffer | BufferReader): InboxLeaf;
-    static smallestIndexForCheckpoint(checkpointNumber: CheckpointNumber): bigint;
-    /**
-     * Returns the range of valid indices for a given checkpoint.
-     * Start index is inclusive, end index is exclusive.
-     */
-    static indexRangeForCheckpoint(checkpointNumber: CheckpointNumber): [bigint, bigint];
-    /** Returns the checkpoint number for a given leaf index */
-    static checkpointNumberFromIndex(index: bigint): CheckpointNumber;
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5ib3hfbGVhZi5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL21lc3NhZ2luZy9pbmJveF9sZWFmLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUVBLE9BQU8sRUFBRSxnQkFBZ0IsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQ25FLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsWUFBWSxFQUFxQixNQUFNLDZCQUE2QixDQUFDO0FBRTlFLHFCQUFhLFNBQVM7SUFFbEIsMkNBQTJDO2FBQzNCLEtBQUssRUFBRSxNQUFNO0lBQzdCLHdDQUF3QzthQUN4QixJQUFJLEVBQUUsRUFBRTtJQUoxQjtJQUNFLDJDQUEyQztJQUMzQixLQUFLLEVBQUUsTUFBTTtJQUM3Qix3Q0FBd0M7SUFDeEIsSUFBSSxFQUFFLEVBQUUsRUFDdEI7SUFFSixRQUFRLElBQUksTUFBTSxDQUVqQjtJQUVELFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxTQUFTLENBS25EO0lBRUQsTUFBTSxDQUFDLDBCQUEwQixDQUFDLGdCQUFnQixFQUFFLGdCQUFnQixHQUFHLE1BQU0sQ0FFNUU7SUFFRDs7O09BR0c7SUFDSCxNQUFNLENBQUMsdUJBQXVCLENBQUMsZ0JBQWdCLEVBQUUsZ0JBQWdCLEdBQUcsQ0FBQyxNQUFNLEVBQUUsTUFBTSxDQUFDLENBSW5GO0lBRUQsMkRBQTJEO0lBQzNELE1BQU0sQ0FBQyx5QkFBeUIsQ0FBQyxLQUFLLEVBQUUsTUFBTSxHQUFHLGdCQUFnQixDQUVoRTtDQUNGIn0=

package/dest/messaging/inbox_leaf.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"inbox_leaf.d.ts","sourceRoot":"","sources":["../../src/messaging/inbox_leaf.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,qBAAa,SAAS;IAElB,2CAA2C;aAC3B,KAAK,EAAE,MAAM;IAC7B,wCAAwC;aACxB,IAAI,EAAE,EAAE;IAJ1B;IACE,2CAA2C;IAC3B,KAAK,EAAE,MAAM;IAC7B,wCAAwC;IACxB,IAAI,EAAE,EAAE,EACtB;IAEJ,QAAQ,IAAI,MAAM,CAEjB;IAED,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CAKnD;IAED,MAAM,CAAC,0BAA0B,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,MAAM,CAE5E;IAED;;;OAGG;IACH,MAAM,CAAC,uBAAuB,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAInF;IAED,2DAA2D;IAC3D,MAAM,CAAC,yBAAyB,CAAC,KAAK,EAAE,MAAM,GAAG,gBAAgB,CAEhE;CACF"}

package/dest/messaging/inbox_leaf.js

@@ -1,42 +0,0 @@
-import { INITIAL_CHECKPOINT_NUMBER, NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP } from '@aztec/constants';
-import { toBigIntBE } from '@aztec/foundation/bigint-buffer';
-import { CheckpointNumber } from '@aztec/foundation/branded-types';
-import { Fr } from '@aztec/foundation/curves/bn254';
-import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
-export class InboxLeaf {
-    index;
-    leaf;
-    constructor(/** Index of the leaf in the whole tree. */ index, /** Leaf in the subtree/message hash. */ leaf){
-        this.index = index;
-        this.leaf = leaf;
-    }
-    toBuffer() {
-        return serializeToBuffer([
-            this.index,
-            this.leaf
-        ]);
-    }
-    fromBuffer(buffer) {
-        const reader = BufferReader.asReader(buffer);
-        const index = toBigIntBE(reader.readBytes(32));
-        const leaf = reader.readObject(Fr);
-        return new InboxLeaf(index, leaf);
-    }
-    static smallestIndexForCheckpoint(checkpointNumber) {
-        return BigInt(checkpointNumber - INITIAL_CHECKPOINT_NUMBER) * BigInt(NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP);
-    }
-    /**
-   * Returns the range of valid indices for a given checkpoint.
-   * Start index is inclusive, end index is exclusive.
-   */ static indexRangeForCheckpoint(checkpointNumber) {
-        const start = this.smallestIndexForCheckpoint(checkpointNumber);
-        const end = start + BigInt(NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP);
-        return [
-            start,
-            end
-        ];
-    }
-    /** Returns the checkpoint number for a given leaf index */ static checkpointNumberFromIndex(index) {
-        return CheckpointNumber(Number(index / BigInt(NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP)) + INITIAL_CHECKPOINT_NUMBER);
-    }
-}

package/dest/parity/parity_base_private_inputs.d.ts

@@ -1,39 +0,0 @@
-import { NUM_MSGS_PER_BASE_PARITY } from '@aztec/constants';
-import { Fr } from '@aztec/foundation/curves/bn254';
-import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
-export declare class ParityBasePrivateInputs {
-    /** Aggregated proof of all the parity circuit iterations. */
-    readonly msgs: Tuple<Fr, typeof NUM_MSGS_PER_BASE_PARITY>;
-    /** Root of the VK tree */
-    readonly vkTreeRoot: Fr;
-    /** Prover identity committed to by the circuit, for sybil protection. */
-    readonly proverId: Fr;
-    constructor(
-    /** Aggregated proof of all the parity circuit iterations. */
-    msgs: Tuple<Fr, typeof NUM_MSGS_PER_BASE_PARITY>, 
-    /** Root of the VK tree */
-    vkTreeRoot: Fr, 
-    /** Prover identity committed to by the circuit, for sybil protection. */
-    proverId: Fr);
-    static fromSlice(array: Fr[], index: number, vkTreeRoot: Fr, proverId: Fr): ParityBasePrivateInputs;
-    /** Serializes the inputs to a buffer. */
-    toBuffer(): Buffer<ArrayBufferLike>;
-    /** Serializes the inputs to a hex string. */
-    toString(): `0x${string}`;
-    /**
-     * Deserializes the inputs from a buffer.
-     * @param buffer - The buffer to deserialize from.
-     */
-    static fromBuffer(buffer: Buffer | BufferReader): ParityBasePrivateInputs;
-    /**
-     * Deserializes the inputs from a hex string.
-     * @param str - The hex string to deserialize from.
-     * @returns - The deserialized inputs.
-     */
-    static fromString(str: string): ParityBasePrivateInputs;
-    /** Returns a buffer representation for JSON serialization. */
-    toJSON(): Buffer<ArrayBufferLike>;
-    /** Creates an instance from a hex string. */
-    static get schema(): import("zod").ZodType<ParityBasePrivateInputs, string, import("zod/v4/core").$ZodTypeInternals<ParityBasePrivateInputs, string>>;
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicGFyaXR5X2Jhc2VfcHJpdmF0ZV9pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wYXJpdHkvcGFyaXR5X2Jhc2VfcHJpdmF0ZV9pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUF1Qyx3QkFBd0IsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBQ2pHLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVwRCxPQUFPLEVBQUUsWUFBWSxFQUFFLEtBQUssS0FBSyxFQUFxQixNQUFNLDZCQUE2QixDQUFDO0FBRzFGLHFCQUFhLHVCQUF1QjtJQUVoQyw2REFBNkQ7YUFDN0MsSUFBSSxFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTyx3QkFBd0IsQ0FBQztJQUNoRSwwQkFBMEI7YUFDVixVQUFVLEVBQUUsRUFBRTtJQUM5Qix5RUFBeUU7YUFDekQsUUFBUSxFQUFFLEVBQUU7SUFOOUI7SUFDRSw2REFBNkQ7SUFDN0MsSUFBSSxFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTyx3QkFBd0IsQ0FBQztJQUNoRSwwQkFBMEI7SUFDVixVQUFVLEVBQUUsRUFBRTtJQUM5Qix5RUFBeUU7SUFDekQsUUFBUSxFQUFFLEVBQUUsRUFDMUI7SUFFSixPQUFjLFNBQVMsQ0FBQyxLQUFLLEVBQUUsRUFBRSxFQUFFLEVBQUUsS0FBSyxFQUFFLE1BQU0sRUFBRSxVQUFVLEVBQUUsRUFBRSxFQUFFLFFBQVEsRUFBRSxFQUFFLEdBQUcsdUJBQXVCLENBV3pHO0lBRUQseUNBQXlDO0lBQ3pDLFFBQVEsNEJBRVA7SUFFRCw2Q0FBNkM7SUFDN0MsUUFBUSxrQkFFUDtJQUVEOzs7T0FHRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLDJCQU85QztJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLDJCQUU1QjtJQUVELDhEQUE4RDtJQUM5RCxNQUFNLDRCQUVMO0lBRUQsNkNBQTZDO0lBQzdDLE1BQU0sS0FBSyxNQUFNLHFJQUVoQjtDQUNGIn0=

package/dest/parity/parity_base_private_inputs.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"parity_base_private_inputs.d.ts","sourceRoot":"","sources":["../../src/parity/parity_base_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAuC,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AACjG,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAG1F,qBAAa,uBAAuB;IAEhC,6DAA6D;aAC7C,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IAChE,0BAA0B;aACV,UAAU,EAAE,EAAE;IAC9B,yEAAyE;aACzD,QAAQ,EAAE,EAAE;IAN9B;IACE,6DAA6D;IAC7C,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IAChE,0BAA0B;IACV,UAAU,EAAE,EAAE;IAC9B,yEAAyE;IACzD,QAAQ,EAAE,EAAE,EAC1B;IAEJ,OAAc,SAAS,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,GAAG,uBAAuB,CAWzG;IAED,yCAAyC;IACzC,QAAQ,4BAEP;IAED,6CAA6C;IAC7C,QAAQ,kBAEP;IAED;;;OAGG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,2BAO9C;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,2BAE5B;IAED,8DAA8D;IAC9D,MAAM,4BAEL;IAED,6CAA6C;IAC7C,MAAM,KAAK,MAAM,qIAEhB;CACF"}

package/dest/parity/parity_base_private_inputs.js

@@ -1,51 +0,0 @@
-import { NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP, NUM_MSGS_PER_BASE_PARITY } from '@aztec/constants';
-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';
-export class ParityBasePrivateInputs {
-    msgs;
-    vkTreeRoot;
-    proverId;
-    constructor(/** Aggregated proof of all the parity circuit iterations. */ msgs, /** Root of the VK tree */ vkTreeRoot, /** Prover identity committed to by the circuit, for sybil protection. */ proverId){
-        this.msgs = msgs;
-        this.vkTreeRoot = vkTreeRoot;
-        this.proverId = proverId;
-    }
-    static fromSlice(array, index, vkTreeRoot, proverId) {
-        // Can't use Tuple<Fr, typeof NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP> due to length
-        if (array.length !== NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP) {
-            throw new Error(`Msgs array length must be NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP=${NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP}`);
-        }
-        const start = index * NUM_MSGS_PER_BASE_PARITY;
-        const end = start + NUM_MSGS_PER_BASE_PARITY;
-        const msgs = array.slice(start, end);
-        return new ParityBasePrivateInputs(msgs, vkTreeRoot, proverId);
-    }
-    /** Serializes the inputs to a buffer. */ toBuffer() {
-        return serializeToBuffer(this.msgs, this.vkTreeRoot, this.proverId);
-    }
-    /** Serializes the inputs to a hex string. */ toString() {
-        return bufferToHex(this.toBuffer());
-    }
-    /**
-   * Deserializes the inputs from a buffer.
-   * @param buffer - The buffer to deserialize from.
-   */ static fromBuffer(buffer) {
-        const reader = BufferReader.asReader(buffer);
-        return new ParityBasePrivateInputs(reader.readArray(NUM_MSGS_PER_BASE_PARITY, Fr), Fr.fromBuffer(reader), Fr.fromBuffer(reader));
-    }
-    /**
-   * Deserializes the inputs from a hex string.
-   * @param str - The hex string to deserialize from.
-   * @returns - The deserialized inputs.
-   */ static fromString(str) {
-        return ParityBasePrivateInputs.fromBuffer(hexToBuffer(str));
-    }
-    /** Returns a buffer representation for JSON serialization. */ toJSON() {
-        return this.toBuffer();
-    }
-    /** Creates an instance from a hex string. */ static get schema() {
-        return bufferSchemaFor(ParityBasePrivateInputs);
-    }
-}

package/dest/parity/parity_root_private_inputs.d.ts

@@ -1,39 +0,0 @@
-import { NUM_BASE_PARITY_PER_ROOT_PARITY } from '@aztec/constants';
-import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
-import { type UltraHonkProofData } from '../proofs/proof_data.js';
-import { ParityPublicInputs } from './parity_public_inputs.js';
-export type ParityBaseProofData = UltraHonkProofData<ParityPublicInputs>;
-export declare class ParityRootPrivateInputs {
-    /** Public inputs of the parity base circuits and their proofs and vk data. */
-    readonly children: Tuple<ParityBaseProofData, typeof NUM_BASE_PARITY_PER_ROOT_PARITY>;
-    constructor(
-    /** Public inputs of the parity base circuits and their proofs and vk data. */
-    children: Tuple<ParityBaseProofData, typeof NUM_BASE_PARITY_PER_ROOT_PARITY>);
-    /**
-     * Serializes the inputs to a buffer.
-     * @returns The inputs serialized to a buffer.
-     */
-    toBuffer(): Buffer<ArrayBufferLike>;
-    /**
-     * Serializes the inputs to a hex string.
-     * @returns The instance serialized to a hex string.
-     */
-    toString(): `0x${string}`;
-    /**
-     * Deserializes the inputs from a buffer.
-     * @param buffer - The buffer to deserialize from.
-     * @returns A new ParityRootPrivateInputs instance.
-     */
-    static fromBuffer(buffer: Buffer | BufferReader): ParityRootPrivateInputs;
-    /**
-     * Deserializes the inputs from a hex string.
-     * @param str - A hex string to deserialize from.
-     * @returns A new ParityRootPrivateInputs instance.
-     */
-    static fromString(str: string): ParityRootPrivateInputs;
-    /** Returns a buffer representation for JSON serialization. */
-    toJSON(): Buffer<ArrayBufferLike>;
-    /** Creates an instance from a hex string. */
-    static get schema(): import("zod").ZodType<ParityRootPrivateInputs, string, import("zod/v4/core").$ZodTypeInternals<ParityRootPrivateInputs, string>>;
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicGFyaXR5X3Jvb3RfcHJpdmF0ZV9pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wYXJpdHkvcGFyaXR5X3Jvb3RfcHJpdmF0ZV9pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLCtCQUErQixFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFHbkUsT0FBTyxFQUFFLFlBQVksRUFBRSxLQUFLLEtBQUssRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUcxRixPQUFPLEVBQWEsS0FBSyxrQkFBa0IsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQzdFLE9BQU8sRUFBRSxrQkFBa0IsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBRS9ELE1BQU0sTUFBTSxtQkFBbUIsR0FBRyxrQkFBa0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDO0FBRXpFLHFCQUFhLHVCQUF1QjtJQUVoQyw4RUFBOEU7YUFDOUQsUUFBUSxFQUFFLEtBQUssQ0FBQyxtQkFBbUIsRUFBRSxPQUFPLCtCQUErQixDQUFDO0lBRjlGO0lBQ0UsOEVBQThFO0lBQzlELFFBQVEsRUFBRSxLQUFLLENBQUMsbUJBQW1CLEVBQUUsT0FBTywrQkFBK0IsQ0FBQyxFQUMxRjtJQUVKOzs7T0FHRztJQUNILFFBQVEsNEJBRVA7SUFFRDs7O09BR0c7SUFDSCxRQUFRLGtCQUVQO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLDJCQUs5QztJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLDJCQUU1QjtJQUVELDhEQUE4RDtJQUM5RCxNQUFNLDRCQUVMO0lBRUQsNkNBQTZDO0lBQzdDLE1BQU0sS0FBSyxNQUFNLHFJQUVoQjtDQUNGIn0=

package/dest/parity/parity_root_private_inputs.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"parity_root_private_inputs.d.ts","sourceRoot":"","sources":["../../src/parity/parity_root_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,+BAA+B,EAAE,MAAM,kBAAkB,CAAC;AAGnE,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAG1F,OAAO,EAAa,KAAK,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAE/D,MAAM,MAAM,mBAAmB,GAAG,kBAAkB,CAAC,kBAAkB,CAAC,CAAC;AAEzE,qBAAa,uBAAuB;IAEhC,8EAA8E;aAC9D,QAAQ,EAAE,KAAK,CAAC,mBAAmB,EAAE,OAAO,+BAA+B,CAAC;IAF9F;IACE,8EAA8E;IAC9D,QAAQ,EAAE,KAAK,CAAC,mBAAmB,EAAE,OAAO,+BAA+B,CAAC,EAC1F;IAEJ;;;OAGG;IACH,QAAQ,4BAEP;IAED;;;OAGG;IACH,QAAQ,kBAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,2BAK9C;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,2BAE5B;IAED,8DAA8D;IAC9D,MAAM,4BAEL;IAED,6CAA6C;IAC7C,MAAM,KAAK,MAAM,qIAEhB;CACF"}

package/dest/parity/parity_root_private_inputs.js

@@ -1,46 +0,0 @@
-import { NUM_BASE_PARITY_PER_ROOT_PARITY } from '@aztec/constants';
-import { makeTuple } from '@aztec/foundation/array';
-import { bufferSchemaFor } from '@aztec/foundation/schemas';
-import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
-import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
-import { ProofData } from '../proofs/proof_data.js';
-import { ParityPublicInputs } from './parity_public_inputs.js';
-export class ParityRootPrivateInputs {
-    children;
-    constructor(/** Public inputs of the parity base circuits and their proofs and vk data. */ children){
-        this.children = children;
-    }
-    /**
-   * Serializes the inputs to a buffer.
-   * @returns The inputs serialized to a buffer.
-   */ toBuffer() {
-        return serializeToBuffer(this.children);
-    }
-    /**
-   * Serializes the inputs to a hex string.
-   * @returns The instance serialized to a hex string.
-   */ toString() {
-        return bufferToHex(this.toBuffer());
-    }
-    /**
-   * Deserializes the inputs from a buffer.
-   * @param buffer - The buffer to deserialize from.
-   * @returns A new ParityRootPrivateInputs instance.
-   */ static fromBuffer(buffer) {
-        const reader = BufferReader.asReader(buffer);
-        return new ParityRootPrivateInputs(makeTuple(NUM_BASE_PARITY_PER_ROOT_PARITY, ()=>ProofData.fromBuffer(reader, ParityPublicInputs)));
-    }
-    /**
-   * Deserializes the inputs from a hex string.
-   * @param str - A hex string to deserialize from.
-   * @returns A new ParityRootPrivateInputs instance.
-   */ static fromString(str) {
-        return ParityRootPrivateInputs.fromBuffer(hexToBuffer(str));
-    }
-    /** Returns a buffer representation for JSON serialization. */ toJSON() {
-        return this.toBuffer();
-    }
-    /** Creates an instance from a hex string. */ static get schema() {
-        return bufferSchemaFor(ParityRootPrivateInputs);
-    }
-}

package/src/messaging/in_hash.ts

@@ -1,12 +0,0 @@
-import { NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP } from '@aztec/constants';
-import { padArrayEnd } from '@aztec/foundation/collection';
-import { Fr } from '@aztec/foundation/curves/bn254';
-import { computeBalancedShaRoot } from '@aztec/foundation/trees';
-
-/**
- * Computes the inHash for a checkpoint (or the first block in a checkpoint) given its l1 to l2 messages.
- */
-export function computeInHashFromL1ToL2Messages(unpaddedL1ToL2Messages: Fr[]): Fr {
-  const l1ToL2Messages = padArrayEnd<Fr, number>(unpaddedL1ToL2Messages, Fr.ZERO, NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP);
-  return new Fr(computeBalancedShaRoot(l1ToL2Messages.map(msg => msg.toBuffer())));
-}