@aztec/prover-node 0.47.0

package/README.md

@@ -0,0 +1 @@
+# Prover Node

package/dest/config.d.ts

@@ -0,0 +1,8 @@
+import { type ArchiverConfig } from '@aztec/archiver';
+import { type ProverClientConfig } from '@aztec/prover-client';
+import { type PublisherConfig, type TxSenderConfig } from '@aztec/sequencer-client';
+import { type WorldStateConfig } from '@aztec/world-state';
+import { type TxProviderConfig } from './tx-provider/config.js';
+export type ProverNodeConfig = ArchiverConfig & ProverClientConfig & WorldStateConfig & PublisherConfig & TxSenderConfig & TxProviderConfig;
+export declare function getProverNodeConfigFromEnv(): ProverNodeConfig;
+//# sourceMappingURL=config.d.ts.map

package/dest/config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../src/config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,cAAc,EAA4B,MAAM,iBAAiB,CAAC;AAChF,OAAO,EAAE,KAAK,kBAAkB,EAAoB,MAAM,sBAAsB,CAAC;AACjF,OAAO,EAAE,KAAK,eAAe,EAAE,KAAK,cAAc,EAA4B,MAAM,yBAAyB,CAAC;AAC9G,OAAO,EAAE,KAAK,gBAAgB,EAA8B,MAAM,oBAAoB,CAAC;AAEvF,OAAO,EAAE,KAAK,gBAAgB,EAA8B,MAAM,yBAAyB,CAAC;AAE5F,MAAM,MAAM,gBAAgB,GAAG,cAAc,GAC3C,kBAAkB,GAClB,gBAAgB,GAChB,eAAe,GACf,cAAc,GACd,gBAAgB,CAAC;AAEnB,wBAAgB,0BAA0B,IAAI,gBAAgB,CAU7D"}

package/dest/config.js

