@aztec/p2p 0.0.1-commit.a072138 → 0.0.1-commit.aada20e3

package/dest/mem_pools/tx_pool_v2/tx_pool_bench_metrics.js

@@ -0,0 +1,70 @@
+/**
+ * Metrics types for tx pool benchmarks.
+ */ export var TxPoolOperation = /*#__PURE__*/ function(TxPoolOperation) {
+    TxPoolOperation["ADD_PENDING_TXS"] = "addPendingTxs";
+    TxPoolOperation["CAN_ADD_PENDING_TX"] = "canAddPendingTx";
+    TxPoolOperation["GET_PENDING_TX_HASHES"] = "getPendingTxHashes";
+    TxPoolOperation["GET_TX_BY_HASH"] = "getTxByHash";
+    TxPoolOperation["GET_TXS_BY_HASH"] = "getTxsByHash";
+    TxPoolOperation["HAS_TXS"] = "hasTxs";
+    TxPoolOperation["HANDLE_MINED_BLOCK"] = "handleMinedBlock";
+    TxPoolOperation["PREPARE_FOR_SLOT"] = "prepareForSlot";
+    TxPoolOperation["HANDLE_PRUNED_BLOCKS"] = "handlePrunedBlocks";
+    TxPoolOperation["GET_LOWEST_PRIORITY_PENDING"] = "getLowestPriorityPending";
+    TxPoolOperation["HYDRATE_FROM_DATABASE"] = "hydrateFromDatabase";
+    return TxPoolOperation;
+}({});
+/**
+ * Collects and formats tx pool benchmark metrics.
+ */ export class TxPoolBenchMetrics {
+    metrics = [];
+    addMetric(operation, poolSize, batchSize, value) {
+        this.metrics.push({
+            operation,
+            poolSize,
+            batchSize,
+            value
+        });
+    }
+    toPrettyString() {
+        let pretty = 'TxPool Benchmark Metrics:\n';
+        pretty += '='.repeat(60) + '\n';
+        // Group by operation
+        const byOperation = new Map();
+        for (const metric of this.metrics){
+            if (!byOperation.has(metric.operation)) {
+                byOperation.set(metric.operation, []);
+            }
+            byOperation.get(metric.operation).push(metric);
+        }
+        for (const [operation, opMetrics] of byOperation){
+            pretty += `\n${operation}:\n`;
+            for (const metric of opMetrics){
+                const poolSizeStr = metric.poolSize > 0 ? `pool=${metric.poolSize}` : '';
+                const batchSizeStr = metric.batchSize > 0 ? `batch=${metric.batchSize}` : '';
+                const params = [
+                    poolSizeStr,
+                    batchSizeStr
+                ].filter(Boolean).join(', ');
+                pretty += `  ${params ? `(${params})` : ''}: ${metric.value.toFixed(3)} ms\n`;
+            }
+        }
+        return pretty;
+    }
+    toGithubActionBenchmarkJSON(indent = 2) {
+        const data = this.metrics.map((metric)=>{
+            const poolSizeStr = metric.poolSize > 0 ? `${metric.poolSize} txs in pool` : '';
+            const batchSizeStr = metric.batchSize > 0 ? `batch of ${metric.batchSize}` : '';
+            const params = [
+                poolSizeStr,
+                batchSizeStr
+            ].filter(Boolean).join('/');
+            return {
+                name: `TxPool/${metric.operation}${params ? `/${params}` : ''}`,
+                value: metric.value,
+                unit: 'ms'
+            };
+        });
+        return JSON.stringify(data, null, indent);
+    }
+}

package/dest/mem_pools/tx_pool_v2/tx_pool_v2.d.ts

