@aztec/prover-client 0.68.1 → 0.68.2

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 (27) hide show
  1. package/dest/orchestrator/block-building-helpers.d.ts +15 -7
  2. package/dest/orchestrator/block-building-helpers.d.ts.map +1 -1
  3. package/dest/orchestrator/block-building-helpers.js +1 -1
  4. package/dest/orchestrator/block-proving-state.d.ts +4 -4
  5. package/dest/orchestrator/block-proving-state.d.ts.map +1 -1
  6. package/dest/orchestrator/block-proving-state.js +1 -1
  7. package/dest/orchestrator/epoch-proving-state.d.ts +4 -4
  8. package/dest/orchestrator/epoch-proving-state.d.ts.map +1 -1
  9. package/dest/orchestrator/orchestrator.d.ts.map +1 -1
  10. package/dest/orchestrator/orchestrator.js +1 -1
  11. package/dest/prover-agent/memory-proving-queue.d.ts +9 -9
  12. package/dest/prover-agent/memory-proving-queue.d.ts.map +1 -1
  13. package/dest/prover-agent/memory-proving-queue.js +1 -1
  14. package/dest/proving_broker/broker_prover_facade.d.ts +8 -8
  15. package/dest/proving_broker/broker_prover_facade.d.ts.map +1 -1
  16. package/dest/proving_broker/broker_prover_facade.js +1 -1
  17. package/dest/test/mock_prover.d.ts +8 -8
  18. package/dest/test/mock_prover.d.ts.map +1 -1
  19. package/dest/test/mock_prover.js +10 -10
  20. package/package.json +11 -11
  21. package/src/orchestrator/block-building-helpers.ts +17 -9
  22. package/src/orchestrator/block-proving-state.ts +4 -3
  23. package/src/orchestrator/epoch-proving-state.ts +4 -4
  24. package/src/orchestrator/orchestrator.ts +5 -5
  25. package/src/prover-agent/memory-proving-queue.ts +24 -8
  26. package/src/proving_broker/broker_prover_facade.ts +22 -7
  27. package/src/test/mock_prover.ts +33 -20
