@aztec-labs/stdlib 6.0.0-nightly.20260829

package/dest/note/note_dao.js

@@ -0,0 +1,112 @@
+import { BlockNumber } from '@aztec-labs/foundation/branded-types';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { BufferReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
+import { AztecAddress } from '@aztec-labs/stdlib/aztec-address';
+import { Note } from '@aztec-labs/stdlib/note';
+import { TxHash } from '@aztec-labs/stdlib/tx';
+/**
+ * A Note Data Access Object, representing a note that was committed to the note hash tree, holding all of the
+ * information required to use it during execution and manage its state.
+ */ export class NoteDao {
+    note;
+    contractAddress;
+    owner;
+    storageSlot;
+    randomness;
+    noteNonce;
+    noteHash;
+    siloedNullifier;
+    txHash;
+    l2BlockNumber;
+    l2BlockHash;
+    txIndexInBlock;
+    noteIndexInTx;
+    constructor(// Note information
+    /** The packed content of the note, as will be returned in the getNotes oracle. */ note, /** The address of the contract that created the note (i.e. the address used by the kernel during siloing). */ contractAddress, /** The owner of the note - generally the account that can spend the note. */ owner, /**
+     * The storage location of the note. This value is not used for anything in PXE, but we do index by storage slot
+     * since contracts typically make queries based on it.
+     */ storageSlot, /**
+     * The randomness injected to the note hash preimage.
+     */ randomness, /** The nonce that was injected into the note hash preimage in order to guarantee uniqueness. */ noteNonce, // Computed values
+    /**
+     * The inner hash (non-unique, non-siloed) of the note. Each contract determines how the note is hashed. Can
+     * be used alongside contractAddress and nonce to compute the uniqueNoteHash and the siloedNoteHash.
+     */ noteHash, /**
+     * The nullifier of the note, siloed by contract address.
+     * Note: Might be set as 0 if the note was added to PXE as nullified.
+     */ siloedNullifier, // Metadata
+    /** The hash of the tx in which this note was created. Knowing the tx hash allows for efficient node queries e.g.
+     *  when searching for txEffects.
+     */ txHash, /** The L2 block number in which the tx with this note was included. Used for note management while processing
+     * reorgs.*/ l2BlockNumber, /** The L2 block hash in which the tx with this note was included. Used for note management while processing
+     * reorgs.*/ l2BlockHash, /** The index of the tx within the block, used for ordering notes. */ txIndexInBlock, /** The index of the note within the tx (based on note hash position), used for ordering notes. */ noteIndexInTx){
+        this.note = note;
+        this.contractAddress = contractAddress;
+        this.owner = owner;
+        this.storageSlot = storageSlot;
+        this.randomness = randomness;
+        this.noteNonce = noteNonce;
+        this.noteHash = noteHash;
+        this.siloedNullifier = siloedNullifier;
+        this.txHash = txHash;
+        this.l2BlockNumber = l2BlockNumber;
+        this.l2BlockHash = l2BlockHash;
+        this.txIndexInBlock = txIndexInBlock;
+        this.noteIndexInTx = noteIndexInTx;
+    }
+    toBuffer() {
+        return serializeToBuffer([
+            this.note,
+            this.contractAddress,
+            this.owner,
+            this.storageSlot,
+            this.randomness,
+            this.noteNonce,
+            this.noteHash,
+            this.siloedNullifier,
+            this.txHash,
+            this.l2BlockNumber,
+            Fr.fromHexString(this.l2BlockHash),
+            this.txIndexInBlock,
+            this.noteIndexInTx
+        ]);
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        const note = Note.fromBuffer(reader);
+        const contractAddress = AztecAddress.fromBuffer(reader);
+        const owner = AztecAddress.fromBuffer(reader);
+        const storageSlot = Fr.fromBuffer(reader);
+        const randomness = Fr.fromBuffer(reader);
+        const noteNonce = Fr.fromBuffer(reader);
+        const noteHash = Fr.fromBuffer(reader);
+        const siloedNullifier = Fr.fromBuffer(reader);
+        const txHash = reader.readObject(TxHash);
+        const l2BlockNumber = BlockNumber(reader.readNumber());
+        const l2BlockHash = Fr.fromBuffer(reader).toString();
+        const txIndexInBlock = reader.readNumber();
+        const noteIndexInTx = reader.readNumber();
+        return new NoteDao(note, contractAddress, owner, storageSlot, randomness, noteNonce, noteHash, siloedNullifier, txHash, l2BlockNumber, l2BlockHash, txIndexInBlock, noteIndexInTx);
+    }
+    toString() {
+        return '0x' + this.toBuffer().toString('hex');
+    }
+    static fromString(str) {
+        const hex = str.replace(/^0x/, '');
+        return NoteDao.fromBuffer(Buffer.from(hex, 'hex'));
+    }
+    /**
+   * Returns true if this note is equal to the `other` one.
+   */ equals(other) {
+        return this.note.equals(other.note) && this.contractAddress.equals(other.contractAddress) && this.owner.equals(other.owner) && this.storageSlot.equals(other.storageSlot) && this.randomness.equals(other.randomness) && this.noteNonce.equals(other.noteNonce) && this.noteHash.equals(other.noteHash) && this.siloedNullifier.equals(other.siloedNullifier) && this.txHash.equals(other.txHash) && this.l2BlockNumber === other.l2BlockNumber && this.l2BlockHash === other.l2BlockHash && this.txIndexInBlock === other.txIndexInBlock && this.noteIndexInTx === other.noteIndexInTx;
+    }
+    /**
+   * Returns the size in bytes of the Note Dao.
+   * @returns - Its size in bytes.
+   */ getSize() {
+        return this.toBuffer().length;
+    }
+    static async random({ note = Note.random(), contractAddress = undefined, owner = undefined, storageSlot = Fr.random(), randomness = Fr.random(), noteNonce = Fr.random(), noteHash = Fr.random(), siloedNullifier = Fr.random(), txHash = TxHash.random(), l2BlockNumber = BlockNumber(Math.floor(Math.random() * 1000)), l2BlockHash = Fr.random().toString(), txIndexInBlock = Math.floor(Math.random() * 100), noteIndexInTx = Math.floor(Math.random() * 100) } = {}) {
+        return new NoteDao(note, contractAddress ?? await AztecAddress.random(), owner ?? await AztecAddress.random(), storageSlot, randomness, noteNonce, noteHash, siloedNullifier, txHash, l2BlockNumber, l2BlockHash, txIndexInBlock, noteIndexInTx);
+    }
+}

package/dest/note/note_status.d.ts

@@ -0,0 +1,8 @@
+/**
+ * The status of notes to retrieve.
+ */
+export declare enum NoteStatus {
+    ACTIVE = 1,
+    ACTIVE_OR_NULLIFIED = 2
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibm90ZV9zdGF0dXMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub3RlL25vdGVfc3RhdHVzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBOztHQUVHO0FBQ0gsb0JBQVksVUFBVTtJQUNwQixNQUFNLElBQUk7SUFDVixtQkFBbUIsSUFBSTtDQUV4QiJ9

package/dest/note/note_status.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"note_status.d.ts","sourceRoot":"","sources":["../../src/note/note_status.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,oBAAY,UAAU;IACpB,MAAM,IAAI;IACV,mBAAmB,IAAI;CAExB"}

package/dest/note/note_status.js

@@ -0,0 +1,7 @@
+/**
+ * The status of notes to retrieve.
+ */ export var NoteStatus = /*#__PURE__*/ function(NoteStatus) {
+    NoteStatus[NoteStatus["ACTIVE"] = 1] = "ACTIVE";
+    NoteStatus[NoteStatus["ACTIVE_OR_NULLIFIED"] = 2] = "ACTIVE_OR_NULLIFIED";
+    return NoteStatus;
+}({});

package/dest/p2p/attestation_utils.d.ts

@@ -0,0 +1,20 @@
+import type { EthAddress } from '@aztec-labs/foundation/eth-address';
+import { CommitteeAttestation } from '../block/index.js';
+import type { CheckpointAttestation } from './checkpoint_attestation.js';
+/**
+ * Returns attestation signatures in the order of a series of provided ethereum addresses
+ * The rollup smart contract expects attestations to appear in the order of the committee
+ * @todo: perform this logic within the memory attestation store instead?
+ */
+export declare function orderAttestations(attestations: CheckpointAttestation[], orderAddresses: EthAddress[]): CommitteeAttestation[];
+/**
+ * Trims attestations to the minimum required number to save L1 calldata gas.
+ * Each signature costs 65 bytes of calldata vs 20 bytes for just an address.
+ *
+ * Priority order for keeping attestations:
+ * 1. The proposer's attestation (required by L1 contract - MissingProposerSignature revert)
+ * 2. Attestations from the local node's validator keys
+ * 3. Remaining attestations filled to reach the required count
+ */
+export declare function trimAttestations(attestations: CheckpointAttestation[], required: number, proposerAddress: EthAddress, localAddresses: EthAddress[]): CheckpointAttestation[];
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXR0ZXN0YXRpb25fdXRpbHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wMnAvYXR0ZXN0YXRpb25fdXRpbHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sb0NBQW9DLENBQUM7QUFFckUsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFDekQsT0FBTyxLQUFLLEVBQUUscUJBQXFCLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUV6RTs7OztHQUlHO0FBQ0gsd0JBQWdCLGlCQUFpQixDQUMvQixZQUFZLEVBQUUscUJBQXFCLEVBQUUsRUFDckMsY0FBYyxFQUFFLFVBQVUsRUFBRSxHQUMzQixvQkFBb0IsRUFBRSxDQTJCeEI7QUFFRDs7Ozs7Ozs7R0FRRztBQUNILHdCQUFnQixnQkFBZ0IsQ0FDOUIsWUFBWSxFQUFFLHFCQUFxQixFQUFFLEVBQ3JDLFFBQVEsRUFBRSxNQUFNLEVBQ2hCLGVBQWUsRUFBRSxVQUFVLEVBQzNCLGNBQWMsRUFBRSxVQUFVLEVBQUUsR0FDM0IscUJBQXFCLEVBQUUsQ0F3Q3pCIn0=

package/dest/p2p/attestation_utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"attestation_utils.d.ts","sourceRoot":"","sources":["../../src/p2p/attestation_utils.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AAErE,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AAEzE;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,YAAY,EAAE,qBAAqB,EAAE,EACrC,cAAc,EAAE,UAAU,EAAE,GAC3B,oBAAoB,EAAE,CA2BxB;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC9B,YAAY,EAAE,qBAAqB,EAAE,EACrC,QAAQ,EAAE,MAAM,EAChB,eAAe,EAAE,UAAU,EAC3B,cAAc,EAAE,UAAU,EAAE,GAC3B,qBAAqB,EAAE,CAwCzB"}

package/dest/p2p/attestation_utils.js

@@ -0,0 +1,73 @@
+import { normalizeSignature } from '@aztec-labs/foundation/crypto/secp256k1-signer';
+import { CommitteeAttestation } from '../block/index.js';
+/**
+ * Returns attestation signatures in the order of a series of provided ethereum addresses
+ * The rollup smart contract expects attestations to appear in the order of the committee
+ * @todo: perform this logic within the memory attestation store instead?
+ */ export function orderAttestations(attestations, orderAddresses) {
+    // Create a map of sender addresses to attestations
+    const attestationMap = new Map();
+    for (const attestation of attestations){
+        const sender = attestation.getSender();
+        if (sender) {
+            // Canonicalize the recovery byte to v ∈ {27, 28} before it reaches the L1 bundle. A committee
+            // member (or a peer mutating the byte in flight) can emit an equivalent signature in yParity form
+            // (v = 0/1); left as-is it makes `packAttestations` (empty iff v === 0) and `getSigners` (empty iff
+            // r,s,v all zero) disagree, reverting `propose()` with SignersSizeMismatch, and a v = 1 byte would
+            // later revert epoch proving in ECDSA.recover. `sender` recovered, so the signature is non-empty
+            // and low-s, and normalizeSignature preserves the recovered address.
+            attestationMap.set(sender.toString(), CommitteeAttestation.fromAddressAndSignature(sender, normalizeSignature(attestation.signature)));
+        }
+    }
+    // Create the ordered array based on the orderAddresses, else return an empty attestation
+    const orderedAttestations = orderAddresses.map((address)=>{
+        const addressString = address.toString();
+        return attestationMap.get(addressString) || CommitteeAttestation.fromAddress(address);
+    });
+    return orderedAttestations;
+}
+/**
+ * Trims attestations to the minimum required number to save L1 calldata gas.
+ * Each signature costs 65 bytes of calldata vs 20 bytes for just an address.
+ *
+ * Priority order for keeping attestations:
+ * 1. The proposer's attestation (required by L1 contract - MissingProposerSignature revert)
+ * 2. Attestations from the local node's validator keys
+ * 3. Remaining attestations filled to reach the required count
+ */ export function trimAttestations(attestations, required, proposerAddress, localAddresses) {
+    if (attestations.length <= required) {
+        return attestations;
+    }
+    const proposerAttestation = [];
+    const localAttestations = [];
+    const otherAttestations = [];
+    for (const attestation of attestations){
+        const sender = attestation.getSender();
+        if (!sender) {
+            continue;
+        }
+        if (sender.equals(proposerAddress)) {
+            proposerAttestation.push(attestation);
+        } else if (localAddresses.some((addr)=>addr.equals(sender))) {
+            localAttestations.push(attestation);
+        } else {
+            otherAttestations.push(attestation);
+        }
+    }
+    const result = [
+        ...proposerAttestation
+    ];
+    for (const att of localAttestations){
+        if (result.length >= required) {
+            break;
+        }
+        result.push(att);
+    }
+    for (const att of otherAttestations){
+        if (result.length >= required) {
+            break;
+        }
+        result.push(att);
+    }
+    return result;
+}

package/dest/p2p/block_proposal.d.ts

@@ -0,0 +1,169 @@
+import { BlockNumber, BlockProposalHash, type CheckpointNumber, IndexWithinCheckpoint, SlotNumber } from '@aztec-labs/foundation/branded-types';
+import { type BaseBuffer32 } from '@aztec-labs/foundation/buffer';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import type { EthAddress } from '@aztec-labs/foundation/eth-address';
+import { Signature } from '@aztec-labs/foundation/eth-signature';
+import { BufferReader } from '@aztec-labs/foundation/serialize';
+import type { TypedDataDefinition } from 'viem';
+import type { L2Block } from '../block/l2_block.js';
+import type { L2BlockInfo } from '../block/l2_block_info.js';
+import { type SigningContext } from '../ha-signing/index.js';
+import { InboxBucketRef } from '../messaging/inbox_bucket.js';
+import { BlockHeader } from '../tx/block_header.js';
+import { TxHash } from '../tx/index.js';
+import type { Tx } from '../tx/tx.js';
+import { Gossipable } from './gossipable.js';
+import { type CoordinationSignatureContext, type CoordinationSignatureType, type Signable } from './signature_utils.js';
+import { SignedTxs } from './signed_txs.js';
+import { TopicType } from './topic_type.js';
+export type { BlockProposalHash } from '@aztec-labs/foundation/branded-types';
+export type BlockProposalOptions = {
+    /**
+     * Whether to include the tx objects along with the block proposal.
+     * Dramatically increases size of the payload but eliminates failed reexecutions due to missing txs.
+     */
+    publishFullTxs?: boolean;
+    /**
+     * Whether to generate an invalid block proposal for broadcasting.
+     * Use only for testing.
+     */
+    broadcastInvalidBlockProposal?: boolean;
+};
+/**
+ * A block proposal is created by the leader of the chain proposing a sequence of transactions
+ * to be included in a block within a checkpoint. This is used for non-last blocks in a slot.
+ * The last block is sent as part of a CheckpointProposal.
+ */
+export declare class BlockProposal extends Gossipable implements Signable {
+    /** The per-block header containing block state and global variables */
+    readonly blockHeader: BlockHeader;
+    /** Index of this block within the checkpoint (0-indexed) */
+    readonly indexWithinCheckpoint: IndexWithinCheckpoint;
+    /** Archive root after this block is applied */
+    readonly archiveRoot: Fr;
+    /** The sequence of transactions in the block */
+    readonly txHashes: TxHash[];
+    /** The proposer's signature over the block data */
+    readonly signature: Signature;
+    /** The signing domain (chainId + rollupAddress) the signature is bound to */
+    readonly signatureContext: CoordinationSignatureContext;
+    /** The signed transactions in the block (optional, for DA guarantees) */
+    readonly signedTxs?: SignedTxs | undefined;
+    /**
+     * Reference to the Inbox bucket this block proposes to consume, when the proposer commits to one. Validators
+     * resolve it against their own Inbox view and derive the consumed message bundle from it rather than trusting a
+     * proposer-supplied message list. Covered by the proposal signature (part of `getPayloadToSign`).
+     */
+    readonly bucketRef?: InboxBucketRef | undefined;
+    static p2pTopic: TopicType;
+    readonly primaryType: CoordinationSignatureType;
+    private cachedSender;
+    constructor(
+    /** The per-block header containing block state and global variables */
+    blockHeader: BlockHeader, 
+    /** Index of this block within the checkpoint (0-indexed) */
+    indexWithinCheckpoint: IndexWithinCheckpoint, 
+    /** Archive root after this block is applied */
+    archiveRoot: Fr, 
+    /** The sequence of transactions in the block */
+    txHashes: TxHash[], 
+    /** The proposer's signature over the block data */
+    signature: Signature, 
+    /** The signing domain (chainId + rollupAddress) the signature is bound to */
+    signatureContext: CoordinationSignatureContext, 
+    /** The signed transactions in the block (optional, for DA guarantees) */
+    signedTxs?: SignedTxs | undefined, 
+    /**
+     * Reference to the Inbox bucket this block proposes to consume, when the proposer commits to one. Validators
+     * resolve it against their own Inbox view and derive the consumed message bundle from it rather than trusting a
+     * proposer-supplied message list. Covered by the proposal signature (part of `getPayloadToSign`).
+     */
+    bucketRef?: InboxBucketRef | undefined);
+    generateP2PMessageIdentifier(): Promise<BaseBuffer32>;
+    get archive(): Fr;
+    get slotNumber(): SlotNumber;
+    get blockNumber(): BlockNumber;
+    /** Convenience getter for txs from signedTxs */
+    get txs(): Tx[] | undefined;
+    toBlockInfo(): Omit<L2BlockInfo, 'blockNumber'>;
+    /**
+     * Get the payload to sign for this block proposal.
+     * The signature is over: blockHeader + indexWithinCheckpoint + archiveRoot + txHashes, plus the bucket reference
+     * when set. Appending only when set binds the reference to the signature so a relay cannot strip or inject it
+     * without breaking recovery.
+     */
+    getPayloadToSign(): Buffer;
+    private getPayloadHashBuffer;
+    /**
+     * Returns a keccak256 hash of the signed payload.
+     * Used by the attestation pool to dedup distinct signed payloads at the same
+     * (slot, indexWithinCheckpoint) regardless of archive collisions.
+     * The hash deliberately excludes the signature so non-deterministic ECDSA
+     * re-signs of the same payload do not look like equivocation.
+     */
+    getPayloadHash(): BlockProposalHash;
+    static createProposalFromSigner(blockHeader: BlockHeader, checkpointNumber: CheckpointNumber, indexWithinCheckpoint: IndexWithinCheckpoint, archiveRoot: Fr, txHashes: TxHash[], txs: Tx[] | undefined, signatureContext: CoordinationSignatureContext, proposalSigner: (typedData: TypedDataDefinition, context: SigningContext) => Promise<Signature>, txsSigner?: (typedData: TypedDataDefinition, context: SigningContext) => Promise<Signature>, bucketRef?: InboxBucketRef): Promise<BlockProposal>;
+    /**
+     * Lazily evaluate the sender of the proposal; result is cached.
+     * If there's signedTxs, also verifies that its signing domain matches this proposal's and
+     * that the signedTxs sender matches the block proposal sender. This prevents a proposer
+     * from wrapping a foreign-chain SignedTxs bundle inside a local-chain proposal.
+     * @returns The sender address, or undefined if signature recovery fails or inner/outer mismatch
+     */
+    getSender(): EthAddress | undefined;
+    getPayload(): Buffer<ArrayBufferLike>;
+    toBuffer(): Buffer;
+    static fromBuffer(buf: Buffer | BufferReader): BlockProposal;
+    getSize(): number;
+    static empty(): BlockProposal;
+    static random(): BlockProposal;
+    toInspect(): {
+        blockHeader: {
+            lastArchive: `0x${string}`;
+            state: {
+                l1ToL2MessageTree: `0x${string}`;
+                noteHashTree: `0x${string}`;
+                nullifierTree: `0x${string}`;
+                publicDataTree: `0x${string}`;
+            };
+            spongeBlobHash: bigint;
+            globalVariables: {
+                chainId: number;
+                version: number;
+                blockNumber: BlockNumber;
+                slotNumber: SlotNumber;
+                timestamp: bigint;
+                coinbase: `0x${string}`;
+                feeRecipient: `0x${string}`;
+                feePerDaGas: number;
+                feePerL2Gas: number;
+            };
+            totalFees: bigint;
+            totalManaUsed: bigint;
+        };
+        indexWithinCheckpoint: IndexWithinCheckpoint;
+        archiveRoot: `0x${string}`;
+        signature: `0x${string}`;
+        txHashes: `0x${string}`[];
+        chainId: number;
+        rollupAddress: `0x${string}`;
+        bucketRef: {
+            bucketSeq: string;
+            bucketTimestamp: string;
+            inboxRollingHash: `0x${string}`;
+        } | undefined;
+    };
+    /**
+     * Check if this proposal matches the given block.
+     * Compares the archive root and block header.
+     * @param block - The L2Block to compare against
+     * @returns True if the proposal matches the block
+     */
+    matchesBlock(block: L2Block): boolean;
+    /**
+     * Returns a copy of this proposal without signedTxs.
+     * Used when storing proposals in attestation pool to avoid storing full tx data.
+     */
+    withoutSignedTxs(): BlockProposal;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmxvY2tfcHJvcG9zYWwuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wMnAvYmxvY2tfcHJvcG9zYWwudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUNMLFdBQVcsRUFDWCxpQkFBaUIsRUFDakIsS0FBSyxnQkFBZ0IsRUFDckIscUJBQXFCLEVBQ3JCLFVBQVUsRUFDWCxNQUFNLHNDQUFzQyxDQUFDO0FBQzlDLE9BQU8sRUFBRSxLQUFLLFlBQVksRUFBWSxNQUFNLCtCQUErQixDQUFDO0FBRTVFLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxxQ0FBcUMsQ0FBQztBQUN6RCxPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSxvQ0FBb0MsQ0FBQztBQUNyRSxPQUFPLEVBQUUsU0FBUyxFQUFFLE1BQU0sc0NBQXNDLENBQUM7QUFDakUsT0FBTyxFQUFFLFlBQVksRUFBcUIsTUFBTSxrQ0FBa0MsQ0FBQztBQUNuRixPQUFPLEtBQUssRUFBRSxtQkFBbUIsRUFBRSxNQUFNLE1BQU0sQ0FBQztBQUVoRCxPQUFPLEtBQUssRUFBRSxPQUFPLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUNwRCxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUU3RCxPQUFPLEVBQVksS0FBSyxjQUFjLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUN2RSxPQUFPLEVBQUUsY0FBYyxFQUFFLE1BQU0sOEJBQThCLENBQUM7QUFDOUQsT0FBTyxFQUFFLFdBQVcsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQ3BELE9BQU8sRUFBRSxNQUFNLEVBQUUsTUFBTSxnQkFBZ0IsQ0FBQztBQUN4QyxPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSxhQUFhLENBQUM7QUFDdEMsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBQzdDLE9BQU8sRUFDTCxLQUFLLDRCQUE0QixFQUNqQyxLQUFLLHlCQUF5QixFQUU5QixLQUFLLFFBQVEsRUFNZCxNQUFNLHNCQUFzQixDQUFDO0FBQzlCLE9BQU8sRUFBRSxTQUFTLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUM1QyxPQUFPLEVBQUUsU0FBUyxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFFNUMsWUFBWSxFQUFFLGlCQUFpQixFQUFFLE1BQU0sc0NBQXNDLENBQUM7QUFFOUUsTUFBTSxNQUFNLG9CQUFvQixHQUFHO0lBQ2pDOzs7T0FHRztJQUNILGNBQWMsQ0FBQyxFQUFFLE9BQU8sQ0FBQztJQUN6Qjs7O09BR0c7SUFDSCw2QkFBNkIsQ0FBQyxFQUFFLE9BQU8sQ0FBQztDQUN6QyxDQUFDO0FBRUY7Ozs7R0FJRztBQUNILHFCQUFhLGFBQWMsU0FBUSxVQUFXLFlBQVcsUUFBUTtJQVE3RCx1RUFBdUU7YUFDdkQsV0FBVyxFQUFFLFdBQVc7SUFFeEMsNERBQTREO2FBQzVDLHFCQUFxQixFQUFFLHFCQUFxQjtJQUU1RCwrQ0FBK0M7YUFDL0IsV0FBVyxFQUFFLEVBQUU7SUFFL0IsZ0RBQWdEO2FBQ2hDLFFBQVEsRUFBRSxNQUFNLEVBQUU7SUFFbEMsbURBQW1EO2FBQ25DLFNBQVMsRUFBRSxTQUFTO0lBRXBDLDZFQUE2RTthQUM3RCxnQkFBZ0IsRUFBRSw0QkFBNEI7SUFFOUQseUVBQXlFO2FBQ3pELFNBQVMsQ0FBQztJQUUxQjs7OztPQUlHO2FBQ2EsU0FBUyxDQUFDO0lBakM1QixPQUFnQixRQUFRLFlBQTRCO0lBRXBELFFBQVEsQ0FBQyxXQUFXLEVBQUUseUJBQXlCLENBQW1CO0lBRWxFLE9BQU8sQ0FBQyxZQUFZLENBQTRDO0lBRWhFO0lBQ0UsdUVBQXVFO0lBQ3ZELFdBQVcsRUFBRSxXQUFXO0lBRXhDLDREQUE0RDtJQUM1QyxxQkFBcUIsRUFBRSxxQkFBcUI7SUFFNUQsK0NBQStDO0lBQy9CLFdBQVcsRUFBRSxFQUFFO0lBRS9CLGdEQUFnRDtJQUNoQyxRQUFRLEVBQUUsTUFBTSxFQUFFO0lBRWxDLG1EQUFtRDtJQUNuQyxTQUFTLEVBQUUsU0FBUztJQUVwQyw2RUFBNkU7SUFDN0QsZ0JBQWdCLEVBQUUsNEJBQTRCO0lBRTlELHlFQUF5RTtJQUN6RCxTQUFTLENBQUMsdUJBQVc7SUFFckM7Ozs7T0FJRztJQUNhLFNBQVMsQ0FBQyw0QkFBZ0IsRUFHM0M7SUFFUSw0QkFBNEIsSUFBSSxPQUFPLENBQUMsWUFBWSxDQUFDLENBRTdEO0lBRUQsSUFBSSxPQUFPLElBQUksRUFBRSxDQUVoQjtJQUVELElBQUksVUFBVSxJQUFJLFVBQVUsQ0FFM0I7SUFFRCxJQUFJLFdBQVcsSUFBSSxXQUFXLENBRTdCO0lBRUQsZ0RBQWdEO0lBQ2hELElBQUksR0FBRyxJQUFJLEVBQUUsRUFBRSxHQUFHLFNBQVMsQ0FFMUI7SUFFRCxXQUFXLElBQUksSUFBSSxDQUFDLFdBQVcsRUFBRSxhQUFhLENBQUMsQ0FROUM7SUFFRDs7Ozs7T0FLRztJQUNILGdCQUFnQixJQUFJLE1BQU0sQ0FTekI7SUFFRCxPQUFPLENBQUMsb0JBQW9CO0lBSTVCOzs7Ozs7T0FNRztJQUNILGNBQWMsSUFBSSxpQkFBaUIsQ0FFbEM7SUFFRCxPQUFhLHdCQUF3QixDQUNuQyxXQUFXLEVBQUUsV0FBVyxFQUN4QixnQkFBZ0IsRUFBRSxnQkFBZ0IsRUFDbEMscUJBQXFCLEVBQUUscUJBQXFCLEVBQzVDLFdBQVcsRUFBRSxFQUFFLEVBQ2YsUUFBUSxFQUFFLE1BQU0sRUFBRSxFQUNsQixHQUFHLEVBQUUsRUFBRSxFQUFFLEdBQUcsU0FBUyxFQUNyQixnQkFBZ0IsRUFBRSw0QkFBNEIsRUFDOUMsY0FBYyxFQUFFLENBQUMsU0FBUyxFQUFFLG1CQUFtQixFQUFFLE9BQU8sRUFBRSxjQUFjLEtBQUssT0FBTyxDQUFDLFNBQVMsQ0FBQyxFQUMvRixTQUFTLENBQUMsRUFBRSxDQUFDLFNBQVMsRUFBRSxtQkFBbUIsRUFBRSxPQUFPLEVBQUUsY0FBYyxLQUFLLE9BQU8sQ0FBQyxTQUFTLENBQUMsRUFDM0YsU0FBUyxDQUFDLEVBQUUsY0FBYyxHQUN6QixPQUFPLENBQUMsYUFBYSxDQUFDLENBK0N4QjtJQUVEOzs7Ozs7T0FNRztJQUNILFNBQVMsSUFBSSxVQUFVLEdBQUcsU0FBUyxDQW9CbEM7SUFFRCxVQUFVLDRCQUVUO0lBRUQsUUFBUSxJQUFJLE1BQU0sQ0F1QmpCO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxhQUFhLENBMEMzRDtJQUVELE9BQU8sSUFBSSxNQUFNLENBY2hCO0lBRUQsTUFBTSxDQUFDLEtBQUssSUFBSSxhQUFhLENBUzVCO0lBRUQsTUFBTSxDQUFDLE1BQU0sSUFBSSxhQUFhLENBUzdCO0lBRUQsU0FBUzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7TUFXUjtJQUVEOzs7OztPQUtHO0lBQ0gsWUFBWSxDQUFDLEtBQUssRUFBRSxPQUFPLEdBQUcsT0FBTyxDQUVwQztJQUVEOzs7T0FHRztJQUNILGdCQUFnQixJQUFJLGFBQWEsQ0FXaEM7Q0FDRiJ9

package/dest/p2p/block_proposal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"block_proposal.d.ts","sourceRoot":"","sources":["../../src/p2p/block_proposal.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EACX,iBAAiB,EACjB,KAAK,gBAAgB,EACrB,qBAAqB,EACrB,UAAU,EACX,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,KAAK,YAAY,EAAY,MAAM,+BAA+B,CAAC;AAE5E,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AACrE,OAAO,EAAE,SAAS,EAAE,MAAM,sCAAsC,CAAC;AACjE,OAAO,EAAE,YAAY,EAAqB,MAAM,kCAAkC,CAAC;AACnF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,MAAM,CAAC;AAEhD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAE7D,OAAO,EAAY,KAAK,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AACxC,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EACL,KAAK,4BAA4B,EACjC,KAAK,yBAAyB,EAE9B,KAAK,QAAQ,EAMd,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C,YAAY,EAAE,iBAAiB,EAAE,MAAM,sCAAsC,CAAC;AAE9E,MAAM,MAAM,oBAAoB,GAAG;IACjC;;;OAGG;IACH,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB;;;OAGG;IACH,6BAA6B,CAAC,EAAE,OAAO,CAAC;CACzC,CAAC;AAEF;;;;GAIG;AACH,qBAAa,aAAc,SAAQ,UAAW,YAAW,QAAQ;IAQ7D,uEAAuE;aACvD,WAAW,EAAE,WAAW;IAExC,4DAA4D;aAC5C,qBAAqB,EAAE,qBAAqB;IAE5D,+CAA+C;aAC/B,WAAW,EAAE,EAAE;IAE/B,gDAAgD;aAChC,QAAQ,EAAE,MAAM,EAAE;IAElC,mDAAmD;aACnC,SAAS,EAAE,SAAS;IAEpC,6EAA6E;aAC7D,gBAAgB,EAAE,4BAA4B;IAE9D,yEAAyE;aACzD,SAAS,CAAC;IAE1B;;;;OAIG;aACa,SAAS,CAAC;IAjC5B,OAAgB,QAAQ,YAA4B;IAEpD,QAAQ,CAAC,WAAW,EAAE,yBAAyB,CAAmB;IAElE,OAAO,CAAC,YAAY,CAA4C;IAEhE;IACE,uEAAuE;IACvD,WAAW,EAAE,WAAW;IAExC,4DAA4D;IAC5C,qBAAqB,EAAE,qBAAqB;IAE5D,+CAA+C;IAC/B,WAAW,EAAE,EAAE;IAE/B,gDAAgD;IAChC,QAAQ,EAAE,MAAM,EAAE;IAElC,mDAAmD;IACnC,SAAS,EAAE,SAAS;IAEpC,6EAA6E;IAC7D,gBAAgB,EAAE,4BAA4B;IAE9D,yEAAyE;IACzD,SAAS,CAAC,uBAAW;IAErC;;;;OAIG;IACa,SAAS,CAAC,4BAAgB,EAG3C;IAEQ,4BAA4B,IAAI,OAAO,CAAC,YAAY,CAAC,CAE7D;IAED,IAAI,OAAO,IAAI,EAAE,CAEhB;IAED,IAAI,UAAU,IAAI,UAAU,CAE3B;IAED,IAAI,WAAW,IAAI,WAAW,CAE7B;IAED,gDAAgD;IAChD,IAAI,GAAG,IAAI,EAAE,EAAE,GAAG,SAAS,CAE1B;IAED,WAAW,IAAI,IAAI,CAAC,WAAW,EAAE,aAAa,CAAC,CAQ9C;IAED;;;;;OAKG;IACH,gBAAgB,IAAI,MAAM,CASzB;IAED,OAAO,CAAC,oBAAoB;IAI5B;;;;;;OAMG;IACH,cAAc,IAAI,iBAAiB,CAElC;IAED,OAAa,wBAAwB,CACnC,WAAW,EAAE,WAAW,EACxB,gBAAgB,EAAE,gBAAgB,EAClC,qBAAqB,EAAE,qBAAqB,EAC5C,WAAW,EAAE,EAAE,EACf,QAAQ,EAAE,MAAM,EAAE,EAClB,GAAG,EAAE,EAAE,EAAE,GAAG,SAAS,EACrB,gBAAgB,EAAE,4BAA4B,EAC9C,cAAc,EAAE,CAAC,SAAS,EAAE,mBAAmB,EAAE,OAAO,EAAE,cAAc,KAAK,OAAO,CAAC,SAAS,CAAC,EAC/F,SAAS,CAAC,EAAE,CAAC,SAAS,EAAE,mBAAmB,EAAE,OAAO,EAAE,cAAc,KAAK,OAAO,CAAC,SAAS,CAAC,EAC3F,SAAS,CAAC,EAAE,cAAc,GACzB,OAAO,CAAC,aAAa,CAAC,CA+CxB;IAED;;;;;;OAMG;IACH,SAAS,IAAI,UAAU,GAAG,SAAS,CAoBlC;IAED,UAAU,4BAET;IAED,QAAQ,IAAI,MAAM,CAuBjB;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,GAAG,aAAa,CA0C3D;IAED,OAAO,IAAI,MAAM,CAchB;IAED,MAAM,CAAC,KAAK,IAAI,aAAa,CAS5B;IAED,MAAM,CAAC,MAAM,IAAI,aAAa,CAS7B;IAED,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAWR;IAED;;;;;OAKG;IACH,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAEpC;IAED;;;OAGG;IACH,gBAAgB,IAAI,aAAa,CAWhC;CACF"}

package/dest/p2p/block_proposal.js

@@ -0,0 +1,237 @@
+import { BlockProposalHash, IndexWithinCheckpoint } from '@aztec-labs/foundation/branded-types';
+import { Buffer32 } from '@aztec-labs/foundation/buffer';
+import { keccak256 } from '@aztec-labs/foundation/crypto/keccak';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { Signature } from '@aztec-labs/foundation/eth-signature';
+import { BufferReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
+import { MAX_TXS_PER_BLOCK } from '../deserialization/index.js';
+import { DutyType } from '../ha-signing/index.js';
+import { InboxBucketRef } from '../messaging/inbox_bucket.js';
+import { BlockHeader } from '../tx/block_header.js';
+import { TxHash } from '../tx/index.js';
+import { Gossipable } from './gossipable.js';
+import { EMPTY_COORDINATION_SIGNATURE_CONTEXT, coordinationSignatureContextEquals, getCoordinationSignatureTypedData, readCoordinationSignatureContext, recoverCoordinationSigner, serializeCoordinationSignatureContext } from './signature_utils.js';
+import { SignedTxs } from './signed_txs.js';
+import { TopicType } from './topic_type.js';
+/**
+ * A block proposal is created by the leader of the chain proposing a sequence of transactions
+ * to be included in a block within a checkpoint. This is used for non-last blocks in a slot.
+ * The last block is sent as part of a CheckpointProposal.
+ */ export class BlockProposal extends Gossipable {
+    blockHeader;
+    indexWithinCheckpoint;
+    archiveRoot;
+    txHashes;
+    signature;
+    signatureContext;
+    signedTxs;
+    bucketRef;
+    static p2pTopic = TopicType.block_proposal;
+    primaryType;
+    cachedSender;
+    constructor(/** The per-block header containing block state and global variables */ blockHeader, /** Index of this block within the checkpoint (0-indexed) */ indexWithinCheckpoint, /** Archive root after this block is applied */ archiveRoot, /** The sequence of transactions in the block */ txHashes, /** The proposer's signature over the block data */ signature, /** The signing domain (chainId + rollupAddress) the signature is bound to */ signatureContext, /** The signed transactions in the block (optional, for DA guarantees) */ signedTxs, /**
+     * Reference to the Inbox bucket this block proposes to consume, when the proposer commits to one. Validators
+     * resolve it against their own Inbox view and derive the consumed message bundle from it rather than trusting a
+     * proposer-supplied message list. Covered by the proposal signature (part of `getPayloadToSign`).
+     */ bucketRef){
+        super(), this.blockHeader = blockHeader, this.indexWithinCheckpoint = indexWithinCheckpoint, this.archiveRoot = archiveRoot, this.txHashes = txHashes, this.signature = signature, this.signatureContext = signatureContext, this.signedTxs = signedTxs, this.bucketRef = bucketRef, this.primaryType = 'BlockProposal', this.cachedSender = undefined;
+    }
+    generateP2PMessageIdentifier() {
+        return Promise.resolve(new Buffer32(this.getPayloadHashBuffer()));
+    }
+    get archive() {
+        return this.archiveRoot;
+    }
+    get slotNumber() {
+        return this.blockHeader.getSlot();
+    }
+    get blockNumber() {
+        return this.blockHeader.getBlockNumber();
+    }
+    /** Convenience getter for txs from signedTxs */ get txs() {
+        return this.signedTxs?.txs;
+    }
+    toBlockInfo() {
+        return {
+            slotNumber: this.slotNumber,
+            lastArchive: this.blockHeader.lastArchive.root,
+            timestamp: this.blockHeader.globalVariables.timestamp,
+            archive: this.archiveRoot,
+            txCount: this.txHashes.length
+        };
+    }
+    /**
+   * Get the payload to sign for this block proposal.
+   * The signature is over: blockHeader + indexWithinCheckpoint + archiveRoot + txHashes, plus the bucket reference
+   * when set. Appending only when set binds the reference to the signature so a relay cannot strip or inject it
+   * without breaking recovery.
+   */ getPayloadToSign() {
+        return serializeToBuffer([
+            this.blockHeader,
+            this.indexWithinCheckpoint,
+            this.archiveRoot,
+            this.txHashes.length,
+            this.txHashes,
+            ...this.bucketRef ? [
+                this.bucketRef
+            ] : []
+        ]);
+    }
+    getPayloadHashBuffer() {
+        return keccak256(this.getPayloadToSign());
+    }
+    /**
+   * Returns a keccak256 hash of the signed payload.
+   * Used by the attestation pool to dedup distinct signed payloads at the same
+   * (slot, indexWithinCheckpoint) regardless of archive collisions.
+   * The hash deliberately excludes the signature so non-deterministic ECDSA
+   * re-signs of the same payload do not look like equivocation.
+   */ getPayloadHash() {
+        return BlockProposalHash.fromBuffer(this.getPayloadHashBuffer());
+    }
+    static async createProposalFromSigner(blockHeader, checkpointNumber, indexWithinCheckpoint, archiveRoot, txHashes, txs, signatureContext, proposalSigner, txsSigner, bucketRef) {
+        // Create a temporary proposal to get the payload to sign
+        const tempProposal = new BlockProposal(blockHeader, indexWithinCheckpoint, archiveRoot, txHashes, Signature.empty(), signatureContext, undefined, bucketRef);
+        // Create the block signing context
+        const blockContext = {
+            slot: blockHeader.globalVariables.slotNumber,
+            blockNumber: blockHeader.globalVariables.blockNumber,
+            checkpointNumber,
+            blockIndexWithinCheckpoint: indexWithinCheckpoint,
+            dutyType: DutyType.BLOCK_PROPOSAL
+        };
+        const typedData = getCoordinationSignatureTypedData(tempProposal);
+        const sig = await proposalSigner(typedData, blockContext);
+        // If txs are provided, sign them as well
+        let signedTxs;
+        if (txs) {
+            const txsSigningContext = {
+                dutyType: DutyType.TXS
+            };
+            if (!txsSigner) {
+                throw new Error('signed_txs requires a typed-data signer');
+            }
+            signedTxs = await SignedTxs.createFromSigner(txs, signatureContext, (typedData)=>txsSigner(typedData, txsSigningContext));
+        }
+        return new BlockProposal(blockHeader, indexWithinCheckpoint, archiveRoot, txHashes, sig, signatureContext, signedTxs, bucketRef);
+    }
+    /**
+   * Lazily evaluate the sender of the proposal; result is cached.
+   * If there's signedTxs, also verifies that its signing domain matches this proposal's and
+   * that the signedTxs sender matches the block proposal sender. This prevents a proposer
+   * from wrapping a foreign-chain SignedTxs bundle inside a local-chain proposal.
+   * @returns The sender address, or undefined if signature recovery fails or inner/outer mismatch
+   */ getSender() {
+        if (this.cachedSender === undefined) {
+            const blockSender = recoverCoordinationSigner(this, this.signature);
+            if (blockSender && this.signedTxs) {
+                if (!coordinationSignatureContextEquals(this.signedTxs.signatureContext, this.signatureContext)) {
+                    this.cachedSender = null;
+                    return undefined;
+                }
+                const txsSender = this.signedTxs.getSender();
+                if (!txsSender || !txsSender.equals(blockSender)) {
+                    this.cachedSender = null;
+                    return undefined;
+                }
+            }
+            this.cachedSender = blockSender ?? null;
+        }
+        return this.cachedSender ?? undefined;
+    }
+    getPayload() {
+        return this.getPayloadToSign();
+    }
+    toBuffer() {
+        const buffer = [
+            this.blockHeader,
+            this.indexWithinCheckpoint,
+            this.archiveRoot,
+            this.signature,
+            serializeCoordinationSignatureContext(this.signatureContext),
+            this.txHashes.length,
+            this.txHashes
+        ];
+        if (this.signedTxs) {
+            buffer.push(1); // hasSignedTxs = true
+            buffer.push(this.signedTxs.toBuffer());
+        } else {
+            buffer.push(0); // hasSignedTxs = false
+        }
+        // Optional bucket-reference tail. Appended only when set, so a proposal without a reference
+        // serializes without the tail and a decoder that reaches EOF reads it as unset.
+        if (this.bucketRef) {
+            buffer.push(1); // hasBucketRef = true
+            buffer.push(this.bucketRef.toBuffer());
+        }
+        return serializeToBuffer(buffer);
+    }
+    static fromBuffer(buf) {
+        const reader = BufferReader.asReader(buf);
+        const blockHeader = reader.readObject(BlockHeader);
+        const indexWithinCheckpoint = IndexWithinCheckpoint(reader.readNumber());
+        const archiveRoot = reader.readObject(Fr);
+        const signature = reader.readObject(Signature);
+        const signatureContext = readCoordinationSignatureContext(reader);
+        const txHashCount = reader.readNumber();
+        if (txHashCount > MAX_TXS_PER_BLOCK) {
+            throw new Error(`txHashes count ${txHashCount} exceeds maximum ${MAX_TXS_PER_BLOCK}`);
+        }
+        const txHashes = reader.readArray(txHashCount, TxHash);
+        let signedTxs;
+        if (!reader.isEmpty()) {
+            const hasSignedTxs = reader.readNumber();
+            if (hasSignedTxs) {
+                signedTxs = SignedTxs.fromBuffer(reader);
+            }
+        }
+        // Optional bucket-reference tail. A buffer that ends after the signedTxs flag decodes as
+        // "no reference", so proposals written without the tail round-trip cleanly.
+        let bucketRef;
+        if (!reader.isEmpty()) {
+            const hasBucketRef = reader.readNumber();
+            if (hasBucketRef) {
+                bucketRef = InboxBucketRef.fromBuffer(reader);
+            }
+        }
+        return new BlockProposal(blockHeader, indexWithinCheckpoint, archiveRoot, txHashes, signature, signatureContext, signedTxs, bucketRef);
+    }
+    getSize() {
+        return this.blockHeader.getSize() + 4 /* indexWithinCheckpoint */  + this.archiveRoot.size + this.signature.getSize() + 4 /* chainId */  + 20 /* rollupAddress */  + 4 /* txHashes.length */  + this.txHashes.length * TxHash.SIZE + 4 /* hasSignedTxs flag */  + (this.signedTxs ? this.signedTxs.getSize() : 0) + (this.bucketRef ? 4 /* hasBucketRef flag */  + this.bucketRef.getSize() : 0);
+    }
+    static empty() {
+        return new BlockProposal(BlockHeader.empty(), IndexWithinCheckpoint(0), Fr.ZERO, [], Signature.empty(), EMPTY_COORDINATION_SIGNATURE_CONTEXT);
+    }
+    static random() {
+        return new BlockProposal(BlockHeader.random(), IndexWithinCheckpoint(Math.floor(Math.random() * 5)), Fr.random(), [
+            TxHash.random(),
+            TxHash.random()
+        ], Signature.random(), EMPTY_COORDINATION_SIGNATURE_CONTEXT);
+    }
+    toInspect() {
+        return {
+            blockHeader: this.blockHeader.toInspect(),
+            indexWithinCheckpoint: this.indexWithinCheckpoint,
+            archiveRoot: this.archiveRoot.toString(),
+            signature: this.signature.toString(),
+            txHashes: this.txHashes.map((h)=>h.toString()),
+            chainId: this.signatureContext.chainId,
+            rollupAddress: this.signatureContext.rollupAddress.toString(),
+            bucketRef: this.bucketRef?.toInspect()
+        };
+    }
+    /**
+   * Check if this proposal matches the given block.
+   * Compares the archive root and block header.
+   * @param block - The L2Block to compare against
+   * @returns True if the proposal matches the block
+   */ matchesBlock(block) {
+        return this.archiveRoot.equals(block.archive.root) && this.blockHeader.equals(block.header);
+    }
+    /**
+   * Returns a copy of this proposal without signedTxs.
+   * Used when storing proposals in attestation pool to avoid storing full tx data.
+   */ withoutSignedTxs() {
+        return new BlockProposal(this.blockHeader, this.indexWithinCheckpoint, this.archiveRoot, this.txHashes, this.signature, this.signatureContext, undefined, this.bucketRef);
+    }
+}