@aztec/prover-client 4.0.0-nightly.20250907 → 4.0.0-nightly.20260108

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 (133) hide show
  1. package/dest/block-factory/index.d.ts +1 -1
  2. package/dest/block-factory/light.d.ts +5 -3
  3. package/dest/block-factory/light.d.ts.map +1 -1
  4. package/dest/block-factory/light.js +32 -11
  5. package/dest/config.d.ts +2 -2
  6. package/dest/config.d.ts.map +1 -1
  7. package/dest/config.js +2 -2
  8. package/dest/index.d.ts +1 -1
  9. package/dest/light/index.d.ts +2 -0
  10. package/dest/light/index.d.ts.map +1 -0
  11. package/dest/light/index.js +1 -0
  12. package/dest/light/lightweight_checkpoint_builder.d.ts +36 -0
  13. package/dest/light/lightweight_checkpoint_builder.d.ts.map +1 -0
  14. package/dest/light/lightweight_checkpoint_builder.js +147 -0
  15. package/dest/mocks/fixtures.d.ts +5 -5
  16. package/dest/mocks/fixtures.d.ts.map +1 -1
  17. package/dest/mocks/fixtures.js +33 -15
  18. package/dest/mocks/test_context.d.ts +38 -33
  19. package/dest/mocks/test_context.d.ts.map +1 -1
  20. package/dest/mocks/test_context.js +133 -82
  21. package/dest/orchestrator/block-building-helpers.d.ts +35 -35
  22. package/dest/orchestrator/block-building-helpers.d.ts.map +1 -1
  23. package/dest/orchestrator/block-building-helpers.js +151 -187
  24. package/dest/orchestrator/block-proving-state.d.ts +68 -55
  25. package/dest/orchestrator/block-proving-state.d.ts.map +1 -1
  26. package/dest/orchestrator/block-proving-state.js +273 -185
  27. package/dest/orchestrator/checkpoint-proving-state.d.ts +63 -0
  28. package/dest/orchestrator/checkpoint-proving-state.d.ts.map +1 -0
  29. package/dest/orchestrator/checkpoint-proving-state.js +210 -0
  30. package/dest/orchestrator/epoch-proving-state.d.ts +38 -31
  31. package/dest/orchestrator/epoch-proving-state.d.ts.map +1 -1
  32. package/dest/orchestrator/epoch-proving-state.js +128 -84
  33. package/dest/orchestrator/index.d.ts +1 -1
  34. package/dest/orchestrator/orchestrator.d.ts +35 -34
  35. package/dest/orchestrator/orchestrator.d.ts.map +1 -1
  36. package/dest/orchestrator/orchestrator.js +777 -292
  37. package/dest/orchestrator/orchestrator_metrics.d.ts +1 -3
  38. package/dest/orchestrator/orchestrator_metrics.d.ts.map +1 -1
  39. package/dest/orchestrator/orchestrator_metrics.js +0 -9
  40. package/dest/orchestrator/tx-proving-state.d.ts +12 -10
  41. package/dest/orchestrator/tx-proving-state.d.ts.map +1 -1
  42. package/dest/orchestrator/tx-proving-state.js +23 -29
  43. package/dest/prover-client/factory.d.ts +3 -3
  44. package/dest/prover-client/factory.d.ts.map +1 -1
  45. package/dest/prover-client/index.d.ts +1 -1
  46. package/dest/prover-client/prover-client.d.ts +3 -3
  47. package/dest/prover-client/prover-client.d.ts.map +1 -1
  48. package/dest/prover-client/prover-client.js +1 -1
  49. package/dest/prover-client/server-epoch-prover.d.ts +13 -11
  50. package/dest/prover-client/server-epoch-prover.d.ts.map +1 -1
  51. package/dest/prover-client/server-epoch-prover.js +9 -9
  52. package/dest/proving_broker/broker_prover_facade.d.ts +23 -18
  53. package/dest/proving_broker/broker_prover_facade.d.ts.map +1 -1
  54. package/dest/proving_broker/broker_prover_facade.js +42 -33
  55. package/dest/proving_broker/config.d.ts +18 -14
  56. package/dest/proving_broker/config.d.ts.map +1 -1
  57. package/dest/proving_broker/config.js +12 -6
  58. package/dest/proving_broker/factory.d.ts +1 -1
  59. package/dest/proving_broker/factory.js +1 -1
  60. package/dest/proving_broker/fixtures.d.ts +3 -2
  61. package/dest/proving_broker/fixtures.d.ts.map +1 -1
  62. package/dest/proving_broker/fixtures.js +3 -2
  63. package/dest/proving_broker/index.d.ts +1 -1
  64. package/dest/proving_broker/proof_store/factory.d.ts +2 -2
  65. package/dest/proving_broker/proof_store/gcs_proof_store.d.ts +1 -1
  66. package/dest/proving_broker/proof_store/gcs_proof_store.d.ts.map +1 -1
  67. package/dest/proving_broker/proof_store/index.d.ts +2 -1
  68. package/dest/proving_broker/proof_store/index.d.ts.map +1 -1
  69. package/dest/proving_broker/proof_store/index.js +1 -0
  70. package/dest/proving_broker/proof_store/inline_proof_store.d.ts +1 -1
  71. package/dest/proving_broker/proof_store/inline_proof_store.d.ts.map +1 -1
  72. package/dest/proving_broker/proof_store/proof_store.d.ts +1 -1
  73. package/dest/proving_broker/proving_agent.d.ts +3 -8
  74. package/dest/proving_broker/proving_agent.d.ts.map +1 -1
  75. package/dest/proving_broker/proving_agent.js +1 -16
  76. package/dest/proving_broker/proving_broker.d.ts +2 -2
  77. package/dest/proving_broker/proving_broker.d.ts.map +1 -1
  78. package/dest/proving_broker/proving_broker.js +35 -29
  79. package/dest/proving_broker/proving_broker_database/memory.d.ts +3 -2
  80. package/dest/proving_broker/proving_broker_database/memory.d.ts.map +1 -1
  81. package/dest/proving_broker/proving_broker_database/persisted.d.ts +5 -3
  82. package/dest/proving_broker/proving_broker_database/persisted.d.ts.map +1 -1
  83. package/dest/proving_broker/proving_broker_database/persisted.js +397 -8
  84. package/dest/proving_broker/proving_broker_database.d.ts +3 -2
  85. package/dest/proving_broker/proving_broker_database.d.ts.map +1 -1
  86. package/dest/proving_broker/proving_broker_instrumentation.d.ts +1 -1
  87. package/dest/proving_broker/proving_broker_instrumentation.d.ts.map +1 -1
  88. package/dest/proving_broker/proving_job_controller.d.ts +3 -2
  89. package/dest/proving_broker/proving_job_controller.d.ts.map +1 -1
  90. package/dest/proving_broker/proving_job_controller.js +40 -21
  91. package/dest/proving_broker/rpc.d.ts +4 -4
  92. package/dest/test/mock_proof_store.d.ts +3 -3
  93. package/dest/test/mock_proof_store.d.ts.map +1 -1
  94. package/dest/test/mock_prover.d.ts +23 -19
  95. package/dest/test/mock_prover.d.ts.map +1 -1
  96. package/dest/test/mock_prover.js +36 -21
  97. package/package.json +21 -19
  98. package/src/block-factory/light.ts +40 -17
  99. package/src/config.ts +2 -2
  100. package/src/light/index.ts +1 -0
  101. package/src/light/lightweight_checkpoint_builder.ts +198 -0
  102. package/src/mocks/fixtures.ts +41 -36
  103. package/src/mocks/test_context.ts +196 -114
  104. package/src/orchestrator/block-building-helpers.ts +233 -313
  105. package/src/orchestrator/block-proving-state.ts +315 -247
  106. package/src/orchestrator/checkpoint-proving-state.ts +303 -0
  107. package/src/orchestrator/epoch-proving-state.ts +176 -129
  108. package/src/orchestrator/orchestrator.ts +558 -348
  109. package/src/orchestrator/orchestrator_metrics.ts +1 -20
  110. package/src/orchestrator/tx-proving-state.ts +47 -55
  111. package/src/prover-client/factory.ts +6 -2
  112. package/src/prover-client/prover-client.ts +4 -11
  113. package/src/prover-client/server-epoch-prover.ts +30 -21
  114. package/src/proving_broker/broker_prover_facade.ts +175 -112
  115. package/src/proving_broker/config.ts +14 -7
  116. package/src/proving_broker/factory.ts +1 -1
  117. package/src/proving_broker/fixtures.ts +8 -3
  118. package/src/proving_broker/proof_store/index.ts +1 -0
  119. package/src/proving_broker/proving_agent.ts +1 -17
  120. package/src/proving_broker/proving_broker.ts +42 -27
  121. package/src/proving_broker/proving_broker_database/memory.ts +2 -1
  122. package/src/proving_broker/proving_broker_database/persisted.ts +25 -10
  123. package/src/proving_broker/proving_broker_database.ts +2 -1
  124. package/src/proving_broker/proving_job_controller.ts +42 -22
  125. package/src/test/mock_prover.ts +143 -66
  126. package/dest/bin/get-proof-inputs.d.ts +0 -2
  127. package/dest/bin/get-proof-inputs.d.ts.map +0 -1
  128. package/dest/bin/get-proof-inputs.js +0 -51
  129. package/dest/proving_broker/proving_agent_instrumentation.d.ts +0 -8
  130. package/dest/proving_broker/proving_agent_instrumentation.d.ts.map +0 -1
  131. package/dest/proving_broker/proving_agent_instrumentation.js +0 -16
  132. package/src/bin/get-proof-inputs.ts +0 -59
  133. package/src/proving_broker/proving_agent_instrumentation.ts +0 -21