package/src/proving_broker/broker_prover_facade.ts CHANGED
@@ -14,6 +14,7 @@ import {
14
14
  type BaseParityInputs,
15
15
  type KernelCircuitPublicInputs,
16
16
  type NESTED_RECURSIVE_PROOF_LENGTH,
17
+ type NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH,
17
18
  type ParityPublicInputs,
18
19
  type PrivateKernelEmptyInputData,
19
20
  type RECURSIVE_PROOF_LENGTH,
@@ -149,7 +150,9 @@ export class BrokerCircuitProverFacade implements ServerCircuitProver {
149
150
  input: BlockMergeRollupInputs,
150
151
  signal?: AbortSignal,
151
152
  epochNumber?: number,
152
- ): Promise<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof RECURSIVE_PROOF_LENGTH>> {
153
+ ): Promise<
154
+ PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
155
+ > {
153
156
  return this.enqueueAndWaitForJob(
154
157
  this.generateId(ProvingRequestType.BLOCK_MERGE_ROLLUP, input, epochNumber),
155
158
  ProvingRequestType.BLOCK_MERGE_ROLLUP,
@@ -163,7 +166,9 @@ export class BrokerCircuitProverFacade implements ServerCircuitProver {
163
166
  input: BlockRootRollupInputs,
164
167
  signal?: AbortSignal,
165
168
  epochNumber?: number,
166
- ): Promise<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof RECURSIVE_PROOF_LENGTH>> {
169
+ ): Promise<
170
+ PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
171
+ > {
167
172
  return this.enqueueAndWaitForJob(
168
173
  this.generateId(ProvingRequestType.BLOCK_ROOT_ROLLUP, input, epochNumber),
169
174
  ProvingRequestType.BLOCK_ROOT_ROLLUP,
@@ -177,7 +182,9 @@ export class BrokerCircuitProverFacade implements ServerCircuitProver {
177
182
  input: EmptyBlockRootRollupInputs,
178
183
  signal?: AbortSignal,
179
184
  epochNumber?: number,
180
- ): Promise<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs>> {
185
+ ): Promise<
186
+ PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
187
+ > {
181
188
  return this.enqueueAndWaitForJob(
182
189
  this.generateId(ProvingRequestType.EMPTY_BLOCK_ROOT_ROLLUP, input, epochNumber),
183
190
  ProvingRequestType.EMPTY_BLOCK_ROOT_ROLLUP,
@@ -191,7 +198,9 @@ export class BrokerCircuitProverFacade implements ServerCircuitProver {
191
198
  inputs: PrivateKernelEmptyInputData,
192
199
  signal?: AbortSignal,
193
200
  epochNumber?: number,
194
- ): Promise<PublicInputsAndRecursiveProof<KernelCircuitPublicInputs, typeof RECURSIVE_PROOF_LENGTH>> {
201
+ ): Promise<
202
+ PublicInputsAndRecursiveProof<KernelCircuitPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
203
+ > {
195
204
  return this.enqueueAndWaitForJob(
196
205
  this.generateId(ProvingRequestType.PRIVATE_KERNEL_EMPTY, inputs, epochNumber),
197
206
  ProvingRequestType.PRIVATE_KERNEL_EMPTY,
@@ -205,7 +214,9 @@ export class BrokerCircuitProverFacade implements ServerCircuitProver {
205
214
  input: MergeRollupInputs,
206
215
  signal?: AbortSignal,
207
216
  epochNumber?: number,
208
- ): Promise<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof RECURSIVE_PROOF_LENGTH>> {
217
+ ): Promise<
218
+ PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
219
+ > {
209
220
  return this.enqueueAndWaitForJob(
210
221
  this.generateId(ProvingRequestType.MERGE_ROLLUP, input, epochNumber),
211
222
  ProvingRequestType.MERGE_ROLLUP,
@@ -218,7 +229,9 @@ export class BrokerCircuitProverFacade implements ServerCircuitProver {
218
229
  baseRollupInput: PrivateBaseRollupInputs,
219
230
  signal?: AbortSignal,
220
231
  epochNumber?: number,
221
- ): Promise<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof RECURSIVE_PROOF_LENGTH>> {
232
+ ): Promise<
233
+ PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
234
+ > {
222
235
  return this.enqueueAndWaitForJob(
223
236
  this.generateId(ProvingRequestType.PRIVATE_BASE_ROLLUP, baseRollupInput, epochNumber),
224
237
  ProvingRequestType.PRIVATE_BASE_ROLLUP,
@@ -232,7 +245,9 @@ export class BrokerCircuitProverFacade implements ServerCircuitProver {
232
245
  inputs: PublicBaseRollupInputs,
233
246
  signal?: AbortSignal,
234
247
  epochNumber?: number,
235
- ): Promise<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof RECURSIVE_PROOF_LENGTH>> {
248
+ ): Promise<
249
+ PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
250
+ > {
236
251
  return this.enqueueAndWaitForJob(
237
252
  this.generateId(ProvingRequestType.PUBLIC_BASE_ROLLUP, inputs, epochNumber),
238
253
  ProvingRequestType.PUBLIC_BASE_ROLLUP,
package/src/test/mock_prover.ts CHANGED
@@ -17,6 +17,7 @@ import {
17
17
  type BaseParityInputs,
18
18
  type KernelCircuitPublicInputs,
19
19
  NESTED_RECURSIVE_PROOF_LENGTH,
20
+ NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH,
20
21
  type PrivateKernelEmptyInputData,
21
22
  RECURSIVE_PROOF_LENGTH,
22
23
  type RootParityInputs,
@@ -132,12 +133,14 @@ export class MockProver implements ServerCircuitProver {
132
133
  _baseRollupInput: PrivateBaseRollupInputs,
133
134
  _signal?: AbortSignal,
134
135
  _epochNumber?: number,
135
- ): Promise<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs>> {
136
+ ): Promise<
137
+ PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
138
+ > {
136
139
  return Promise.resolve(
137
140
  makePublicInputsAndRecursiveProof(
138
141
  makeBaseOrMergeRollupPublicInputs(),
139
- makeRecursiveProof(RECURSIVE_PROOF_LENGTH),
140
- VerificationKeyData.makeFakeHonk(),
142
+ makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
143
+ VerificationKeyData.makeFakeRollupHonk(),
141
144
  ),
142
145
  );
143
146
  }
@@ -146,12 +149,14 @@ export class MockProver implements ServerCircuitProver {
146
149
  _inputs: PublicBaseRollupInputs,
147
150
  _signal?: AbortSignal,
148
151
  _epochNumber?: number,
149
- ): Promise<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs>> {
152
+ ): Promise<
153
+ PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
154
+ > {
150
155
  return Promise.resolve(
151
156
  makePublicInputsAndRecursiveProof(
152
157
  makeBaseOrMergeRollupPublicInputs(),
153
- makeRecursiveProof(RECURSIVE_PROOF_LENGTH),
154
- VerificationKeyData.makeFakeHonk(),
158
+ makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
159
+ VerificationKeyData.makeFakeRollupHonk(),
155
160
  ),
156
161
  );
157
162
  }
@@ -160,12 +165,14 @@ export class MockProver implements ServerCircuitProver {
160
165
  _input: MergeRollupInputs,
161
166
  _signal?: AbortSignal,
162
167
  _epochNumber?: number,
163
- ): Promise<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs>> {
168
+ ): Promise<
169
+ PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
170
+ > {
164
171
  return Promise.resolve(
165
172
  makePublicInputsAndRecursiveProof(
166
173
  makeBaseOrMergeRollupPublicInputs(),
167
- makeRecursiveProof(RECURSIVE_PROOF_LENGTH),
168
- VerificationKeyData.makeFakeHonk(),
174
+ makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
175
+ VerificationKeyData.makeFakeRollupHonk(),
169
176
  ),
170
177
  );
171
178
  }
@@ -174,8 +181,8 @@ export class MockProver implements ServerCircuitProver {
174
181
  return Promise.resolve(
175
182
  makePublicInputsAndRecursiveProof(
176
183
  makeBlockRootOrBlockMergeRollupPublicInputs(),
177
- makeRecursiveProof(RECURSIVE_PROOF_LENGTH),
178
- VerificationKeyData.makeFakeHonk(),
184
+ makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
185
+ VerificationKeyData.makeFakeRollupHonk(),
179
186
  ),
180
187
  );
181
188
  }
@@ -184,12 +191,14 @@ export class MockProver implements ServerCircuitProver {
184
191
  _input: EmptyBlockRootRollupInputs,
185
192
  _signal?: AbortSignal,
186
193
  _epochNumber?: number,
187
- ): Promise<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs>> {
194
+ ): Promise<
195
+ PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
196
+ > {
188
197
  return Promise.resolve(
189
198
  makePublicInputsAndRecursiveProof(
190
199
  makeBlockRootOrBlockMergeRollupPublicInputs(),
191
- makeRecursiveProof(RECURSIVE_PROOF_LENGTH),
192
- VerificationKeyData.makeFakeHonk(),
200
+ makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
201
+ VerificationKeyData.makeFakeRollupHonk(),
193
202
  ),
194
203
  );
195
204
  }
@@ -198,12 +207,14 @@ export class MockProver implements ServerCircuitProver {
198
207
  _input: BlockRootRollupInputs,
199
208
  _signal?: AbortSignal,
200
209
  _epochNumber?: number,
201
- ): Promise<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs>> {
210
+ ): Promise<
211
+ PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
212
+ > {
202
213
  return Promise.resolve(
203
214
  makePublicInputsAndRecursiveProof(
204
215
  makeBlockRootOrBlockMergeRollupPublicInputs(),
205
- makeRecursiveProof(RECURSIVE_PROOF_LENGTH),
206
- VerificationKeyData.makeFakeHonk(),
216
+ makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
217
+ VerificationKeyData.makeFakeRollupHonk(),
207
218
  ),
208
219
  );
209
220
  }
@@ -212,11 +223,13 @@ export class MockProver implements ServerCircuitProver {
212
223
  _inputs: PrivateKernelEmptyInputData,
213
224
  _signal?: AbortSignal,
214
225
  _epochNumber?: number,
215
- ): Promise<PublicInputsAndRecursiveProof<KernelCircuitPublicInputs>> {
226
+ ): Promise<
227
+ PublicInputsAndRecursiveProof<KernelCircuitPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
228
+ > {
216
229
  return Promise.resolve(
217
230
  makePublicInputsAndRecursiveProof(
218
231
  makeKernelCircuitPublicInputs(),
219
- makeRecursiveProof(RECURSIVE_PROOF_LENGTH),
232
+ makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
220
233
  VerificationKeyData.makeFakeHonk(),
221
234
  ),
222
235
  );
@@ -238,7 +251,7 @@ export class MockProver implements ServerCircuitProver {
238
251
 
239
252
  getTubeProof(): Promise<ProofAndVerificationKey<typeof TUBE_PROOF_LENGTH>> {
240
253
  return Promise.resolve(
241
- makeProofAndVerificationKey(makeRecursiveProof(TUBE_PROOF_LENGTH), VerificationKeyData.makeFake()),
254
+ makeProofAndVerificationKey(makeRecursiveProof(TUBE_PROOF_LENGTH), VerificationKeyData.makeFakeRollupHonk()),
242
255
  );
243
256
  }
244
257
  }