@@ -0,0 +1,55 @@
+import { SlotNumber } from '@aztec/foundation/branded-types';
+import { type Logger } from '@aztec/foundation/log';
+import type { TypedEventEmitter } from '@aztec/foundation/types';
+import type { AztecAsyncKVStore } from '@aztec/kv-store';
+import type { L2Block, L2BlockId } from '@aztec/stdlib/block';
+import { BlockHeader, Tx, TxHash } from '@aztec/stdlib/tx';
+import { type TelemetryClient } from '@aztec/telemetry-client';
+import type { AddTxsResult, TxPoolV2, TxPoolV2Config, TxPoolV2Dependencies, TxPoolV2Events } from './interfaces.js';
+import type { TxState } from './tx_metadata.js';
+declare const AztecKVTxPoolV2_base: new () => TypedEventEmitter<TxPoolV2Events>;
+/**
+ * Implementation of TxPoolV2 with explicit state management.
+ *
+ * This class is a thin wrapper that manages the serial queue and delegates
+ * all operations to TxPoolV2Impl.
+ */
+export declare class AztecKVTxPoolV2 extends AztecKVTxPoolV2_base implements TxPoolV2 {
+    #private;
+    constructor(store: AztecAsyncKVStore, archiveStore: AztecAsyncKVStore, deps: TxPoolV2Dependencies, telemetry?: TelemetryClient, config?: Partial<TxPoolV2Config>, log?: Logger);
+    addPendingTxs(txs: Tx[], opts?: {
+        source?: string;
+    }): Promise<AddTxsResult>;
+    canAddPendingTx(tx: Tx): Promise<'accepted' | 'ignored' | 'rejected'>;
+    addProtectedTxs(txs: Tx[], block: BlockHeader, opts?: {
+        source?: string;
+    }): Promise<void>;
+    protectTxs(txHashes: TxHash[], block: BlockHeader): Promise<TxHash[]>;
+    addMinedTxs(txs: Tx[], block: BlockHeader, opts?: {
+        source?: string;
+    }): Promise<void>;
+    handleMinedBlock(block: L2Block): Promise<void>;
+    prepareForSlot(slotNumber: SlotNumber): Promise<void>;
+    handlePrunedBlocks(latestBlock: L2BlockId): Promise<void>;
+    handleFailedExecution(txHashes: TxHash[]): Promise<void>;
+    handleFinalizedBlock(block: BlockHeader): Promise<void>;
+    getTxByHash(txHash: TxHash): Promise<Tx | undefined>;
+    getTxsByHash(txHashes: TxHash[]): Promise<(Tx | undefined)[]>;
+    hasTxs(txHashes: TxHash[]): Promise<boolean[]>;
+    getTxStatus(txHash: TxHash): Promise<TxState | 'deleted' | undefined>;
+    getPendingTxHashes(): Promise<TxHash[]>;
+    getPendingTxCount(): Promise<number>;
+    getMinedTxHashes(): Promise<[TxHash, L2BlockId][]>;
+    getMinedTxCount(): Promise<number>;
+    isEmpty(): Promise<boolean>;
+    getArchivedTxByHash(txHash: TxHash): Promise<Tx | undefined>;
+    getLowestPriorityPending(limit: number): Promise<TxHash[]>;
+    updateConfig(config: Partial<TxPoolV2Config>): Promise<void>;
+    /**
+     * Starts the pool and initializes state from persistence.
+     */
+    start(): Promise<void>;
+    stop(): Promise<void>;
+}
+export {};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfcG9vbF92Mi5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL21lbV9wb29scy90eF9wb29sX3YyL3R4X3Bvb2xfdjIudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQzdELE9BQU8sRUFBRSxLQUFLLE1BQU0sRUFBZ0IsTUFBTSx1QkFBdUIsQ0FBQztBQUVsRSxPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQ2pFLE9BQU8sS0FBSyxFQUFFLGlCQUFpQixFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFDekQsT0FBTyxLQUFLLEVBQUUsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBQzlELE9BQU8sRUFBRSxXQUFXLEVBQUUsRUFBRSxFQUFFLE1BQU0sRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBQzNELE9BQU8sRUFBRSxLQUFLLGVBQWUsRUFBc0IsTUFBTSx5QkFBeUIsQ0FBQztBQUtuRixPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsUUFBUSxFQUFFLGNBQWMsRUFBRSxvQkFBb0IsRUFBRSxjQUFjLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUNwSCxPQUFPLEtBQUssRUFBRSxPQUFPLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQzs7QUFHaEQ7Ozs7O0dBS0c7QUFDSCxxQkFBYSxlQUFnQixTQUFRLG9CQUE4RCxZQUFXLFFBQVE7O0lBU3BILFlBQ0UsS0FBSyxFQUFFLGlCQUFpQixFQUN4QixZQUFZLEVBQUUsaUJBQWlCLEVBQy9CLElBQUksRUFBRSxvQkFBb0IsRUFDMUIsU0FBUyxHQUFFLGVBQXNDLEVBQ2pELE1BQU0sR0FBRSxPQUFPLENBQUMsY0FBYyxDQUFNLEVBQ3BDLEdBQUcsU0FBaUMsRUFzQnJDO0lBUUQsYUFBYSxDQUFDLEdBQUcsRUFBRSxFQUFFLEVBQUUsRUFBRSxJQUFJLEdBQUU7UUFBRSxNQUFNLENBQUMsRUFBRSxNQUFNLENBQUE7S0FBTyxHQUFHLE9BQU8sQ0FBQyxZQUFZLENBQUMsQ0FFOUU7SUFFRCxlQUFlLENBQUMsRUFBRSxFQUFFLEVBQUUsR0FBRyxPQUFPLENBQUMsVUFBVSxHQUFHLFNBQVMsR0FBRyxVQUFVLENBQUMsQ0FFcEU7SUFFRCxlQUFlLENBQUMsR0FBRyxFQUFFLEVBQUUsRUFBRSxFQUFFLEtBQUssRUFBRSxXQUFXLEVBQUUsSUFBSSxHQUFFO1FBQUUsTUFBTSxDQUFDLEVBQUUsTUFBTSxDQUFBO0tBQU8sR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBRTVGO0lBRUQsVUFBVSxDQUFDLFFBQVEsRUFBRSxNQUFNLEVBQUUsRUFBRSxLQUFLLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FBQyxNQUFNLEVBQUUsQ0FBQyxDQUVwRTtJQUVELFdBQVcsQ0FBQyxHQUFHLEVBQUUsRUFBRSxFQUFFLEVBQUUsS0FBSyxFQUFFLFdBQVcsRUFBRSxJQUFJLEdBQUU7UUFBRSxNQUFNLENBQUMsRUFBRSxNQUFNLENBQUE7S0FBTyxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FFeEY7SUFJRCxnQkFBZ0IsQ0FBQyxLQUFLLEVBQUUsT0FBTyxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FFOUM7SUFFRCxjQUFjLENBQUMsVUFBVSxFQUFFLFVBQVUsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBRXBEO0lBRUQsa0JBQWtCLENBQUMsV0FBVyxFQUFFLFNBQVMsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBRXhEO0lBRUQscUJBQXFCLENBQUMsUUFBUSxFQUFFLE1BQU0sRUFBRSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FFdkQ7SUFFRCxvQkFBb0IsQ0FBQyxLQUFLLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FFdEQ7SUFJRCxXQUFXLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsRUFBRSxHQUFHLFNBQVMsQ0FBQyxDQUVuRDtJQUVELFlBQVksQ0FBQyxRQUFRLEVBQUUsTUFBTSxFQUFFLEdBQUcsT0FBTyxDQUFDLENBQUMsRUFBRSxHQUFHLFNBQVMsQ0FBQyxFQUFFLENBQUMsQ0FFNUQ7SUFFRCxNQUFNLENBQUMsUUFBUSxFQUFFLE1BQU0sRUFBRSxHQUFHLE9BQU8sQ0FBQyxPQUFPLEVBQUUsQ0FBQyxDQUU3QztJQUVELFdBQVcsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyxPQUFPLEdBQUcsU0FBUyxHQUFHLFNBQVMsQ0FBQyxDQUVwRTtJQUVELGtCQUFrQixJQUFJLE9BQU8sQ0FBQyxNQUFNLEVBQUUsQ0FBQyxDQUV0QztJQUVELGlCQUFpQixJQUFJLE9BQU8sQ0FBQyxNQUFNLENBQUMsQ0FFbkM7SUFFRCxnQkFBZ0IsSUFBSSxPQUFPLENBQUMsQ0FBQyxNQUFNLEVBQUUsU0FBUyxDQUFDLEVBQUUsQ0FBQyxDQUVqRDtJQUVELGVBQWUsSUFBSSxPQUFPLENBQUMsTUFBTSxDQUFDLENBRWpDO0lBRUQsT0FBTyxJQUFJLE9BQU8sQ0FBQyxPQUFPLENBQUMsQ0FFMUI7SUFFRCxtQkFBbUIsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyxFQUFFLEdBQUcsU0FBUyxDQUFDLENBRTNEO0lBRUQsd0JBQXdCLENBQUMsS0FBSyxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsTUFBTSxFQUFFLENBQUMsQ0FFekQ7SUFJRCxZQUFZLENBQUMsTUFBTSxFQUFFLE9BQU8sQ0FBQyxjQUFjLENBQUMsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBSzNEO0lBSUQ7O09BRUc7SUFDRyxLQUFLLElBQUksT0FBTyxDQUFDLElBQUksQ0FBQyxDQStCM0I7SUFFSyxJQUFJLElBQUksT0FBTyxDQUFDLElBQUksQ0FBQyxDQUsxQjtDQUNGIn0=

