chore: drop unused imports and fix test-input types after per-block bundle change (A-1374)

Author: spalladino

yarn-project/prover-client/src/orchestrator/block-proving-state.ts

@@ -8,9 +8,8 @@ import {
   type NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH,
 } from '@aztec/constants';
 import { BlockNumber } from '@aztec/foundation/branded-types';
-import { padArrayEnd } from '@aztec/foundation/collection';
 import { Fr } from '@aztec/foundation/curves/bn254';
-import { type Tuple } from '@aztec/foundation/serialize';
+import type { Tuple } from '@aztec/foundation/serialize';
 import { type TreeNodeLocation, UnbalancedTreeStore } from '@aztec/foundation/trees';
 import type { PublicInputsAndRecursiveProof } from '@aztec/stdlib/interfaces/server';
 import type { RollupHonkProofData } from '@aztec/stdlib/proofs';
@@ -378,7 +377,8 @@ export class BlockProvingState {
     if (this.isFirstBlock) {
       return { leaves: this.parentCheckpoint.getPaddedL1ToL2Messages(), numMsgs: MAX_L1_TO_L2_MSGS_PER_BLOCK };
     }
-    return { leaves: padArrayEnd([], Fr.ZERO, MAX_L1_TO_L2_MSGS_PER_BLOCK), numMsgs: 0 };
+    // Array.from (not padArrayEnd) keeps the type `Fr[]` — a padArrayEnd to the literal cap infers a deep tuple type.
+    return { leaves: Array.from({ length: MAX_L1_TO_L2_MSGS_PER_BLOCK }, () => Fr.ZERO), numMsgs: 0 };
   }
 
   /**

yarn-project/prover-client/src/orchestrator/checkpoint-sub-tree-orchestrator.ts

@@ -25,11 +25,7 @@ import type {
   ReadonlyWorldStateAccess,
   ServerCircuitProver,
 } from '@aztec/stdlib/interfaces/server';
-import {
-  L1ToL2MessageSponge,
-  accumulateL1ToL2MessageSponge,
-  appendL1ToL2MessagesToTree,
-} from '@aztec/stdlib/messaging';
+import { L1ToL2MessageSponge, appendL1ToL2MessagesToTree } from '@aztec/stdlib/messaging';
 import type { ParityPublicInputs } from '@aztec/stdlib/parity';
 import {
   type BaseRollupHints,
@@ -530,7 +526,7 @@ export class CheckpointSubTreeOrchestrator extends ProvingScheduler {
     // Precompute the message-bundle sponges. The checkpoint's messages are padded to the per-checkpoint cap (the first
     // block's transitional bundle); base parity `i` starts from the sponge over the first `i` chunks, and the whole
     // padded sponge is inherited by non-first block roots.
-    const paddedL1ToL2Messages = padArrayEnd(l1ToL2Messages, Fr.ZERO, MAX_L1_TO_L2_MSGS_PER_CHECKPOINT);
+    const paddedL1ToL2Messages = padArrayEnd<Fr, number>(l1ToL2Messages, Fr.ZERO, MAX_L1_TO_L2_MSGS_PER_CHECKPOINT);
     const baseParityStartSponges: L1ToL2MessageSponge[] = [];
     let runningSponge = L1ToL2MessageSponge.empty();
     for (let i = 0; i < NUM_BASE_PARITY_PER_ROOT_PARITY; i++) {

yarn-project/prover-client/src/test/bb_prover_full_rollup.test.ts

@@ -103,7 +103,9 @@ describe('prover/bb_prover/full-rollup', () => {
           }
 
           topTreeData.push({
-            blockProofs: subTree.getSubTreeResult().then(r => r.blockProofOutputs),
+            blockProofs: subTree
+              .getSubTreeResult()
+              .then(r => ({ blockProofOutputs: r.blockProofOutputs, parityRootProof: r.parityRootProof })),
             l2ToL1MsgsPerBlock: blocks.map(b => b.txs.map(tx => tx.txEffect.l2ToL1Msgs)),
             blobFields: checkpoint.toBlobFields(),
             previousBlockHeader,

yarn-project/stdlib/src/tests/factories.ts

@@ -9,7 +9,6 @@ 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,
   L1_TO_L2_MSG_TREE_HEIGHT,
   MAX_CHECKPOINTS_PER_EPOCH,
   MAX_CONTRACT_CLASS_LOGS_PER_TX,