fix(fast-inbox): typecheck fixes for the streaming flip (A-1384)

- import BlockHeader from @aztec/stdlib/tx in prover-node (stdlib/block never
  exported it)
- read the checkpoint proposal's consumed bucket from lastBlock.bucketRef
- widen the block-record binary search bounds to plain numbers
- carry bucketHint in the expected L1 propose args of the publisher tests

Author: spalladino

yarn-project/aztec-node/src/modules/node_world_state_queries.ts

@@ -197,8 +197,8 @@ export class NodeWorldStateQueries {
 
   /** Binary-searches the block records for the first block whose L1-to-L2 tree leaf count exceeds `messageIndex`. */
   async #findBlockConsumingL1ToL2MessageIndex(messageIndex: bigint): Promise<BlockData | undefined> {
-    let lo = INITIAL_L2_BLOCK_NUM;
-    let hi = await this.blockSource.getBlockNumber();
+    let lo: number = INITIAL_L2_BLOCK_NUM;
+    let hi: number = await this.blockSource.getBlockNumber();
     let result: BlockData | undefined;
     while (lo <= hi) {
       const mid = lo + Math.floor((hi - lo) / 2);

yarn-project/prover-node/src/prover-node.ts

@@ -13,7 +13,6 @@ import { getLastSiblingPath } from '@aztec/prover-client/helpers';
 import { ChonkCache } from '@aztec/prover-client/orchestrator';
 import { type AvmSimulator, PublicProcessorFactory } from '@aztec/simulator/server';
 import {
-  type BlockHeader,
   EventDrivenL2BlockStream,
   type L2Block,
   type L2BlockId,
@@ -39,6 +38,7 @@ import {
 import type { DataStoreConfig } from '@aztec/stdlib/kv-store';
 import type { L1ToL2MessageSource } from '@aztec/stdlib/messaging';
 import { MerkleTreeId } from '@aztec/stdlib/trees';
+import type { BlockHeader } from '@aztec/stdlib/tx';
 import {
   L1Metrics,
   type TelemetryClient,

yarn-project/sequencer-client/src/publisher/l1_publisher.integration.test.ts

@@ -661,6 +661,7 @@ describe('L1Publisher integration', () => {
               oracleInput: {
                 feeAssetPriceModifier: 0n,
               },
+              bucketHint: 0n,
             },
             CommitteeAttestationsAndSigners.packAttestations([]),
             [],

yarn-project/sequencer-client/src/publisher/sequencer-publisher.test.ts

@@ -293,6 +293,7 @@ describe('SequencerPublisher', () => {
         oracleInput: {
           feeAssetPriceModifier: 0n,
         },
+        bucketHint: 0n,
       },
       CommitteeAttestationsAndSigners.packAttestations([]),
       [],

yarn-project/sequencer-client/src/sequencer/checkpoint_proposal_job.ts

@@ -311,7 +311,7 @@ export class CheckpointProposalJob implements Traceable {
   ): Promise<void> {
     const { checkpoint } = broadcast;
     // The checkpoint's consumed Inbox bucket is the last block's bucket reference (undefined ⇒ genesis bucket 0).
-    const bucketHint = broadcast.proposal.bucketRef?.bucketSeq ?? 0n;
+    const bucketHint = broadcast.proposal.lastBlock?.bucketRef?.bucketSeq ?? 0n;
 
     try {
       // Wait for all votes actions, enqueued at the beginning, to resolve