package/dest/mem_pools/tx_pool_v2/tx_pool_v2.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tx_pool_v2.d.ts","sourceRoot":"","sources":["../../../src/mem_pools/tx_pool_v2/tx_pool_v2.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAC7D,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAElE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,EAAE,KAAK,eAAe,EAAsB,MAAM,yBAAyB,CAAC;AAKnF,OAAO,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,cAAc,EAAE,oBAAoB,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACpH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;;AAGhD;;;;;GAKG;AACH,qBAAa,eAAgB,SAAQ,oBAA8D,YAAW,QAAQ;;IASpH,YACE,KAAK,EAAE,iBAAiB,EACxB,YAAY,EAAE,iBAAiB,EAC/B,IAAI,EAAE,oBAAoB,EAC1B,SAAS,GAAE,eAAsC,EACjD,MAAM,GAAE,OAAO,CAAC,cAAc,CAAM,EACpC,GAAG,SAAiC,EAsBrC;IAQD,aAAa,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,IAAI,GAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAA;KAAO,GAAG,OAAO,CAAC,YAAY,CAAC,CAE9E;IAED,eAAe,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,UAAU,GAAG,SAAS,GAAG,UAAU,CAAC,CAEpE;IAED,eAAe,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,GAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAA;KAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAE5F;IAED,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAEpE;IAED,WAAW,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,GAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAA;KAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAExF;IAID,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAE9C;IAED,cAAc,CAAC,UAAU,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAEpD;IAED,kBAAkB,CAAC,WAAW,EAAE,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAExD;IAED,qBAAqB,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAEvD;IAED,oBAAoB,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAEtD;IAID,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC,CAEnD;IAED,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC,CAE5D;IAED,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAE7C;IAED,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,GAAG,SAAS,GAAG,SAAS,CAAC,CAEpE;IAED,kBAAkB,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC,CAEtC;IAED,iBAAiB,IAAI,OAAO,CAAC,MAAM,CAAC,CAEnC;IAED,gBAAgB,IAAI,OAAO,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC,CAEjD;IAED,eAAe,IAAI,OAAO,CAAC,MAAM,CAAC,CAEjC;IAED,OAAO,IAAI,OAAO,CAAC,OAAO,CAAC,CAE1B;IAED,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC,CAE3D;IAED,wBAAwB,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAEzD;IAID,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,cAAc,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAK3D;IAID;;OAEG;IACG,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CA+B3B;IAEK,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAK1B;CACF"}