@@ -0,0 +1,17 @@
+import { getArchiverConfigFromEnv } from '@aztec/archiver';
+import { getProverEnvVars } from '@aztec/prover-client';
+import { getTxSenderConfigFromEnv } from '@aztec/sequencer-client';
+import { getWorldStateConfigFromEnv } from '@aztec/world-state';
+import { getTxProviderConfigFromEnv } from './tx-provider/config.js';
+export function getProverNodeConfigFromEnv() {
+    const { PROOF_PUBLISH_RETRY_INTERVAL_MS } = process.env;
+    return {
+        ...getArchiverConfigFromEnv(),
+        ...getProverEnvVars(),
+        ...getWorldStateConfigFromEnv(),
+        ...getTxSenderConfigFromEnv('PROVER'),
+        ...getTxProviderConfigFromEnv(),
+        l1PublishRetryIntervalMS: PROOF_PUBLISH_RETRY_INTERVAL_MS ? +PROOF_PUBLISH_RETRY_INTERVAL_MS : 1000,
+    };
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29uZmlnLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vc3JjL2NvbmZpZy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQXVCLHdCQUF3QixFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFDaEYsT0FBTyxFQUEyQixnQkFBZ0IsRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBQ2pGLE9BQU8sRUFBNkMsd0JBQXdCLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUM5RyxPQUFPLEVBQXlCLDBCQUEwQixFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFFdkYsT0FBTyxFQUF5QiwwQkFBMEIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBUzVGLE1BQU0sVUFBVSwwQkFBMEI7SUFDeEMsTUFBTSxFQUFFLCtCQUErQixFQUFFLEdBQUcsT0FBTyxDQUFDLEdBQUcsQ0FBQztJQUN4RCxPQUFPO1FBQ0wsR0FBRyx3QkFBd0IsRUFBRTtRQUM3QixHQUFHLGdCQUFnQixFQUFFO1FBQ3JCLEdBQUcsMEJBQTBCLEVBQUU7UUFDL0IsR0FBRyx3QkFBd0IsQ0FBQyxRQUFRLENBQUM7UUFDckMsR0FBRywwQkFBMEIsRUFBRTtRQUMvQix3QkFBd0IsRUFBRSwrQkFBK0IsQ0FBQyxDQUFDLENBQUMsQ0FBQywrQkFBK0IsQ0FBQyxDQUFDLENBQUMsSUFBSztLQUNyRyxDQUFDO0FBQ0osQ0FBQyJ9

package/dest/factory.d.ts

@@ -0,0 +1,15 @@
+import { type Archiver } from '@aztec/archiver';
+import { type AztecNode } from '@aztec/circuit-types';
+import { type DebugLogger } from '@aztec/foundation/log';
+import { type TelemetryClient } from '@aztec/telemetry-client';
+import { type ProverNodeConfig } from './config.js';
+import { ProverNode } from './prover-node.js';
+/** Creates a new prover node given a config. */
+export declare function createProverNode(config: ProverNodeConfig, deps?: {
+    telemetry?: TelemetryClient;
+    log?: DebugLogger;
+    storeLog?: DebugLogger;
+    aztecNodeTxProvider?: AztecNode;
+    archiver?: Archiver;
+}): Promise<ProverNode>;
+//# sourceMappingURL=factory.d.ts.map

package/dest/factory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"factory.d.ts","sourceRoot":"","sources":["../src/factory.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,QAAQ,EAAkB,MAAM,iBAAiB,CAAC;AAChE,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,KAAK,WAAW,EAAqB,MAAM,uBAAuB,CAAC;AAK5E,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAI/D,OAAO,EAAE,KAAK,gBAAgB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAI9C,gDAAgD;AAChD,wBAAsB,gBAAgB,CACpC,MAAM,EAAE,gBAAgB,EACxB,IAAI,GAAE;IACJ,SAAS,CAAC,EAAE,eAAe,CAAC;IAC5B,GAAG,CAAC,EAAE,WAAW,CAAC;IAClB,QAAQ,CAAC,EAAE,WAAW,CAAC;IACvB,mBAAmB,CAAC,EAAE,SAAS,CAAC;IAChC,QAAQ,CAAC,EAAE,QAAQ,CAAC;CAChB,uBA8BP"}

package/dest/factory.js

@@ -0,0 +1,34 @@
+import { createArchiver } from '@aztec/archiver';
+import { createDebugLogger } from '@aztec/foundation/log';
+import { createStore } from '@aztec/kv-store/utils';
+import { createProverClient } from '@aztec/prover-client';
+import { getL1Publisher } from '@aztec/sequencer-client';
+import { PublicProcessorFactory, createSimulationProvider } from '@aztec/simulator';
+import { NoopTelemetryClient } from '@aztec/telemetry-client/noop';
+import { createWorldStateSynchronizer } from '@aztec/world-state';
+import { ProverNode } from './prover-node.js';
+import { AztecNodeTxProvider } from './tx-provider/aztec-node-tx-provider.js';
+import { createTxProvider } from './tx-provider/factory.js';
+/** Creates a new prover node given a config. */
+export async function createProverNode(config, deps = {}) {
+    const telemetry = deps.telemetry ?? new NoopTelemetryClient();
+    const log = deps.log ?? createDebugLogger('aztec:prover');
+    const storeLog = deps.storeLog ?? createDebugLogger('aztec:prover:lmdb');
+    const store = await createStore(config, config.l1Contracts.rollupAddress, storeLog);
+    const archiver = deps.archiver ?? (await createArchiver(config, store, telemetry, { blockUntilSync: true }));
+    log.verbose(`Created archiver and synced to block ${await archiver.getBlockNumber()}`);
+    const worldStateConfig = { ...config, worldStateProvenBlocksOnly: true };
+    const worldStateSynchronizer = await createWorldStateSynchronizer(worldStateConfig, store, archiver);
+    await worldStateSynchronizer.start();
+    const simulationProvider = await createSimulationProvider(config, log);
+    const prover = await createProverClient(config, worldStateSynchronizer, archiver);
+    // REFACTOR: Move publisher out of sequencer package and into an L1-related package
+    const publisher = getL1Publisher(config);
+    const latestWorldState = worldStateSynchronizer.getLatest();
+    const publicProcessorFactory = new PublicProcessorFactory(latestWorldState, archiver, simulationProvider, telemetry);
+    const txProvider = deps.aztecNodeTxProvider
+        ? new AztecNodeTxProvider(deps.aztecNodeTxProvider)
+        : createTxProvider(config);
+    return new ProverNode(prover, publicProcessorFactory, publisher, archiver, txProvider);
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZmFjdG9yeS5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9mYWN0b3J5LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBaUIsY0FBYyxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFFaEUsT0FBTyxFQUFvQixpQkFBaUIsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQzVFLE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNwRCxPQUFPLEVBQUUsa0JBQWtCLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUMxRCxPQUFPLEVBQUUsY0FBYyxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDekQsT0FBTyxFQUFFLHNCQUFzQixFQUFFLHdCQUF3QixFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFFcEYsT0FBTyxFQUFFLG1CQUFtQixFQUFFLE1BQU0sOEJBQThCLENBQUM7QUFDbkUsT0FBTyxFQUFFLDRCQUE0QixFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFHbEUsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBQzlDLE9BQU8sRUFBRSxtQkFBbUIsRUFBRSxNQUFNLHlDQUF5QyxDQUFDO0FBQzlFLE9BQU8sRUFBRSxnQkFBZ0IsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBRTVELGdEQUFnRDtBQUNoRCxNQUFNLENBQUMsS0FBSyxVQUFVLGdCQUFnQixDQUNwQyxNQUF3QixFQUN4QixPQU1JLEVBQUU7SUFFTixNQUFNLFNBQVMsR0FBRyxJQUFJLENBQUMsU0FBUyxJQUFJLElBQUksbUJBQW1CLEVBQUUsQ0FBQztJQUM5RCxNQUFNLEdBQUcsR0FBRyxJQUFJLENBQUMsR0FBRyxJQUFJLGlCQUFpQixDQUFDLGNBQWMsQ0FBQyxDQUFDO0lBQzFELE1BQU0sUUFBUSxHQUFHLElBQUksQ0FBQyxRQUFRLElBQUksaUJBQWlCLENBQUMsbUJBQW1CLENBQUMsQ0FBQztJQUV6RSxNQUFNLEtBQUssR0FBRyxNQUFNLFdBQVcsQ0FBQyxNQUFNLEVBQUUsTUFBTSxDQUFDLFdBQVcsQ0FBQyxhQUFhLEVBQUUsUUFBUSxDQUFDLENBQUM7SUFFcEYsTUFBTSxRQUFRLEdBQUcsSUFBSSxDQUFDLFFBQVEsSUFBSSxDQUFDLE1BQU0sY0FBYyxDQUFDLE1BQU0sRUFBRSxLQUFLLEVBQUUsU0FBUyxFQUFFLEVBQUUsY0FBYyxFQUFFLElBQUksRUFBRSxDQUFDLENBQUMsQ0FBQztJQUM3RyxHQUFHLENBQUMsT0FBTyxDQUFDLHdDQUF3QyxNQUFNLFFBQVEsQ0FBQyxjQUFjLEVBQUUsRUFBRSxDQUFDLENBQUM7SUFFdkYsTUFBTSxnQkFBZ0IsR0FBRyxFQUFFLEdBQUcsTUFBTSxFQUFFLDBCQUEwQixFQUFFLElBQUksRUFBRSxDQUFDO0lBQ3pFLE1BQU0sc0JBQXNCLEdBQUcsTUFBTSw0QkFBNEIsQ0FBQyxnQkFBZ0IsRUFBRSxLQUFLLEVBQUUsUUFBUSxDQUFDLENBQUM7SUFDckcsTUFBTSxzQkFBc0IsQ0FBQyxLQUFLLEVBQUUsQ0FBQztJQUVyQyxNQUFNLGtCQUFrQixHQUFHLE1BQU0sd0JBQXdCLENBQUMsTUFBTSxFQUFFLEdBQUcsQ0FBQyxDQUFDO0lBRXZFLE1BQU0sTUFBTSxHQUFHLE1BQU0sa0JBQWtCLENBQUMsTUFBTSxFQUFFLHNCQUFzQixFQUFFLFFBQVEsQ0FBQyxDQUFDO0lBRWxGLG1GQUFtRjtJQUNuRixNQUFNLFNBQVMsR0FBRyxjQUFjLENBQUMsTUFBTSxDQUFDLENBQUM7SUFFekMsTUFBTSxnQkFBZ0IsR0FBRyxzQkFBc0IsQ0FBQyxTQUFTLEVBQUUsQ0FBQztJQUM1RCxNQUFNLHNCQUFzQixHQUFHLElBQUksc0JBQXNCLENBQUMsZ0JBQWdCLEVBQUUsUUFBUSxFQUFFLGtCQUFrQixFQUFFLFNBQVMsQ0FBQyxDQUFDO0lBRXJILE1BQU0sVUFBVSxHQUFHLElBQUksQ0FBQyxtQkFBbUI7UUFDekMsQ0FBQyxDQUFDLElBQUksbUJBQW1CLENBQUMsSUFBSSxDQUFDLG1CQUFtQixDQUFDO1FBQ25ELENBQUMsQ0FBQyxnQkFBZ0IsQ0FBQyxNQUFNLENBQUMsQ0FBQztJQUU3QixPQUFPLElBQUksVUFBVSxDQUFDLE1BQU8sRUFBRSxzQkFBc0IsRUFBRSxTQUFTLEVBQUUsUUFBUSxFQUFFLFVBQVUsQ0FBQyxDQUFDO0FBQzFGLENBQUMifQ==

package/dest/http.d.ts

@@ -0,0 +1,9 @@
+import { JsonRpcServer } from '@aztec/foundation/json-rpc/server';
+import { type ProverNode } from './prover-node.js';
+/**
+ * Wrap a ProverNode instance with a JSON RPC HTTP server.
+ * @param node - The ProverNode
+ * @returns An JSON-RPC HTTP server
+ */
+export declare function createProverNodeRpcServer(node: ProverNode): JsonRpcServer;
+//# sourceMappingURL=http.d.ts.map

package/dest/http.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"http.d.ts","sourceRoot":"","sources":["../src/http.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAElE,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,UAAU,iBAczD"}

package/dest/http.js

@@ -0,0 +1,19 @@
+import { AztecAddress, EthAddress, Fr, Header } from '@aztec/circuits.js';
+import { JsonRpcServer } from '@aztec/foundation/json-rpc/server';
+/**
+ * Wrap a ProverNode instance with a JSON RPC HTTP server.
+ * @param node - The ProverNode
+ * @returns An JSON-RPC HTTP server
+ */
+export function createProverNodeRpcServer(node) {
+    const rpc = new JsonRpcServer(node, {
+        AztecAddress,
+        EthAddress,
+        Fr,
+        Header,
+    }, {}, 
+    // disable methods not part of the AztecNode interface
+    ['start', 'stop', 'createProvingJob', 'work', 'getProver']);
+    return rpc;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaHR0cC5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9odHRwLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxZQUFZLEVBQUUsVUFBVSxFQUFFLEVBQUUsRUFBRSxNQUFNLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUMxRSxPQUFPLEVBQUUsYUFBYSxFQUFFLE1BQU0sbUNBQW1DLENBQUM7QUFJbEU7Ozs7R0FJRztBQUNILE1BQU0sVUFBVSx5QkFBeUIsQ0FBQyxJQUFnQjtJQUN4RCxNQUFNLEdBQUcsR0FBRyxJQUFJLGFBQWEsQ0FDM0IsSUFBSSxFQUNKO1FBQ0UsWUFBWTtRQUNaLFVBQVU7UUFDVixFQUFFO1FBQ0YsTUFBTTtLQUNQLEVBQ0QsRUFBRTtJQUNGLHNEQUFzRDtJQUN0RCxDQUFDLE9BQU8sRUFBRSxNQUFNLEVBQUUsa0JBQWtCLEVBQUUsTUFBTSxFQUFFLFdBQVcsQ0FBQyxDQUMzRCxDQUFDO0lBQ0YsT0FBTyxHQUFHLENBQUM7QUFDYixDQUFDIn0=

package/dest/index.d.ts

@@ -0,0 +1,5 @@
+export * from './factory.js';
+export * from './config.js';
+export * from './prover-node.js';
+export * from './http.js';
+//# sourceMappingURL=index.d.ts.map

package/dest/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,cAAc,CAAC;AAC7B,cAAc,aAAa,CAAC;AAC5B,cAAc,kBAAkB,CAAC;AACjC,cAAc,WAAW,CAAC"}

package/dest/index.js

@@ -0,0 +1,5 @@
+export * from './factory.js';
+export * from './config.js';
+export * from './prover-node.js';
+export * from './http.js';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsY0FBYyxjQUFjLENBQUM7QUFDN0IsY0FBYyxhQUFhLENBQUM7QUFDNUIsY0FBYyxrQkFBa0IsQ0FBQztBQUNqQyxjQUFjLFdBQVcsQ0FBQyJ9

package/dest/job/block-proving-job.d.ts

@@ -0,0 +1,25 @@
+import { type BlockProver, type L2BlockSource, type TxProvider } from '@aztec/circuit-types';
+import { type L1Publisher } from '@aztec/sequencer-client';
+import { type PublicProcessorFactory } from '@aztec/simulator';
+/**
+ * Job that grabs a range of blocks from the unfinalised chain from L1, gets their txs given their hashes,
+ * re-executes their public calls, generates a rollup proof, and submits it to L1. This job will update the
+ * world state as part of public call execution via the public processor.
+ */
+export declare class BlockProvingJob {
+    private prover;
+    private publicProcessorFactory;
+    private publisher;
+    private l2BlockSource;
+    private txProvider;
+    private state;
+    private log;
+    constructor(prover: BlockProver, publicProcessorFactory: PublicProcessorFactory, publisher: L1Publisher, l2BlockSource: L2BlockSource, txProvider: TxProvider);
+    getState(): BlockProvingJobState;
+    run(fromBlock: number, toBlock: number): Promise<void>;
+    private getBlock;
+    private getTxs;
+    private processTxs;
+}
+export type BlockProvingJobState = 'initialized' | 'started' | 'processing' | 'awaiting-prover' | 'publishing-proof' | 'completed';
+//# sourceMappingURL=block-proving-job.d.ts.map

package/dest/job/block-proving-job.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"block-proving-job.d.ts","sourceRoot":"","sources":["../../src/job/block-proving-job.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,WAAW,EAGhB,KAAK,aAAa,EAKlB,KAAK,UAAU,EAChB,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAwB,KAAK,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAErF;;;;GAIG;AACH,qBAAa,eAAe;IAKxB,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,sBAAsB;IAC9B,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,UAAU;IARpB,OAAO,CAAC,KAAK,CAAuC;IACpD,OAAO,CAAC,GAAG,CAAgD;gBAGjD,MAAM,EAAE,WAAW,EACnB,sBAAsB,EAAE,sBAAsB,EAC9C,SAAS,EAAE,WAAW,EACtB,aAAa,EAAE,aAAa,EAC5B,UAAU,EAAE,UAAU;IAGzB,QAAQ,IAAI,oBAAoB;IAI1B,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;YA8DrC,QAAQ;YAQR,MAAM;YAWN,UAAU;CAoBzB;AAED,MAAM,MAAM,oBAAoB,GAC5B,aAAa,GACb,SAAS,GACT,YAAY,GACZ,iBAAiB,GACjB,kBAAkB,GAClB,WAAW,CAAC"}

package/dest/job/block-proving-job.js

@@ -0,0 +1,92 @@
+import { EmptyTxValidator, PROVING_STATUS, } from '@aztec/circuit-types';
+import { createDebugLogger } from '@aztec/foundation/log';
+/**
+ * Job that grabs a range of blocks from the unfinalised chain from L1, gets their txs given their hashes,
+ * re-executes their public calls, generates a rollup proof, and submits it to L1. This job will update the
+ * world state as part of public call execution via the public processor.
+ */
+export class BlockProvingJob {
+    constructor(prover, publicProcessorFactory, publisher, l2BlockSource, txProvider) {
+        this.prover = prover;
+        this.publicProcessorFactory = publicProcessorFactory;
+        this.publisher = publisher;
+        this.l2BlockSource = l2BlockSource;
+        this.txProvider = txProvider;
+        this.state = 'initialized';
+        this.log = createDebugLogger('aztec:block-proving-job');
+    }
+    getState() {
+        return this.state;
+    }
+    async run(fromBlock, toBlock) {
+        if (fromBlock !== toBlock) {
+            throw new Error(`Block ranges are not yet supported`);
+        }
+        this.log.info(`Starting block proving job`, { fromBlock, toBlock });
+        this.state = 'started';
+        // TODO: Fast-forward world state to fromBlock and/or await fromBlock to be published to the unproven chain
+        this.state = 'processing';
+        let historicalHeader = (await this.l2BlockSource.getBlock(fromBlock - 1))?.header;
+        for (let blockNumber = fromBlock; blockNumber <= toBlock; blockNumber++) {
+            const block = await this.getBlock(blockNumber);
+            const globalVariables = block.header.globalVariables;
+            const txHashes = block.body.txEffects.map(tx => tx.txHash);
+            const txCount = block.body.numberOfTxsIncludingPadded;
+            const l1ToL2Messages = []; // TODO: grab L1 to L2 messages for this block
+            this.log.verbose(`Starting block processing`, {
+                number: block.number,
+                blockHash: block.hash().toString(),
+                lastArchive: block.header.lastArchive.root,
+                noteHashTreeRoot: block.header.state.partial.noteHashTree.root,
+                nullifierTreeRoot: block.header.state.partial.nullifierTree.root,
+                publicDataTreeRoot: block.header.state.partial.publicDataTree.root,
+                historicalHeader: historicalHeader?.hash(),
+                ...globalVariables,
+            });
+            const provingTicket = await this.prover.startNewBlock(txCount, globalVariables, l1ToL2Messages);
+            const publicProcessor = this.publicProcessorFactory.create(historicalHeader, globalVariables);
+            const txs = await this.getTxs(txHashes);
+            await this.processTxs(publicProcessor, txs, txCount);
+            this.log.verbose(`Processed all txs for block`, {
+                blockNumber: block.number,
+                blockHash: block.hash().toString(),
+            });
+            await this.prover.setBlockCompleted();
+            const result = await provingTicket.provingPromise;
+            if (result.status === PROVING_STATUS.FAILURE) {
+                throw new Error(`Block proving failed: ${result.reason}`);
+            }
+            historicalHeader = block.header;
+        }
+        this.state = 'awaiting-prover';
+        const { block, aggregationObject, proof } = await this.prover.finaliseBlock();
+        this.log.info(`Finalised proof for block range`, { fromBlock, toBlock });
+        this.state = 'publishing-proof';
+        await this.publisher.submitProof(block.header, block.archive.root, aggregationObject, proof);
+        this.log.info(`Submitted proof for block range`, { fromBlock, toBlock });
+        this.state = 'completed';
+    }
+    async getBlock(blockNumber) {
+        const block = await this.l2BlockSource.getBlock(blockNumber);
+        if (!block) {
+            throw new Error(`Block ${blockNumber} not found in L2 block source`);
+        }
+        return block;
+    }
+    async getTxs(txHashes) {
+        const txs = await Promise.all(txHashes.map(txHash => this.txProvider.getTxByHash(txHash).then(tx => [txHash, tx])));
+        const notFound = txs.filter(([_, tx]) => !tx);
+        if (notFound.length) {
+            throw new Error(`Txs not found: ${notFound.map(([txHash]) => txHash.toString()).join(', ')}`);
+        }
+        return txs.map(([_, tx]) => tx);
+    }
+    async processTxs(publicProcessor, txs, totalNumberOfTxs) {
+        const [processedTxs, failedTxs] = await publicProcessor.process(txs, totalNumberOfTxs, this.prover, new EmptyTxValidator());
+        if (failedTxs.length) {
+            throw new Error(`Failed to process txs: ${failedTxs.map(({ tx, error }) => `${tx.getTxHash()} (${error})`).join(', ')}`);
+        }
+        return processedTxs;
+    }
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmxvY2stcHJvdmluZy1qb2IuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvam9iL2Jsb2NrLXByb3Zpbmctam9iLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFFTCxnQkFBZ0IsRUFHaEIsY0FBYyxHQUtmLE1BQU0sc0JBQXNCLENBQUM7QUFFOUIsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFJMUQ7Ozs7R0FJRztBQUNILE1BQU0sT0FBTyxlQUFlO0lBSTFCLFlBQ1UsTUFBbUIsRUFDbkIsc0JBQThDLEVBQzlDLFNBQXNCLEVBQ3RCLGFBQTRCLEVBQzVCLFVBQXNCO1FBSnRCLFdBQU0sR0FBTixNQUFNLENBQWE7UUFDbkIsMkJBQXNCLEdBQXRCLHNCQUFzQixDQUF3QjtRQUM5QyxjQUFTLEdBQVQsU0FBUyxDQUFhO1FBQ3RCLGtCQUFhLEdBQWIsYUFBYSxDQUFlO1FBQzVCLGVBQVUsR0FBVixVQUFVLENBQVk7UUFSeEIsVUFBSyxHQUF5QixhQUFhLENBQUM7UUFDNUMsUUFBRyxHQUFHLGlCQUFpQixDQUFDLHlCQUF5QixDQUFDLENBQUM7SUFReEQsQ0FBQztJQUVHLFFBQVE7UUFDYixPQUFPLElBQUksQ0FBQyxLQUFLLENBQUM7SUFDcEIsQ0FBQztJQUVNLEtBQUssQ0FBQyxHQUFHLENBQUMsU0FBaUIsRUFBRSxPQUFlO1FBQ2pELElBQUksU0FBUyxLQUFLLE9BQU8sRUFBRSxDQUFDO1lBQzFCLE1BQU0sSUFBSSxLQUFLLENBQUMsb0NBQW9DLENBQUMsQ0FBQztRQUN4RCxDQUFDO1FBRUQsSUFBSSxDQUFDLEdBQUcsQ0FBQyxJQUFJLENBQUMsNEJBQTRCLEVBQUUsRUFBRSxTQUFTLEVBQUUsT0FBTyxFQUFFLENBQUMsQ0FBQztRQUNwRSxJQUFJLENBQUMsS0FBSyxHQUFHLFNBQVMsQ0FBQztRQUV2QiwyR0FBMkc7UUFFM0csSUFBSSxDQUFDLEtBQUssR0FBRyxZQUFZLENBQUM7UUFFMUIsSUFBSSxnQkFBZ0IsR0FBRyxDQUFDLE1BQU0sSUFBSSxDQUFDLGFBQWEsQ0FBQyxRQUFRLENBQUMsU0FBUyxHQUFHLENBQUMsQ0FBQyxDQUFDLEVBQUUsTUFBTSxDQUFDO1FBQ2xGLEtBQUssSUFBSSxXQUFXLEdBQUcsU0FBUyxFQUFFLFdBQVcsSUFBSSxPQUFPLEVBQUUsV0FBVyxFQUFFLEVBQUUsQ0FBQztZQUN4RSxNQUFNLEtBQUssR0FBRyxNQUFNLElBQUksQ0FBQyxRQUFRLENBQUMsV0FBVyxDQUFDLENBQUM7WUFDL0MsTUFBTSxlQUFlLEdBQUcsS0FBSyxDQUFDLE1BQU0sQ0FBQyxlQUFlLENBQUM7WUFDckQsTUFBTSxRQUFRLEdBQUcsS0FBSyxDQUFDLElBQUksQ0FBQyxTQUFTLENBQUMsR0FBRyxDQUFDLEVBQUUsQ0FBQyxFQUFFLENBQUMsRUFBRSxDQUFDLE1BQU0sQ0FBQyxDQUFDO1lBQzNELE1BQU0sT0FBTyxHQUFHLEtBQUssQ0FBQyxJQUFJLENBQUMsMEJBQTBCLENBQUM7WUFDdEQsTUFBTSxjQUFjLEdBQVMsRUFBRSxDQUFDLENBQUMsOENBQThDO1lBRS9FLElBQUksQ0FBQyxHQUFHLENBQUMsT0FBTyxDQUFDLDJCQUEyQixFQUFFO2dCQUM1QyxNQUFNLEVBQUUsS0FBSyxDQUFDLE1BQU07Z0JBQ3BCLFNBQVMsRUFBRSxLQUFLLENBQUMsSUFBSSxFQUFFLENBQUMsUUFBUSxFQUFFO2dCQUNsQyxXQUFXLEVBQUUsS0FBSyxDQUFDLE1BQU0sQ0FBQyxXQUFXLENBQUMsSUFBSTtnQkFDMUMsZ0JBQWdCLEVBQUUsS0FBSyxDQUFDLE1BQU0sQ0FBQyxLQUFLLENBQUMsT0FBTyxDQUFDLFlBQVksQ0FBQyxJQUFJO2dCQUM5RCxpQkFBaUIsRUFBRSxLQUFLLENBQUMsTUFBTSxDQUFDLEtBQUssQ0FBQyxPQUFPLENBQUMsYUFBYSxDQUFDLElBQUk7Z0JBQ2hFLGtCQUFrQixFQUFFLEtBQUssQ0FBQyxNQUFNLENBQUMsS0FBSyxDQUFDLE9BQU8sQ0FBQyxjQUFjLENBQUMsSUFBSTtnQkFDbEUsZ0JBQWdCLEVBQUUsZ0JBQWdCLEVBQUUsSUFBSSxFQUFFO2dCQUMxQyxHQUFHLGVBQWU7YUFDbkIsQ0FBQyxDQUFDO1lBQ0gsTUFBTSxhQUFhLEdBQUcsTUFBTSxJQUFJLENBQUMsTUFBTSxDQUFDLGFBQWEsQ0FBQyxPQUFPLEVBQUUsZUFBZSxFQUFFLGNBQWMsQ0FBQyxDQUFDO1lBQ2hHLE1BQU0sZUFBZSxHQUFHLElBQUksQ0FBQyxzQkFBc0IsQ0FBQyxNQUFNLENBQUMsZ0JBQWdCLEVBQUUsZUFBZSxDQUFDLENBQUM7WUFFOUYsTUFBTSxHQUFHLEdBQUcsTUFBTSxJQUFJLENBQUMsTUFBTSxDQUFDLFFBQVEsQ0FBQyxDQUFDO1lBQ3hDLE1BQU0sSUFBSSxDQUFDLFVBQVUsQ0FBQyxlQUFlLEVBQUUsR0FBRyxFQUFFLE9BQU8sQ0FBQyxDQUFDO1lBRXJELElBQUksQ0FBQyxHQUFHLENBQUMsT0FBTyxDQUFDLDZCQUE2QixFQUFFO2dCQUM5QyxXQUFXLEVBQUUsS0FBSyxDQUFDLE1BQU07Z0JBQ3pCLFNBQVMsRUFBRSxLQUFLLENBQUMsSUFBSSxFQUFFLENBQUMsUUFBUSxFQUFFO2FBQ25DLENBQUMsQ0FBQztZQUVILE1BQU0sSUFBSSxDQUFDLE1BQU0sQ0FBQyxpQkFBaUIsRUFBRSxDQUFDO1lBRXRDLE1BQU0sTUFBTSxHQUFHLE1BQU0sYUFBYSxDQUFDLGNBQWMsQ0FBQztZQUNsRCxJQUFJLE1BQU0sQ0FBQyxNQUFNLEtBQUssY0FBYyxDQUFDLE9BQU8sRUFBRSxDQUFDO2dCQUM3QyxNQUFNLElBQUksS0FBSyxDQUFDLHlCQUF5QixNQUFNLENBQUMsTUFBTSxFQUFFLENBQUMsQ0FBQztZQUM1RCxDQUFDO1lBRUQsZ0JBQWdCLEdBQUcsS0FBSyxDQUFDLE1BQU0sQ0FBQztRQUNsQyxDQUFDO1FBRUQsSUFBSSxDQUFDLEtBQUssR0FBRyxpQkFBaUIsQ0FBQztRQUMvQixNQUFNLEVBQUUsS0FBSyxFQUFFLGlCQUFpQixFQUFFLEtBQUssRUFBRSxHQUFHLE1BQU0sSUFBSSxDQUFDLE1BQU0sQ0FBQyxhQUFhLEVBQUUsQ0FBQztRQUM5RSxJQUFJLENBQUMsR0FBRyxDQUFDLElBQUksQ0FBQyxpQ0FBaUMsRUFBRSxFQUFFLFNBQVMsRUFBRSxPQUFPLEVBQUUsQ0FBQyxDQUFDO1FBRXpFLElBQUksQ0FBQyxLQUFLLEdBQUcsa0JBQWtCLENBQUM7UUFDaEMsTUFBTSxJQUFJLENBQUMsU0FBUyxDQUFDLFdBQVcsQ0FBQyxLQUFLLENBQUMsTUFBTSxFQUFFLEtBQUssQ0FBQyxPQUFPLENBQUMsSUFBSSxFQUFFLGlCQUFpQixFQUFFLEtBQUssQ0FBQyxDQUFDO1FBQzdGLElBQUksQ0FBQyxHQUFHLENBQUMsSUFBSSxDQUFDLGlDQUFpQyxFQUFFLEVBQUUsU0FBUyxFQUFFLE9BQU8sRUFBRSxDQUFDLENBQUM7UUFFekUsSUFBSSxDQUFDLEtBQUssR0FBRyxXQUFXLENBQUM7SUFDM0IsQ0FBQztJQUVPLEtBQUssQ0FBQyxRQUFRLENBQUMsV0FBbUI7UUFDeEMsTUFBTSxLQUFLLEdBQUcsTUFBTSxJQUFJLENBQUMsYUFBYSxDQUFDLFFBQVEsQ0FBQyxXQUFXLENBQUMsQ0FBQztRQUM3RCxJQUFJLENBQUMsS0FBSyxFQUFFLENBQUM7WUFDWCxNQUFNLElBQUksS0FBSyxDQUFDLFNBQVMsV0FBVywrQkFBK0IsQ0FBQyxDQUFDO1FBQ3ZFLENBQUM7UUFDRCxPQUFPLEtBQUssQ0FBQztJQUNmLENBQUM7SUFFTyxLQUFLLENBQUMsTUFBTSxDQUFDLFFBQWtCO1FBQ3JDLE1BQU0sR0FBRyxHQUFHLE1BQU0sT0FBTyxDQUFDLEdBQUcsQ0FDM0IsUUFBUSxDQUFDLEdBQUcsQ0FBQyxNQUFNLENBQUMsRUFBRSxDQUFDLElBQUksQ0FBQyxVQUFVLENBQUMsV0FBVyxDQUFDLE1BQU0sQ0FBQyxDQUFDLElBQUksQ0FBQyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsTUFBTSxFQUFFLEVBQUUsQ0FBVSxDQUFDLENBQUMsQ0FDOUYsQ0FBQztRQUNGLE1BQU0sUUFBUSxHQUFHLEdBQUcsQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQztRQUM5QyxJQUFJLFFBQVEsQ0FBQyxNQUFNLEVBQUUsQ0FBQztZQUNwQixNQUFNLElBQUksS0FBSyxDQUFDLGtCQUFrQixRQUFRLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxNQUFNLENBQUMsRUFBRSxFQUFFLENBQUMsTUFBTSxDQUFDLFFBQVEsRUFBRSxDQUFDLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxFQUFFLENBQUMsQ0FBQztRQUNoRyxDQUFDO1FBQ0QsT0FBTyxHQUFHLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLEVBQUUsRUFBRSxDQUFDLEVBQUcsQ0FBQyxDQUFDO0lBQ25DLENBQUM7SUFFTyxLQUFLLENBQUMsVUFBVSxDQUN0QixlQUFnQyxFQUNoQyxHQUFTLEVBQ1QsZ0JBQXdCO1FBRXhCLE1BQU0sQ0FBQyxZQUFZLEVBQUUsU0FBUyxDQUFDLEdBQUcsTUFBTSxlQUFlLENBQUMsT0FBTyxDQUM3RCxHQUFHLEVBQ0gsZ0JBQWdCLEVBQ2hCLElBQUksQ0FBQyxNQUFNLEVBQ1gsSUFBSSxnQkFBZ0IsRUFBRSxDQUN2QixDQUFDO1FBRUYsSUFBSSxTQUFTLENBQUMsTUFBTSxFQUFFLENBQUM7WUFDckIsTUFBTSxJQUFJLEtBQUssQ0FDYiwwQkFBMEIsU0FBUyxDQUFDLEdBQUcsQ0FBQyxDQUFDLEVBQUUsRUFBRSxFQUFFLEtBQUssRUFBRSxFQUFFLEVBQUUsQ0FBQyxHQUFHLEVBQUUsQ0FBQyxTQUFTLEVBQUUsS0FBSyxLQUFLLEdBQUcsQ0FBQyxDQUFDLElBQUksQ0FBQyxJQUFJLENBQUMsRUFBRSxDQUN4RyxDQUFDO1FBQ0osQ0FBQztRQUVELE9BQU8sWUFBWSxDQUFDO0lBQ3RCLENBQUM7Q0FDRiJ9

package/dest/prover-node.d.ts

@@ -0,0 +1,51 @@
+import { type L2BlockSource, type ProverClient, type TxProvider } from '@aztec/circuit-types';
+import { type L1Publisher } from '@aztec/sequencer-client';
+import { type PublicProcessorFactory } from '@aztec/simulator';
+/**
+ * An Aztec Prover Node is a standalone process that monitors the unfinalised chain on L1 for unproven blocks,
+ * fetches their txs from a tx source in the p2p network or an external node, re-executes their public functions,
+ * creates a rollup proof, and submits it to L1.
+ */
+export declare class ProverNode {
+    private prover;
+    private publicProcessorFactory;
+    private publisher;
+    private l2BlockSource;
+    private txProvider;
+    private options;
+    private log;
+    private runningPromise;
+    constructor(prover: ProverClient, publicProcessorFactory: PublicProcessorFactory, publisher: L1Publisher, l2BlockSource: L2BlockSource, txProvider: TxProvider, options?: {
+        pollingIntervalMs: number;
+        disableAutomaticProving: boolean;
+    });
+    /**
+     * Starts the prover node so it periodically checks for unproven blocks in the unfinalised chain from L1 and proves them.
+     * This may change once we implement a prover coordination mechanism.
+     */
+    start(): void;
+    /**
+     * Stops the prover node and all its dependencies.
+     */
+    stop(): Promise<void>;
+    /**
+     * Single iteration of recurring work. This method is called periodically by the running promise.
+     * Checks whether there are new blocks to prove, proves them, and submits them.
+     * Only proves one block per job and one job at a time (for now).
+     */
+    protected work(): Promise<void>;
+    /**
+     * Creates a proof for a block range. Returns once the proof has been submitted to L1.
+     */
+    prove(fromBlock: number, toBlock: number): Promise<void>;
+    /**
+     * Starts a proving process and returns immediately.
+     */
+    startProof(fromBlock: number, toBlock: number): Promise<void>;
+    /**
+     * Returns the prover instance.
+     */
+    getProver(): ProverClient;
+    private createProvingJob;
+}
+//# sourceMappingURL=prover-node.d.ts.map

package/dest/prover-node.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prover-node.d.ts","sourceRoot":"","sources":["../src/prover-node.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,aAAa,EAAE,KAAK,YAAY,EAAE,KAAK,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAG9F,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,KAAK,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAI/D;;;;GAIG;AACH,qBAAa,UAAU;IAKnB,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,sBAAsB;IAC9B,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,OAAO;IATjB,OAAO,CAAC,GAAG,CAA0C;IACrD,OAAO,CAAC,cAAc,CAA6B;gBAGzC,MAAM,EAAE,YAAY,EACpB,sBAAsB,EAAE,sBAAsB,EAC9C,SAAS,EAAE,WAAW,EACtB,aAAa,EAAE,aAAa,EAC5B,UAAU,EAAE,UAAU,EACtB,OAAO,GAAE;QAAE,iBAAiB,EAAE,MAAM,CAAC;QAAC,uBAAuB,EAAE,OAAO,CAAA;KAG7E;IAGH;;;OAGG;IACH,KAAK;IAML;;OAEG;IACG,IAAI;IASV;;;;OAIG;cACa,IAAI;IAoBpB;;OAEG;IACI,KAAK,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;IAI/C;;OAEG;IACI,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;IAKpD;;OAEG;IACI,SAAS;IAIhB,OAAO,CAAC,gBAAgB;CASzB"}

package/dest/prover-node.js

@@ -0,0 +1,86 @@
+import { createDebugLogger } from '@aztec/foundation/log';
+import { RunningPromise } from '@aztec/foundation/running-promise';
+import { BlockProvingJob } from './job/block-proving-job.js';
+/**
+ * An Aztec Prover Node is a standalone process that monitors the unfinalised chain on L1 for unproven blocks,
+ * fetches their txs from a tx source in the p2p network or an external node, re-executes their public functions,
+ * creates a rollup proof, and submits it to L1.
+ */
+export class ProverNode {
+    constructor(prover, publicProcessorFactory, publisher, l2BlockSource, txProvider, options = {
+        pollingIntervalMs: 1000,
+        disableAutomaticProving: false,
+    }) {
+        this.prover = prover;
+        this.publicProcessorFactory = publicProcessorFactory;
+        this.publisher = publisher;
+        this.l2BlockSource = l2BlockSource;
+        this.txProvider = txProvider;
+        this.options = options;
+        this.log = createDebugLogger('aztec:prover-node');
+    }
+    /**
+     * Starts the prover node so it periodically checks for unproven blocks in the unfinalised chain from L1 and proves them.
+     * This may change once we implement a prover coordination mechanism.
+     */
+    start() {
+        this.runningPromise = new RunningPromise(this.work.bind(this), this.options.pollingIntervalMs);
+        this.runningPromise.start();
+        this.log.info('Started ProverNode');
+    }
+    /**
+     * Stops the prover node and all its dependencies.
+     */
+    async stop() {
+        this.log.info('Stopping ProverNode');
+        await this.runningPromise?.stop();
+        await this.prover.stop();
+        await this.l2BlockSource.stop();
+        this.publisher.interrupt();
+        this.log.info('Stopped ProverNode');
+    }
+    /**
+     * Single iteration of recurring work. This method is called periodically by the running promise.
+     * Checks whether there are new blocks to prove, proves them, and submits them.
+     * Only proves one block per job and one job at a time (for now).
+     */
+    async work() {
+        if (this.options.disableAutomaticProving) {
+            return;
+        }
+        const [latestBlockNumber, latestProvenBlockNumber] = await Promise.all([
+            this.l2BlockSource.getBlockNumber(),
+            this.l2BlockSource.getProvenBlockNumber(),
+        ]);
+        if (latestProvenBlockNumber >= latestBlockNumber) {
+            this.log.debug(`No new blocks to prove`, { latestBlockNumber, latestProvenBlockNumber });
+            return;
+        }
+        const fromBlock = latestProvenBlockNumber + 1;
+        const toBlock = fromBlock; // We only prove one block at a time for now
+        await this.prove(fromBlock, toBlock);
+    }
+    /**
+     * Creates a proof for a block range. Returns once the proof has been submitted to L1.
+     */
+    prove(fromBlock, toBlock) {
+        return this.createProvingJob().run(fromBlock, toBlock);
+    }
+    /**
+     * Starts a proving process and returns immediately.
+     */
+    startProof(fromBlock, toBlock) {
+        void this.createProvingJob().run(fromBlock, toBlock);
+        return Promise.resolve();
+    }
+    /**
+     * Returns the prover instance.
+     */
+    getProver() {
+        return this.prover;
+    }
+    createProvingJob() {
+        return new BlockProvingJob(this.prover, this.publicProcessorFactory, this.publisher, this.l2BlockSource, this.txProvider);
+    }
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmVyLW5vZGUuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvcHJvdmVyLW5vZGUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFDMUQsT0FBTyxFQUFFLGNBQWMsRUFBRSxNQUFNLG1DQUFtQyxDQUFDO0FBSW5FLE9BQU8sRUFBRSxlQUFlLEVBQUUsTUFBTSw0QkFBNEIsQ0FBQztBQUU3RDs7OztHQUlHO0FBQ0gsTUFBTSxPQUFPLFVBQVU7SUFJckIsWUFDVSxNQUFvQixFQUNwQixzQkFBOEMsRUFDOUMsU0FBc0IsRUFDdEIsYUFBNEIsRUFDNUIsVUFBc0IsRUFDdEIsVUFBMkU7UUFDakYsaUJBQWlCLEVBQUUsSUFBSztRQUN4Qix1QkFBdUIsRUFBRSxLQUFLO0tBQy9CO1FBUk8sV0FBTSxHQUFOLE1BQU0sQ0FBYztRQUNwQiwyQkFBc0IsR0FBdEIsc0JBQXNCLENBQXdCO1FBQzlDLGNBQVMsR0FBVCxTQUFTLENBQWE7UUFDdEIsa0JBQWEsR0FBYixhQUFhLENBQWU7UUFDNUIsZUFBVSxHQUFWLFVBQVUsQ0FBWTtRQUN0QixZQUFPLEdBQVAsT0FBTyxDQUdkO1FBWkssUUFBRyxHQUFHLGlCQUFpQixDQUFDLG1CQUFtQixDQUFDLENBQUM7SUFhbEQsQ0FBQztJQUVKOzs7T0FHRztJQUNILEtBQUs7UUFDSCxJQUFJLENBQUMsY0FBYyxHQUFHLElBQUksY0FBYyxDQUFDLElBQUksQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxFQUFFLElBQUksQ0FBQyxPQUFPLENBQUMsaUJBQWlCLENBQUMsQ0FBQztRQUMvRixJQUFJLENBQUMsY0FBYyxDQUFDLEtBQUssRUFBRSxDQUFDO1FBQzVCLElBQUksQ0FBQyxHQUFHLENBQUMsSUFBSSxDQUFDLG9CQUFvQixDQUFDLENBQUM7SUFDdEMsQ0FBQztJQUVEOztPQUVHO0lBQ0gsS0FBSyxDQUFDLElBQUk7UUFDUixJQUFJLENBQUMsR0FBRyxDQUFDLElBQUksQ0FBQyxxQkFBcUIsQ0FBQyxDQUFDO1FBQ3JDLE1BQU0sSUFBSSxDQUFDLGNBQWMsRUFBRSxJQUFJLEVBQUUsQ0FBQztRQUNsQyxNQUFNLElBQUksQ0FBQyxNQUFNLENBQUMsSUFBSSxFQUFFLENBQUM7UUFDekIsTUFBTSxJQUFJLENBQUMsYUFBYSxDQUFDLElBQUksRUFBRSxDQUFDO1FBQ2hDLElBQUksQ0FBQyxTQUFTLENBQUMsU0FBUyxFQUFFLENBQUM7UUFDM0IsSUFBSSxDQUFDLEdBQUcsQ0FBQyxJQUFJLENBQUMsb0JBQW9CLENBQUMsQ0FBQztJQUN0QyxDQUFDO0lBRUQ7Ozs7T0FJRztJQUNPLEtBQUssQ0FBQyxJQUFJO1FBQ2xCLElBQUksSUFBSSxDQUFDLE9BQU8sQ0FBQyx1QkFBdUIsRUFBRSxDQUFDO1lBQ3pDLE9BQU87UUFDVCxDQUFDO1FBRUQsTUFBTSxDQUFDLGlCQUFpQixFQUFFLHVCQUF1QixDQUFDLEdBQUcsTUFBTSxPQUFPLENBQUMsR0FBRyxDQUFDO1lBQ3JFLElBQUksQ0FBQyxhQUFhLENBQUMsY0FBYyxFQUFFO1lBQ25DLElBQUksQ0FBQyxhQUFhLENBQUMsb0JBQW9CLEVBQUU7U0FDMUMsQ0FBQyxDQUFDO1FBRUgsSUFBSSx1QkFBdUIsSUFBSSxpQkFBaUIsRUFBRSxDQUFDO1lBQ2pELElBQUksQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLHdCQUF3QixFQUFFLEVBQUUsaUJBQWlCLEVBQUUsdUJBQXVCLEVBQUUsQ0FBQyxDQUFDO1lBQ3pGLE9BQU87UUFDVCxDQUFDO1FBRUQsTUFBTSxTQUFTLEdBQUcsdUJBQXVCLEdBQUcsQ0FBQyxDQUFDO1FBQzlDLE1BQU0sT0FBTyxHQUFHLFNBQVMsQ0FBQyxDQUFDLDRDQUE0QztRQUN2RSxNQUFNLElBQUksQ0FBQyxLQUFLLENBQUMsU0FBUyxFQUFFLE9BQU8sQ0FBQyxDQUFDO0lBQ3ZDLENBQUM7SUFFRDs7T0FFRztJQUNJLEtBQUssQ0FBQyxTQUFpQixFQUFFLE9BQWU7UUFDN0MsT0FBTyxJQUFJLENBQUMsZ0JBQWdCLEVBQUUsQ0FBQyxHQUFHLENBQUMsU0FBUyxFQUFFLE9BQU8sQ0FBQyxDQUFDO0lBQ3pELENBQUM7SUFFRDs7T0FFRztJQUNJLFVBQVUsQ0FBQyxTQUFpQixFQUFFLE9BQWU7UUFDbEQsS0FBSyxJQUFJLENBQUMsZ0JBQWdCLEVBQUUsQ0FBQyxHQUFHLENBQUMsU0FBUyxFQUFFLE9BQU8sQ0FBQyxDQUFDO1FBQ3JELE9BQU8sT0FBTyxDQUFDLE9BQU8sRUFBRSxDQUFDO0lBQzNCLENBQUM7SUFFRDs7T0FFRztJQUNJLFNBQVM7UUFDZCxPQUFPLElBQUksQ0FBQyxNQUFNLENBQUM7SUFDckIsQ0FBQztJQUVPLGdCQUFnQjtRQUN0QixPQUFPLElBQUksZUFBZSxDQUN4QixJQUFJLENBQUMsTUFBTSxFQUNYLElBQUksQ0FBQyxzQkFBc0IsRUFDM0IsSUFBSSxDQUFDLFNBQVMsRUFDZCxJQUFJLENBQUMsYUFBYSxFQUNsQixJQUFJLENBQUMsVUFBVSxDQUNoQixDQUFDO0lBQ0osQ0FBQztDQUNGIn0=

package/dest/tx-provider/aztec-node-tx-provider.d.ts

@@ -0,0 +1,8 @@
+import { type AztecNode, type Tx, type TxHash, type TxProvider } from '@aztec/circuit-types';
+/** Implements TxProvider by querying an Aztec node for the txs. */
+export declare class AztecNodeTxProvider implements TxProvider {
+    private node;
+    constructor(node: AztecNode);
+    getTxByHash(txHash: TxHash): Promise<Tx | undefined>;
+}
+//# sourceMappingURL=aztec-node-tx-provider.d.ts.map

package/dest/tx-provider/aztec-node-tx-provider.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"aztec-node-tx-provider.d.ts","sourceRoot":"","sources":["../../src/tx-provider/aztec-node-tx-provider.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,SAAS,EAAE,KAAK,EAAE,EAAE,KAAK,MAAM,EAAE,KAAK,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAE7F,mEAAmE;AACnE,qBAAa,mBAAoB,YAAW,UAAU;IACxC,OAAO,CAAC,IAAI;gBAAJ,IAAI,EAAE,SAAS;IAEnC,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC;CAGrD"}

package/dest/tx-provider/aztec-node-tx-provider.js

@@ -0,0 +1,10 @@
+/** Implements TxProvider by querying an Aztec node for the txs. */
+export class AztecNodeTxProvider {
+    constructor(node) {
+        this.node = node;
+    }
+    getTxByHash(txHash) {
+        return this.node.getTxByHash(txHash);
+    }
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXp0ZWMtbm9kZS10eC1wcm92aWRlci5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90eC1wcm92aWRlci9henRlYy1ub2RlLXR4LXByb3ZpZGVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUVBLG1FQUFtRTtBQUNuRSxNQUFNLE9BQU8sbUJBQW1CO0lBQzlCLFlBQW9CLElBQWU7UUFBZixTQUFJLEdBQUosSUFBSSxDQUFXO0lBQUcsQ0FBQztJQUV2QyxXQUFXLENBQUMsTUFBYztRQUN4QixPQUFPLElBQUksQ0FBQyxJQUFJLENBQUMsV0FBVyxDQUFDLE1BQU0sQ0FBQyxDQUFDO0lBQ3ZDLENBQUM7Q0FDRiJ9

package/dest/tx-provider/config.d.ts

@@ -0,0 +1,5 @@
+export type TxProviderConfig = {
+    txProviderNodeUrl: string | undefined;
+};
+export declare function getTxProviderConfigFromEnv(): TxProviderConfig;
+//# sourceMappingURL=config.d.ts.map

package/dest/tx-provider/config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../src/tx-provider/config.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,gBAAgB,GAAG;IAC7B,iBAAiB,EAAE,MAAM,GAAG,SAAS,CAAC;CACvC,CAAC;AAEF,wBAAgB,0BAA0B,IAAI,gBAAgB,CAI7D"}

package/dest/tx-provider/config.js

@@ -0,0 +1,6 @@
+export function getTxProviderConfigFromEnv() {
+    return {
+        txProviderNodeUrl: process.env.TX_PROVIDER_NODE_URL ?? process.env.AZTEC_NODE_URL,
+    };
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29uZmlnLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3R4LXByb3ZpZGVyL2NvbmZpZy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFJQSxNQUFNLFVBQVUsMEJBQTBCO0lBQ3hDLE9BQU87UUFDTCxpQkFBaUIsRUFBRSxPQUFPLENBQUMsR0FBRyxDQUFDLG9CQUFvQixJQUFJLE9BQU8sQ0FBQyxHQUFHLENBQUMsY0FBYztLQUNsRixDQUFDO0FBQ0osQ0FBQyJ9

package/dest/tx-provider/factory.d.ts

@@ -0,0 +1,4 @@
+import { type TxProvider } from '@aztec/circuit-types';
+import { type TxProviderConfig } from './config.js';
+export declare function createTxProvider(config: TxProviderConfig): TxProvider;
+//# sourceMappingURL=factory.d.ts.map

package/dest/tx-provider/factory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"factory.d.ts","sourceRoot":"","sources":["../../src/tx-provider/factory.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAyB,MAAM,sBAAsB,CAAC;AAG9E,OAAO,EAAE,KAAK,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAEpD,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,gBAAgB,GAAG,UAAU,CAOrE"}

package/dest/tx-provider/factory.js

@@ -0,0 +1,12 @@
+import { createAztecNodeClient } from '@aztec/circuit-types';
+import { AztecNodeTxProvider } from './aztec-node-tx-provider.js';
+export function createTxProvider(config) {
+    if (config.txProviderNodeUrl) {
+        const node = createAztecNodeClient(config.txProviderNodeUrl);
+        return new AztecNodeTxProvider(node);
+    }
+    else {
+        throw new Error(`Aztec Node URL for Tx Provider is not set.`);
+    }
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZmFjdG9yeS5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90eC1wcm92aWRlci9mYWN0b3J5LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBbUIscUJBQXFCLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUU5RSxPQUFPLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUdsRSxNQUFNLFVBQVUsZ0JBQWdCLENBQUMsTUFBd0I7SUFDdkQsSUFBSSxNQUFNLENBQUMsaUJBQWlCLEVBQUUsQ0FBQztRQUM3QixNQUFNLElBQUksR0FBRyxxQkFBcUIsQ0FBQyxNQUFNLENBQUMsaUJBQWlCLENBQUMsQ0FBQztRQUM3RCxPQUFPLElBQUksbUJBQW1CLENBQUMsSUFBSSxDQUFDLENBQUM7SUFDdkMsQ0FBQztTQUFNLENBQUM7UUFDTixNQUFNLElBQUksS0FBSyxDQUFDLDRDQUE0QyxDQUFDLENBQUM7SUFDaEUsQ0FBQztBQUNILENBQUMifQ==

package/dest/tx-provider/index.d.ts

@@ -0,0 +1,4 @@
+export * from './aztec-node-tx-provider.js';
+export * from './factory.js';
+export * from './config.js';
+//# sourceMappingURL=index.d.ts.map

package/dest/tx-provider/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/tx-provider/index.ts"],"names":[],"mappings":"AAAA,cAAc,6BAA6B,CAAC;AAC5C,cAAc,cAAc,CAAC;AAC7B,cAAc,aAAa,CAAC"}

package/dest/tx-provider/index.js

@@ -0,0 +1,4 @@
+export * from './aztec-node-tx-provider.js';
+export * from './factory.js';
+export * from './config.js';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdHgtcHJvdmlkZXIvaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsY0FBYyw2QkFBNkIsQ0FBQztBQUM1QyxjQUFjLGNBQWMsQ0FBQztBQUM3QixjQUFjLGFBQWEsQ0FBQyJ9

package/package.json

@@ -0,0 +1,85 @@
+{
+  "name": "@aztec/prover-node",
+  "version": "0.47.0",
+  "type": "module",
+  "exports": {
+    ".": "./dest/index.js"
+  },
+  "inherits": [
+    "../package.common.json"
+  ],
+  "scripts": {
+    "build": "yarn clean && tsc -b",
+    "build:dev": "tsc -b --watch",
+    "clean": "rm -rf ./dest .tsbuildinfo",
+    "formatting": "run -T prettier --check ./src && run -T eslint ./src",
+    "formatting:fix": "run -T eslint --fix ./src && run -T prettier -w ./src",
+    "bb": "node --no-warnings ./dest/bb/index.js",
+    "test": "NODE_NO_WARNINGS=1 node --experimental-vm-modules ../node_modules/.bin/jest --passWithNoTests"
+  },
+  "jest": {
+    "moduleNameMapper": {
+      "^(\\.{1,2}/.*)\\.[cm]?js$": "$1"
+    },
+    "testRegex": "./src/.*\\.test\\.(js|mjs|ts)$",
+    "rootDir": "./src",
+    "transform": {
+      "^.+\\.tsx?$": [
+        "@swc/jest",
+        {
+          "jsc": {
+            "parser": {
+              "syntax": "typescript",
+              "decorators": true
+            }
+          }
+        }
+      ]
+    },
+    "extensionsToTreatAsEsm": [
+      ".ts"
+    ],
+    "reporters": [
+      [
+        "default",
+        {
+          "summaryThreshold": 9999
+        }
+      ]
+    ]
+  },
+  "dependencies": {
+    "@aztec/archiver": "0.47.0",
+    "@aztec/circuit-types": "0.47.0",
+    "@aztec/circuits.js": "0.47.0",
+    "@aztec/foundation": "0.47.0",
+    "@aztec/kv-store": "0.47.0",
+    "@aztec/prover-client": "0.47.0",
+    "@aztec/sequencer-client": "0.47.0",
+    "@aztec/simulator": "0.47.0",
+    "@aztec/telemetry-client": "0.47.0",
+    "@aztec/world-state": "0.47.0",
+    "source-map-support": "^0.5.21",
+    "tslib": "^2.4.0"
+  },
+  "devDependencies": {
+    "@jest/globals": "^29.5.0",
+    "@types/jest": "^29.5.0",
+    "@types/memdown": "^3.0.0",
+    "@types/node": "^18.7.23",
+    "@types/source-map-support": "^0.5.10",
+    "jest": "^29.5.0",
+    "jest-mock-extended": "^3.0.3",
+    "ts-node": "^10.9.1",
+    "typescript": "^5.0.4"
+  },
+  "files": [
+    "dest",
+    "src",
+    "!*.test.*"
+  ],
+  "types": "./dest/index.d.ts",
+  "engines": {
+    "node": ">=18"
+  }
+}

package/src/config.ts

@@ -0,0 +1,25 @@
+import { type ArchiverConfig, getArchiverConfigFromEnv } from '@aztec/archiver';
+import { type ProverClientConfig, getProverEnvVars } from '@aztec/prover-client';
+import { type PublisherConfig, type TxSenderConfig, getTxSenderConfigFromEnv } from '@aztec/sequencer-client';
+import { type WorldStateConfig, getWorldStateConfigFromEnv } from '@aztec/world-state';
+
+import { type TxProviderConfig, getTxProviderConfigFromEnv } from './tx-provider/config.js';
+
+export type ProverNodeConfig = ArchiverConfig &
+  ProverClientConfig &
+  WorldStateConfig &
+  PublisherConfig &
+  TxSenderConfig &
+  TxProviderConfig;
+
+export function getProverNodeConfigFromEnv(): ProverNodeConfig {
+  const { PROOF_PUBLISH_RETRY_INTERVAL_MS } = process.env;
+  return {
+    ...getArchiverConfigFromEnv(),
+    ...getProverEnvVars(),
+    ...getWorldStateConfigFromEnv(),
+    ...getTxSenderConfigFromEnv('PROVER'),
+    ...getTxProviderConfigFromEnv(),
+    l1PublishRetryIntervalMS: PROOF_PUBLISH_RETRY_INTERVAL_MS ? +PROOF_PUBLISH_RETRY_INTERVAL_MS : 1_000,
+  };
+}

package/src/factory.ts

@@ -0,0 +1,56 @@
+import { type Archiver, createArchiver } from '@aztec/archiver';
+import { type AztecNode } from '@aztec/circuit-types';
+import { type DebugLogger, createDebugLogger } from '@aztec/foundation/log';
+import { createStore } from '@aztec/kv-store/utils';
+import { createProverClient } from '@aztec/prover-client';
+import { getL1Publisher } from '@aztec/sequencer-client';
+import { PublicProcessorFactory, createSimulationProvider } from '@aztec/simulator';
+import { type TelemetryClient } from '@aztec/telemetry-client';
+import { NoopTelemetryClient } from '@aztec/telemetry-client/noop';
+import { createWorldStateSynchronizer } from '@aztec/world-state';
+
+import { type ProverNodeConfig } from './config.js';
+import { ProverNode } from './prover-node.js';
+import { AztecNodeTxProvider } from './tx-provider/aztec-node-tx-provider.js';
+import { createTxProvider } from './tx-provider/factory.js';
+
+/** Creates a new prover node given a config. */
+export async function createProverNode(
+  config: ProverNodeConfig,
+  deps: {
+    telemetry?: TelemetryClient;
+    log?: DebugLogger;
+    storeLog?: DebugLogger;
+    aztecNodeTxProvider?: AztecNode;
+    archiver?: Archiver;
+  } = {},
+) {
+  const telemetry = deps.telemetry ?? new NoopTelemetryClient();
+  const log = deps.log ?? createDebugLogger('aztec:prover');
+  const storeLog = deps.storeLog ?? createDebugLogger('aztec:prover:lmdb');
+
+  const store = await createStore(config, config.l1Contracts.rollupAddress, storeLog);
+
+  const archiver = deps.archiver ?? (await createArchiver(config, store, telemetry, { blockUntilSync: true }));
+  log.verbose(`Created archiver and synced to block ${await archiver.getBlockNumber()}`);
+
+  const worldStateConfig = { ...config, worldStateProvenBlocksOnly: true };
+  const worldStateSynchronizer = await createWorldStateSynchronizer(worldStateConfig, store, archiver);
+  await worldStateSynchronizer.start();
+
+  const simulationProvider = await createSimulationProvider(config, log);
+
+  const prover = await createProverClient(config, worldStateSynchronizer, archiver);
+
+  // REFACTOR: Move publisher out of sequencer package and into an L1-related package
+  const publisher = getL1Publisher(config);
+
+  const latestWorldState = worldStateSynchronizer.getLatest();
+  const publicProcessorFactory = new PublicProcessorFactory(latestWorldState, archiver, simulationProvider, telemetry);
+
+  const txProvider = deps.aztecNodeTxProvider
+    ? new AztecNodeTxProvider(deps.aztecNodeTxProvider)
+    : createTxProvider(config);
+
+  return new ProverNode(prover!, publicProcessorFactory, publisher, archiver, txProvider);
+}

package/src/http.ts

@@ -0,0 +1,25 @@
+import { AztecAddress, EthAddress, Fr, Header } from '@aztec/circuits.js';
+import { JsonRpcServer } from '@aztec/foundation/json-rpc/server';
+
+import { type ProverNode } from './prover-node.js';
+
+/**
+ * Wrap a ProverNode instance with a JSON RPC HTTP server.
+ * @param node - The ProverNode
+ * @returns An JSON-RPC HTTP server
+ */
+export function createProverNodeRpcServer(node: ProverNode) {
+  const rpc = new JsonRpcServer(
+    node,
+    {
+      AztecAddress,
+      EthAddress,
+      Fr,
+      Header,
+    },
+    {},
+    // disable methods not part of the AztecNode interface
+    ['start', 'stop', 'createProvingJob', 'work', 'getProver'],
+  );
+  return rpc;
+}

package/src/index.ts

@@ -0,0 +1,4 @@
+export * from './factory.js';
+export * from './config.js';
+export * from './prover-node.js';
+export * from './http.js';

package/src/job/block-proving-job.ts

@@ -0,0 +1,147 @@
+import {
+  type BlockProver,
+  EmptyTxValidator,
+  type L2Block,
+  type L2BlockSource,
+  PROVING_STATUS,
+  type ProcessedTx,
+  type Tx,
+  type TxHash,
+  type TxProvider,
+} from '@aztec/circuit-types';
+import { type Fr } from '@aztec/circuits.js';
+import { createDebugLogger } from '@aztec/foundation/log';
+import { type L1Publisher } from '@aztec/sequencer-client';
+import { type PublicProcessor, type PublicProcessorFactory } from '@aztec/simulator';
+
+/**
+ * Job that grabs a range of blocks from the unfinalised chain from L1, gets their txs given their hashes,
+ * re-executes their public calls, generates a rollup proof, and submits it to L1. This job will update the
+ * world state as part of public call execution via the public processor.
+ */
+export class BlockProvingJob {
+  private state: BlockProvingJobState = 'initialized';
+  private log = createDebugLogger('aztec:block-proving-job');
+
+  constructor(
+    private prover: BlockProver,
+    private publicProcessorFactory: PublicProcessorFactory,
+    private publisher: L1Publisher,
+    private l2BlockSource: L2BlockSource,
+    private txProvider: TxProvider,
+  ) {}
+
+  public getState(): BlockProvingJobState {
+    return this.state;
+  }
+
+  public async run(fromBlock: number, toBlock: number) {
+    if (fromBlock !== toBlock) {
+      throw new Error(`Block ranges are not yet supported`);
+    }
+
+    this.log.info(`Starting block proving job`, { fromBlock, toBlock });
+    this.state = 'started';
+
+    // TODO: Fast-forward world state to fromBlock and/or await fromBlock to be published to the unproven chain
+
+    this.state = 'processing';
+
+    let historicalHeader = (await this.l2BlockSource.getBlock(fromBlock - 1))?.header;
+    for (let blockNumber = fromBlock; blockNumber <= toBlock; blockNumber++) {
+      const block = await this.getBlock(blockNumber);
+      const globalVariables = block.header.globalVariables;
+      const txHashes = block.body.txEffects.map(tx => tx.txHash);
+      const txCount = block.body.numberOfTxsIncludingPadded;
+      const l1ToL2Messages: Fr[] = []; // TODO: grab L1 to L2 messages for this block
+
+      this.log.verbose(`Starting block processing`, {
+        number: block.number,
+        blockHash: block.hash().toString(),
+        lastArchive: block.header.lastArchive.root,
+        noteHashTreeRoot: block.header.state.partial.noteHashTree.root,
+        nullifierTreeRoot: block.header.state.partial.nullifierTree.root,
+        publicDataTreeRoot: block.header.state.partial.publicDataTree.root,
+        historicalHeader: historicalHeader?.hash(),
+        ...globalVariables,
+      });
+      const provingTicket = await this.prover.startNewBlock(txCount, globalVariables, l1ToL2Messages);
+      const publicProcessor = this.publicProcessorFactory.create(historicalHeader, globalVariables);
+
+      const txs = await this.getTxs(txHashes);
+      await this.processTxs(publicProcessor, txs, txCount);
+
+      this.log.verbose(`Processed all txs for block`, {
+        blockNumber: block.number,
+        blockHash: block.hash().toString(),
+      });
+
+      await this.prover.setBlockCompleted();
+
+      const result = await provingTicket.provingPromise;
+      if (result.status === PROVING_STATUS.FAILURE) {
+        throw new Error(`Block proving failed: ${result.reason}`);
+      }
+
+      historicalHeader = block.header;
+    }
+
+    this.state = 'awaiting-prover';
+    const { block, aggregationObject, proof } = await this.prover.finaliseBlock();
+    this.log.info(`Finalised proof for block range`, { fromBlock, toBlock });
+
+    this.state = 'publishing-proof';
+    await this.publisher.submitProof(block.header, block.archive.root, aggregationObject, proof);
+    this.log.info(`Submitted proof for block range`, { fromBlock, toBlock });
+
+    this.state = 'completed';
+  }
+
+  private async getBlock(blockNumber: number): Promise<L2Block> {
+    const block = await this.l2BlockSource.getBlock(blockNumber);
+    if (!block) {
+      throw new Error(`Block ${blockNumber} not found in L2 block source`);
+    }
+    return block;
+  }
+
+  private async getTxs(txHashes: TxHash[]): Promise<Tx[]> {
+    const txs = await Promise.all(
+      txHashes.map(txHash => this.txProvider.getTxByHash(txHash).then(tx => [txHash, tx] as const)),
+    );
+    const notFound = txs.filter(([_, tx]) => !tx);
+    if (notFound.length) {
+      throw new Error(`Txs not found: ${notFound.map(([txHash]) => txHash.toString()).join(', ')}`);
+    }
+    return txs.map(([_, tx]) => tx!);
+  }
+
+  private async processTxs(
+    publicProcessor: PublicProcessor,
+    txs: Tx[],
+    totalNumberOfTxs: number,
+  ): Promise<ProcessedTx[]> {
+    const [processedTxs, failedTxs] = await publicProcessor.process(
+      txs,
+      totalNumberOfTxs,
+      this.prover,
+      new EmptyTxValidator(),
+    );
+
+    if (failedTxs.length) {
+      throw new Error(
+        `Failed to process txs: ${failedTxs.map(({ tx, error }) => `${tx.getTxHash()} (${error})`).join(', ')}`,
+      );
+    }
+
+    return processedTxs;
+  }
+}
+
+export type BlockProvingJobState =
+  | 'initialized'
+  | 'started'
+  | 'processing'
+  | 'awaiting-prover'
+  | 'publishing-proof'
+  | 'completed';

package/src/prover-node.ts

@@ -0,0 +1,108 @@
+import { type L2BlockSource, type ProverClient, type TxProvider } from '@aztec/circuit-types';
+import { createDebugLogger } from '@aztec/foundation/log';
+import { RunningPromise } from '@aztec/foundation/running-promise';
+import { type L1Publisher } from '@aztec/sequencer-client';
+import { type PublicProcessorFactory } from '@aztec/simulator';
+
+import { BlockProvingJob } from './job/block-proving-job.js';
+
+/**
+ * An Aztec Prover Node is a standalone process that monitors the unfinalised chain on L1 for unproven blocks,
+ * fetches their txs from a tx source in the p2p network or an external node, re-executes their public functions,
+ * creates a rollup proof, and submits it to L1.
+ */
+export class ProverNode {
+  private log = createDebugLogger('aztec:prover-node');
+  private runningPromise: RunningPromise | undefined;
+
+  constructor(
+    private prover: ProverClient,
+    private publicProcessorFactory: PublicProcessorFactory,
+    private publisher: L1Publisher,
+    private l2BlockSource: L2BlockSource,
+    private txProvider: TxProvider,
+    private options: { pollingIntervalMs: number; disableAutomaticProving: boolean } = {
+      pollingIntervalMs: 1_000,
+      disableAutomaticProving: false,
+    },
+  ) {}
+
+  /**
+   * Starts the prover node so it periodically checks for unproven blocks in the unfinalised chain from L1 and proves them.
+   * This may change once we implement a prover coordination mechanism.
+   */
+  start() {
+    this.runningPromise = new RunningPromise(this.work.bind(this), this.options.pollingIntervalMs);
+    this.runningPromise.start();
+    this.log.info('Started ProverNode');
+  }
+
+  /**
+   * Stops the prover node and all its dependencies.
+   */
+  async stop() {
+    this.log.info('Stopping ProverNode');
+    await this.runningPromise?.stop();
+    await this.prover.stop();
+    await this.l2BlockSource.stop();
+    this.publisher.interrupt();
+    this.log.info('Stopped ProverNode');
+  }
+
+  /**
+   * Single iteration of recurring work. This method is called periodically by the running promise.
+   * Checks whether there are new blocks to prove, proves them, and submits them.
+   * Only proves one block per job and one job at a time (for now).
+   */
+  protected async work() {
+    if (this.options.disableAutomaticProving) {
+      return;
+    }
+
+    const [latestBlockNumber, latestProvenBlockNumber] = await Promise.all([
+      this.l2BlockSource.getBlockNumber(),
+      this.l2BlockSource.getProvenBlockNumber(),
+    ]);
+
+    if (latestProvenBlockNumber >= latestBlockNumber) {
+      this.log.debug(`No new blocks to prove`, { latestBlockNumber, latestProvenBlockNumber });
+      return;
+    }
+
+    const fromBlock = latestProvenBlockNumber + 1;
+    const toBlock = fromBlock; // We only prove one block at a time for now
+    await this.prove(fromBlock, toBlock);
+  }
+
+  /**
+   * Creates a proof for a block range. Returns once the proof has been submitted to L1.
+   */
+  public prove(fromBlock: number, toBlock: number) {
+    return this.createProvingJob().run(fromBlock, toBlock);
+  }
+
+  /**
+   * Starts a proving process and returns immediately.
+   */
+  public startProof(fromBlock: number, toBlock: number) {
+    void this.createProvingJob().run(fromBlock, toBlock);
+    return Promise.resolve();
+  }
+
+  /**
+   * Returns the prover instance.
+   */
+  public getProver() {
+    return this.prover;
+  }
+
+  private createProvingJob() {
+    return new BlockProvingJob(
+      this.prover,
+      this.publicProcessorFactory,
+      this.publisher,
+      this.l2BlockSource,
+      this.txProvider,
+    );
+  }
+}

package/src/tx-provider/aztec-node-tx-provider.ts

@@ -0,0 +1,10 @@
+import { type AztecNode, type Tx, type TxHash, type TxProvider } from '@aztec/circuit-types';
+
+/** Implements TxProvider by querying an Aztec node for the txs. */
+export class AztecNodeTxProvider implements TxProvider {
+  constructor(private node: AztecNode) {}
+
+  getTxByHash(txHash: TxHash): Promise<Tx | undefined> {
+    return this.node.getTxByHash(txHash);
+  }
+}

package/src/tx-provider/config.ts

@@ -0,0 +1,9 @@
+export type TxProviderConfig = {
+  txProviderNodeUrl: string | undefined;
+};
+
+export function getTxProviderConfigFromEnv(): TxProviderConfig {
+  return {
+    txProviderNodeUrl: process.env.TX_PROVIDER_NODE_URL ?? process.env.AZTEC_NODE_URL,
+  };
+}

package/src/tx-provider/factory.ts

@@ -0,0 +1,13 @@
+import { type TxProvider, createAztecNodeClient } from '@aztec/circuit-types';
+
+import { AztecNodeTxProvider } from './aztec-node-tx-provider.js';
+import { type TxProviderConfig } from './config.js';
+
+export function createTxProvider(config: TxProviderConfig): TxProvider {
+  if (config.txProviderNodeUrl) {
+    const node = createAztecNodeClient(config.txProviderNodeUrl);
+    return new AztecNodeTxProvider(node);
+  } else {
+    throw new Error(`Aztec Node URL for Tx Provider is not set.`);
+  }
+}

package/src/tx-provider/index.ts

@@ -0,0 +1,3 @@
+export * from './aztec-node-tx-provider.js';
+export * from './factory.js';
+export * from './config.js';