@aztec/prover-node 0.0.1-commit.2ed92850 → 0.0.1-commit.2f68f620
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dest/actions/download-epoch-proving-job.js +1 -1
- package/dest/actions/rerun-epoch-proving-job.d.ts +4 -3
- package/dest/actions/rerun-epoch-proving-job.d.ts.map +1 -1
- package/dest/actions/rerun-epoch-proving-job.js +105 -27
- package/dest/actions/upload-epoch-proof-failure.d.ts +2 -2
- package/dest/actions/upload-epoch-proof-failure.d.ts.map +1 -1
- package/dest/bin/run-failed-epoch.js +6 -5
- package/dest/config.d.ts +7 -8
- package/dest/config.d.ts.map +1 -1
- package/dest/config.js +23 -19
- package/dest/factory.d.ts +19 -13
- package/dest/factory.d.ts.map +1 -1
- package/dest/factory.js +41 -60
- package/dest/job/epoch-proving-job.d.ts +7 -2
- package/dest/job/epoch-proving-job.d.ts.map +1 -1
- package/dest/job/epoch-proving-job.js +212 -38
- package/dest/metrics.d.ts +21 -1
- package/dest/metrics.d.ts.map +1 -1
- package/dest/metrics.js +58 -3
- package/dest/monitors/epoch-monitor.d.ts +1 -1
- package/dest/monitors/epoch-monitor.d.ts.map +1 -1
- package/dest/monitors/epoch-monitor.js +11 -9
- package/dest/prover-node-publisher.d.ts +28 -5
- package/dest/prover-node-publisher.d.ts.map +1 -1
- package/dest/prover-node-publisher.js +209 -11
- package/dest/prover-node.d.ts +24 -14
- package/dest/prover-node.d.ts.map +1 -1
- package/dest/prover-node.js +93 -43
- package/dest/prover-publisher-factory.d.ts +9 -5
- package/dest/prover-publisher-factory.d.ts.map +1 -1
- package/dest/prover-publisher-factory.js +8 -5
- package/package.json +23 -22
- package/src/actions/download-epoch-proving-job.ts +1 -1
- package/src/actions/rerun-epoch-proving-job.ts +18 -6
- package/src/actions/upload-epoch-proof-failure.ts +1 -1
- package/src/bin/run-failed-epoch.ts +5 -3
- package/src/config.ts +33 -31
- package/src/factory.ts +69 -103
- package/src/job/epoch-proving-job.ts +145 -44
- package/src/metrics.ts +77 -2
- package/src/monitors/epoch-monitor.ts +5 -6
- package/src/prover-node-publisher.ts +245 -16
- package/src/prover-node.ts +100 -55
- package/src/prover-publisher-factory.ts +19 -10
|
@@ -52,13 +52,11 @@ import { getTelemetryClient } from '@aztec/telemetry-client';
|
|
|
52
52
|
}
|
|
53
53
|
async work() {
|
|
54
54
|
const { epochToProve, blockNumber, slotNumber } = await this.getEpochNumberToProve();
|
|
55
|
-
this.log.debug(`Epoch to prove: ${epochToProve}`, {
|
|
56
|
-
blockNumber,
|
|
57
|
-
slotNumber
|
|
58
|
-
});
|
|
59
55
|
if (epochToProve === undefined) {
|
|
60
56
|
this.log.trace(`Next block to prove ${blockNumber} not yet mined`, {
|
|
61
|
-
|
|
57
|
+
epochToProve,
|
|
58
|
+
blockNumber,
|
|
59
|
+
slotNumber
|
|
62
60
|
});
|
|
63
61
|
return;
|
|
64
62
|
}
|
|
@@ -80,18 +78,22 @@ import { getTelemetryClient } from '@aztec/telemetry-client';
|
|
|
80
78
|
return;
|
|
81
79
|
}
|
|
82
80
|
if (this.options.provingDelayMs) {
|
|
83
|
-
this.log.
|
|
81
|
+
this.log.warn(`Waiting ${this.options.provingDelayMs}ms before proving epoch ${epochToProve}`);
|
|
84
82
|
await sleep(this.options.provingDelayMs);
|
|
85
83
|
}
|
|
86
|
-
this.log.
|
|
84
|
+
this.log.verbose(`Epoch ${epochToProve} is ready to be proven`);
|
|
87
85
|
if (await this.handler?.handleEpochReadyToProve(epochToProve)) {
|
|
88
86
|
this.latestEpochNumber = epochToProve;
|
|
89
87
|
}
|
|
90
88
|
}
|
|
91
89
|
async getEpochNumberToProve() {
|
|
92
|
-
const lastBlockProven = await this.l2BlockSource.
|
|
90
|
+
const lastBlockProven = await this.l2BlockSource.getBlockNumber({
|
|
91
|
+
tag: 'proven'
|
|
92
|
+
}) ?? BlockNumber.ZERO;
|
|
93
93
|
const firstBlockToProve = BlockNumber(lastBlockProven + 1);
|
|
94
|
-
const firstBlockHeaderToProve = await this.l2BlockSource.
|
|
94
|
+
const firstBlockHeaderToProve = (await this.l2BlockSource.getBlockData({
|
|
95
|
+
number: firstBlockToProve
|
|
96
|
+
}))?.header;
|
|
95
97
|
if (!firstBlockHeaderToProve) {
|
|
96
98
|
return {
|
|
97
99
|
epochToProve: undefined,
|
|
@@ -1,15 +1,17 @@
|
|
|
1
1
|
import { BatchedBlob } from '@aztec/blob-lib';
|
|
2
|
-
import {
|
|
2
|
+
import { MAX_CHECKPOINTS_PER_EPOCH } from '@aztec/constants';
|
|
3
3
|
import type { RollupContract, ViemCommitteeAttestation } from '@aztec/ethereum/contracts';
|
|
4
4
|
import type { L1TxUtils } from '@aztec/ethereum/l1-tx-utils';
|
|
5
5
|
import { CheckpointNumber, EpochNumber } from '@aztec/foundation/branded-types';
|
|
6
6
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
7
7
|
import { EthAddress } from '@aztec/foundation/eth-address';
|
|
8
|
+
import { type Logger, type LoggerBindings } from '@aztec/foundation/log';
|
|
8
9
|
import type { Tuple } from '@aztec/foundation/serialize';
|
|
9
10
|
import type { PublisherConfig, TxSenderConfig } from '@aztec/sequencer-client';
|
|
10
11
|
import type { Proof } from '@aztec/stdlib/proofs';
|
|
11
12
|
import type { FeeRecipient, RootRollupPublicInputs } from '@aztec/stdlib/rollup';
|
|
12
13
|
import { type TelemetryClient } from '@aztec/telemetry-client';
|
|
14
|
+
import { type Hex } from 'viem';
|
|
13
15
|
/** Arguments to the submitEpochProof method of the rollup contract */
|
|
14
16
|
export type L1SubmitEpochProofArgs = {
|
|
15
17
|
epochSize: number;
|
|
@@ -18,20 +20,22 @@ export type L1SubmitEpochProofArgs = {
|
|
|
18
20
|
endTimestamp: Fr;
|
|
19
21
|
outHash: Fr;
|
|
20
22
|
proverId: Fr;
|
|
21
|
-
fees: Tuple<FeeRecipient, typeof
|
|
23
|
+
fees: Tuple<FeeRecipient, typeof MAX_CHECKPOINTS_PER_EPOCH>;
|
|
22
24
|
proof: Proof;
|
|
23
25
|
};
|
|
24
26
|
export declare class ProverNodePublisher {
|
|
25
27
|
private interrupted;
|
|
26
28
|
private metrics;
|
|
27
|
-
protected log:
|
|
29
|
+
protected log: Logger;
|
|
28
30
|
protected rollupContract: RollupContract;
|
|
31
|
+
protected proofSubmissionTarget: Hex;
|
|
29
32
|
readonly l1TxUtils: L1TxUtils;
|
|
30
33
|
constructor(config: TxSenderConfig & PublisherConfig, deps: {
|
|
31
34
|
rollupContract: RollupContract;
|
|
32
35
|
l1TxUtils: L1TxUtils;
|
|
36
|
+
proofSubmissionTarget?: EthAddress;
|
|
33
37
|
telemetry?: TelemetryClient;
|
|
34
|
-
});
|
|
38
|
+
}, bindings?: LoggerBindings);
|
|
35
39
|
getRollupContract(): RollupContract;
|
|
36
40
|
/**
|
|
37
41
|
* Calling `interrupt` will cause any in progress call to `publishRollup` to return `false` asap.
|
|
@@ -52,9 +56,28 @@ export declare class ProverNodePublisher {
|
|
|
52
56
|
batchedBlobInputs: BatchedBlob;
|
|
53
57
|
attestations: ViemCommitteeAttestation[];
|
|
54
58
|
}): Promise<boolean>;
|
|
59
|
+
private waitUntilStartBuildsOnProven;
|
|
60
|
+
private getProvenCheckpoint;
|
|
61
|
+
private isStartBuildingOnProven;
|
|
62
|
+
private getSecondsUntilProofSubmissionWindowEnd;
|
|
55
63
|
private validateEpochProofSubmission;
|
|
64
|
+
/**
|
|
65
|
+
* Estimates what submitting the epoch proof would have cost on L1 without actually sending it.
|
|
66
|
+
* Runs the same validation as `submitEpochProof`, encodes the calldata, estimates gas, and records metrics.
|
|
67
|
+
* Used when proof publishing is disabled (e.g. PROVER_NODE_DISABLE_PROOF_PUBLISH=true on mainnet).
|
|
68
|
+
*/
|
|
69
|
+
analyzeEpochProofSubmission(args: {
|
|
70
|
+
epochNumber: EpochNumber;
|
|
71
|
+
fromCheckpoint: CheckpointNumber;
|
|
72
|
+
toCheckpoint: CheckpointNumber;
|
|
73
|
+
publicInputs: RootRollupPublicInputs;
|
|
74
|
+
proof: Proof;
|
|
75
|
+
batchedBlobInputs: BatchedBlob;
|
|
76
|
+
attestations: ViemCommitteeAttestation[];
|
|
77
|
+
}): Promise<void>;
|
|
78
|
+
private encodeSubmitEpochProofCalldata;
|
|
56
79
|
private sendSubmitEpochProofTx;
|
|
57
80
|
private getEpochProofPublicInputsArgs;
|
|
58
81
|
private getSubmitEpochProofArgs;
|
|
59
82
|
}
|
|
60
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
83
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmVyLW5vZGUtcHVibGlzaGVyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvcHJvdmVyLW5vZGUtcHVibGlzaGVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQThCLE1BQU0saUJBQWlCLENBQUM7QUFDMUUsT0FBTyxFQUFFLHlCQUF5QixFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFDN0QsT0FBTyxLQUFLLEVBQUUsY0FBYyxFQUFFLHdCQUF3QixFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDMUYsT0FBTyxLQUFLLEVBQUUsU0FBUyxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFFN0QsT0FBTyxFQUFFLGdCQUFnQixFQUFFLFdBQVcsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBRWhGLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDM0QsT0FBTyxFQUFFLEtBQUssTUFBTSxFQUFFLEtBQUssY0FBYyxFQUFnQixNQUFNLHVCQUF1QixDQUFDO0FBRXZGLE9BQU8sS0FBSyxFQUFFLEtBQUssRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBR3pELE9BQU8sS0FBSyxFQUFFLGVBQWUsRUFBRSxjQUFjLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUcvRSxPQUFPLEtBQUssRUFBRSxLQUFLLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUNsRCxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUVqRixPQUFPLEVBQUUsS0FBSyxlQUFlLEVBQXNCLE1BQU0seUJBQXlCLENBQUM7QUFHbkYsT0FBTyxFQUFFLEtBQUssR0FBRyxFQUF3RSxNQUFNLE1BQU0sQ0FBQztBQUl0RyxzRUFBc0U7QUFDdEUsTUFBTSxNQUFNLHNCQUFzQixHQUFHO0lBQ25DLFNBQVMsRUFBRSxNQUFNLENBQUM7SUFDbEIsZUFBZSxFQUFFLEVBQUUsQ0FBQztJQUNwQixVQUFVLEVBQUUsRUFBRSxDQUFDO0lBQ2YsWUFBWSxFQUFFLEVBQUUsQ0FBQztJQUNqQixPQUFPLEVBQUUsRUFBRSxDQUFDO0lBQ1osUUFBUSxFQUFFLEVBQUUsQ0FBQztJQUNiLElBQUksRUFBRSxLQUFLLENBQUMsWUFBWSxFQUFFLE9BQU8seUJBQXlCLENBQUMsQ0FBQztJQUM1RCxLQUFLLEVBQUUsS0FBSyxDQUFDO0NBQ2QsQ0FBQztBQUVGLHFCQUFhLG1CQUFtQjtJQUM5QixPQUFPLENBQUMsV0FBVyxDQUFTO0lBQzVCLE9BQU8sQ0FBQyxPQUFPLENBQTZCO0lBRTVDLFNBQVMsQ0FBQyxHQUFHLEVBQUUsTUFBTSxDQUFDO0lBRXRCLFNBQVMsQ0FBQyxjQUFjLEVBQUUsY0FBYyxDQUFDO0lBRXpDLFNBQVMsQ0FBQyxxQkFBcUIsRUFBRSxHQUFHLENBQUM7SUFFckMsU0FBZ0IsU0FBUyxFQUFFLFNBQVMsQ0FBQztJQUVyQyxZQUNFLE1BQU0sRUFBRSxjQUFjLEdBQUcsZUFBZSxFQUN4QyxJQUFJLEVBQUU7UUFDSixjQUFjLEVBQUUsY0FBYyxDQUFDO1FBQy9CLFNBQVMsRUFBRSxTQUFTLENBQUM7UUFDckIscUJBQXFCLENBQUMsRUFBRSxVQUFVLENBQUM7UUFDbkMsU0FBUyxDQUFDLEVBQUUsZUFBZSxDQUFDO0tBQzdCLEVBQ0QsUUFBUSxDQUFDLEVBQUUsY0FBYyxFQVUxQjtJQUVNLGlCQUFpQixtQkFFdkI7SUFFRDs7Ozs7T0FLRztJQUNJLFNBQVMsU0FHZjtJQUVELHdEQUF3RDtJQUNqRCxPQUFPLFNBR2I7SUFFTSxnQkFBZ0IsZUFFdEI7SUFFWSxnQkFBZ0IsQ0FBQyxJQUFJLEVBQUU7UUFDbEMsV0FBVyxFQUFFLFdBQVcsQ0FBQztRQUN6QixjQUFjLEVBQUUsZ0JBQWdCLENBQUM7UUFDakMsWUFBWSxFQUFFLGdCQUFnQixDQUFDO1FBQy9CLFlBQVksRUFBRSxzQkFBc0IsQ0FBQztRQUNyQyxLQUFLLEVBQUUsS0FBSyxDQUFDO1FBQ2IsaUJBQWlCLEVBQUUsV0FBVyxDQUFDO1FBQy9CLFlBQVksRUFBRSx3QkFBd0IsRUFBRSxDQUFDO0tBQzFDLEdBQUcsT0FBTyxDQUFDLE9BQU8sQ0FBQyxDQXNEbkI7WUFFYSw0QkFBNEI7WUFpQzVCLG1CQUFtQjtJQUlqQyxPQUFPLENBQUMsdUJBQXVCO1lBSWpCLHVDQUF1QztZQU12Qyw0QkFBNEI7SUFtRTFDOzs7O09BSUc7SUFDVSwyQkFBMkIsQ0FBQyxJQUFJLEVBQUU7UUFDN0MsV0FBVyxFQUFFLFdBQVcsQ0FBQztRQUN6QixjQUFjLEVBQUUsZ0JBQWdCLENBQUM7UUFDakMsWUFBWSxFQUFFLGdCQUFnQixDQUFDO1FBQy9CLFlBQVksRUFBRSxzQkFBc0IsQ0FBQztRQUNyQyxLQUFLLEVBQUUsS0FBSyxDQUFDO1FBQ2IsaUJBQWlCLEVBQUUsV0FBVyxDQUFDO1FBQy9CLFlBQVksRUFBRSx3QkFBd0IsRUFBRSxDQUFDO0tBQzFDLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQXNDaEI7SUFFRCxPQUFPLENBQUMsOEJBQThCO1lBZXhCLHNCQUFzQjtJQTRDcEMsT0FBTyxDQUFDLDZCQUE2QjtJQTBCckMsT0FBTyxDQUFDLHVCQUF1QjtDQXVCaEMifQ==
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"prover-node-publisher.d.ts","sourceRoot":"","sources":["../src/prover-node-publisher.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAA8B,MAAM,iBAAiB,CAAC;AAC1E,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"prover-node-publisher.d.ts","sourceRoot":"","sources":["../src/prover-node-publisher.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAA8B,MAAM,iBAAiB,CAAC;AAC1E,OAAO,EAAE,yBAAyB,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AAC1F,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAE7D,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAEhF,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,KAAK,MAAM,EAAE,KAAK,cAAc,EAAgB,MAAM,uBAAuB,CAAC;AAEvF,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,6BAA6B,CAAC;AAGzD,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAG/E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,EAAE,YAAY,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAEjF,OAAO,EAAE,KAAK,eAAe,EAAsB,MAAM,yBAAyB,CAAC;AAGnF,OAAO,EAAE,KAAK,GAAG,EAAwE,MAAM,MAAM,CAAC;AAItG,sEAAsE;AACtE,MAAM,MAAM,sBAAsB,GAAG;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,EAAE,CAAC;IACpB,UAAU,EAAE,EAAE,CAAC;IACf,YAAY,EAAE,EAAE,CAAC;IACjB,OAAO,EAAE,EAAE,CAAC;IACZ,QAAQ,EAAE,EAAE,CAAC;IACb,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,yBAAyB,CAAC,CAAC;IAC5D,KAAK,EAAE,KAAK,CAAC;CACd,CAAC;AAEF,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,WAAW,CAAS;IAC5B,OAAO,CAAC,OAAO,CAA6B;IAE5C,SAAS,CAAC,GAAG,EAAE,MAAM,CAAC;IAEtB,SAAS,CAAC,cAAc,EAAE,cAAc,CAAC;IAEzC,SAAS,CAAC,qBAAqB,EAAE,GAAG,CAAC;IAErC,SAAgB,SAAS,EAAE,SAAS,CAAC;IAErC,YACE,MAAM,EAAE,cAAc,GAAG,eAAe,EACxC,IAAI,EAAE;QACJ,cAAc,EAAE,cAAc,CAAC;QAC/B,SAAS,EAAE,SAAS,CAAC;QACrB,qBAAqB,CAAC,EAAE,UAAU,CAAC;QACnC,SAAS,CAAC,EAAE,eAAe,CAAC;KAC7B,EACD,QAAQ,CAAC,EAAE,cAAc,EAU1B;IAEM,iBAAiB,mBAEvB;IAED;;;;;OAKG;IACI,SAAS,SAGf;IAED,wDAAwD;IACjD,OAAO,SAGb;IAEM,gBAAgB,eAEtB;IAEY,gBAAgB,CAAC,IAAI,EAAE;QAClC,WAAW,EAAE,WAAW,CAAC;QACzB,cAAc,EAAE,gBAAgB,CAAC;QACjC,YAAY,EAAE,gBAAgB,CAAC;QAC/B,YAAY,EAAE,sBAAsB,CAAC;QACrC,KAAK,EAAE,KAAK,CAAC;QACb,iBAAiB,EAAE,WAAW,CAAC;QAC/B,YAAY,EAAE,wBAAwB,EAAE,CAAC;KAC1C,GAAG,OAAO,CAAC,OAAO,CAAC,CAsDnB;YAEa,4BAA4B;YAiC5B,mBAAmB;IAIjC,OAAO,CAAC,uBAAuB;YAIjB,uCAAuC;YAMvC,4BAA4B;IAmE1C;;;;OAIG;IACU,2BAA2B,CAAC,IAAI,EAAE;QAC7C,WAAW,EAAE,WAAW,CAAC;QACzB,cAAc,EAAE,gBAAgB,CAAC;QACjC,YAAY,EAAE,gBAAgB,CAAC;QAC/B,YAAY,EAAE,sBAAsB,CAAC;QACrC,KAAK,EAAE,KAAK,CAAC;QACb,iBAAiB,EAAE,WAAW,CAAC;QAC/B,YAAY,EAAE,wBAAwB,EAAE,CAAC;KAC1C,GAAG,OAAO,CAAC,IAAI,CAAC,CAsChB;IAED,OAAO,CAAC,8BAA8B;YAexB,sBAAsB;IA4CpC,OAAO,CAAC,6BAA6B;IA0BrC,OAAO,CAAC,uBAAuB;CAuBhC"}
|
|
@@ -1,27 +1,33 @@
|
|
|
1
1
|
import { getEthBlobEvaluationInputs } from '@aztec/blob-lib';
|
|
2
|
-
import {
|
|
2
|
+
import { MAX_CHECKPOINTS_PER_EPOCH } from '@aztec/constants';
|
|
3
3
|
import { makeTuple } from '@aztec/foundation/array';
|
|
4
4
|
import { CheckpointNumber } from '@aztec/foundation/branded-types';
|
|
5
5
|
import { areArraysEqual } from '@aztec/foundation/collection';
|
|
6
|
+
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
6
7
|
import { EthAddress } from '@aztec/foundation/eth-address';
|
|
7
8
|
import { createLogger } from '@aztec/foundation/log';
|
|
9
|
+
import { retryUntil } from '@aztec/foundation/retry';
|
|
8
10
|
import { Timer } from '@aztec/foundation/timer';
|
|
9
11
|
import { RollupAbi } from '@aztec/l1-artifacts';
|
|
10
12
|
import { CommitteeAttestation, CommitteeAttestationsAndSigners } from '@aztec/stdlib/block';
|
|
13
|
+
import { getProofSubmissionDeadlineTimestamp } from '@aztec/stdlib/epoch-helpers';
|
|
11
14
|
import { getTelemetryClient } from '@aztec/telemetry-client';
|
|
12
15
|
import { inspect } from 'util';
|
|
13
|
-
import { encodeFunctionData } from 'viem';
|
|
16
|
+
import { encodeFunctionData, formatEther, formatGwei } from 'viem';
|
|
14
17
|
import { ProverNodePublisherMetrics } from './metrics.js';
|
|
15
18
|
export class ProverNodePublisher {
|
|
16
19
|
interrupted = false;
|
|
17
20
|
metrics;
|
|
18
|
-
log
|
|
21
|
+
log;
|
|
19
22
|
rollupContract;
|
|
23
|
+
proofSubmissionTarget;
|
|
20
24
|
l1TxUtils;
|
|
21
|
-
constructor(config, deps){
|
|
25
|
+
constructor(config, deps, bindings){
|
|
22
26
|
const telemetry = deps.telemetry ?? getTelemetryClient();
|
|
23
27
|
this.metrics = new ProverNodePublisherMetrics(telemetry, 'ProverNode');
|
|
28
|
+
this.log = createLogger('prover-node:l1-tx-publisher', bindings);
|
|
24
29
|
this.rollupContract = deps.rollupContract;
|
|
30
|
+
this.proofSubmissionTarget = deps.proofSubmissionTarget?.toString() ?? deps.rollupContract.address;
|
|
25
31
|
this.l1TxUtils = deps.l1TxUtils;
|
|
26
32
|
}
|
|
27
33
|
getRollupContract() {
|
|
@@ -51,6 +57,10 @@ export class ProverNodePublisher {
|
|
|
51
57
|
toCheckpoint
|
|
52
58
|
};
|
|
53
59
|
if (!this.interrupted) {
|
|
60
|
+
if (!await this.waitUntilStartBuildsOnProven(args)) {
|
|
61
|
+
this.log.verbose('Checkpoint data syncing interrupted', ctx);
|
|
62
|
+
return false;
|
|
63
|
+
}
|
|
54
64
|
const timer = new Timer();
|
|
55
65
|
// Validate epoch proof range and hashes are correct before submitting
|
|
56
66
|
await this.validateEpochProofSubmission(args);
|
|
@@ -91,6 +101,42 @@ export class ProverNodePublisher {
|
|
|
91
101
|
this.log.verbose('Checkpoint data syncing interrupted', ctx);
|
|
92
102
|
return false;
|
|
93
103
|
}
|
|
104
|
+
async waitUntilStartBuildsOnProven(args) {
|
|
105
|
+
const { epochNumber, fromCheckpoint } = args;
|
|
106
|
+
const provenCheckpoint = await this.getProvenCheckpoint();
|
|
107
|
+
if (this.isStartBuildingOnProven(fromCheckpoint, provenCheckpoint)) {
|
|
108
|
+
return true;
|
|
109
|
+
}
|
|
110
|
+
const timeout = await this.getSecondsUntilProofSubmissionWindowEnd(epochNumber);
|
|
111
|
+
this.log.info(`Waiting for proven checkpoint to reach proof start`, {
|
|
112
|
+
epochNumber,
|
|
113
|
+
fromCheckpoint,
|
|
114
|
+
provenCheckpoint,
|
|
115
|
+
timeout
|
|
116
|
+
});
|
|
117
|
+
await retryUntil(async ()=>{
|
|
118
|
+
if (this.interrupted) {
|
|
119
|
+
return true;
|
|
120
|
+
}
|
|
121
|
+
const proven = await this.getProvenCheckpoint();
|
|
122
|
+
this.log.verbose(`Proven checkpoint is at ${proven} (waiting for ${fromCheckpoint - 1})`, {
|
|
123
|
+
epochNumber
|
|
124
|
+
});
|
|
125
|
+
return this.isStartBuildingOnProven(fromCheckpoint, proven) ? true : undefined;
|
|
126
|
+
}, `proven checkpoint to reach ${fromCheckpoint - 1}`, timeout, 4);
|
|
127
|
+
return !this.interrupted;
|
|
128
|
+
}
|
|
129
|
+
async getProvenCheckpoint() {
|
|
130
|
+
return (await this.rollupContract.getTips()).proven;
|
|
131
|
+
}
|
|
132
|
+
isStartBuildingOnProven(fromCheckpoint, provenCheckpoint) {
|
|
133
|
+
return fromCheckpoint - 1 <= provenCheckpoint;
|
|
134
|
+
}
|
|
135
|
+
async getSecondsUntilProofSubmissionWindowEnd(epochNumber) {
|
|
136
|
+
const deadline = getProofSubmissionDeadlineTimestamp(epochNumber, await this.rollupContract.getRollupConstants());
|
|
137
|
+
const now = BigInt(Math.floor(Date.now() / 1000));
|
|
138
|
+
return Math.max(Number(deadline - now), 0.001);
|
|
139
|
+
}
|
|
94
140
|
async validateEpochProofSubmission(args) {
|
|
95
141
|
const { fromCheckpoint, toCheckpoint, publicInputs, batchedBlobInputs } = args;
|
|
96
142
|
// Check that the checkpoint numbers match the expected epoch to be proven
|
|
@@ -101,7 +147,7 @@ export class ProverNodePublisher {
|
|
|
101
147
|
}
|
|
102
148
|
// toCheckpoint can't be greater than pending
|
|
103
149
|
if (toCheckpoint > pending) {
|
|
104
|
-
throw new Error(`Cannot submit epoch proof for ${fromCheckpoint}-${toCheckpoint} as
|
|
150
|
+
throw new Error(`Cannot submit epoch proof for ${fromCheckpoint}-${toCheckpoint} as proposed checkpoint is ${pending}`);
|
|
105
151
|
}
|
|
106
152
|
// Check the archive for the immediate checkpoint before the epoch
|
|
107
153
|
const checkpointLog = await this.rollupContract.getCheckpoint(CheckpointNumber(fromCheckpoint - 1));
|
|
@@ -124,10 +170,65 @@ export class ProverNodePublisher {
|
|
|
124
170
|
...publicInputs.toFields()
|
|
125
171
|
];
|
|
126
172
|
if (!areArraysEqual(rollupPublicInputs, argsPublicInputs, (a, b)=>a.equals(b))) {
|
|
127
|
-
|
|
128
|
-
|
|
173
|
+
throw await reportPublicInputsMismatch({
|
|
174
|
+
rollupPublicInputs,
|
|
175
|
+
argsPublicInputs,
|
|
176
|
+
fromCheckpoint,
|
|
177
|
+
toCheckpoint,
|
|
178
|
+
rollupContract: this.rollupContract,
|
|
179
|
+
log: this.log
|
|
180
|
+
});
|
|
129
181
|
}
|
|
130
182
|
}
|
|
183
|
+
/**
|
|
184
|
+
* Estimates what submitting the epoch proof would have cost on L1 without actually sending it.
|
|
185
|
+
* Runs the same validation as `submitEpochProof`, encodes the calldata, estimates gas, and records metrics.
|
|
186
|
+
* Used when proof publishing is disabled (e.g. PROVER_NODE_DISABLE_PROOF_PUBLISH=true on mainnet).
|
|
187
|
+
*/ async analyzeEpochProofSubmission(args) {
|
|
188
|
+
const { epochNumber, fromCheckpoint, toCheckpoint } = args;
|
|
189
|
+
await this.validateEpochProofSubmission(args);
|
|
190
|
+
const data = this.encodeSubmitEpochProofCalldata(args);
|
|
191
|
+
const senderAddress = this.l1TxUtils.getSenderAddress();
|
|
192
|
+
const [gasLimit, gasPrice, latestBlock] = await Promise.all([
|
|
193
|
+
this.l1TxUtils.estimateGas(senderAddress.toString(), {
|
|
194
|
+
to: this.proofSubmissionTarget,
|
|
195
|
+
data
|
|
196
|
+
}),
|
|
197
|
+
this.l1TxUtils.getGasPrice(),
|
|
198
|
+
this.l1TxUtils.client.getBlock({
|
|
199
|
+
blockTag: 'latest'
|
|
200
|
+
})
|
|
201
|
+
]);
|
|
202
|
+
const baseFeePerGas = latestBlock.baseFeePerGas ?? 0n;
|
|
203
|
+
const { maxPriorityFeePerGas } = gasPrice;
|
|
204
|
+
const effectiveFeePerGas = baseFeePerGas + maxPriorityFeePerGas;
|
|
205
|
+
const estimatedTotalFee = gasLimit * effectiveFeePerGas;
|
|
206
|
+
const stats = {
|
|
207
|
+
gasLimit,
|
|
208
|
+
baseFeePerGas,
|
|
209
|
+
maxPriorityFeePerGas,
|
|
210
|
+
estimatedTotalFee
|
|
211
|
+
};
|
|
212
|
+
this.log.info(`Estimated epoch proof submission cost (not submitted)`, {
|
|
213
|
+
epochNumber,
|
|
214
|
+
fromCheckpoint,
|
|
215
|
+
toCheckpoint,
|
|
216
|
+
gasLimit: gasLimit.toString(),
|
|
217
|
+
baseFeePerGas: formatGwei(baseFeePerGas),
|
|
218
|
+
maxPriorityFeePerGas: formatGwei(maxPriorityFeePerGas),
|
|
219
|
+
estimatedTotalFeeEth: formatEther(estimatedTotalFee)
|
|
220
|
+
});
|
|
221
|
+
this.metrics.recordEstimatedSubmitProof(stats);
|
|
222
|
+
}
|
|
223
|
+
encodeSubmitEpochProofCalldata(args) {
|
|
224
|
+
return encodeFunctionData({
|
|
225
|
+
abi: RollupAbi,
|
|
226
|
+
functionName: 'submitEpochRootProof',
|
|
227
|
+
args: [
|
|
228
|
+
this.getSubmitEpochProofArgs(args)
|
|
229
|
+
]
|
|
230
|
+
});
|
|
231
|
+
}
|
|
131
232
|
async sendSubmitEpochProofTx(args) {
|
|
132
233
|
const txArgs = [
|
|
133
234
|
this.getSubmitEpochProofArgs(args)
|
|
@@ -144,7 +245,7 @@ export class ProverNodePublisher {
|
|
|
144
245
|
});
|
|
145
246
|
try {
|
|
146
247
|
const { receipt } = await this.l1TxUtils.sendAndMonitorTransaction({
|
|
147
|
-
to: this.
|
|
248
|
+
to: this.proofSubmissionTarget,
|
|
148
249
|
data
|
|
149
250
|
});
|
|
150
251
|
if (receipt.status !== 'success') {
|
|
@@ -154,7 +255,7 @@ export class ProverNodePublisher {
|
|
|
154
255
|
],
|
|
155
256
|
functionName: 'submitEpochRootProof',
|
|
156
257
|
abi: RollupAbi,
|
|
157
|
-
address: this.
|
|
258
|
+
address: this.proofSubmissionTarget
|
|
158
259
|
}, /*blobInputs*/ undefined, /*stateOverride*/ []);
|
|
159
260
|
this.log.error(`Rollup submit epoch proof tx reverted with ${errorMsg ?? 'unknown error'}`);
|
|
160
261
|
return undefined;
|
|
@@ -176,7 +277,7 @@ export class ProverNodePublisher {
|
|
|
176
277
|
outHash: args.publicInputs.outHash.toString(),
|
|
177
278
|
proverId: EthAddress.fromField(args.publicInputs.constants.proverId).toString()
|
|
178
279
|
} /*_args*/ ,
|
|
179
|
-
makeTuple(
|
|
280
|
+
makeTuple(MAX_CHECKPOINTS_PER_EPOCH * 2, (i)=>i % 2 === 0 ? args.publicInputs.fees[i / 2].recipient.toField().toString() : args.publicInputs.fees[(i - 1) / 2].value.toString()),
|
|
180
281
|
getEthBlobEvaluationInputs(args.batchedBlobInputs)
|
|
181
282
|
];
|
|
182
283
|
}
|
|
@@ -189,9 +290,106 @@ export class ProverNodePublisher {
|
|
|
189
290
|
end: argsArray[1],
|
|
190
291
|
args: argsArray[2],
|
|
191
292
|
fees: argsArray[3],
|
|
192
|
-
attestations:
|
|
293
|
+
attestations: CommitteeAttestationsAndSigners.packAttestations(args.attestations.map((a)=>CommitteeAttestation.fromViem(a))),
|
|
193
294
|
blobInputs: argsArray[4],
|
|
194
295
|
proof: proofHex
|
|
195
296
|
};
|
|
196
297
|
}
|
|
197
298
|
}
|
|
299
|
+
/**
|
|
300
|
+
* Decodes a `Root rollup public inputs mismatch`, fetches the on-chain CheckpointLog for any
|
|
301
|
+
* mismatching `checkpointHeaderHashes[i]`, emits a structured error log, and returns a thrown-ready
|
|
302
|
+
* Error with a human-readable summary.
|
|
303
|
+
*
|
|
304
|
+
* Layout of `RootRollupPublicInputs.toFields()`:
|
|
305
|
+
* [0] previousArchiveRoot
|
|
306
|
+
* [1] endArchiveRoot
|
|
307
|
+
* [2] outHash
|
|
308
|
+
* [3 .. 3+N-1] checkpointHeaderHashes[i] for i in 0..N-1 (N = MAX_CHECKPOINTS_PER_EPOCH)
|
|
309
|
+
* [3+N .. 3+3N-1] fees[i] = (recipient, value) for i in 0..N-1
|
|
310
|
+
* [3+3N .. 3+3N+4] EpochConstantData (chainId, version, vkTreeRoot, protocolContractsHash, proverId)
|
|
311
|
+
* [3+3N+5 ..] blobPublicInputs (FinalBlobAccumulator)
|
|
312
|
+
*/ async function reportPublicInputsMismatch(input) {
|
|
313
|
+
const { rollupPublicInputs, argsPublicInputs, fromCheckpoint, toCheckpoint, rollupContract, log } = input;
|
|
314
|
+
const N = MAX_CHECKPOINTS_PER_EPOCH;
|
|
315
|
+
const constantsStart = 3 + 3 * N;
|
|
316
|
+
const blobStart = constantsStart + 5;
|
|
317
|
+
const constantLabels = [
|
|
318
|
+
'chainId',
|
|
319
|
+
'version',
|
|
320
|
+
'vkTreeRoot',
|
|
321
|
+
'protocolContractsHash',
|
|
322
|
+
'proverId'
|
|
323
|
+
];
|
|
324
|
+
const diffs = [];
|
|
325
|
+
const len = Math.max(rollupPublicInputs.length, argsPublicInputs.length);
|
|
326
|
+
for(let i = 0; i < len; i++){
|
|
327
|
+
const a = rollupPublicInputs[i] ?? Fr.ZERO;
|
|
328
|
+
const b = argsPublicInputs[i] ?? Fr.ZERO;
|
|
329
|
+
if (a.equals(b)) {
|
|
330
|
+
continue;
|
|
331
|
+
}
|
|
332
|
+
let label;
|
|
333
|
+
let checkpointIndex;
|
|
334
|
+
if (i === 0) {
|
|
335
|
+
label = 'previousArchiveRoot';
|
|
336
|
+
} else if (i === 1) {
|
|
337
|
+
label = 'endArchiveRoot';
|
|
338
|
+
} else if (i === 2) {
|
|
339
|
+
label = 'outHash';
|
|
340
|
+
} else if (i < 3 + N) {
|
|
341
|
+
checkpointIndex = i - 3;
|
|
342
|
+
label = `checkpointHeaderHashes[${checkpointIndex}]`;
|
|
343
|
+
} else if (i < 3 + 3 * N) {
|
|
344
|
+
const feePairIndex = i - (3 + N);
|
|
345
|
+
const feeIndex = Math.floor(feePairIndex / 2);
|
|
346
|
+
const sub = feePairIndex % 2 === 0 ? 'recipient' : 'value';
|
|
347
|
+
label = `fees[${feeIndex}].${sub}`;
|
|
348
|
+
} else if (i < blobStart) {
|
|
349
|
+
label = `constants.${constantLabels[i - constantsStart]}`;
|
|
350
|
+
} else {
|
|
351
|
+
label = `blobPublicInputs[${i - blobStart}]`;
|
|
352
|
+
}
|
|
353
|
+
diffs.push({
|
|
354
|
+
index: i,
|
|
355
|
+
label,
|
|
356
|
+
rollup: a,
|
|
357
|
+
computed: b,
|
|
358
|
+
checkpointIndex
|
|
359
|
+
});
|
|
360
|
+
}
|
|
361
|
+
// For each mismatching checkpointHeaderHash, fetch the L1 CheckpointLog so the operator can
|
|
362
|
+
// see what was published on-chain alongside the prover's recomputed hash.
|
|
363
|
+
const onChainCheckpoints = await Promise.all(diffs.filter((d)=>d.checkpointIndex !== undefined).map(async (d)=>{
|
|
364
|
+
const checkpointNumber = CheckpointNumber(fromCheckpoint + d.checkpointIndex);
|
|
365
|
+
try {
|
|
366
|
+
const cp = await rollupContract.getCheckpoint(checkpointNumber);
|
|
367
|
+
return {
|
|
368
|
+
checkpointIndex: d.checkpointIndex,
|
|
369
|
+
checkpointNumber,
|
|
370
|
+
headerHash: cp.headerHash.toString()
|
|
371
|
+
};
|
|
372
|
+
} catch (err) {
|
|
373
|
+
return {
|
|
374
|
+
checkpointIndex: d.checkpointIndex,
|
|
375
|
+
checkpointNumber,
|
|
376
|
+
error: err.message
|
|
377
|
+
};
|
|
378
|
+
}
|
|
379
|
+
}));
|
|
380
|
+
log.error(`Root rollup public inputs mismatch`, undefined, {
|
|
381
|
+
fromCheckpoint,
|
|
382
|
+
toCheckpoint,
|
|
383
|
+
numDiffs: diffs.length,
|
|
384
|
+
diffs: diffs.map((d)=>({
|
|
385
|
+
index: d.index,
|
|
386
|
+
label: d.label,
|
|
387
|
+
rollup: d.rollup.toString(),
|
|
388
|
+
computed: d.computed.toString()
|
|
389
|
+
})),
|
|
390
|
+
onChainCheckpoints
|
|
391
|
+
});
|
|
392
|
+
const fmt = (inputs)=>inputs.map((x)=>x.toString()).join(', ');
|
|
393
|
+
const summary = diffs.map((d)=>`[${d.index} ${d.label}] L1=${d.rollup} prover=${d.computed}`).join('\n');
|
|
394
|
+
return new Error(`Root rollup public inputs mismatch (${diffs.length} fields differ):\n${summary}\n` + `Rollup: ${fmt(rollupPublicInputs)}\nComputed:${fmt(argsPublicInputs)}`);
|
|
395
|
+
}
|
package/dest/prover-node.d.ts
CHANGED
|
@@ -1,14 +1,14 @@
|
|
|
1
1
|
import type { RollupContract } from '@aztec/ethereum/contracts';
|
|
2
|
+
import type { Delayer } from '@aztec/ethereum/l1-tx-utils';
|
|
2
3
|
import { EpochNumber } from '@aztec/foundation/branded-types';
|
|
3
|
-
import
|
|
4
|
-
import type { P2PClient } from '@aztec/p2p';
|
|
4
|
+
import { DateProvider } from '@aztec/foundation/timer';
|
|
5
5
|
import { PublicProcessorFactory } from '@aztec/simulator/server';
|
|
6
6
|
import type { L2BlockSource } from '@aztec/stdlib/block';
|
|
7
7
|
import type { ChainConfig } from '@aztec/stdlib/config';
|
|
8
8
|
import type { ContractDataSource } from '@aztec/stdlib/contract';
|
|
9
|
-
import { type EpochProverManager, type ProverNodeApi, type Service, type WorldStateSyncStatus, type WorldStateSynchronizer } from '@aztec/stdlib/interfaces/server';
|
|
9
|
+
import { type EpochProverManager, type ITxProvider, type ProverNodeApi, type Service, type WorldStateSyncStatus, type WorldStateSynchronizer } from '@aztec/stdlib/interfaces/server';
|
|
10
|
+
import type { DataStoreConfig } from '@aztec/stdlib/kv-store';
|
|
10
11
|
import type { L1ToL2MessageSource } from '@aztec/stdlib/messaging';
|
|
11
|
-
import type { P2PClientType } from '@aztec/stdlib/p2p';
|
|
12
12
|
import { L1Metrics, type TelemetryClient, type Traceable, type Tracer } from '@aztec/telemetry-client';
|
|
13
13
|
import type { SpecificProverNodeConfig } from './config.js';
|
|
14
14
|
import type { EpochProvingJobData } from './job/epoch-proving-job-data.js';
|
|
@@ -30,22 +30,32 @@ export declare class ProverNode implements EpochMonitorHandler, ProverNodeApi, T
|
|
|
30
30
|
protected readonly l1ToL2MessageSource: L1ToL2MessageSource;
|
|
31
31
|
protected readonly contractDataSource: ContractDataSource;
|
|
32
32
|
protected readonly worldState: WorldStateSynchronizer;
|
|
33
|
-
protected readonly p2pClient:
|
|
33
|
+
protected readonly p2pClient: {
|
|
34
|
+
getTxProvider(): ITxProvider;
|
|
35
|
+
} & Partial<Service>;
|
|
34
36
|
protected readonly epochsMonitor: EpochMonitor;
|
|
35
37
|
protected readonly rollupContract: RollupContract;
|
|
36
38
|
protected readonly l1Metrics: L1Metrics;
|
|
37
39
|
protected readonly telemetryClient: TelemetryClient;
|
|
40
|
+
private delayer?;
|
|
41
|
+
private readonly dateProvider;
|
|
38
42
|
private log;
|
|
39
|
-
private dateProvider;
|
|
40
43
|
private jobs;
|
|
41
44
|
private config;
|
|
42
45
|
private jobMetrics;
|
|
43
46
|
private rewardsMetrics;
|
|
47
|
+
private startingProofEpochs;
|
|
44
48
|
readonly tracer: Tracer;
|
|
45
49
|
protected publisher: ProverNodePublisher | undefined;
|
|
46
|
-
constructor(prover: EpochProverManager, publisherFactory: ProverPublisherFactory, l2BlockSource: L2BlockSource & Partial<Service>, l1ToL2MessageSource: L1ToL2MessageSource, contractDataSource: ContractDataSource, worldState: WorldStateSynchronizer, p2pClient:
|
|
50
|
+
constructor(prover: EpochProverManager, publisherFactory: ProverPublisherFactory, l2BlockSource: L2BlockSource & Partial<Service>, l1ToL2MessageSource: L1ToL2MessageSource, contractDataSource: ContractDataSource, worldState: WorldStateSynchronizer, p2pClient: {
|
|
51
|
+
getTxProvider(): ITxProvider;
|
|
52
|
+
} & Partial<Service>, epochsMonitor: EpochMonitor, rollupContract: RollupContract, l1Metrics: L1Metrics, config?: Partial<ProverNodeOptions>, telemetryClient?: TelemetryClient, delayer?: Delayer | undefined, dateProvider?: DateProvider);
|
|
47
53
|
getProverId(): import("@aztec/foundation/eth-address").EthAddress;
|
|
48
|
-
getP2P():
|
|
54
|
+
getP2P(): {
|
|
55
|
+
getTxProvider(): ITxProvider;
|
|
56
|
+
} & Partial<Service>;
|
|
57
|
+
/** Returns the shared tx delayer for prover L1 txs, if enabled. Test-only. */
|
|
58
|
+
getDelayer(): Delayer | undefined;
|
|
49
59
|
/**
|
|
50
60
|
* Handles an epoch being completed by starting a proof for it if there are no active jobs for it.
|
|
51
61
|
* @param epochNumber - The epoch number that was just completed.
|
|
@@ -59,6 +69,7 @@ export declare class ProverNode implements EpochMonitorHandler, ProverNodeApi, T
|
|
|
59
69
|
start(): Promise<void>;
|
|
60
70
|
/**
|
|
61
71
|
* Stops the prover node and all its dependencies.
|
|
72
|
+
* Resources not owned by this node (shared with the parent aztec-node) are skipped.
|
|
62
73
|
*/
|
|
63
74
|
stop(): Promise<void>;
|
|
64
75
|
/** Returns world state status. */
|
|
@@ -69,6 +80,8 @@ export declare class ProverNode implements EpochMonitorHandler, ProverNodeApi, T
|
|
|
69
80
|
* Starts a proving process and returns immediately.
|
|
70
81
|
*/
|
|
71
82
|
startProof(epochNumber: EpochNumber): Promise<void>;
|
|
83
|
+
private startProofIfNeeded;
|
|
84
|
+
private startProofInternal;
|
|
72
85
|
private runJob;
|
|
73
86
|
protected tryUploadEpochFailure(job: EpochProvingJob): Promise<string | undefined>;
|
|
74
87
|
/**
|
|
@@ -83,15 +96,12 @@ export declare class ProverNode implements EpochMonitorHandler, ProverNodeApi, T
|
|
|
83
96
|
status: EpochProvingJobState;
|
|
84
97
|
epochNumber: EpochNumber;
|
|
85
98
|
}[]>;
|
|
86
|
-
|
|
87
|
-
|
|
88
|
-
status: EpochProvingJobState;
|
|
89
|
-
}[]>;
|
|
99
|
+
private getJobsInternal;
|
|
100
|
+
private activeJobsCoverEpoch;
|
|
90
101
|
private checkMaximumPendingJobs;
|
|
91
102
|
private createProvingJob;
|
|
92
103
|
private getL1Constants;
|
|
93
104
|
private gatherEpochData;
|
|
94
|
-
private gatherCheckpoints;
|
|
95
105
|
private gatherTxs;
|
|
96
106
|
private gatherMessages;
|
|
97
107
|
private gatherPreviousBlockHeader;
|
|
@@ -104,4 +114,4 @@ export declare class ProverNode implements EpochMonitorHandler, ProverNodeApi, T
|
|
|
104
114
|
private validateConfig;
|
|
105
115
|
}
|
|
106
116
|
export {};
|
|
107
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
117
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmVyLW5vZGUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9wcm92ZXItbm9kZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUNoRSxPQUFPLEtBQUssRUFBRSxPQUFPLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUMzRCxPQUFPLEVBQWlDLFdBQVcsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBSzdGLE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUN2RCxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUNqRSxPQUFPLEtBQUssRUFBRSxhQUFhLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUV6RCxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUN4RCxPQUFPLEtBQUssRUFBRSxrQkFBa0IsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBRWpFLE9BQU8sRUFDTCxLQUFLLGtCQUFrQixFQUN2QixLQUFLLFdBQVcsRUFDaEIsS0FBSyxhQUFhLEVBQ2xCLEtBQUssT0FBTyxFQUNaLEtBQUssb0JBQW9CLEVBQ3pCLEtBQUssc0JBQXNCLEVBRTVCLE1BQU0saUNBQWlDLENBQUM7QUFDekMsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFDOUQsT0FBTyxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUVuRSxPQUFPLEVBRUwsU0FBUyxFQUNULEtBQUssZUFBZSxFQUNwQixLQUFLLFNBQVMsRUFDZCxLQUFLLE1BQU0sRUFHWixNQUFNLHlCQUF5QixDQUFDO0FBR2pDLE9BQU8sS0FBSyxFQUFFLHdCQUF3QixFQUFFLE1BQU0sYUFBYSxDQUFDO0FBQzVELE9BQU8sS0FBSyxFQUFFLG1CQUFtQixFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDM0UsT0FBTyxFQUFFLGVBQWUsRUFBK0IsS0FBSyxvQkFBb0IsRUFBRSxNQUFNLDRCQUE0QixDQUFDO0FBRXJILE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBRSxtQkFBbUIsRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBQ3JGLE9BQU8sS0FBSyxFQUFFLG1CQUFtQixFQUFFLE1BQU0sNEJBQTRCLENBQUM7QUFDdEUsT0FBTyxLQUFLLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUU1RSxLQUFLLGlCQUFpQixHQUFHLHdCQUF3QixHQUFHLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxDQUFDO0FBQzlFLEtBQUssZ0JBQWdCLEdBQUcsSUFBSSxDQUFDLGVBQWUsRUFBRSxlQUFlLENBQUMsR0FBRyxJQUFJLENBQUMsV0FBVyxFQUFFLFdBQVcsR0FBRyxlQUFlLENBQUMsQ0FBQztBQUVsSDs7OztHQUlHO0FBQ0gscUJBQWEsVUFBVyxZQUFXLG1CQUFtQixFQUFFLGFBQWEsRUFBRSxTQUFTO0lBYzVFLFNBQVMsQ0FBQyxRQUFRLENBQUMsTUFBTSxFQUFFLGtCQUFrQjtJQUM3QyxTQUFTLENBQUMsUUFBUSxDQUFDLGdCQUFnQixFQUFFLHNCQUFzQjtJQUMzRCxTQUFTLENBQUMsUUFBUSxDQUFDLGFBQWEsRUFBRSxhQUFhLEdBQUcsT0FBTyxDQUFDLE9BQU8sQ0FBQztJQUNsRSxTQUFTLENBQUMsUUFBUSxDQUFDLG1CQUFtQixFQUFFLG1CQUFtQjtJQUMzRCxTQUFTLENBQUMsUUFBUSxDQUFDLGtCQUFrQixFQUFFLGtCQUFrQjtJQUN6RCxTQUFTLENBQUMsUUFBUSxDQUFDLFVBQVUsRUFBRSxzQkFBc0I7SUFDckQsU0FBUyxDQUFDLFFBQVEsQ0FBQyxTQUFTLEVBQUU7UUFBRSxhQUFhLElBQUksV0FBVyxDQUFBO0tBQUUsR0FBRyxPQUFPLENBQUMsT0FBTyxDQUFDO0lBQ2pGLFNBQVMsQ0FBQyxRQUFRLENBQUMsYUFBYSxFQUFFLFlBQVk7SUFDOUMsU0FBUyxDQUFDLFFBQVEsQ0FBQyxjQUFjLEVBQUUsY0FBYztJQUNqRCxTQUFTLENBQUMsUUFBUSxDQUFDLFNBQVMsRUFBRSxTQUFTO0lBRXZDLFNBQVMsQ0FBQyxRQUFRLENBQUMsZUFBZSxFQUFFLGVBQWU7SUFDbkQsT0FBTyxDQUFDLE9BQU8sQ0FBQztJQUNoQixPQUFPLENBQUMsUUFBUSxDQUFDLFlBQVk7SUExQi9CLE9BQU8sQ0FBQyxHQUFHLENBQStCO0lBRTFDLE9BQU8sQ0FBQyxJQUFJLENBQTJDO0lBQ3ZELE9BQU8sQ0FBQyxNQUFNLENBQW9CO0lBQ2xDLE9BQU8sQ0FBQyxVQUFVLENBQXVCO0lBQ3pDLE9BQU8sQ0FBQyxjQUFjLENBQTJCO0lBQ2pELE9BQU8sQ0FBQyxtQkFBbUIsQ0FBK0I7SUFFMUQsU0FBZ0IsTUFBTSxFQUFFLE1BQU0sQ0FBQztJQUUvQixTQUFTLENBQUMsU0FBUyxFQUFFLG1CQUFtQixHQUFHLFNBQVMsQ0FBQztJQUVyRCxZQUNxQixNQUFNLEVBQUUsa0JBQWtCLEVBQzFCLGdCQUFnQixFQUFFLHNCQUFzQixFQUN4QyxhQUFhLEVBQUUsYUFBYSxHQUFHLE9BQU8sQ0FBQyxPQUFPLENBQUMsRUFDL0MsbUJBQW1CLEVBQUUsbUJBQW1CLEVBQ3hDLGtCQUFrQixFQUFFLGtCQUFrQixFQUN0QyxVQUFVLEVBQUUsc0JBQXNCLEVBQ2xDLFNBQVMsRUFBRTtRQUFFLGFBQWEsSUFBSSxXQUFXLENBQUE7S0FBRSxHQUFHLE9BQU8sQ0FBQyxPQUFPLENBQUMsRUFDOUQsYUFBYSxFQUFFLFlBQVksRUFDM0IsY0FBYyxFQUFFLGNBQWMsRUFDOUIsU0FBUyxFQUFFLFNBQVMsRUFDdkMsTUFBTSxHQUFFLE9BQU8sQ0FBQyxpQkFBaUIsQ0FBTSxFQUNwQixlQUFlLEdBQUUsZUFBc0MsRUFDbEUsT0FBTyxDQUFDLHFCQUFTLEVBQ1IsWUFBWSxHQUFFLFlBQWlDLEVBdUJqRTtJQUVNLFdBQVcsdURBRWpCO0lBRU0sTUFBTTs7eUJBRVo7SUFFRCw4RUFBOEU7SUFDdkUsVUFBVSxJQUFJLE9BQU8sR0FBRyxTQUFTLENBRXZDO0lBRUQ7Ozs7T0FJRztJQUNHLHVCQUF1QixDQUFDLFdBQVcsRUFBRSxXQUFXLEdBQUcsT0FBTyxDQUFDLE9BQU8sQ0FBQyxDQWN4RTtJQUVEOzs7T0FHRztJQUNHLEtBQUssa0JBT1Y7SUFFRDs7O09BR0c7SUFDRyxJQUFJLGtCQVdUO0lBRUQsa0NBQWtDO0lBQ3JCLHVCQUF1QixJQUFJLE9BQU8sQ0FBQyxvQkFBb0IsQ0FBQyxDQUdwRTtJQUVELCtCQUErQjtJQUN4QixTQUFTLGtEQUVmO0lBRUQ7O09BRUc7SUFDVSxVQUFVLENBQUMsV0FBVyxFQUFFLFdBQVcsaUJBRS9DO1lBRWEsa0JBQWtCO1lBMkJsQixrQkFBa0I7WUFLbEIsTUFBTTtJQXlCcEIsVUFBZ0IscUJBQXFCLENBQUMsR0FBRyxFQUFFLGVBQWUsK0JBWXpEO0lBRUQ7O09BRUc7SUFDSSxTQUFTLHVCQUVmO0lBRUQ7O09BRUc7SUFDSSxPQUFPLElBQUksT0FBTyxDQUFDO1FBQUUsSUFBSSxFQUFFLE1BQU0sQ0FBQztRQUFDLE1BQU0sRUFBRSxvQkFBb0IsQ0FBQztRQUFDLFdBQVcsRUFBRSxXQUFXLENBQUE7S0FBRSxFQUFFLENBQUMsQ0FFcEc7SUFFRCxPQUFPLENBQUMsZUFBZTtZQVFULG9CQUFvQjtJQTJCbEMsT0FBTyxDQUFDLHVCQUF1QjtZQVFqQixnQkFBZ0I7SUFxQzlCLE9BQU8sQ0FBQyxjQUFjO1lBS1IsZUFBZTtZQWdCZixTQUFTO1lBZ0JULGNBQWM7WUFXZCx5QkFBeUI7SUFVdkMsc0NBQXNDO0lBQ3RDLFNBQVMsQ0FBQyx1QkFBdUIsQ0FDL0IsSUFBSSxFQUFFLG1CQUFtQixFQUN6QixRQUFRLEVBQUUsSUFBSSxHQUFHLFNBQVMsRUFDMUIsc0JBQXNCLEVBQUUsc0JBQXNCLEVBQzlDLFNBQVMsRUFBRSxtQkFBbUIsRUFDOUIsSUFBSSxHQUFFO1FBQUUsY0FBYyxDQUFDLEVBQUUsT0FBTyxDQUFBO0tBQU8sbUJBZXhDO0lBRUQsc0NBQXNDO0lBQ3RDLFVBQWdCLGVBQWUsa0JBRTlCO0lBRUQsT0FBTyxDQUFDLGNBQWM7Q0FjdkIifQ==
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"prover-node.d.ts","sourceRoot":"","sources":["../src/prover-node.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAChE,OAAO,
|
|
1
|
+
{"version":3,"file":"prover-node.d.ts","sourceRoot":"","sources":["../src/prover-node.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAChE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAiC,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAK7F,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAEjE,OAAO,EACL,KAAK,kBAAkB,EACvB,KAAK,WAAW,EAChB,KAAK,aAAa,EAClB,KAAK,OAAO,EACZ,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAE5B,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAEnE,OAAO,EAEL,SAAS,EACT,KAAK,eAAe,EACpB,KAAK,SAAS,EACd,KAAK,MAAM,EAGZ,MAAM,yBAAyB,CAAC;AAGjC,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,EAAE,eAAe,EAA+B,KAAK,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAErH,OAAO,KAAK,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AACrF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAE5E,KAAK,iBAAiB,GAAG,wBAAwB,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;AAC9E,KAAK,gBAAgB,GAAG,IAAI,CAAC,eAAe,EAAE,eAAe,CAAC,GAAG,IAAI,CAAC,WAAW,EAAE,WAAW,GAAG,eAAe,CAAC,CAAC;AAElH;;;;GAIG;AACH,qBAAa,UAAW,YAAW,mBAAmB,EAAE,aAAa,EAAE,SAAS;IAc5E,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,kBAAkB;IAC7C,SAAS,CAAC,QAAQ,CAAC,gBAAgB,EAAE,sBAAsB;IAC3D,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC;IAClE,SAAS,CAAC,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB;IAC3D,SAAS,CAAC,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB;IACzD,SAAS,CAAC,QAAQ,CAAC,UAAU,EAAE,sBAAsB;IACrD,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE;QAAE,aAAa,IAAI,WAAW,CAAA;KAAE,GAAG,OAAO,CAAC,OAAO,CAAC;IACjF,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,YAAY;IAC9C,SAAS,CAAC,QAAQ,CAAC,cAAc,EAAE,cAAc;IACjD,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,SAAS;IAEvC,SAAS,CAAC,QAAQ,CAAC,eAAe,EAAE,eAAe;IACnD,OAAO,CAAC,OAAO,CAAC;IAChB,OAAO,CAAC,QAAQ,CAAC,YAAY;IA1B/B,OAAO,CAAC,GAAG,CAA+B;IAE1C,OAAO,CAAC,IAAI,CAA2C;IACvD,OAAO,CAAC,MAAM,CAAoB;IAClC,OAAO,CAAC,UAAU,CAAuB;IACzC,OAAO,CAAC,cAAc,CAA2B;IACjD,OAAO,CAAC,mBAAmB,CAA+B;IAE1D,SAAgB,MAAM,EAAE,MAAM,CAAC;IAE/B,SAAS,CAAC,SAAS,EAAE,mBAAmB,GAAG,SAAS,CAAC;IAErD,YACqB,MAAM,EAAE,kBAAkB,EAC1B,gBAAgB,EAAE,sBAAsB,EACxC,aAAa,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,EAC/C,mBAAmB,EAAE,mBAAmB,EACxC,kBAAkB,EAAE,kBAAkB,EACtC,UAAU,EAAE,sBAAsB,EAClC,SAAS,EAAE;QAAE,aAAa,IAAI,WAAW,CAAA;KAAE,GAAG,OAAO,CAAC,OAAO,CAAC,EAC9D,aAAa,EAAE,YAAY,EAC3B,cAAc,EAAE,cAAc,EAC9B,SAAS,EAAE,SAAS,EACvC,MAAM,GAAE,OAAO,CAAC,iBAAiB,CAAM,EACpB,eAAe,GAAE,eAAsC,EAClE,OAAO,CAAC,qBAAS,EACR,YAAY,GAAE,YAAiC,EAuBjE;IAEM,WAAW,uDAEjB;IAEM,MAAM;;yBAEZ;IAED,8EAA8E;IACvE,UAAU,IAAI,OAAO,GAAG,SAAS,CAEvC;IAED;;;;OAIG;IACG,uBAAuB,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,CAcxE;IAED;;;OAGG;IACG,KAAK,kBAOV;IAED;;;OAGG;IACG,IAAI,kBAWT;IAED,kCAAkC;IACrB,uBAAuB,IAAI,OAAO,CAAC,oBAAoB,CAAC,CAGpE;IAED,+BAA+B;IACxB,SAAS,kDAEf;IAED;;OAEG;IACU,UAAU,CAAC,WAAW,EAAE,WAAW,iBAE/C;YAEa,kBAAkB;YA2BlB,kBAAkB;YAKlB,MAAM;IAyBpB,UAAgB,qBAAqB,CAAC,GAAG,EAAE,eAAe,+BAYzD;IAED;;OAEG;IACI,SAAS,uBAEf;IAED;;OAEG;IACI,OAAO,IAAI,OAAO,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,oBAAoB,CAAC;QAAC,WAAW,EAAE,WAAW,CAAA;KAAE,EAAE,CAAC,CAEpG;IAED,OAAO,CAAC,eAAe;YAQT,oBAAoB;IA2BlC,OAAO,CAAC,uBAAuB;YAQjB,gBAAgB;IAqC9B,OAAO,CAAC,cAAc;YAKR,eAAe;YAgBf,SAAS;YAgBT,cAAc;YAWd,yBAAyB;IAUvC,sCAAsC;IACtC,SAAS,CAAC,uBAAuB,CAC/B,IAAI,EAAE,mBAAmB,EACzB,QAAQ,EAAE,IAAI,GAAG,SAAS,EAC1B,sBAAsB,EAAE,sBAAsB,EAC9C,SAAS,EAAE,mBAAmB,EAC9B,IAAI,GAAE;QAAE,cAAc,CAAC,EAAE,OAAO,CAAA;KAAO,mBAexC;IAED,sCAAsC;IACtC,UAAgB,eAAe,kBAE9B;IAED,OAAO,CAAC,cAAc;CAcvB"}
|