@aztec-labs/archiver 6.0.0-nightly.20260829

package/dest/test/fake_l1_state.js

@@ -0,0 +1,565 @@
+import { RollupAbi } from '@aztec/l1-artifacts';
+import { getBlobsPerL1Block, getPrefixedEthBlobCommitments } from '@aztec-labs/blob-lib';
+import { MULTI_CALL_3_ADDRESS } from '@aztec-labs/ethereum/contracts';
+import { CheckpointNumber } from '@aztec-labs/foundation/branded-types';
+import { Buffer32 } from '@aztec-labs/foundation/buffer';
+import { Secp256k1Signer } from '@aztec-labs/foundation/crypto/secp256k1-signer';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { createLogger } from '@aztec-labs/foundation/log';
+import { CommitteeAttestation, CommitteeAttestationsAndSigners } from '@aztec-labs/stdlib/block';
+import { getSlotAtTimestamp } from '@aztec-labs/stdlib/epoch-helpers';
+import { updateInboxRollingHash } from '@aztec-labs/stdlib/messaging';
+import { ConsensusPayload, getHashedSignaturePayloadTypedData } from '@aztec-labs/stdlib/p2p';
+import { mockCheckpointAndMessages } from '@aztec-labs/stdlib/testing';
+import { AppendOnlyTreeSnapshot } from '@aztec-labs/stdlib/trees';
+import { mock } from 'jest-mock-extended';
+import { encodeAbiParameters, encodeFunctionData, keccak256, multicall3Abi, toHex } from 'viem';
+// Mirror of the on-chain per-bucket message cap: further messages in the same L1 block spill into the next bucket.
+const MAX_MSGS_PER_BUCKET = 256;
+/**
+ * Stateful fake for L1 data used by the archiver.
+ *
+ * This class simulates the L1 blockchain state that the archiver reads from:
+ * - RollupContract: status(), archiveAt(), getVersion(), getTargetCommitteeSize(), CheckpointProposed events
+ * - InboxContract: getState(), MessageSent events
+ * - PublicClient: getBlockNumber(), getBlock(), getTransaction()
+ * - BlobClient: getBlobSidecar()
+ *
+ * @example
+ * ```ts
+ * const fake = new FakeL1State(config);
+ *
+ * // Add checkpoint (creates messages automatically)
+ * const { checkpoint, messages } = await fake.addCheckpoint(CheckpointNumber(1), { l1BlockNumber: 101n });
+ * fake.setL1BlockNumber(105n);
+ *
+ * // Status auto-updated
+ * expect(fake.getRollupStatus().pendingCheckpointNumber).toEqual(CheckpointNumber(1));
+ * ```
+ */ export class FakeL1State {
+    config;
+    log;
+    l1BlockNumber;
+    checkpoints;
+    messages;
+    // Consensus rolling-hash and bucket-ring state, mirroring the on-chain Inbox.
+    messagesConsensusRollingHash;
+    currentBucketSeq;
+    currentBucketTimestamp;
+    currentBucketMsgCount;
+    lastArchive;
+    provenCheckpointNumber;
+    targetCommitteeSize;
+    version;
+    canPruneResult;
+    // Computed from checkpoints based on L1 block visibility
+    pendingCheckpointNumber;
+    // The L1 block number reported as "finalized" (defaults to the start block).
+    // `undefined` simulates the startup window on a fresh devnet where
+    // `getBlock({ blockTag: 'finalized' })` fails with "finalized block not found".
+    finalizedL1BlockNumber;
+    constructor(config){
+        this.config = config;
+        this.log = createLogger('archiver:test:fake-l1');
+        this.checkpoints = [];
+        this.messages = [];
+        this.messagesConsensusRollingHash = Fr.ZERO;
+        this.currentBucketSeq = 0n;
+        this.currentBucketTimestamp = 0n;
+        this.currentBucketMsgCount = 0;
+        this.provenCheckpointNumber = CheckpointNumber(0);
+        this.targetCommitteeSize = 0;
+        this.version = 1n;
+        this.canPruneResult = false;
+        this.pendingCheckpointNumber = CheckpointNumber(0);
+        this.l1BlockNumber = config.l1StartBlock;
+        this.finalizedL1BlockNumber = config.l1StartBlock;
+        this.lastArchive = new AppendOnlyTreeSnapshot(config.genesisArchiveRoot, 1);
+    }
+    /**
+   * Adds messages for a checkpoint. Returns the message leaves.
+   * Auto-updates rolling hash.
+   *
+   * Note: For most use cases, use `addCheckpoint` which creates both checkpoint and messages.
+   * Use this method only when you need to add messages without creating a checkpoint (e.g., for reorg tests).
+   */ addMessages(_checkpointNumber, l1BlockNumber, messageLeaves) {
+        const timestamp = this.getTimestampAtL1Block(l1BlockNumber);
+        messageLeaves.forEach((leaf)=>{
+            // Compact global insertion index: the position in the Inbox's insertion order.
+            const index = BigInt(this.messages.length);
+            const { bucketSeq, inboxRollingHash } = this.absorbIntoBucket(leaf, timestamp);
+            this.messages.push({
+                l1BlockNumber,
+                index,
+                leaf,
+                inboxRollingHash,
+                bucketSeq
+            });
+        });
+    }
+    /** Mirrors the on-chain `_absorbIntoBucket`: opens a new bucket on a strictly larger timestamp or a full bucket. */ absorbIntoBucket(leaf, timestamp) {
+        if (this.currentBucketSeq === 0n || this.currentBucketTimestamp < timestamp || this.currentBucketMsgCount === MAX_MSGS_PER_BUCKET) {
+            this.currentBucketSeq += 1n;
+            this.currentBucketTimestamp = timestamp;
+            this.currentBucketMsgCount = 0;
+        }
+        this.messagesConsensusRollingHash = updateInboxRollingHash(this.messagesConsensusRollingHash, leaf);
+        this.currentBucketMsgCount += 1;
+        return {
+            bucketSeq: this.currentBucketSeq,
+            inboxRollingHash: this.messagesConsensusRollingHash
+        };
+    }
+    /** Rebuilds all per-message derived state (rolling hashes and bucket assignments) after the message set changes. */ recomputeDerivedMessageState() {
+        this.messagesConsensusRollingHash = Fr.ZERO;
+        this.currentBucketSeq = 0n;
+        this.currentBucketTimestamp = 0n;
+        this.currentBucketMsgCount = 0;
+        this.messages.forEach((msg, i)=>{
+            const { bucketSeq, inboxRollingHash } = this.absorbIntoBucket(msg.leaf, this.getTimestampAtL1Block(msg.l1BlockNumber));
+            msg.index = BigInt(i);
+            msg.inboxRollingHash = inboxRollingHash;
+            msg.bucketSeq = bucketSeq;
+        });
+    }
+    /**
+   * Creates blocks for a checkpoint without adding them to L1 state.
+   * Useful for creating blocks to pass to addBlock() for testing provisional block handling.
+   * Returns the blocks directly.
+   */ async makeBlocks(checkpointNumber, options) {
+        return (await this.makeCheckpointAndMessages(checkpointNumber, options)).checkpoint.blocks;
+    }
+    /**
+   * Creates and adds a checkpoint with its L1-to-L2 messages.
+   * Returns both the checkpoint and the message leaves.
+   * Auto-chains from lastArchive, auto-updates pending status if L1 block >= checkpoint's L1 block.
+   */ async addCheckpoint(checkpointNumber, options) {
+        this.log.warn(`Adding checkpoint ${checkpointNumber}`);
+        const { l1BlockNumber, signers = [], messagesL1BlockNumber = l1BlockNumber - 3n } = options;
+        // Create the checkpoint using the stdlib helper
+        const { checkpoint, messages, lastArchive } = await this.makeCheckpointAndMessages(checkpointNumber, {
+            ...options,
+            numL1ToL2Messages: options.numL1ToL2Messages ?? 3
+        });
+        // Store the messages internally so they match the checkpoint's inHash
+        this.addMessages(checkpointNumber, messagesL1BlockNumber, messages);
+        // Create the transaction, blobs, and event hashes
+        const { tx, attestationsHash, payloadDigest } = await this.makeRollupTx(checkpoint, signers);
+        const blobHashes = await this.makeVersionedBlobHashes(checkpoint);
+        const blobs = await this.makeBlobsFromCheckpoint(checkpoint);
+        // Store the checkpoint data
+        this.checkpoints.push({
+            checkpointNumber,
+            checkpoint,
+            l1BlockNumber,
+            tx,
+            blobHashes,
+            blobs,
+            signers,
+            attestationsHash,
+            payloadDigest
+        });
+        // Update last archive for auto-chaining
+        this.lastArchive = lastArchive ?? checkpoint.blocks.at(-1).archive;
+        // Auto-update pending checkpoint number
+        this.updatePendingCheckpointNumber();
+        return {
+            checkpoint,
+            messages
+        };
+    }
+    /** Creates a checkpoint and messages without adding them to L1 state. */ makeCheckpointAndMessages(checkpointNumber, options) {
+        const { numBlocks = 1, txsPerBlock = 4, maxEffects, slotNumber, previousArchive = this.lastArchive, timestamp, l1BlockNumber, numL1ToL2Messages = 0, blocks } = options;
+        return mockCheckpointAndMessages(checkpointNumber, {
+            startBlockNumber: this.getNextBlockNumber(checkpointNumber),
+            numBlocks,
+            blocks,
+            numTxsPerBlock: txsPerBlock,
+            numL1ToL2Messages,
+            previousArchive,
+            slotNumber: slotNumber ?? (l1BlockNumber !== undefined ? this.getL2SlotAtL1Block(l1BlockNumber) : undefined),
+            timestamp: timestamp ?? (l1BlockNumber !== undefined ? this.getTimestampAtL1Block(l1BlockNumber) : undefined),
+            ...maxEffects !== undefined ? {
+                maxEffects
+            } : {}
+        });
+    }
+    /** Returns the L2 slot at the given L1 block (assuming all L1 blocks are mined) */ getL2SlotAtL1Block(l1BlockNumber) {
+        const timestamp = this.getTimestampAtL1Block(l1BlockNumber);
+        return getSlotAtTimestamp(timestamp, this.config);
+    }
+    /** Returns the timestamp at the given L1 block (assuming all L1 blocks are mined) */ getTimestampAtL1Block(l1BlockNumber) {
+        const { l1GenesisTime, l1StartBlock, ethereumSlotDuration } = this.config;
+        return l1GenesisTime + (l1BlockNumber - l1StartBlock) * BigInt(ethereumSlotDuration);
+    }
+    /**
+   * Sets the current L1 block number.
+   * Auto-updates pending checkpoint number based on visible checkpoints.
+   */ setL1BlockNumber(blockNumber) {
+        this.l1BlockNumber = blockNumber;
+        this.updatePendingCheckpointNumber();
+    }
+    /**
+   * Sets the L1 block number that will be reported as "finalized". Pass `undefined` to
+   * simulate a chain that does not yet have a finalized block (devnet startup).
+   */ setFinalizedL1BlockNumber(blockNumber) {
+        this.finalizedL1BlockNumber = blockNumber;
+    }
+    /** Marks a checkpoint as proven. Updates provenCheckpointNumber. */ markCheckpointAsProven(checkpointNumber) {
+        this.provenCheckpointNumber = checkpointNumber;
+    }
+    /**
+   * Simulates what `rollup.getProvenCheckpointNumber({ blockNumber: atL1Block })` would return.
+   */ getProvenCheckpointNumberAtL1Block(atL1Block) {
+        if (this.provenCheckpointNumber === 0) {
+            return CheckpointNumber(0);
+        }
+        const checkpoint = this.checkpoints.find((cp)=>cp.checkpointNumber === this.provenCheckpointNumber);
+        if (checkpoint && checkpoint.l1BlockNumber <= atL1Block) {
+            return this.provenCheckpointNumber;
+        }
+        return CheckpointNumber(0);
+    }
+    /** Sets the target committee size for attestation validation. */ setTargetCommitteeSize(size) {
+        this.targetCommitteeSize = size;
+    }
+    /** Sets whether the rollup contract would allow pruning at the next block. */ setCanPrune(value) {
+        this.canPruneResult = value;
+    }
+    /**
+   * Removes all entries for a checkpoint number (simulates L1 reorg or prune).
+   * Note: Does NOT remove messages for this checkpoint (use numL1ToL2Messages: 0 when re-adding).
+   * Auto-updates pending status.
+   */ removeCheckpoint(checkpointNumber) {
+        this.checkpoints = this.checkpoints.filter((cpData)=>cpData.checkpointNumber !== checkpointNumber);
+        this.updatePendingCheckpointNumber();
+    }
+    /**
+   * Moves a checkpoint to a different L1 block number (simulates L1 reorg that
+   * re-includes the same checkpoint transaction in a different block).
+   * The checkpoint content stays the same — only the L1 metadata changes.
+   * Auto-updates pending status.
+   */ moveCheckpointToL1Block(checkpointNumber, newL1BlockNumber) {
+        for (const cpData of this.checkpoints){
+            if (cpData.checkpointNumber === checkpointNumber) {
+                cpData.l1BlockNumber = newL1BlockNumber;
+            }
+        }
+        this.updatePendingCheckpointNumber();
+    }
+    /**
+   * Removes messages after a given total index (simulates L1 reorg).
+   * Auto-updates rolling hash.
+   */ removeMessagesAfter(totalIndex) {
+        this.messages = this.messages.slice(0, totalIndex);
+        this.recomputeDerivedMessageState();
+    }
+    /**
+   * Simulates a pruned checkpoint by marking all entries with this number as pruned.
+   * The event will still be returned, but archiveAt() will return the previous checkpoint's archive
+   * (or genesis if no previous checkpoint), causing a mismatch that the archiver will detect.
+   */ markCheckpointAsPruned(checkpointNumber) {
+        for (const cpData of this.checkpoints){
+            if (cpData.checkpointNumber === checkpointNumber) {
+                cpData.pruned = true;
+            }
+        }
+        this.updatePendingCheckpointNumber();
+    }
+    /**
+   * Moves messages at a given L1 block to a new L1 block.
+   * Useful for simulating partial message visibility (messages at higher L1 blocks won't be fetched).
+   */ moveMessagesToL1Block(fromL1Block, toL1Block) {
+        this.messages.forEach((msg)=>{
+            if (msg.l1BlockNumber === fromL1Block) {
+                msg.l1BlockNumber = toL1Block;
+            }
+        });
+    }
+    /**
+   * Moves a specific message (by index in the messages array) to a new L1 block.
+   */ moveMessageAtIndexToL1Block(index, toL1Block) {
+        if (this.messages[index]) {
+            this.messages[index].l1BlockNumber = toL1Block;
+        }
+    }
+    /** Gets current rollup status. */ getRollupStatus() {
+        return {
+            provenCheckpointNumber: this.provenCheckpointNumber,
+            pendingCheckpointNumber: this.pendingCheckpointNumber,
+            provenArchive: this.getArchiveAt(this.provenCheckpointNumber),
+            pendingArchive: this.getArchiveAt(this.pendingCheckpointNumber)
+        };
+    }
+    /** Gets the last archive (for manual chaining if needed). */ getLastArchive() {
+        return this.lastArchive;
+    }
+    /** Gets the latest checkpoint entry by number (returns the last added one). */ getCheckpoint(checkpointNumber) {
+        return this.checkpoints.findLast((cpData)=>cpData.checkpointNumber === checkpointNumber)?.checkpoint;
+    }
+    /** Gets the blobs for a checkpoint. */ getCheckpointBlobs(checkpointNumber) {
+        return this.checkpoints.findLast((cpData)=>cpData.checkpointNumber === checkpointNumber)?.blobs ?? [];
+    }
+    /** Creates mock RollupContract that reads from this fake state. */ createMockRollupContract(_publicClient) {
+        const mockRollup = mock();
+        mockRollup.getVersion.mockImplementation(()=>Promise.resolve(this.version));
+        mockRollup.getTargetCommitteeSize.mockImplementation(()=>Promise.resolve(this.targetCommitteeSize));
+        mockRollup.archiveAt.mockImplementation((cpNum)=>Promise.resolve(this.getArchiveAt(cpNum)));
+        mockRollup.status.mockImplementation((localCheckpointNum)=>{
+            const status = this.getRollupStatus();
+            return Promise.resolve({
+                provenCheckpointNumber: status.provenCheckpointNumber,
+                provenArchive: status.provenArchive,
+                pendingCheckpointNumber: status.pendingCheckpointNumber,
+                pendingArchive: status.pendingArchive,
+                archiveOfMyCheckpoint: this.getArchiveAt(localCheckpointNum)
+            });
+        });
+        mockRollup.getProvenCheckpointNumber.mockImplementation((options)=>{
+            const atBlock = options?.blockNumber ?? this.l1BlockNumber;
+            return Promise.resolve(this.getProvenCheckpointNumberAtL1Block(atBlock));
+        });
+        mockRollup.canPruneAtTime.mockImplementation(()=>Promise.resolve(this.canPruneResult));
+        // Mock the wrapper method for fetching checkpoint events
+        mockRollup.getCheckpointProposedEvents.mockImplementation((fromBlock, toBlock)=>Promise.resolve(this.getCheckpointProposedLogs(fromBlock, toBlock)));
+        Object.defineProperty(mockRollup, 'address', {
+            get: ()=>this.config.rollupAddress.toString()
+        });
+        return mockRollup;
+    }
+    /** Creates mock InboxContract that reads from this fake state. */ createMockInboxContract(_publicClient) {
+        const mockInbox = mock();
+        // Mirror the on-chain Inbox live state: its consensus rolling hash and cumulative total are the chain
+        // position the archiver's message sync compares against, read atomically.
+        mockInbox.getState.mockImplementation((opts = {})=>{
+            const blockNumber = opts.blockNumber ?? this.l1BlockNumber;
+            const visibleMessages = this.messages.filter((m)=>m.l1BlockNumber <= blockNumber);
+            const last = visibleMessages.at(-1);
+            return Promise.resolve({
+                rollingHash: last?.inboxRollingHash ?? Fr.ZERO,
+                totalMessagesInserted: BigInt(visibleMessages.length),
+                currentBucketSeq: last?.bucketSeq ?? 0n
+            });
+        });
+        // Mock the wrapper methods for fetching message events
+        mockInbox.getMessageSentEvents.mockImplementation((fromBlock, toBlock)=>Promise.resolve(this.getMessageSentLogs(fromBlock, toBlock)));
+        mockInbox.getMessageSentEventByHash.mockImplementation((msgHash, aroundL1BlockNumber)=>Promise.resolve(this.getMessageSentLogByHash(msgHash, aroundL1BlockNumber)));
+        return mockInbox;
+    }
+    /** Creates mock PublicClient that reads from this fake state. */ createMockPublicClient() {
+        const publicClient = mock();
+        publicClient.getChainId.mockResolvedValue(1);
+        // Several consumers (CalldataRetriever, ArchiverL1Synchronizer) derive the EIP-712 signing
+        // context from `publicClient.chain.id`. Pin it so it matches `getSignatureContext()` below.
+        publicClient.chain = {
+            id: 1
+        };
+        publicClient.getBlockNumber.mockImplementation(()=>Promise.resolve(this.l1BlockNumber));
+        publicClient.getBlock.mockImplementation(async (args = {})=>{
+            let blockNum;
+            if (args.blockTag === 'finalized') {
+                if (this.finalizedL1BlockNumber === undefined) {
+                    throw Object.assign(new Error('finalized block not found'), {
+                        details: 'finalized block not found'
+                    });
+                }
+                blockNum = this.finalizedL1BlockNumber;
+            } else {
+                blockNum = args.blockNumber ?? await publicClient.getBlockNumber();
+            }
+            return {
+                number: blockNum,
+                timestamp: BigInt(blockNum) * BigInt(this.config.ethereumSlotDuration) + this.config.l1GenesisTime,
+                hash: Buffer32.fromBigInt(blockNum).toString()
+            };
+        });
+        // Use the same pattern as existing test for getTransaction
+        publicClient.getTransaction.mockImplementation((args)=>Promise.resolve(args.hash ? this.checkpoints.find((cpData)=>cpData.tx.hash === args.hash)?.tx : undefined));
+        return publicClient;
+    }
+    /** Creates mock BlobClient that reads from this fake state. */ createMockBlobClient() {
+        const blobClient = mock();
+        // The blockId is the L1 block hash, which we derive from the L1 block number
+        blobClient.getBlobSidecar.mockImplementation((blockId)=>Promise.resolve(this.checkpoints.find((cpData)=>Buffer32.fromBigInt(cpData.l1BlockNumber).toString() === blockId)?.blobs ?? []));
+        blobClient.testSources.mockResolvedValue(undefined);
+        return blobClient;
+    }
+    updatePendingCheckpointNumber() {
+        this.pendingCheckpointNumber = this.checkpoints.filter((cpData)=>cpData.l1BlockNumber <= this.l1BlockNumber && !cpData.pruned).reduce((max, cpData)=>cpData.checkpointNumber > max ? cpData.checkpointNumber : max, CheckpointNumber(0));
+    }
+    getArchiveAt(checkpointNumber) {
+        if (checkpointNumber === 0) {
+            return this.config.genesisArchiveRoot;
+        }
+        // Find the latest non-pruned entry for this checkpoint number
+        const entries = this.checkpoints.filter((cpData)=>cpData.checkpointNumber === checkpointNumber);
+        const latestEntry = entries.at(-1);
+        if (!latestEntry || latestEntry.pruned) {
+            // For pruned or missing checkpoints, return the previous non-pruned checkpoint's archive
+            return this.getArchiveAt(CheckpointNumber(checkpointNumber - 1));
+        }
+        return latestEntry.checkpoint.archive.root;
+    }
+    getNextBlockNumber(checkpointNumber) {
+        const lastBlockNumber = this.checkpoints.filter((cpData)=>cpData.checkpointNumber < checkpointNumber).flatMap((cpData)=>cpData.checkpoint.blocks.map((b)=>b.number)).reduce((max, num)=>Math.max(max, num), 0);
+        return lastBlockNumber + 1;
+    }
+    getCheckpointProposedLogs(fromBlock, toBlock) {
+        return this.checkpoints.filter((cpData)=>cpData.l1BlockNumber >= fromBlock && cpData.l1BlockNumber <= toBlock).map((cpData)=>({
+                l1BlockNumber: cpData.l1BlockNumber,
+                l1BlockHash: Buffer32.fromBigInt(cpData.l1BlockNumber),
+                l1TransactionHash: cpData.tx.hash,
+                args: {
+                    checkpointNumber: cpData.checkpointNumber,
+                    archive: cpData.checkpoint.archive.root,
+                    versionedBlobHashes: cpData.blobHashes.map((h)=>Buffer.from(h.slice(2), 'hex')),
+                    attestationsHash: cpData.attestationsHash,
+                    payloadDigest: cpData.payloadDigest
+                }
+            }));
+    }
+    getMessageSentLogs(fromBlock, toBlock, hashFilter) {
+        return this.messages.filter((msg)=>(!hashFilter || msg.leaf.toString() === hashFilter) && (!fromBlock || msg.l1BlockNumber >= fromBlock) && (!toBlock || msg.l1BlockNumber <= toBlock)).map((msg)=>({
+                l1BlockNumber: msg.l1BlockNumber,
+                l1BlockHash: Buffer32.fromBigInt(msg.l1BlockNumber),
+                l1TransactionHash: `0x${msg.l1BlockNumber.toString(16)}`,
+                l1BlockTimestamp: this.getTimestampAtL1Block(msg.l1BlockNumber),
+                args: {
+                    index: msg.index,
+                    leaf: msg.leaf,
+                    inboxRollingHash: msg.inboxRollingHash,
+                    bucketSeq: msg.bucketSeq,
+                    message: this.makeFakeMessageSentMessage(msg.index)
+                }
+            }));
+    }
+    getMessageSentLogByHash(msgHash, aroundL1BlockNumber) {
+        const msg = this.messages.find((msg)=>msg.leaf.toString() === msgHash && msg.l1BlockNumber >= aroundL1BlockNumber - 5n && msg.l1BlockNumber <= aroundL1BlockNumber + 5n);
+        if (!msg) {
+            return undefined;
+        }
+        return {
+            l1BlockNumber: msg.l1BlockNumber,
+            l1BlockHash: Buffer32.fromBigInt(msg.l1BlockNumber),
+            l1TransactionHash: `0x${msg.l1BlockNumber.toString(16)}`,
+            l1BlockTimestamp: this.getTimestampAtL1Block(msg.l1BlockNumber),
+            args: {
+                index: msg.index,
+                leaf: msg.leaf,
+                inboxRollingHash: msg.inboxRollingHash,
+                bucketSeq: msg.bucketSeq,
+                message: this.makeFakeMessageSentMessage(msg.index)
+            }
+        };
+    }
+    // The fake tracks only leaves, so the emitted message carries placeholder fields; nothing in the archiver
+    // consumes them (it stores leaf and consensus metadata only).
+    makeFakeMessageSentMessage(index) {
+        return {
+            sender: {
+                actor: `0x${'0'.repeat(40)}`,
+                chainId: 1n
+            },
+            recipient: {
+                actor: Fr.ZERO,
+                version: 1n
+            },
+            content: Fr.ZERO,
+            secretHash: Fr.ZERO,
+            index
+        };
+    }
+    async makeRollupTx(checkpoint, signers) {
+        const signatureContext = this.getSignatureContext();
+        const consensusPayload = ConsensusPayload.fromCheckpoint(checkpoint, signatureContext);
+        const attestationDigest = getHashedSignaturePayloadTypedData(consensusPayload);
+        const attestations = signers.map((signer)=>CommitteeAttestation.fromSignature(signer.sign(attestationDigest))).map((committeeAttestation)=>committeeAttestation.toViem());
+        const header = checkpoint.header.toViem();
+        const blobInput = getPrefixedEthBlobCommitments(await getBlobsPerL1Block(checkpoint.toBlobFields()));
+        const archive = toHex(checkpoint.archive.root.toBuffer());
+        const attestationsAndSigners = new CommitteeAttestationsAndSigners(attestations.map((attestation)=>CommitteeAttestation.fromViem(attestation)), signatureContext);
+        // Fall back to a random signer when no attesters are provided, so tests that
+        // don't care about the proposer identity (e.g. sync tests) still produce a
+        // valid-looking signature for the attestationsAndSigners struct.
+        const proposerSigner = signers[0] ?? Secp256k1Signer.random();
+        const attestationsAndSignersSignature = proposerSigner.sign(getHashedSignaturePayloadTypedData(attestationsAndSigners));
+        const verbatimAttestations = attestationsAndSigners.getPackedAttestations();
+        const rollupInput = encodeFunctionData({
+            abi: RollupAbi,
+            functionName: 'propose',
+            args: [
+                {
+                    header,
+                    archive,
+                    oracleInput: {
+                        feeAssetPriceModifier: 0n
+                    },
+                    bucketHint: 0n
+                },
+                verbatimAttestations,
+                attestationsAndSigners.getSigners().map((signer)=>signer.toString()),
+                attestationsAndSignersSignature.toViemSignature(),
+                blobInput
+            ]
+        });
+        const multiCallInput = encodeFunctionData({
+            abi: multicall3Abi,
+            functionName: 'aggregate3',
+            args: [
+                [
+                    {
+                        target: this.config.rollupAddress.toString(),
+                        callData: rollupInput,
+                        allowFailure: false
+                    }
+                ]
+            ]
+        });
+        // Compute attestationsHash (same logic as CalldataRetriever)
+        const attestationsHash = Buffer32.fromString(keccak256(encodeAbiParameters([
+            this.getCommitteeAttestationsStructDef()
+        ], [
+            verbatimAttestations
+        ])));
+        // Compute payloadDigest (same logic as CalldataRetriever)
+        const payloadDigest = getHashedSignaturePayloadTypedData(consensusPayload);
+        const tx = {
+            input: multiCallInput,
+            hash: archive,
+            blockHash: archive,
+            to: MULTI_CALL_3_ADDRESS
+        };
+        return {
+            tx,
+            attestationsHash,
+            payloadDigest
+        };
+    }
+    getSignatureContext() {
+        return {
+            chainId: 1,
+            rollupAddress: this.config.rollupAddress
+        };
+    }
+    /** Extracts the CommitteeAttestations struct definition from RollupAbi for hash computation. */ getCommitteeAttestationsStructDef() {
+        const proposeFunction = RollupAbi.find((item)=>item.type === 'function' && item.name === 'propose');
+        if (!proposeFunction) {
+            throw new Error('propose function not found in RollupAbi');
+        }
+        const attestationsParam = proposeFunction.inputs.find((param)=>param.name === '_attestations');
+        if (!attestationsParam) {
+            throw new Error('_attestations parameter not found in propose function');
+        }
+        const tupleParam = attestationsParam;
+        return {
+            type: 'tuple',
+            components: tupleParam.components || []
+        };
+    }
+    async makeVersionedBlobHashes(checkpoint) {
+        return (await getBlobsPerL1Block(checkpoint.toBlobFields())).map((b)=>`0x${b.getEthVersionedBlobHash().toString('hex')}`);
+    }
+    async makeBlobsFromCheckpoint(checkpoint) {
+        return await getBlobsPerL1Block(checkpoint.toBlobFields());
+    }
+}