package/dest/mem_pools/tx_pool_v2/tx_pool_v2.js

@@ -0,0 +1,150 @@
+import { createLogger } from '@aztec/foundation/log';
+import { SerialQueue } from '@aztec/foundation/queue';
+import { getTelemetryClient } from '@aztec/telemetry-client';
+import EventEmitter from 'node:events';
+import { PoolInstrumentation, PoolName } from '../instrumentation.js';
+import { TxPoolV2Impl } from './tx_pool_v2_impl.js';
+/**
+ * Implementation of TxPoolV2 with explicit state management.
+ *
+ * This class is a thin wrapper that manages the serial queue and delegates
+ * all operations to TxPoolV2Impl.
+ */ export class AztecKVTxPoolV2 extends EventEmitter {
+    #queue;
+    #impl;
+    #metrics;
+    #store;
+    #telemetry;
+    #log;
+    #started = false;
+    constructor(store, archiveStore, deps, telemetry = getTelemetryClient(), config = {}, log = createLogger('p2p:tx_pool_v2')){
+        super();
+        this.#store = store;
+        this.#telemetry = telemetry;
+        this.#log = log;
+        this.#queue = new SerialQueue();
+        // Create callbacks that the impl uses to notify us about events and metrics
+        const callbacks = {
+            onTxsAdded: (txs, opts)=>{
+                this.#metrics?.transactionsAdded(txs);
+                this.emit('txs-added', {
+                    txs,
+                    ...opts
+                });
+            },
+            onTxsRemoved: (txHashes)=>{
+                this.#metrics?.transactionsRemoved(txHashes);
+            }
+        };
+        // Create the implementation
+        this.#impl = new TxPoolV2Impl(store, archiveStore, deps, callbacks, config, log);
+    }
+    // ============================================================================
+    // PUBLIC API - All methods queue to the implementation
+    // ============================================================================
+    // === Core Operations ===
+    addPendingTxs(txs, opts = {}) {
+        return this.#queue.put(()=>this.#impl.addPendingTxs(txs, opts));
+    }
+    canAddPendingTx(tx) {
+        return this.#queue.put(()=>this.#impl.canAddPendingTx(tx));
+    }
+    addProtectedTxs(txs, block, opts = {}) {
+        return this.#queue.put(()=>this.#impl.addProtectedTxs(txs, block, opts));
+    }
+    protectTxs(txHashes, block) {
+        return this.#queue.put(()=>Promise.resolve(this.#impl.protectTxs(txHashes, block)));
+    }
+    addMinedTxs(txs, block, opts = {}) {
+        return this.#queue.put(()=>this.#impl.addMinedTxs(txs, block, opts));
+    }
+    // === State Transition Handlers ===
+    handleMinedBlock(block) {
+        return this.#queue.put(()=>this.#impl.handleMinedBlock(block));
+    }
+    prepareForSlot(slotNumber) {
+        return this.#queue.put(()=>this.#impl.prepareForSlot(slotNumber));
+    }
+    handlePrunedBlocks(latestBlock) {
+        return this.#queue.put(()=>this.#impl.handlePrunedBlocks(latestBlock));
+    }
+    handleFailedExecution(txHashes) {
+        return this.#queue.put(()=>this.#impl.handleFailedExecution(txHashes));
+    }
+    handleFinalizedBlock(block) {
+        return this.#queue.put(()=>this.#impl.handleFinalizedBlock(block));
+    }
+    // === Queries ===
+    getTxByHash(txHash) {
+        return this.#queue.put(()=>this.#impl.getTxByHash(txHash));
+    }
+    getTxsByHash(txHashes) {
+        return this.#queue.put(()=>this.#impl.getTxsByHash(txHashes));
+    }
+    hasTxs(txHashes) {
+        return this.#queue.put(()=>this.#impl.hasTxs(txHashes));
+    }
+    getTxStatus(txHash) {
+        return this.#queue.put(()=>Promise.resolve(this.#impl.getTxStatus(txHash)));
+    }
+    getPendingTxHashes() {
+        return this.#queue.put(()=>Promise.resolve(this.#impl.getPendingTxHashes()));
+    }
+    getPendingTxCount() {
+        return this.#queue.put(()=>Promise.resolve(this.#impl.getPendingTxCount()));
+    }
+    getMinedTxHashes() {
+        return this.#queue.put(()=>Promise.resolve(this.#impl.getMinedTxHashes()));
+    }
+    getMinedTxCount() {
+        return this.#queue.put(()=>Promise.resolve(this.#impl.getMinedTxCount()));
+    }
+    isEmpty() {
+        return this.#queue.put(()=>Promise.resolve(this.#impl.isEmpty()));
+    }
+    getArchivedTxByHash(txHash) {
+        return this.#queue.put(()=>this.#impl.getArchivedTxByHash(txHash));
+    }
+    getLowestPriorityPending(limit) {
+        return this.#queue.put(()=>Promise.resolve(this.#impl.getLowestPriorityPending(limit)));
+    }
+    // === Configuration ===
+    updateConfig(config) {
+        return this.#queue.put(()=>{
+            this.#impl.updateConfig(config);
+            return Promise.resolve();
+        });
+    }
+    // === Lifecycle ===
+    /**
+   * Starts the pool and initializes state from persistence.
+   */ async start() {
+        if (this.#started) {
+            return;
+        }
+        this.#log.info('Starting transaction pool...');
+        // Start the serial queue
+        this.#queue.start();
+        this.#started = true;
+        // Setup metrics - created after queue is started so callbacks can safely queue
+        this.#metrics = new PoolInstrumentation(this.#telemetry, PoolName.TX_POOL, ()=>this.#queue.put(()=>{
+                const counts = this.#impl.countTxs();
+                return Promise.resolve({
+                    itemCount: {
+                        pending: counts.pending,
+                        protected: counts.protected,
+                        mined: counts.mined
+                    }
+                });
+            }), ()=>this.#store.estimateSize());
+        // Hydrate state from persistence (runs in queue)
+        await this.#queue.put(()=>this.#impl.hydrateFromDatabase());
+        this.#log.info(`Transaction pool started with ${this.#impl.getTxCount()} transactions (${this.#impl.getPendingTxCount()} pending, ${this.#impl.getMinedTxCount()} mined)`);
+    }
+    async stop() {
+        if (this.#started) {
+            await this.#queue.end();
+            this.#started = false;
+        }
+    }
+}

