@aztec/prover-client 0.0.1-commit.993d240 → 0.0.1-commit.9a89641

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.
Files changed (102) hide show
  1. package/dest/light/lightweight_checkpoint_builder.d.ts +1 -1
  2. package/dest/light/lightweight_checkpoint_builder.d.ts.map +1 -1
  3. package/dest/light/lightweight_checkpoint_builder.js +3 -1
  4. package/dest/mocks/fixtures.d.ts +1 -1
  5. package/dest/mocks/fixtures.d.ts.map +1 -1
  6. package/dest/mocks/fixtures.js +3 -3
  7. package/dest/mocks/test_context.d.ts +9 -11
  8. package/dest/mocks/test_context.d.ts.map +1 -1
  9. package/dest/mocks/test_context.js +15 -23
  10. package/dest/orchestrator/block-building-helpers.d.ts +1 -1
  11. package/dest/orchestrator/checkpoint-proving-state.d.ts +13 -36
  12. package/dest/orchestrator/checkpoint-proving-state.d.ts.map +1 -1
  13. package/dest/orchestrator/checkpoint-proving-state.js +18 -125
  14. package/dest/orchestrator/checkpoint-sub-tree-orchestrator.d.ts +116 -62
  15. package/dest/orchestrator/checkpoint-sub-tree-orchestrator.d.ts.map +1 -1
  16. package/dest/orchestrator/checkpoint-sub-tree-orchestrator.js +1005 -90
  17. package/dest/orchestrator/chonk-cache.d.ts +39 -0
  18. package/dest/orchestrator/chonk-cache.d.ts.map +1 -0
  19. package/dest/orchestrator/chonk-cache.js +80 -0
  20. package/dest/orchestrator/index.d.ts +2 -3
  21. package/dest/orchestrator/index.d.ts.map +1 -1
  22. package/dest/orchestrator/index.js +1 -2
  23. package/dest/orchestrator/proving-scheduler.d.ts +26 -17
  24. package/dest/orchestrator/proving-scheduler.d.ts.map +1 -1
  25. package/dest/orchestrator/proving-scheduler.js +28 -25
  26. package/dest/orchestrator/top-tree-orchestrator.d.ts +11 -6
  27. package/dest/orchestrator/top-tree-orchestrator.d.ts.map +1 -1
  28. package/dest/orchestrator/top-tree-orchestrator.js +71 -21
  29. package/dest/orchestrator/top-tree-proving-state.d.ts +1 -1
  30. package/dest/orchestrator/top-tree-proving-state.d.ts.map +1 -1
  31. package/dest/orchestrator/tx-proving-state.d.ts +3 -3
  32. package/dest/orchestrator/tx-proving-state.d.ts.map +1 -1
  33. package/dest/prover-client/prover-client.d.ts +17 -19
  34. package/dest/prover-client/prover-client.d.ts.map +1 -1
  35. package/dest/prover-client/prover-client.js +24 -25
  36. package/dest/proving_broker/broker_prover_facade.d.ts +3 -3
  37. package/dest/proving_broker/broker_prover_facade.d.ts.map +1 -1
  38. package/dest/proving_broker/broker_prover_facade.js +13 -1
  39. package/dest/proving_broker/proving_broker.d.ts +2 -1
  40. package/dest/proving_broker/proving_broker.d.ts.map +1 -1
  41. package/dest/proving_broker/proving_broker.js +195 -77
  42. package/dest/proving_broker/proving_broker_database/memory.d.ts +5 -2
  43. package/dest/proving_broker/proving_broker_database/memory.d.ts.map +1 -1
  44. package/dest/proving_broker/proving_broker_database/memory.js +14 -1
  45. package/dest/proving_broker/proving_broker_database/persisted.d.ts +15 -2
  46. package/dest/proving_broker/proving_broker_database/persisted.d.ts.map +1 -1
  47. package/dest/proving_broker/proving_broker_database/persisted.js +55 -4
  48. package/dest/proving_broker/proving_broker_database.d.ts +27 -1
  49. package/dest/proving_broker/proving_broker_database.d.ts.map +1 -1
  50. package/dest/proving_broker/rpc.d.ts +13 -4
  51. package/dest/proving_broker/rpc.d.ts.map +1 -1
  52. package/dest/proving_broker/rpc.js +14 -3
  53. package/dest/test/epoch_settlement.d.ts +36 -0
  54. package/dest/test/epoch_settlement.d.ts.map +1 -0
  55. package/dest/test/epoch_settlement.js +52 -0
  56. package/dest/test/index.d.ts +2 -0
  57. package/dest/test/index.d.ts.map +1 -0
  58. package/dest/test/index.js +1 -0
  59. package/dest/test/mock_prover.d.ts +1 -1
  60. package/dest/test/mock_prover.js +2 -2
  61. package/package.json +17 -16
  62. package/src/light/lightweight_checkpoint_builder.ts +2 -0
  63. package/src/mocks/fixtures.ts +2 -4
  64. package/src/mocks/test_context.ts +16 -35
  65. package/src/orchestrator/checkpoint-proving-state.ts +14 -168
  66. package/src/orchestrator/checkpoint-sub-tree-orchestrator.ts +902 -129
  67. package/src/orchestrator/chonk-cache.ts +99 -0
  68. package/src/orchestrator/index.ts +1 -2
  69. package/src/orchestrator/proving-scheduler.ts +29 -25
  70. package/src/orchestrator/top-tree-orchestrator.ts +114 -44
  71. package/src/orchestrator/top-tree-proving-state.ts +0 -1
  72. package/src/orchestrator/tx-proving-state.ts +3 -3
  73. package/src/prover-client/prover-client.ts +35 -49
  74. package/src/proving_broker/broker_prover_facade.ts +12 -3
  75. package/src/proving_broker/proving_broker.ts +186 -77
  76. package/src/proving_broker/proving_broker_database/memory.ts +16 -2
  77. package/src/proving_broker/proving_broker_database/persisted.ts +69 -6
  78. package/src/proving_broker/proving_broker_database.ts +30 -0
  79. package/src/proving_broker/rpc.ts +16 -0
  80. package/src/test/epoch_settlement.ts +82 -0
  81. package/src/test/index.ts +1 -0
  82. package/src/test/mock_prover.ts +2 -2
  83. package/dest/orchestrator/epoch-proving-context.d.ts +0 -51
  84. package/dest/orchestrator/epoch-proving-context.d.ts.map +0 -1
  85. package/dest/orchestrator/epoch-proving-context.js +0 -81
  86. package/dest/orchestrator/epoch-proving-state.d.ts +0 -75
  87. package/dest/orchestrator/epoch-proving-state.d.ts.map +0 -1
  88. package/dest/orchestrator/epoch-proving-state.js +0 -269
  89. package/dest/orchestrator/orchestrator.d.ts +0 -118
  90. package/dest/orchestrator/orchestrator.d.ts.map +0 -1
  91. package/dest/orchestrator/orchestrator.js +0 -1113
  92. package/dest/orchestrator/top-tree-proving-scheduler.d.ts +0 -62
  93. package/dest/orchestrator/top-tree-proving-scheduler.d.ts.map +0 -1
  94. package/dest/orchestrator/top-tree-proving-scheduler.js +0 -73
  95. package/dest/prover-client/server-epoch-prover.d.ts +0 -32
  96. package/dest/prover-client/server-epoch-prover.d.ts.map +0 -1
  97. package/dest/prover-client/server-epoch-prover.js +0 -40
  98. package/src/orchestrator/epoch-proving-context.ts +0 -101
  99. package/src/orchestrator/epoch-proving-state.ts +0 -380
  100. package/src/orchestrator/orchestrator.ts +0 -1111
  101. package/src/orchestrator/top-tree-proving-scheduler.ts +0 -154
  102. package/src/prover-client/server-epoch-prover.ts +0 -69