package/dest/test/index.d.ts

@@ -0,0 +1,5 @@
+export * from './mock_structs.js';
+export * from './mock_l2_block_source.js';
+export * from './mock_l1_to_l2_message_source.js';
+export * from './mock_archiver.js';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90ZXN0L2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGNBQWMsbUJBQW1CLENBQUM7QUFDbEMsY0FBYywyQkFBMkIsQ0FBQztBQUMxQyxjQUFjLG1DQUFtQyxDQUFDO0FBQ2xELGNBQWMsb0JBQW9CLENBQUMifQ==

package/dest/test/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/test/index.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,mCAAmC,CAAC;AAClD,cAAc,oBAAoB,CAAC"}

package/dest/test/index.js

@@ -0,0 +1,6 @@
+export * from './mock_structs.js';
+export * from './mock_l2_block_source.js';
+export * from './mock_l1_to_l2_message_source.js';
+export * from './mock_archiver.js'; // NOTE: noop_l1_archiver.js is intentionally NOT exported here because it imports
+ // jest-mock-extended, which depends on @jest/globals and can only run inside Jest.
+ // Import it directly: import { NoopL1Archiver } from '@aztec-labs/archiver/test/noop-l1';

package/dest/test/mock_archiver.d.ts

@@ -0,0 +1,35 @@
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import type { L2BlockSource } from '@aztec-labs/stdlib/block';
+import type { Checkpoint } from '@aztec-labs/stdlib/checkpoint';
+import type { InboxBucket, L1ToL2MessageSource } from '@aztec-labs/stdlib/messaging';
+import { MockL2BlockSource } from './mock_l2_block_source.js';
+/**
+ * A mocked implementation of the archiver that implements L2BlockSource and L1ToL2MessageSource.
+ */
+export declare class MockArchiver extends MockL2BlockSource implements L2BlockSource, L1ToL2MessageSource {
+    private messageSource;
+    setInboxBucket(bucket: InboxBucket, msgs?: Fr[]): void;
+    getL1ToL2MessageIndex(_l1ToL2Message: Fr): Promise<bigint | undefined>;
+    getLatestInboxBucketAtOrBefore(timestamp: bigint): Promise<InboxBucket | undefined>;
+    getInboxBucket(seq: bigint): Promise<InboxBucket | undefined>;
+    getInboxBucketByTotalMsgCount(totalMsgCount: bigint): Promise<InboxBucket | undefined>;
+    getL1ToL2MessagesBetweenBuckets(fromExclusive: bigint, toInclusive: bigint): Promise<Fr[]>;
+    getL1ToL2MessagesBetweenLeafCounts(startLeafCount: bigint, endLeafCount: bigint): Promise<Fr[]>;
+}
+/**
+ * A mocked implementation of the archiver with a set of precomputed blocks and messages.
+ */
+export declare class MockPrefilledArchiver extends MockArchiver {
+    private prefilled;
+    private prefilledMessages;
+    constructor(prefilled: {
+        checkpoint: Checkpoint;
+        messages: Fr[];
+    }[]);
+    setPrefilled(prefilled: {
+        checkpoint: Checkpoint;
+        messages: Fr[];
+    }[]): void;
+    createBlocks(numBlocks: number): Promise<void>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibW9ja19hcmNoaXZlci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3Rlc3QvbW9ja19hcmNoaXZlci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0scUNBQXFDLENBQUM7QUFDekQsT0FBTyxLQUFLLEVBQUUsYUFBYSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFDOUQsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDaEUsT0FBTyxLQUFLLEVBQUUsV0FBVyxFQUFFLG1CQUFtQixFQUFFLE1BQU0sOEJBQThCLENBQUM7QUFHckYsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFFOUQ7O0dBRUc7QUFDSCxxQkFBYSxZQUFhLFNBQVEsaUJBQWtCLFlBQVcsYUFBYSxFQUFFLG1CQUFtQjtJQUMvRixPQUFPLENBQUMsYUFBYSxDQUFrQztJQUVoRCxjQUFjLENBQUMsTUFBTSxFQUFFLFdBQVcsRUFBRSxJQUFJLEdBQUUsRUFBRSxFQUFPLFFBRXpEO0lBRUQscUJBQXFCLENBQUMsY0FBYyxFQUFFLEVBQUUsR0FBRyxPQUFPLENBQUMsTUFBTSxHQUFHLFNBQVMsQ0FBQyxDQUVyRTtJQUVELDhCQUE4QixDQUFDLFNBQVMsRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLFdBQVcsR0FBRyxTQUFTLENBQUMsQ0FFbEY7SUFFRCxjQUFjLENBQUMsR0FBRyxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsV0FBVyxHQUFHLFNBQVMsQ0FBQyxDQUU1RDtJQUVELDZCQUE2QixDQUFDLGFBQWEsRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLFdBQVcsR0FBRyxTQUFTLENBQUMsQ0FFckY7SUFFRCwrQkFBK0IsQ0FBQyxhQUFhLEVBQUUsTUFBTSxFQUFFLFdBQVcsRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBRXpGO0lBRUQsa0NBQWtDLENBQUMsY0FBYyxFQUFFLE1BQU0sRUFBRSxZQUFZLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUU5RjtDQUNGO0FBRUQ7O0dBRUc7QUFDSCxxQkFBYSxxQkFBc0IsU0FBUSxZQUFZO0lBQ3JELE9BQU8sQ0FBQyxTQUFTLENBQW9CO0lBQ3JDLE9BQU8sQ0FBQyxpQkFBaUIsQ0FBYztJQUV2QyxZQUFZLFNBQVMsRUFBRTtRQUFFLFVBQVUsRUFBRSxVQUFVLENBQUM7UUFBQyxRQUFRLEVBQUUsRUFBRSxFQUFFLENBQUE7S0FBRSxFQUFFLEVBR2xFO0lBRU0sWUFBWSxDQUFDLFNBQVMsRUFBRTtRQUFFLFVBQVUsRUFBRSxVQUFVLENBQUM7UUFBQyxRQUFRLEVBQUUsRUFBRSxFQUFFLENBQUE7S0FBRSxFQUFFLFFBa0QxRTtJQUVlLFlBQVksQ0FBQyxTQUFTLEVBQUUsTUFBTSxpQkFhN0M7Q0FDRiJ9

package/dest/test/mock_archiver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mock_archiver.d.ts","sourceRoot":"","sources":["../../src/test/mock_archiver.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AACzD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,KAAK,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAGrF,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAE9D;;GAEG;AACH,qBAAa,YAAa,SAAQ,iBAAkB,YAAW,aAAa,EAAE,mBAAmB;IAC/F,OAAO,CAAC,aAAa,CAAkC;IAEhD,cAAc,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,GAAE,EAAE,EAAO,QAEzD;IAED,qBAAqB,CAAC,cAAc,EAAE,EAAE,GAAG,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAErE;IAED,8BAA8B,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC,CAElF;IAED,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC,CAE5D;IAED,6BAA6B,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC,CAErF;IAED,+BAA+B,CAAC,aAAa,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC,CAEzF;IAED,kCAAkC,CAAC,cAAc,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC,CAE9F;CACF;AAED;;GAEG;AACH,qBAAa,qBAAsB,SAAQ,YAAY;IACrD,OAAO,CAAC,SAAS,CAAoB;IACrC,OAAO,CAAC,iBAAiB,CAAc;IAEvC,YAAY,SAAS,EAAE;QAAE,UAAU,EAAE,UAAU,CAAC;QAAC,QAAQ,EAAE,EAAE,EAAE,CAAA;KAAE,EAAE,EAGlE;IAEM,YAAY,CAAC,SAAS,EAAE;QAAE,UAAU,EAAE,UAAU,CAAC;QAAC,QAAQ,EAAE,EAAE,EAAE,CAAA;KAAE,EAAE,QAkD1E;IAEe,YAAY,CAAC,SAAS,EAAE,MAAM,iBAa7C;CACF"}