package/dest/mem_pools/tx_pool_v2/tx_pool_v2_impl.d.ts

@@ -0,0 +1,69 @@
+import { SlotNumber } from '@aztec/foundation/branded-types';
+import type { Logger } from '@aztec/foundation/log';
+import type { AztecAsyncKVStore } from '@aztec/kv-store';
+import type { L2Block, L2BlockId } from '@aztec/stdlib/block';
+import { BlockHeader, Tx, TxHash } from '@aztec/stdlib/tx';
+import { type AddTxsResult, type PoolReadAccess, type TxPoolV2Config, type TxPoolV2Dependencies } from './interfaces.js';
+import { type TxState } from './tx_metadata.js';
+/**
+ * Callbacks for the implementation to notify the outer class about events and metrics.
+ */
+export interface TxPoolV2Callbacks {
+    onTxsAdded: (txs: Tx[], opts: {
+        source?: string;
+    }) => void;
+    onTxsRemoved: (txHashes: string[] | bigint[]) => void;
+}
+/**
+ * Implementation of TxPoolV2 logic.
+ *
+ * This class contains all the actual transaction pool logic.
+ */
+export declare class TxPoolV2Impl {
+    #private;
+    constructor(store: AztecAsyncKVStore, archiveStore: AztecAsyncKVStore, deps: TxPoolV2Dependencies, callbacks: TxPoolV2Callbacks, config: Partial<TxPoolV2Config> | undefined, log: Logger);
+    /**
+     * Hydrates the in-memory state from the database on startup.
+     * Pipeline: Load → Check Mined Status → Partition → Validate Non-Mined → Rebuild Pending Pool → Delete Invalid
+     *
+     * Note: Protected status is lost on restart. All non-mined txs are rebuilt as pending
+     * by running pre-add rules to resolve nullifier conflicts, balance checks, and pool size limits.
+     */
+    hydrateFromDatabase(): Promise<void>;
+    addPendingTxs(txs: Tx[], opts: {
+        source?: string;
+    }): Promise<AddTxsResult>;
+    canAddPendingTx(tx: Tx): Promise<'accepted' | 'ignored' | 'rejected'>;
+    addProtectedTxs(txs: Tx[], block: BlockHeader, opts: {
+        source?: string;
+    }): Promise<void>;
+    protectTxs(txHashes: TxHash[], block: BlockHeader): TxHash[];
+    addMinedTxs(txs: Tx[], block: BlockHeader, opts: {
+        source?: string;
+    }): Promise<void>;
+    handleMinedBlock(block: L2Block): Promise<void>;
+    prepareForSlot(slotNumber: SlotNumber): Promise<void>;
+    handlePrunedBlocks(latestBlock: L2BlockId): Promise<void>;
+    handleFailedExecution(txHashes: TxHash[]): Promise<void>;
+    handleFinalizedBlock(block: BlockHeader): Promise<void>;
+    getTxByHash(txHash: TxHash): Promise<Tx | undefined>;
+    getTxsByHash(txHashes: TxHash[]): Promise<(Tx | undefined)[]>;
+    hasTxs(txHashes: TxHash[]): boolean[];
+    getTxStatus(txHash: TxHash): TxState | undefined;
+    getPendingTxHashes(): TxHash[];
+    getPendingTxCount(): number;
+    getMinedTxHashes(): [TxHash, L2BlockId][];
+    getMinedTxCount(): number;
+    isEmpty(): boolean;
+    getTxCount(): number;
+    getArchivedTxByHash(txHash: TxHash): Promise<Tx | undefined>;
+    getLowestPriorityPending(limit: number): TxHash[];
+    updateConfig(config: Partial<TxPoolV2Config>): void;
+    getPoolReadAccess(): PoolReadAccess;
+    countTxs(): {
+        pending: number;
+        protected: number;
+        mined: number;
+    };
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfcG9vbF92Ml9pbXBsLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvbWVtX3Bvb2xzL3R4X3Bvb2xfdjIvdHhfcG9vbF92Ml9pbXBsLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUM3RCxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNwRCxPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBaUIsTUFBTSxpQkFBaUIsQ0FBQztBQUl4RSxPQUFPLEtBQUssRUFBRSxPQUFPLEVBQUUsU0FBUyxFQUFpQixNQUFNLHFCQUFxQixDQUFDO0FBRzdFLE9BQU8sRUFBRSxXQUFXLEVBQUUsRUFBRSxFQUFFLE1BQU0sRUFBb0IsTUFBTSxrQkFBa0IsQ0FBQztBQWU3RSxPQUFPLEVBQ0wsS0FBSyxZQUFZLEVBRWpCLEtBQUssY0FBYyxFQUNuQixLQUFLLGNBQWMsRUFDbkIsS0FBSyxvQkFBb0IsRUFDMUIsTUFBTSxpQkFBaUIsQ0FBQztBQUN6QixPQUFPLEVBRUwsS0FBSyxPQUFPLEVBS2IsTUFBTSxrQkFBa0IsQ0FBQztBQUUxQjs7R0FFRztBQUNILE1BQU0sV0FBVyxpQkFBaUI7SUFDaEMsVUFBVSxFQUFFLENBQUMsR0FBRyxFQUFFLEVBQUUsRUFBRSxFQUFFLElBQUksRUFBRTtRQUFFLE1BQU0sQ0FBQyxFQUFFLE1BQU0sQ0FBQTtLQUFFLEtBQUssSUFBSSxDQUFDO0lBQzNELFlBQVksRUFBRSxDQUFDLFFBQVEsRUFBRSxNQUFNLEVBQUUsR0FBRyxNQUFNLEVBQUUsS0FBSyxJQUFJLENBQUM7Q0FDdkQ7QUFFRDs7OztHQUlHO0FBQ0gscUJBQWEsWUFBWTs7SUFnQ3ZCLFlBQ0UsS0FBSyxFQUFFLGlCQUFpQixFQUN4QixZQUFZLEVBQUUsaUJBQWlCLEVBQy9CLElBQUksRUFBRSxvQkFBb0IsRUFDMUIsU0FBUyxFQUFFLGlCQUFpQixFQUM1QixNQUFNLHFDQUE4QixFQUNwQyxHQUFHLEVBQUUsTUFBTSxFQStCWjtJQU1EOzs7Ozs7T0FNRztJQUNHLG1CQUFtQixJQUFJLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0ErQnpDO0lBRUssYUFBYSxDQUFDLEdBQUcsRUFBRSxFQUFFLEVBQUUsRUFBRSxJQUFJLEVBQUU7UUFBRSxNQUFNLENBQUMsRUFBRSxNQUFNLENBQUE7S0FBRSxHQUFHLE9BQU8sQ0FBQyxZQUFZLENBQUMsQ0FtRS9FO0lBMkNLLGVBQWUsQ0FBQyxFQUFFLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxVQUFVLEdBQUcsU0FBUyxHQUFHLFVBQVUsQ0FBQyxDQW9CMUU7SUFFSyxlQUFlLENBQUMsR0FBRyxFQUFFLEVBQUUsRUFBRSxFQUFFLEtBQUssRUFBRSxXQUFXLEVBQUUsSUFBSSxFQUFFO1FBQUUsTUFBTSxDQUFDLEVBQUUsTUFBTSxDQUFBO0tBQUUsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBaUM3RjtJQUVELFVBQVUsQ0FBQyxRQUFRLEVBQUUsTUFBTSxFQUFFLEVBQUUsS0FBSyxFQUFFLFdBQVcsR0FBRyxNQUFNLEVBQUUsQ0FrQjNEO0lBRUssV0FBVyxDQUFDLEdBQUcsRUFBRSxFQUFFLEVBQUUsRUFBRSxLQUFLLEVBQUUsV0FBVyxFQUFFLElBQUksRUFBRTtRQUFFLE1BQU0sQ0FBQyxFQUFFLE1BQU0sQ0FBQTtLQUFFLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQXlCekY7SUFFSyxnQkFBZ0IsQ0FBQyxLQUFLLEVBQUUsT0FBTyxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0EyQnBEO0lBRUssY0FBYyxDQUFDLFVBQVUsRUFBRSxVQUFVLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQWlDMUQ7SUFFSyxrQkFBa0IsQ0FBQyxXQUFXLEVBQUUsU0FBUyxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0E0QjlEO0lBRUsscUJBQXFCLENBQUMsUUFBUSxFQUFFLE1BQU0sRUFBRSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FLN0Q7SUFFSyxvQkFBb0IsQ0FBQyxLQUFLLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0E2QjVEO0lBSUssV0FBVyxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLEVBQUUsR0FBRyxTQUFTLENBQUMsQ0FHekQ7SUFFSyxZQUFZLENBQUMsUUFBUSxFQUFFLE1BQU0sRUFBRSxHQUFHLE9BQU8sQ0FBQyxDQUFDLEVBQUUsR0FBRyxTQUFTLENBQUMsRUFBRSxDQUFDLENBT2xFO0lBRUQsTUFBTSxDQUFDLFFBQVEsRUFBRSxNQUFNLEVBQUUsR0FBRyxPQUFPLEVBQUUsQ0FFcEM7SUFFRCxXQUFXLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxPQUFPLEdBQUcsU0FBUyxDQU0vQztJQUVELGtCQUFrQixJQUFJLE1BQU0sRUFBRSxDQUU3QjtJQUVELGlCQUFpQixJQUFJLE1BQU0sQ0FNMUI7SUFFRCxnQkFBZ0IsSUFBSSxDQUFDLE1BQU0sRUFBRSxTQUFTLENBQUMsRUFBRSxDQVF4QztJQUVELGVBQWUsSUFBSSxNQUFNLENBUXhCO0lBRUQsT0FBTyxJQUFJLE9BQU8sQ0FFakI7SUFFRCxVQUFVLElBQUksTUFBTSxDQUVuQjtJQUVELG1CQUFtQixDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLEVBQUUsR0FBRyxTQUFTLENBQUMsQ0FFM0Q7SUFFRCx3QkFBd0IsQ0FBQyxLQUFLLEVBQUUsTUFBTSxHQUFHLE1BQU0sRUFBRSxDQWFoRDtJQUlELFlBQVksQ0FBQyxNQUFNLEVBQUUsT0FBTyxDQUFDLGNBQWMsQ0FBQyxHQUFHLElBQUksQ0FVbEQ7SUFJRCxpQkFBaUIsSUFBSSxjQUFjLENBT2xDO0lBSUQsUUFBUSxJQUFJO1FBQUUsT0FBTyxFQUFFLE1BQU0sQ0FBQztRQUFDLFNBQVMsRUFBRSxNQUFNLENBQUM7UUFBQyxLQUFLLEVBQUUsTUFBTSxDQUFBO0tBQUUsQ0FpQmhFO0NBMm1CRiJ9

package/dest/mem_pools/tx_pool_v2/tx_pool_v2_impl.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tx_pool_v2_impl.d.ts","sourceRoot":"","sources":["../../../src/mem_pools/tx_pool_v2/tx_pool_v2_impl.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAC7D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,KAAK,EAAE,iBAAiB,EAAiB,MAAM,iBAAiB,CAAC;AAIxE,OAAO,KAAK,EAAE,OAAO,EAAE,SAAS,EAAiB,MAAM,qBAAqB,CAAC;AAG7E,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAoB,MAAM,kBAAkB,CAAC;AAe7E,OAAO,EACL,KAAK,YAAY,EAEjB,KAAK,cAAc,EACnB,KAAK,cAAc,EACnB,KAAK,oBAAoB,EAC1B,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAEL,KAAK,OAAO,EAKb,MAAM,kBAAkB,CAAC;AAE1B;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,KAAK,IAAI,CAAC;IAC3D,YAAY,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,KAAK,IAAI,CAAC;CACvD;AAED;;;;GAIG;AACH,qBAAa,YAAY;;IAgCvB,YACE,KAAK,EAAE,iBAAiB,EACxB,YAAY,EAAE,iBAAiB,EAC/B,IAAI,EAAE,oBAAoB,EAC1B,SAAS,EAAE,iBAAiB,EAC5B,MAAM,qCAA8B,EACpC,GAAG,EAAE,MAAM,EA+BZ;IAMD;;;;;;OAMG;IACG,mBAAmB,IAAI,OAAO,CAAC,IAAI,CAAC,CA+BzC;IAEK,aAAa,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO,CAAC,YAAY,CAAC,CAmE/E;IA2CK,eAAe,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,UAAU,GAAG,SAAS,GAAG,UAAU,CAAC,CAoB1E;IAEK,eAAe,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAiC7F;IAED,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,GAAG,MAAM,EAAE,CAkB3D;IAEK,WAAW,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAyBzF;IAEK,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CA2BpD;IAEK,cAAc,CAAC,UAAU,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAiC1D;IAEK,kBAAkB,CAAC,WAAW,EAAE,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CA4B9D;IAEK,qBAAqB,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAK7D;IAEK,oBAAoB,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CA6B5D;IAIK,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC,CAGzD;IAEK,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC,CAOlE;IAED,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,OAAO,EAAE,CAEpC;IAED,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAM/C;IAED,kBAAkB,IAAI,MAAM,EAAE,CAE7B;IAED,iBAAiB,IAAI,MAAM,CAM1B;IAED,gBAAgB,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAQxC;IAED,eAAe,IAAI,MAAM,CAQxB;IAED,OAAO,IAAI,OAAO,CAEjB;IAED,UAAU,IAAI,MAAM,CAEnB;IAED,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC,CAE3D;IAED,wBAAwB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CAahD;IAID,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,cAAc,CAAC,GAAG,IAAI,CAUlD;IAID,iBAAiB,IAAI,cAAc,CAOlC;IAID,QAAQ,IAAI;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAiBhE;CA2mBF"}