@@ -4,12 +4,10 @@ import {
4
4
  NESTED_RECURSIVE_PROOF_LENGTH,
5
5
  NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH,
6
6
  RECURSIVE_PROOF_LENGTH,
7
- TUBE_PROOF_LENGTH,
8
7
  } from '@aztec/constants';
9
8
  import { times } from '@aztec/foundation/collection';
10
9
  import type { AvmCircuitInputs } from '@aztec/stdlib/avm';
11
10
  import {
12
- type ProofAndVerificationKey,
13
11
  type ProvingJob,
14
12
  type ProvingJobId,
15
13
  type ProvingJobProducer,
@@ -19,27 +17,37 @@ import {
19
17
  makeProofAndVerificationKey,
20
18
  makePublicInputsAndRecursiveProof,
21
19
  } from '@aztec/stdlib/interfaces/server';
22
- import type { BaseParityInputs, RootParityInputs } from '@aztec/stdlib/parity';
20
+ import type { ParityBasePrivateInputs, ParityRootPrivateInputs } from '@aztec/stdlib/parity';
23
21
  import { makeEmptyRecursiveProof, makeRecursiveProof } from '@aztec/stdlib/proofs';
24
22
  import type {
25
- BaseOrMergeRollupPublicInputs,
26
- BlockMergeRollupInputs,
27
- BlockRootOrBlockMergePublicInputs,
28
- BlockRootRollupInputs,
29
- EmptyBlockRootRollupInputs,
30
- MergeRollupInputs,
31
- PaddingBlockRootRollupInputs,
32
- PrivateBaseRollupInputs,
33
- PublicBaseRollupInputs,
34
- RootRollupInputs,
23
+ BlockMergeRollupPrivateInputs,
24
+ BlockRollupPublicInputs,
25
+ BlockRootEmptyTxFirstRollupPrivateInputs,
26
+ BlockRootFirstRollupPrivateInputs,
27
+ BlockRootRollupPrivateInputs,
28
+ BlockRootSingleTxFirstRollupPrivateInputs,
29
+ BlockRootSingleTxRollupPrivateInputs,
30
+ CheckpointMergeRollupPrivateInputs,
31
+ CheckpointPaddingRollupPrivateInputs,
32
+ CheckpointRollupPublicInputs,
33
+ CheckpointRootRollupPrivateInputs,
34
+ CheckpointRootSingleBlockRollupPrivateInputs,
35
+ PrivateTxBaseRollupPrivateInputs,
36
+ PublicChonkVerifierPrivateInputs,
37
+ PublicChonkVerifierPublicInputs,
38
+ PublicTxBaseRollupPrivateInputs,
39
+ RootRollupPrivateInputs,
35
40
  RootRollupPublicInputs,
36
- SingleTxBlockRootRollupInputs,
41
+ TxMergeRollupPrivateInputs,
42
+ TxRollupPublicInputs,
37
43
  } from '@aztec/stdlib/rollup';
38
44
  import {
39
- makeBaseOrMergeRollupPublicInputs,
40
- makeBlockRootOrBlockMergeRollupPublicInputs,
45
+ makeBlockRollupPublicInputs,
46
+ makeCheckpointRollupPublicInputs,
41
47
  makeParityPublicInputs,
48
+ makePublicChonkVerifierPublicInputs,
42
49
  makeRootRollupPublicInputs,
50
+ makeTxRollupPublicInputs,
43
51
  } from '@aztec/stdlib/testing';
44
52
  import { VerificationKeyData } from '@aztec/stdlib/vks';
45
53
 
@@ -97,12 +105,7 @@ export class TestBroker implements ProvingJobProducer {
97
105
  export class MockProver implements ServerCircuitProver {
98
106
  constructor() {}
99
107
 
100
- getAvmProof(
101
- _inputs: AvmCircuitInputs,
102
- _skipPublicInputsValidation?: boolean, // TODO(#14234)[Unconditional PIs validation]: Remove.
103
- _signal?: AbortSignal,
104
- _epochNumber?: number,
105
- ) {
108
+ getAvmProof(_inputs: AvmCircuitInputs, _signal?: AbortSignal, _epochNumber?: number) {
106
109
  return Promise.resolve(
107
110
  makeProofAndVerificationKey(
108
111
  makeEmptyRecursiveProof(AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED),
@@ -111,7 +114,7 @@ export class MockProver implements ServerCircuitProver {
111
114
  );
112
115
  }
113
116
 
114
- getBaseParityProof(_inputs: BaseParityInputs, _signal?: AbortSignal, _epochNumber?: number) {
117
+ getBaseParityProof(_inputs: ParityBasePrivateInputs, _signal?: AbortSignal, _epochNumber?: number) {
115
118
  return Promise.resolve(
116
119
  makePublicInputsAndRecursiveProof(
117
120
  makeParityPublicInputs(),
@@ -121,7 +124,7 @@ export class MockProver implements ServerCircuitProver {
121
124
  );
122
125
  }
123
126
 
124
- getRootParityProof(_inputs: RootParityInputs, _signal?: AbortSignal, _epochNumber?: number) {
127
+ getRootParityProof(_inputs: ParityRootPrivateInputs, _signal?: AbortSignal, _epochNumber?: number) {
125
128
  return Promise.resolve(
126
129
  makePublicInputsAndRecursiveProof(
127
130
  makeParityPublicInputs(),
@@ -131,130 +134,210 @@ export class MockProver implements ServerCircuitProver {
131
134
  );
132
135
  }
133
136
 
134
- getPrivateBaseRollupProof(
135
- _baseRollupInput: PrivateBaseRollupInputs,
137
+ getPublicChonkVerifierProof(
138
+ _inputs: PublicChonkVerifierPrivateInputs,
136
139
  _signal?: AbortSignal,
137
140
  _epochNumber?: number,
138
141
  ): Promise<
139
- PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
142
+ PublicInputsAndRecursiveProof<PublicChonkVerifierPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
140
143
  > {
141
144
  return Promise.resolve(
142
145
  makePublicInputsAndRecursiveProof(
143
- makeBaseOrMergeRollupPublicInputs(),
146
+ makePublicChonkVerifierPublicInputs(),
144
147
  makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
145
148
  VerificationKeyData.makeFakeRollupHonk(),
146
149
  ),
147
150
  );
148
151
  }
149
152
 
150
- getPublicBaseRollupProof(
151
- _inputs: PublicBaseRollupInputs,
153
+ getPrivateTxBaseRollupProof(
154
+ _baseRollupInput: PrivateTxBaseRollupPrivateInputs,
152
155
  _signal?: AbortSignal,
153
156
  _epochNumber?: number,
154
- ): Promise<
155
- PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
156
- > {
157
+ ): Promise<PublicInputsAndRecursiveProof<TxRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>> {
157
158
  return Promise.resolve(
158
159
  makePublicInputsAndRecursiveProof(
159
- makeBaseOrMergeRollupPublicInputs(),
160
+ makeTxRollupPublicInputs(),
160
161
  makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
161
162
  VerificationKeyData.makeFakeRollupHonk(),
162
163
  ),
163
164
  );
164
165
  }
165
166
 
166
- getMergeRollupProof(
167
- _input: MergeRollupInputs,
167
+ getPublicTxBaseRollupProof(
168
+ _inputs: PublicTxBaseRollupPrivateInputs,
168
169
  _signal?: AbortSignal,
169
170
  _epochNumber?: number,
170
- ): Promise<
171
- PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
172
- > {
171
+ ): Promise<PublicInputsAndRecursiveProof<TxRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>> {
173
172
  return Promise.resolve(
174
173
  makePublicInputsAndRecursiveProof(
175
- makeBaseOrMergeRollupPublicInputs(),
174
+ makeTxRollupPublicInputs(),
176
175
  makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
177
176
  VerificationKeyData.makeFakeRollupHonk(),
178
177
  ),
179
178
  );
180
179
  }
181
180
 
182
- getBlockMergeRollupProof(_input: BlockMergeRollupInputs, _signal?: AbortSignal, _epochNumber?: number) {
181
+ getTxMergeRollupProof(
182
+ _input: TxMergeRollupPrivateInputs,
183
+ _signal?: AbortSignal,
184
+ _epochNumber?: number,
185
+ ): Promise<PublicInputsAndRecursiveProof<TxRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>> {
186
+ return Promise.resolve(
187
+ makePublicInputsAndRecursiveProof(
188
+ makeTxRollupPublicInputs(),
189
+ makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
190
+ VerificationKeyData.makeFakeRollupHonk(),
191
+ ),
192
+ );
193
+ }
194
+
195
+ getBlockRootFirstRollupProof(
196
+ _input: BlockRootFirstRollupPrivateInputs,
197
+ _signal?: AbortSignal,
198
+ _epochNumber?: number,
199
+ ): Promise<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>> {
183
200
  return Promise.resolve(
184
201
  makePublicInputsAndRecursiveProof(
185
- makeBlockRootOrBlockMergeRollupPublicInputs(),
202
+ makeBlockRollupPublicInputs(),
186
203
  makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
187
204
  VerificationKeyData.makeFakeRollupHonk(),
188
205
  ),
189
206
  );
190
207
  }
191
208
 
192
- getEmptyBlockRootRollupProof(
193
- _input: EmptyBlockRootRollupInputs,
209
+ getBlockRootSingleTxFirstRollupProof(
210
+ _input: BlockRootSingleTxFirstRollupPrivateInputs,
211
+ _signal?: AbortSignal,
212
+ _epochNumber?: number,
213
+ ): Promise<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>> {
214
+ return Promise.resolve(
215
+ makePublicInputsAndRecursiveProof(
216
+ makeBlockRollupPublicInputs(),
217
+ makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
218
+ VerificationKeyData.makeFakeHonk(),
219
+ ),
220
+ );
221
+ }
222
+
223
+ getBlockRootEmptyTxFirstRollupProof(
224
+ _input: BlockRootEmptyTxFirstRollupPrivateInputs,
225
+ _signal?: AbortSignal,
226
+ _epochNumber?: number,
227
+ ): Promise<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>> {
228
+ return Promise.resolve(
229
+ makePublicInputsAndRecursiveProof(
230
+ makeBlockRollupPublicInputs(),
231
+ makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
232
+ VerificationKeyData.makeFakeRollupHonk(),
233
+ ),
234
+ );
235
+ }
236
+
237
+ getBlockRootRollupProof(
238
+ _input: BlockRootRollupPrivateInputs,
239
+ _signal?: AbortSignal,
240
+ _epochNumber?: number,
241
+ ): Promise<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>> {
242
+ return Promise.resolve(
243
+ makePublicInputsAndRecursiveProof(
244
+ makeBlockRollupPublicInputs(),
245
+ makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
246
+ VerificationKeyData.makeFakeRollupHonk(),
247
+ ),
248
+ );
249
+ }
250
+
251
+ getBlockRootSingleTxRollupProof(
252
+ _input: BlockRootSingleTxRollupPrivateInputs,
253
+ _signal?: AbortSignal,
254
+ _epochNumber?: number,
255
+ ): Promise<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>> {
256
+ return Promise.resolve(
257
+ makePublicInputsAndRecursiveProof(
258
+ makeBlockRollupPublicInputs(),
259
+ makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
260
+ VerificationKeyData.makeFakeHonk(),
261
+ ),
262
+ );
263
+ }
264
+
265
+ getBlockMergeRollupProof(_input: BlockMergeRollupPrivateInputs, _signal?: AbortSignal, _epochNumber?: number) {
266
+ return Promise.resolve(
267
+ makePublicInputsAndRecursiveProof(
268
+ makeBlockRollupPublicInputs(),
269
+ makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
270
+ VerificationKeyData.makeFakeRollupHonk(),
271
+ ),
272
+ );
273
+ }
274
+
275
+ getCheckpointRootRollupProof(
276
+ _input: CheckpointRootRollupPrivateInputs,
194
277
  _signal?: AbortSignal,
195
278
  _epochNumber?: number,
196
279
  ): Promise<
197
- PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
280
+ PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
198
281
  > {
199
282
  return Promise.resolve(
200
283
  makePublicInputsAndRecursiveProof(
201
- makeBlockRootOrBlockMergeRollupPublicInputs(),
284
+ makeCheckpointRollupPublicInputs(),
202
285
  makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
203
286
  VerificationKeyData.makeFakeRollupHonk(),
204
287
  ),
205
288
  );
206
289
  }
207
290
 
208
- getPaddingBlockRootRollupProof(
209
- _input: PaddingBlockRootRollupInputs,
291
+ getCheckpointRootSingleBlockRollupProof(
292
+ _input: CheckpointRootSingleBlockRollupPrivateInputs,
210
293
  _signal?: AbortSignal,
211
294
  _epochNumber?: number,
212
295
  ): Promise<
213
- PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
296
+ PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
214
297
  > {
215
298
  return Promise.resolve(
216
299
  makePublicInputsAndRecursiveProof(
217
- makeBlockRootOrBlockMergeRollupPublicInputs(),
300
+ makeCheckpointRollupPublicInputs(),
218
301
  makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
219
302
  VerificationKeyData.makeFakeRollupHonk(),
220
303
  ),
221
304
  );
222
305
  }
223
306
 
224
- getBlockRootRollupProof(
225
- _input: BlockRootRollupInputs,
307
+ getCheckpointMergeRollupProof(
308
+ _input: CheckpointMergeRollupPrivateInputs,
226
309
  _signal?: AbortSignal,
227
310
  _epochNumber?: number,
228
311
  ): Promise<
229
- PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
312
+ PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
230
313
  > {
231
314
  return Promise.resolve(
232
315
  makePublicInputsAndRecursiveProof(
233
- makeBlockRootOrBlockMergeRollupPublicInputs(),
316
+ makeCheckpointRollupPublicInputs(),
234
317
  makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
235
318
  VerificationKeyData.makeFakeRollupHonk(),
236
319
  ),
237
320
  );
238
321
  }
239
322
 
240
- getSingleTxBlockRootRollupProof(
241
- _input: SingleTxBlockRootRollupInputs,
323
+ getCheckpointPaddingRollupProof(
324
+ _input: CheckpointPaddingRollupPrivateInputs,
242
325
  _signal?: AbortSignal,
243
326
  _epochNumber?: number,
244
327
  ): Promise<
245
- PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
328
+ PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
246
329
  > {
247
330
  return Promise.resolve(
248
331
  makePublicInputsAndRecursiveProof(
249
- makeBlockRootOrBlockMergeRollupPublicInputs(),
332
+ makeCheckpointRollupPublicInputs(),
250
333
  makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
251
- VerificationKeyData.makeFakeHonk(),
334
+ VerificationKeyData.makeFakeRollupHonk(),
252
335
  ),
253
336
  );
254
337
  }
255
338
 
256
339
  getRootRollupProof(
257
- _input: RootRollupInputs,
340
+ _input: RootRollupPrivateInputs,
258
341
  _signal?: AbortSignal,
259
342
  _epochNumber?: number,
260
343
  ): Promise<PublicInputsAndRecursiveProof<RootRollupPublicInputs>> {
@@ -266,10 +349,4 @@ export class MockProver implements ServerCircuitProver {
266
349
  ),
267
350
  );
268
351
  }
269
-
270
- getTubeProof(): Promise<ProofAndVerificationKey<typeof TUBE_PROOF_LENGTH>> {
271
- return Promise.resolve(
272
- makeProofAndVerificationKey(makeRecursiveProof(TUBE_PROOF_LENGTH), VerificationKeyData.makeFakeRollupHonk()),
273
- );
274
- }
275
352
  }
@@ -1,2 +0,0 @@
1
- export {};
2
- //# sourceMappingURL=get-proof-inputs.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"get-proof-inputs.d.ts","sourceRoot":"","sources":["../../src/bin/get-proof-inputs.ts"],"names":[],"mappings":""}
@@ -1,51 +0,0 @@
1
- /* eslint-disable no-console */ import { AVM_INPUTS_FILENAME } from '@aztec/bb-prover';
2
- import { jsonParseWithSchema, jsonStringify } from '@aztec/foundation/json-rpc';
3
- import { createLogger } from '@aztec/foundation/log';
4
- import { ProvingJobInputs } from '@aztec/stdlib/interfaces/server';
5
- import { ProvingRequestType } from '@aztec/stdlib/proofs';
6
- import { mkdirSync, writeFileSync } from 'fs';
7
- import { createProofStoreForUri } from '../proving_broker/index.js';
8
- const logger = createLogger('prover-client:get-proof-inputs');
9
- function printUsage() {
10
- console.error('Usage: get-proof-inputs <proof-uri> [out-dir=.]');
11
- }
12
- async function main() {
13
- if (process.argv[2] === '--help') {
14
- printUsage();
15
- return;
16
- }
17
- const uri = process.argv[2];
18
- const outDir = process.argv[3] || '.';
19
- if (!uri) {
20
- printUsage();
21
- throw new Error('Missing proof URI');
22
- }
23
- mkdirSync(outDir, {
24
- recursive: true
25
- });
26
- const proofStore = createProofStoreForUri(uri);
27
- logger.info(`Processing uri ${uri}`);
28
- const input = await proofStore.getProofInput(uri);
29
- logger.info(`Found inputs for ${ProvingRequestType[input.type]}`);
30
- writeProofInputs(input, outDir);
31
- console.log(jsonParseWithSchema(jsonStringify(input), ProvingJobInputs).inputs);
32
- }
33
- // This mimics the behavior of bb-prover/src/bb/execute.ts
34
- function writeProofInputs(input, outDir) {
35
- switch(input.type){
36
- case ProvingRequestType.PUBLIC_VM:
37
- {
38
- writeFileSync(`${outDir}/${AVM_INPUTS_FILENAME}`, input.inputs.serializeWithMessagePack());
39
- logger.info(`Wrote AVM inputs to ${AVM_INPUTS_FILENAME}`);
40
- break;
41
- }
42
- default:
43
- {
44
- throw new Error(`Unimplemented proving request type: ${ProvingRequestType[input.type]}`);
45
- }
46
- }
47
- }
48
- main().catch((err)=>{
49
- console.error(err);
50
- process.exit(1);
51
- });
@@ -1,8 +0,0 @@
1
- import type { Timer } from '@aztec/foundation/timer';
2
- import { type TelemetryClient } from '@aztec/telemetry-client';
3
- export declare class ProvingAgentInstrumentation {
4
- private idleTime;
5
- constructor(client: TelemetryClient, name?: string);
6
- recordIdleTime(msOrTimer: Timer | number): void;
7
- }
8
- //# sourceMappingURL=proving_agent_instrumentation.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"proving_agent_instrumentation.d.ts","sourceRoot":"","sources":["../../src/proving_broker/proving_agent_instrumentation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,EAA2B,KAAK,eAAe,EAAa,MAAM,yBAAyB,CAAC;AAEnG,qBAAa,2BAA2B;IACtC,OAAO,CAAC,QAAQ,CAAY;gBAEhB,MAAM,EAAE,eAAe,EAAE,IAAI,SAAiB;IAU1D,cAAc,CAAC,SAAS,EAAE,KAAK,GAAG,MAAM;CAIzC"}
@@ -1,16 +0,0 @@
1
- import { Metrics, ValueType } from '@aztec/telemetry-client';
2
- export class ProvingAgentInstrumentation {
3
- idleTime;
4
- constructor(client, name = 'ProvingAgent'){
5
- const meter = client.getMeter(name);
6
- this.idleTime = meter.createHistogram(Metrics.PROVING_AGENT_IDLE, {
7
- description: 'Records how long an agent was idle',
8
- unit: 's',
9
- valueType: ValueType.DOUBLE
10
- });
11
- }
12
- recordIdleTime(msOrTimer) {
13
- const duration = typeof msOrTimer === 'number' ? msOrTimer : msOrTimer.ms();
14
- this.idleTime.record(duration / 1000);
15
- }
16
- }
@@ -1,59 +0,0 @@
1
- /* eslint-disable no-console */
2
- import { AVM_INPUTS_FILENAME } from '@aztec/bb-prover';
3
- import { jsonParseWithSchema, jsonStringify } from '@aztec/foundation/json-rpc';
4
- import { createLogger } from '@aztec/foundation/log';
5
- import { type ProofUri, ProvingJobInputs } from '@aztec/stdlib/interfaces/server';
6
- import { ProvingRequestType } from '@aztec/stdlib/proofs';
7
-
8
- import { mkdirSync, writeFileSync } from 'fs';
9
-
10
- import { createProofStoreForUri } from '../proving_broker/index.js';
11
-
12
- const logger = createLogger('prover-client:get-proof-inputs');
13
-
14
- function printUsage() {
15
- console.error('Usage: get-proof-inputs <proof-uri> [out-dir=.]');
16
- }
17
-
18
- async function main() {
19
- if (process.argv[2] === '--help') {
20
- printUsage();
21
- return;
22
- }
23
-
24
- const uri = process.argv[2];
25
- const outDir = process.argv[3] || '.';
26
- if (!uri) {
27
- printUsage();
28
- throw new Error('Missing proof URI');
29
- }
30
-
31
- mkdirSync(outDir, { recursive: true });
32
-
33
- const proofStore = createProofStoreForUri(uri);
34
- logger.info(`Processing uri ${uri}`);
35
- const input = await proofStore.getProofInput(uri as ProofUri);
36
- logger.info(`Found inputs for ${ProvingRequestType[input.type]}`);
37
- writeProofInputs(input, outDir);
38
-
39
- console.log(jsonParseWithSchema(jsonStringify(input), ProvingJobInputs).inputs);
40
- }
41
-
42
- // This mimics the behavior of bb-prover/src/bb/execute.ts
43
- function writeProofInputs(input: ProvingJobInputs, outDir: string) {
44
- switch (input.type) {
45
- case ProvingRequestType.PUBLIC_VM: {
46
- writeFileSync(`${outDir}/${AVM_INPUTS_FILENAME}`, input.inputs.serializeWithMessagePack());
47
- logger.info(`Wrote AVM inputs to ${AVM_INPUTS_FILENAME}`);
48
- break;
49
- }
50
- default: {
51
- throw new Error(`Unimplemented proving request type: ${ProvingRequestType[input.type]}`);
52
- }
53
- }
54
- }
55
-
56
- main().catch(err => {
57
- console.error(err);
58
- process.exit(1);
59
- });
@@ -1,21 +0,0 @@
1
- import type { Timer } from '@aztec/foundation/timer';
2
- import { type Histogram, Metrics, type TelemetryClient, ValueType } from '@aztec/telemetry-client';
3
-
4
- export class ProvingAgentInstrumentation {
5
- private idleTime: Histogram;
6
-
7
- constructor(client: TelemetryClient, name = 'ProvingAgent') {
8
- const meter = client.getMeter(name);
9
-
10
- this.idleTime = meter.createHistogram(Metrics.PROVING_AGENT_IDLE, {
11
- description: 'Records how long an agent was idle',
12
- unit: 's',
13
- valueType: ValueType.DOUBLE,
14
- });
15
- }
16
-
17
- recordIdleTime(msOrTimer: Timer | number) {
18
- const duration = typeof msOrTimer === 'number' ? msOrTimer : msOrTimer.ms();
19
- this.idleTime.record(duration / 1000);
20
- }
21
- }