@@ -1,269 +0,0 @@
1
- import { BatchedBlobAccumulator } from '@aztec/blob-lib';
2
- import { OUT_HASH_TREE_HEIGHT } from '@aztec/constants';
3
- import { Fr } from '@aztec/foundation/curves/bn254';
4
- import { MerkleTreeCalculator, UnbalancedTreeStore, shaMerkleHash } from '@aztec/foundation/trees';
5
- import { CheckpointMergeRollupPrivateInputs, CheckpointPaddingRollupPrivateInputs, RootRollupPrivateInputs } from '@aztec/stdlib/rollup';
6
- import { AppendOnlyTreeSnapshot } from '@aztec/stdlib/trees';
7
- import { toProofData } from './block-building-helpers.js';
8
- import { CheckpointProvingState } from './checkpoint-proving-state.js';
9
- var PROVING_STATE_LIFECYCLE = /*#__PURE__*/ function(PROVING_STATE_LIFECYCLE) {
10
- PROVING_STATE_LIFECYCLE[PROVING_STATE_LIFECYCLE["PROVING_STATE_CREATED"] = 0] = "PROVING_STATE_CREATED";
11
- PROVING_STATE_LIFECYCLE[PROVING_STATE_LIFECYCLE["PROVING_STATE_FULL"] = 1] = "PROVING_STATE_FULL";
12
- PROVING_STATE_LIFECYCLE[PROVING_STATE_LIFECYCLE["PROVING_STATE_RESOLVED"] = 2] = "PROVING_STATE_RESOLVED";
13
- PROVING_STATE_LIFECYCLE[PROVING_STATE_LIFECYCLE["PROVING_STATE_REJECTED"] = 3] = "PROVING_STATE_REJECTED";
14
- return PROVING_STATE_LIFECYCLE;
15
- }(PROVING_STATE_LIFECYCLE || {});
16
- /**
17
- * The current state of the proving schedule for an epoch.
18
- * Contains the raw inputs and intermediate state to generate every constituent proof in the tree.
19
- * Carries an identifier so we can identify if the proving state is discarded and a new one started.
20
- * Captures resolve and reject callbacks to provide a promise base interface to the consumer of our proving.
21
- */ export class EpochProvingState {
22
- epochNumber;
23
- totalNumCheckpoints;
24
- finalBlobBatchingChallenges;
25
- onCheckpointBlobAccumulatorSet;
26
- completionCallback;
27
- rejectionCallback;
28
- checkpointProofs;
29
- checkpointPaddingProof;
30
- rootRollupProof;
31
- checkpoints;
32
- startBlobAccumulator;
33
- endBlobAccumulator;
34
- finalBatchedBlob;
35
- provingStateLifecycle;
36
- // Map from tx hash to chonk verifier proof promise. Used when kickstarting chonk verifier proofs before tx processing.
37
- cachedChonkVerifierProofs;
38
- constructor(epochNumber, totalNumCheckpoints, finalBlobBatchingChallenges, onCheckpointBlobAccumulatorSet, completionCallback, rejectionCallback){
39
- this.epochNumber = epochNumber;
40
- this.totalNumCheckpoints = totalNumCheckpoints;
41
- this.finalBlobBatchingChallenges = finalBlobBatchingChallenges;
42
- this.onCheckpointBlobAccumulatorSet = onCheckpointBlobAccumulatorSet;
43
- this.completionCallback = completionCallback;
44
- this.rejectionCallback = rejectionCallback;
45
- this.checkpoints = [];
46
- this.provingStateLifecycle = 0;
47
- this.cachedChonkVerifierProofs = new Map();
48
- this.checkpointProofs = new UnbalancedTreeStore(totalNumCheckpoints);
49
- this.startBlobAccumulator = BatchedBlobAccumulator.newWithChallenges(finalBlobBatchingChallenges);
50
- }
51
- // Adds a block to the proving state, returns its index
52
- // Will update the proving life cycle if this is the last block
53
- startNewCheckpoint(checkpointIndex, constants, totalNumBlocks, previousBlockHeader, lastArchiveSiblingPath, l1ToL2Messages, lastL1ToL2MessageTreeSnapshot, lastL1ToL2MessageSubtreeRootSiblingPath, newL1ToL2MessageTreeSnapshot, newL1ToL2MessageSubtreeRootSiblingPath) {
54
- if (checkpointIndex >= this.totalNumCheckpoints) {
55
- throw new Error(`Unable to start a new checkpoint at index ${checkpointIndex}. Expected at most ${this.totalNumCheckpoints} checkpoints.`);
56
- }
57
- const checkpoint = new CheckpointProvingState(checkpointIndex, constants, totalNumBlocks, this.finalBlobBatchingChallenges, previousBlockHeader, lastArchiveSiblingPath, l1ToL2Messages, lastL1ToL2MessageTreeSnapshot, lastL1ToL2MessageSubtreeRootSiblingPath, newL1ToL2MessageTreeSnapshot, newL1ToL2MessageSubtreeRootSiblingPath, this, this.onCheckpointBlobAccumulatorSet);
58
- this.checkpoints[checkpointIndex] = checkpoint;
59
- if (this.checkpoints.filter((c)=>!!c).length === this.totalNumCheckpoints) {
60
- this.provingStateLifecycle = 1;
61
- }
62
- return checkpoint;
63
- }
64
- getCheckpointProvingState(index) {
65
- return this.checkpoints[index];
66
- }
67
- getCheckpointProvingStateByBlockNumber(blockNumber) {
68
- return this.checkpoints.find((c)=>c && Number(blockNumber) >= Number(c.firstBlockNumber) && Number(blockNumber) < Number(c.firstBlockNumber) + c.totalNumBlocks);
69
- }
70
- getBlockProvingStateByBlockNumber(blockNumber) {
71
- return this.getCheckpointProvingStateByBlockNumber(blockNumber)?.getBlockProvingStateByBlockNumber(blockNumber);
72
- }
73
- // Returns true if this proving state is still valid, false otherwise
74
- verifyState() {
75
- return this.provingStateLifecycle === 0 || this.provingStateLifecycle === 1;
76
- }
77
- // Returns true if we are still able to accept checkpoints, false otherwise.
78
- isAcceptingCheckpoints() {
79
- return this.checkpoints.filter((c)=>!!c).length < this.totalNumCheckpoints;
80
- }
81
- setCheckpointRootRollupProof(checkpointIndex, provingOutput) {
82
- return this.checkpointProofs.setLeaf(checkpointIndex, {
83
- provingOutput
84
- });
85
- }
86
- tryStartProvingCheckpointMerge(location) {
87
- if (this.checkpointProofs.getNode(location)?.isProving) {
88
- return false;
89
- } else {
90
- this.checkpointProofs.setNode(location, {
91
- isProving: true
92
- });
93
- return true;
94
- }
95
- }
96
- setCheckpointMergeRollupProof(location, provingOutput) {
97
- this.checkpointProofs.setNode(location, {
98
- provingOutput
99
- });
100
- }
101
- tryStartProvingRootRollup() {
102
- if (this.rootRollupProof?.isProving) {
103
- return false;
104
- } else {
105
- this.rootRollupProof = {
106
- isProving: true
107
- };
108
- return true;
109
- }
110
- }
111
- setRootRollupProof(provingOutput) {
112
- this.rootRollupProof = {
113
- provingOutput
114
- };
115
- }
116
- tryStartProvingPaddingCheckpoint() {
117
- if (this.checkpointPaddingProof?.isProving) {
118
- return false;
119
- } else {
120
- this.checkpointPaddingProof = {
121
- isProving: true
122
- };
123
- return true;
124
- }
125
- }
126
- setCheckpointPaddingProof(provingOutput) {
127
- this.checkpointPaddingProof = {
128
- provingOutput
129
- };
130
- }
131
- async accumulateCheckpointOutHashes() {
132
- const treeCalculator = await MerkleTreeCalculator.create(OUT_HASH_TREE_HEIGHT, undefined, (left, right)=>Promise.resolve(shaMerkleHash(left, right)));
133
- const computeOutHashHint = async (leaves)=>{
134
- const tree = await treeCalculator.computeTree(leaves.map((l)=>l.toBuffer()));
135
- const nextAvailableLeafIndex = leaves.length;
136
- return {
137
- treeSnapshot: new AppendOnlyTreeSnapshot(Fr.fromBuffer(tree.root), nextAvailableLeafIndex),
138
- siblingPath: tree.getSiblingPath(nextAvailableLeafIndex).map(Fr.fromBuffer)
139
- };
140
- };
141
- let hint = this.checkpoints[0]?.getOutHashHint();
142
- const outHashes = [];
143
- for(let i = 0; i < this.totalNumCheckpoints; i++){
144
- const checkpoint = this.checkpoints[i];
145
- if (!checkpoint) {
146
- break;
147
- }
148
- // If hints are not set yet, it must be the first checkpoint. Compute the hints with an empty tree.
149
- hint ??= await computeOutHashHint([]);
150
- checkpoint.setOutHashHint(hint);
151
- // Get the out hash for this checkpoint.
152
- const outHash = checkpoint.accumulateBlockOutHashes();
153
- if (!outHash) {
154
- break;
155
- }
156
- outHashes.push(outHash);
157
- // If this is NOT the last checkpoint, get or create the hint for the next checkpoint.
158
- if (i !== this.totalNumCheckpoints - 1) {
159
- hint = checkpoint.getOutHashHintForNextCheckpoint() ?? await computeOutHashHint(outHashes);
160
- checkpoint.setOutHashHintForNextCheckpoint(hint);
161
- }
162
- }
163
- }
164
- async setBlobAccumulators() {
165
- let previousAccumulator = this.startBlobAccumulator;
166
- // Accumulate blobs as far as we can for this epoch.
167
- for(let i = 0; i < this.totalNumCheckpoints; i++){
168
- const checkpoint = this.checkpoints[i];
169
- if (!checkpoint) {
170
- break;
171
- }
172
- const endAccumulator = checkpoint.getEndBlobAccumulator() || await checkpoint.accumulateBlobs(previousAccumulator);
173
- if (!endAccumulator) {
174
- break;
175
- }
176
- previousAccumulator = endAccumulator;
177
- // If this is the last checkpoint, set the end blob accumulator.
178
- if (i === this.totalNumCheckpoints - 1) {
179
- this.endBlobAccumulator = endAccumulator;
180
- }
181
- }
182
- }
183
- async finalizeBatchedBlob() {
184
- if (!this.endBlobAccumulator) {
185
- throw new Error('End blob accumulator not ready.');
186
- }
187
- this.finalBatchedBlob = await this.endBlobAccumulator.finalize(true);
188
- }
189
- getParentLocation(location) {
190
- return this.checkpointProofs.getParentLocation(location);
191
- }
192
- getCheckpointMergeRollupInputs(mergeLocation) {
193
- const [left, right] = this.checkpointProofs.getChildren(mergeLocation).map((c)=>c?.provingOutput);
194
- if (!left || !right) {
195
- throw new Error('At least one child is not ready for the checkpoint merge rollup.');
196
- }
197
- return new CheckpointMergeRollupPrivateInputs([
198
- toProofData(left),
199
- toProofData(right)
200
- ]);
201
- }
202
- getRootRollupInputs() {
203
- const [left, right] = this.#getChildProofsForRoot();
204
- if (!left || !right) {
205
- throw new Error('At least one child is not ready for the root rollup.');
206
- }
207
- return RootRollupPrivateInputs.from({
208
- previousRollups: [
209
- toProofData(left),
210
- toProofData(right)
211
- ]
212
- });
213
- }
214
- getPaddingCheckpointInputs() {
215
- return new CheckpointPaddingRollupPrivateInputs();
216
- }
217
- getEpochProofResult() {
218
- const provingOutput = this.rootRollupProof?.provingOutput;
219
- if (!provingOutput || !this.finalBatchedBlob) {
220
- throw new Error('Unable to get epoch proof result. Root rollup is not ready.');
221
- }
222
- return {
223
- proof: provingOutput.proof.binaryProof,
224
- publicInputs: provingOutput.inputs,
225
- batchedBlobInputs: this.finalBatchedBlob
226
- };
227
- }
228
- isReadyForCheckpointMerge(location) {
229
- return !!this.checkpointProofs.getSibling(location)?.provingOutput;
230
- }
231
- // Returns true if we have sufficient inputs to execute the block root rollup
232
- isReadyForRootRollup() {
233
- const childProofs = this.#getChildProofsForRoot();
234
- return childProofs.every((p)=>!!p);
235
- }
236
- // Attempts to reject the proving state promise with a reason of 'cancelled'
237
- cancel() {
238
- this.reject('Proving cancelled');
239
- }
240
- // Attempts to reject the proving state promise with the given reason
241
- // Does nothing if not in a valid state
242
- reject(reason) {
243
- if (!this.verifyState()) {
244
- return;
245
- }
246
- this.provingStateLifecycle = 3;
247
- this.rejectionCallback(reason);
248
- }
249
- // Attempts to resolve the proving state promise with the given result
250
- // Does nothing if not in a valid state
251
- resolve(result) {
252
- if (!this.verifyState()) {
253
- return;
254
- }
255
- this.provingStateLifecycle = 2;
256
- this.completionCallback(result);
257
- }
258
- #getChildProofsForRoot() {
259
- const rootLocation = {
260
- level: 0,
261
- index: 0
262
- };
263
- // If there's only 1 block, its block root proof will be stored at the root.
264
- return this.totalNumCheckpoints === 1 ? [
265
- this.checkpointProofs.getNode(rootLocation)?.provingOutput,
266
- this.checkpointPaddingProof?.provingOutput
267
- ] : this.checkpointProofs.getChildren(rootLocation).map((c)=>c?.provingOutput);
268
- }
269
- }
@@ -1,118 +0,0 @@
1
- import { BatchedBlob, FinalBlobBatchingChallenges } from '@aztec/blob-lib/types';
2
- import { BlockNumber, EpochNumber } from '@aztec/foundation/branded-types';
3
- import { Fr } from '@aztec/foundation/curves/bn254';
4
- import type { LoggerBindings } from '@aztec/foundation/log';
5
- import { EthAddress } from '@aztec/stdlib/block';
6
- import type { EpochProver, ForkMerkleTreeOperations, ReadonlyWorldStateAccess, ServerCircuitProver } from '@aztec/stdlib/interfaces/server';
7
- import type { Proof } from '@aztec/stdlib/proofs';
8
- import { CheckpointConstantData, RootRollupPublicInputs } from '@aztec/stdlib/rollup';
9
- import type { BlockHeader, ProcessedTx, Tx } from '@aztec/stdlib/tx';
10
- import type { UInt64 } from '@aztec/stdlib/types';
11
- import { type TelemetryClient, type Tracer } from '@aztec/telemetry-client';
12
- import type { BlockProvingState } from './block-proving-state.js';
13
- import type { CheckpointProvingState } from './checkpoint-proving-state.js';
14
- import { EpochProvingState, type ProvingResult } from './epoch-proving-state.js';
15
- import { TopTreeProvingScheduler } from './top-tree-proving-scheduler.js';
16
- /**
17
- * Implements an event driven proving scheduler to build the recursive proof tree. The idea being:
18
- * 1. Transactions are provided to the scheduler post simulation.
19
- * 2. Tree insertions are performed as required to generate transaction specific proofs
20
- * 3. Those transaction specific proofs are generated in the necessary order accounting for dependencies
21
- * 4. Once a transaction is proven, it will be incorporated into a merge proof
22
- * 5. Merge proofs are produced at each level of the tree until the root proof is produced
23
- *
24
- * The proving implementation is determined by the provided prover. This could be for example a local prover or a remote prover pool.
25
- */
26
- /**
27
- * The orchestrator, managing the flow of recursive proving operations required to build the rollup proof tree.
28
- */
29
- export declare class ProvingOrchestrator extends TopTreeProvingScheduler implements EpochProver {
30
- private dbProvider;
31
- private readonly proverId;
32
- private readonly cancelJobsOnStop;
33
- protected provingState: EpochProvingState | undefined;
34
- protected provingPromise: Promise<ProvingResult> | undefined;
35
- private metrics;
36
- private dbs;
37
- constructor(dbProvider: ReadonlyWorldStateAccess & ForkMerkleTreeOperations, prover: ServerCircuitProver, proverId: EthAddress, cancelJobsOnStop: boolean | undefined, enqueueConcurrency: number, telemetryClient?: TelemetryClient, bindings?: LoggerBindings);
38
- get tracer(): Tracer;
39
- getProverId(): EthAddress;
40
- getNumActiveForks(): number;
41
- protected cancelInternal(): void;
42
- protected wrapCircuitCall<T>(circuitName: string, fn: (signal: AbortSignal) => Promise<T>): (signal: AbortSignal) => Promise<T>;
43
- protected onRootRollupComplete(state: EpochProvingState): void;
44
- startNewEpoch(epochNumber: EpochNumber, totalNumCheckpoints: number, finalBlobBatchingChallenges: FinalBlobBatchingChallenges): void;
45
- /**
46
- * Starts a new checkpoint.
47
- * @param checkpointIndex - The index of the checkpoint in the epoch.
48
- * @param constants - The constants for this checkpoint.
49
- * @param l1ToL2Messages - The set of L1 to L2 messages to be inserted at the beginning of this checkpoint.
50
- * @param totalNumBlocks - The total number of blocks expected in the checkpoint (must be at least one).
51
- * @param headerOfLastBlockInPreviousCheckpoint - The header of the last block in the previous checkpoint.
52
- */
53
- startNewCheckpoint(checkpointIndex: number, constants: CheckpointConstantData, l1ToL2Messages: Fr[], totalNumBlocks: number, headerOfLastBlockInPreviousCheckpoint: BlockHeader): Promise<void>;
54
- /**
55
- * Starts off a new block
56
- * @param blockNumber - The block number
57
- * @param timestamp - The timestamp of the block. This is only required for constructing the private inputs for the
58
- * block that doesn't have any txs.
59
- * @param totalNumTxs - The total number of txs in the block
60
- */
61
- startNewBlock(blockNumber: BlockNumber, timestamp: UInt64, totalNumTxs: number): Promise<void>;
62
- /**
63
- * The interface to add simulated transactions to the scheduler. This can only be called once per block.
64
- * @param txs - The transactions to be proven
65
- */
66
- addTxs(txs: ProcessedTx[]): Promise<void>;
67
- /**
68
- * Kickstarts chonk verifier circuits for the specified txs. These will be used during epoch proving.
69
- * Note that if the chonk verifier circuits are not started this way, they will be started nontheless after processing.
70
- */
71
- startChonkVerifierCircuits(txs: Tx[]): Promise<void>;
72
- /**
73
- * Marks the block as completed.
74
- * Computes the block header and updates the archive tree.
75
- */
76
- setBlockCompleted(blockNumber: BlockNumber, expectedHeader?: BlockHeader): Promise<BlockHeader>;
77
- protected verifyBuiltBlockAgainstSyncedState(provingState: BlockProvingState): Promise<void>;
78
- /**
79
- * Cancel any further proving.
80
- * If cancelJobsOnStop is true, aborts all pending jobs with the broker (which marks them as 'Aborted').
81
- * If cancelJobsOnStop is false (default), jobs remain in the broker queue and can be reused on restart/reorg.
82
- */
83
- cancel(): void;
84
- private getDbForBlock;
85
- /**
86
- * Returns the proof for the current epoch.
87
- */
88
- finalizeEpoch(): Promise<{
89
- publicInputs: RootRollupPublicInputs;
90
- proof: Proof;
91
- batchedBlobInputs: BatchedBlob;
92
- }>;
93
- private updateL1ToL2MessageTree;
94
- private prepareBaseRollupInputs;
95
- private enqueueBaseRollup;
96
- protected getOrEnqueueChonkVerifier(provingState: BlockProvingState, txIndex: number): void;
97
- private doEnqueueChonkVerifier;
98
- private enqueueMergeRollup;
99
- private enqueueBlockRootRollup;
100
- private enqueueBaseParityCircuit;
101
- private checkAndEnqueueRootParityCircuit;
102
- private enqueueRootParityCircuit;
103
- private enqueueBlockMergeRollup;
104
- private enqueueCheckpointRootRollup;
105
- private checkAndEnqueueNextMergeRollup;
106
- private checkAndEnqueueBlockRootRollup;
107
- private checkAndEnqueueNextBlockMergeRollup;
108
- protected checkAndEnqueueCheckpointRootRollup(provingState: CheckpointProvingState): Promise<void>;
109
- /**
110
- * Executes the VM circuit for a public function, will enqueue the corresponding kernel if the
111
- * previous kernel is ready
112
- * @param provingState - The proving state being operated on
113
- * @param txIndex - The index of the transaction being proven
114
- */
115
- private enqueueVM;
116
- protected checkAndEnqueueBaseRollup(provingState: BlockProvingState, txIndex: number): void;
117
- }
118
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoib3JjaGVzdHJhdG9yLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvb3JjaGVzdHJhdG9yL29yY2hlc3RyYXRvci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsV0FBVyxFQUFFLDJCQUEyQixFQUFjLE1BQU0sdUJBQXVCLENBQUM7QUFPN0YsT0FBTyxFQUFFLFdBQVcsRUFBRSxXQUFXLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUMzRSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxLQUFLLEVBQUUsY0FBYyxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFNNUQsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBQ2pELE9BQU8sS0FBSyxFQUNWLFdBQVcsRUFDWCx3QkFBd0IsRUFHeEIsd0JBQXdCLEVBQ3hCLG1CQUFtQixFQUNwQixNQUFNLGlDQUFpQyxDQUFDO0FBRXpDLE9BQU8sS0FBSyxFQUFFLEtBQUssRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBQ2xELE9BQU8sRUFNTCxzQkFBc0IsRUFLdEIsc0JBQXNCLEVBQ3ZCLE1BQU0sc0JBQXNCLENBQUM7QUFHOUIsT0FBTyxLQUFLLEVBQUUsV0FBVyxFQUFFLFdBQVcsRUFBRSxFQUFFLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUNyRSxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUNsRCxPQUFPLEVBRUwsS0FBSyxlQUFlLEVBQ3BCLEtBQUssTUFBTSxFQUlaLE1BQU0seUJBQXlCLENBQUM7QUFlakMsT0FBTyxLQUFLLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUNsRSxPQUFPLEtBQUssRUFBRSxzQkFBc0IsRUFBRSxNQUFNLCtCQUErQixDQUFDO0FBQzVFLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxLQUFLLGFBQWEsRUFBc0IsTUFBTSwwQkFBMEIsQ0FBQztBQUVyRyxPQUFPLEVBQUUsdUJBQXVCLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUcxRTs7Ozs7Ozs7O0dBU0c7QUFFSDs7R0FFRztBQUNILHFCQUFhLG1CQUFvQixTQUFRLHVCQUF3QixZQUFXLFdBQVc7SUFTbkYsT0FBTyxDQUFDLFVBQVU7SUFFbEIsT0FBTyxDQUFDLFFBQVEsQ0FBQyxRQUFRO0lBQ3pCLE9BQU8sQ0FBQyxRQUFRLENBQUMsZ0JBQWdCO0lBWG5DLFNBQVMsQ0FBQyxZQUFZLEVBQUUsaUJBQWlCLEdBQUcsU0FBUyxDQUFhO0lBRWxFLFNBQVMsQ0FBQyxjQUFjLEVBQUUsT0FBTyxDQUFDLGFBQWEsQ0FBQyxHQUFHLFNBQVMsQ0FBYTtJQUN6RSxPQUFPLENBQUMsT0FBTyxDQUE2QjtJQUU1QyxPQUFPLENBQUMsR0FBRyxDQUEwRDtJQUVyRSxZQUNVLFVBQVUsRUFBRSx3QkFBd0IsR0FBRyx3QkFBd0IsRUFDdkUsTUFBTSxFQUFFLG1CQUFtQixFQUNWLFFBQVEsRUFBRSxVQUFVLEVBQ3BCLGdCQUFnQixxQkFBaUIsRUFDbEQsa0JBQWtCLEVBQUUsTUFBTSxFQUMxQixlQUFlLEdBQUUsZUFBc0MsRUFDdkQsUUFBUSxDQUFDLEVBQUUsY0FBYyxFQUkxQjtJQUVELElBQUksTUFBTSxJQUFJLE1BQU0sQ0FFbkI7SUFFTSxXQUFXLElBQUksVUFBVSxDQUUvQjtJQUVNLGlCQUFpQixXQUV2QjtJQUVELFVBQW1CLGNBQWMsSUFBSSxJQUFJLENBRXhDO0lBRUQsVUFBbUIsZUFBZSxDQUFDLENBQUMsRUFDbEMsV0FBVyxFQUFFLE1BQU0sRUFDbkIsRUFBRSxFQUFFLENBQUMsTUFBTSxFQUFFLFdBQVcsS0FBSyxPQUFPLENBQUMsQ0FBQyxDQUFDLEdBQ3RDLENBQUMsTUFBTSxFQUFFLFdBQVcsS0FBSyxPQUFPLENBQUMsQ0FBQyxDQUFDLENBT3JDO0lBRUQsVUFBbUIsb0JBQW9CLENBQUMsS0FBSyxFQUFFLGlCQUFpQixRQUUvRDtJQUVNLGFBQWEsQ0FDbEIsV0FBVyxFQUFFLFdBQVcsRUFDeEIsbUJBQW1CLEVBQUUsTUFBTSxFQUMzQiwyQkFBMkIsRUFBRSwyQkFBMkIsUUFvQnpEO0lBRUQ7Ozs7Ozs7T0FPRztJQUNVLGtCQUFrQixDQUM3QixlQUFlLEVBQUUsTUFBTSxFQUN2QixTQUFTLEVBQUUsc0JBQXNCLEVBQ2pDLGNBQWMsRUFBRSxFQUFFLEVBQUUsRUFDcEIsY0FBYyxFQUFFLE1BQU0sRUFDdEIscUNBQXFDLEVBQUUsV0FBVyxpQkF3Q25EO0lBRUQ7Ozs7OztPQU1HO0lBSVUsYUFBYSxDQUFDLFdBQVcsRUFBRSxXQUFXLEVBQUUsU0FBUyxFQUFFLE1BQU0sRUFBRSxXQUFXLEVBQUUsTUFBTSxpQkEyRDFGO0lBRUQ7OztPQUdHO0lBSVUsTUFBTSxDQUFDLEdBQUcsRUFBRSxXQUFXLEVBQUUsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBd0ZyRDtJQUVEOzs7T0FHRztJQUVJLDBCQUEwQixDQUFDLEdBQUcsRUFBRSxFQUFFLEVBQUUsaUJBc0IxQztJQUVEOzs7T0FHRztJQUlVLGlCQUFpQixDQUFDLFdBQVcsRUFBRSxXQUFXLEVBQUUsY0FBYyxDQUFDLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FBQyxXQUFXLENBQUMsQ0FrRDNHO0lBR0QsVUFBZ0Isa0NBQWtDLENBQUMsWUFBWSxFQUFFLGlCQUFpQixpQkE2Q2pGO0lBRUQ7Ozs7T0FJRztJQUNJLE1BQU0sU0FTWjtJQUVELE9BQU8sQ0FBQyxhQUFhO0lBUXJCOztPQUVHO0lBQ1UsYUFBYSxJQUFJLE9BQU8sQ0FBQztRQUNwQyxZQUFZLEVBQUUsc0JBQXNCLENBQUM7UUFDckMsS0FBSyxFQUFFLEtBQUssQ0FBQztRQUNiLGlCQUFpQixFQUFFLFdBQVcsQ0FBQztLQUNoQyxDQUFDLENBb0JEO1lBRWEsdUJBQXVCO1lBNEJ2Qix1QkFBdUI7SUFrQ3JDLE9BQU8sQ0FBQyxpQkFBaUI7SUFxRHpCLFNBQVMsQ0FBQyx5QkFBeUIsQ0FBQyxZQUFZLEVBQUUsaUJBQWlCLEVBQUUsT0FBTyxFQUFFLE1BQU0sUUE0Qm5GO0lBRUQsT0FBTyxDQUFDLHNCQUFzQjtJQWlDOUIsT0FBTyxDQUFDLGtCQUFrQjtJQStCMUIsT0FBTyxDQUFDLHNCQUFzQjtJQThEOUIsT0FBTyxDQUFDLHdCQUF3QjtJQWtDaEMsT0FBTyxDQUFDLGdDQUFnQztJQVV4QyxPQUFPLENBQUMsd0JBQXdCO0lBZ0NoQyxPQUFPLENBQUMsdUJBQXVCO1lBa0NqQiwyQkFBMkI7SUErRHpDLE9BQU8sQ0FBQyw4QkFBOEI7SUFhdEMsT0FBTyxDQUFDLDhCQUE4QjtZQVN4QixtQ0FBbUM7SUFnQmpELFVBQWdCLG1DQUFtQyxDQUFDLFlBQVksRUFBRSxzQkFBc0IsaUJBTXZGO0lBRUQ7Ozs7O09BS0c7SUFDSCxPQUFPLENBQUMsU0FBUztJQTJCakIsU0FBUyxDQUFDLHlCQUF5QixDQUFDLFlBQVksRUFBRSxpQkFBaUIsRUFBRSxPQUFPLEVBQUUsTUFBTSxRQVVuRjtDQUNGIn0=
@@ -1 +0,0 @@
1
- {"version":3,"file":"orchestrator.d.ts","sourceRoot":"","sources":["../../src/orchestrator/orchestrator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,2BAA2B,EAAc,MAAM,uBAAuB,CAAC;AAO7F,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAM5D,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,KAAK,EACV,WAAW,EACX,wBAAwB,EAGxB,wBAAwB,EACxB,mBAAmB,EACpB,MAAM,iCAAiC,CAAC;AAEzC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,EAML,sBAAsB,EAKtB,sBAAsB,EACvB,MAAM,sBAAsB,CAAC;AAG9B,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AACrE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAEL,KAAK,eAAe,EACpB,KAAK,MAAM,EAIZ,MAAM,yBAAyB,CAAC;AAejC,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAC5E,OAAO,EAAE,iBAAiB,EAAE,KAAK,aAAa,EAAsB,MAAM,0BAA0B,CAAC;AAErG,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAG1E;;;;;;;;;GASG;AAEH;;GAEG;AACH,qBAAa,mBAAoB,SAAQ,uBAAwB,YAAW,WAAW;IASnF,OAAO,CAAC,UAAU;IAElB,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,gBAAgB;IAXnC,SAAS,CAAC,YAAY,EAAE,iBAAiB,GAAG,SAAS,CAAa;IAElE,SAAS,CAAC,cAAc,EAAE,OAAO,CAAC,aAAa,CAAC,GAAG,SAAS,CAAa;IACzE,OAAO,CAAC,OAAO,CAA6B;IAE5C,OAAO,CAAC,GAAG,CAA0D;IAErE,YACU,UAAU,EAAE,wBAAwB,GAAG,wBAAwB,EACvE,MAAM,EAAE,mBAAmB,EACV,QAAQ,EAAE,UAAU,EACpB,gBAAgB,qBAAiB,EAClD,kBAAkB,EAAE,MAAM,EAC1B,eAAe,GAAE,eAAsC,EACvD,QAAQ,CAAC,EAAE,cAAc,EAI1B;IAED,IAAI,MAAM,IAAI,MAAM,CAEnB;IAEM,WAAW,IAAI,UAAU,CAE/B;IAEM,iBAAiB,WAEvB;IAED,UAAmB,cAAc,IAAI,IAAI,CAExC;IAED,UAAmB,eAAe,CAAC,CAAC,EAClC,WAAW,EAAE,MAAM,EACnB,EAAE,EAAE,CAAC,MAAM,EAAE,WAAW,KAAK,OAAO,CAAC,CAAC,CAAC,GACtC,CAAC,MAAM,EAAE,WAAW,KAAK,OAAO,CAAC,CAAC,CAAC,CAOrC;IAED,UAAmB,oBAAoB,CAAC,KAAK,EAAE,iBAAiB,QAE/D;IAEM,aAAa,CAClB,WAAW,EAAE,WAAW,EACxB,mBAAmB,EAAE,MAAM,EAC3B,2BAA2B,EAAE,2BAA2B,QAoBzD;IAED;;;;;;;OAOG;IACU,kBAAkB,CAC7B,eAAe,EAAE,MAAM,EACvB,SAAS,EAAE,sBAAsB,EACjC,cAAc,EAAE,EAAE,EAAE,EACpB,cAAc,EAAE,MAAM,EACtB,qCAAqC,EAAE,WAAW,iBAwCnD;IAED;;;;;;OAMG;IAIU,aAAa,CAAC,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,iBA2D1F;IAED;;;OAGG;IAIU,MAAM,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAwFrD;IAED;;;OAGG;IAEI,0BAA0B,CAAC,GAAG,EAAE,EAAE,EAAE,iBAsB1C;IAED;;;OAGG;IAIU,iBAAiB,CAAC,WAAW,EAAE,WAAW,EAAE,cAAc,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,CAkD3G;IAGD,UAAgB,kCAAkC,CAAC,YAAY,EAAE,iBAAiB,iBA6CjF;IAED;;;;OAIG;IACI,MAAM,SASZ;IAED,OAAO,CAAC,aAAa;IAQrB;;OAEG;IACU,aAAa,IAAI,OAAO,CAAC;QACpC,YAAY,EAAE,sBAAsB,CAAC;QACrC,KAAK,EAAE,KAAK,CAAC;QACb,iBAAiB,EAAE,WAAW,CAAC;KAChC,CAAC,CAoBD;YAEa,uBAAuB;YA4BvB,uBAAuB;IAkCrC,OAAO,CAAC,iBAAiB;IAqDzB,SAAS,CAAC,yBAAyB,CAAC,YAAY,EAAE,iBAAiB,EAAE,OAAO,EAAE,MAAM,QA4BnF;IAED,OAAO,CAAC,sBAAsB;IAiC9B,OAAO,CAAC,kBAAkB;IA+B1B,OAAO,CAAC,sBAAsB;IA8D9B,OAAO,CAAC,wBAAwB;IAkChC,OAAO,CAAC,gCAAgC;IAUxC,OAAO,CAAC,wBAAwB;IAgChC,OAAO,CAAC,uBAAuB;YAkCjB,2BAA2B;IA+DzC,OAAO,CAAC,8BAA8B;IAatC,OAAO,CAAC,8BAA8B;YASxB,mCAAmC;IAgBjD,UAAgB,mCAAmC,CAAC,YAAY,EAAE,sBAAsB,iBAMvF;IAED;;;;;OAKG;IACH,OAAO,CAAC,SAAS;IA2BjB,SAAS,CAAC,yBAAyB,CAAC,YAAY,EAAE,iBAAiB,EAAE,OAAO,EAAE,MAAM,QAUnF;CACF"}