@aztec/prover-client 0.69.1 → 0.70.0

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 (94) hide show
  1. package/dest/block_builder/light.d.ts +0 -1
  2. package/dest/block_builder/light.d.ts.map +1 -1
  3. package/dest/block_builder/light.js +3 -13
  4. package/dest/config.d.ts +2 -1
  5. package/dest/config.d.ts.map +1 -1
  6. package/dest/config.js +3 -2
  7. package/dest/mocks/fixtures.d.ts +1 -1
  8. package/dest/mocks/fixtures.d.ts.map +1 -1
  9. package/dest/mocks/fixtures.js +2 -2
  10. package/dest/mocks/test_context.d.ts +1 -1
  11. package/dest/mocks/test_context.d.ts.map +1 -1
  12. package/dest/mocks/test_context.js +3 -3
  13. package/dest/orchestrator/block-building-helpers.d.ts +10 -25
  14. package/dest/orchestrator/block-building-helpers.d.ts.map +1 -1
  15. package/dest/orchestrator/block-building-helpers.js +34 -45
  16. package/dest/orchestrator/block-proving-state.d.ts +40 -44
  17. package/dest/orchestrator/block-proving-state.d.ts.map +1 -1
  18. package/dest/orchestrator/block-proving-state.js +149 -85
  19. package/dest/orchestrator/epoch-proving-state.d.ts +23 -30
  20. package/dest/orchestrator/epoch-proving-state.d.ts.map +1 -1
  21. package/dest/orchestrator/epoch-proving-state.js +92 -65
  22. package/dest/orchestrator/orchestrator.d.ts +16 -47
  23. package/dest/orchestrator/orchestrator.d.ts.map +1 -1
  24. package/dest/orchestrator/orchestrator.js +204 -341
  25. package/dest/orchestrator/tx-proving-state.d.ts +10 -6
  26. package/dest/orchestrator/tx-proving-state.d.ts.map +1 -1
  27. package/dest/orchestrator/tx-proving-state.js +57 -46
  28. package/dest/prover-agent/memory-proving-queue.d.ts +3 -3
  29. package/dest/prover-agent/memory-proving-queue.d.ts.map +1 -1
  30. package/dest/prover-agent/memory-proving-queue.js +4 -4
  31. package/dest/prover-agent/prover-agent.js +4 -4
  32. package/dest/prover-client/prover-client.d.ts.map +1 -1
  33. package/dest/prover-client/prover-client.js +6 -3
  34. package/dest/prover-client/server-epoch-prover.d.ts +25 -0
  35. package/dest/prover-client/server-epoch-prover.d.ts.map +1 -0
  36. package/dest/prover-client/server-epoch-prover.js +40 -0
  37. package/dest/proving_broker/broker_prover_facade.d.ts +15 -4
  38. package/dest/proving_broker/broker_prover_facade.d.ts.map +1 -1
  39. package/dest/proving_broker/broker_prover_facade.js +247 -44
  40. package/dest/proving_broker/config.d.ts +61 -0
  41. package/dest/proving_broker/config.d.ts.map +1 -0
  42. package/dest/proving_broker/config.js +83 -0
  43. package/dest/proving_broker/factory.d.ts +1 -1
  44. package/dest/proving_broker/factory.d.ts.map +1 -1
  45. package/dest/proving_broker/factory.js +2 -5
  46. package/dest/proving_broker/fixtures.d.ts +5 -0
  47. package/dest/proving_broker/fixtures.d.ts.map +1 -0
  48. package/dest/proving_broker/fixtures.js +12 -0
  49. package/dest/proving_broker/index.d.ts +1 -0
  50. package/dest/proving_broker/index.d.ts.map +1 -1
  51. package/dest/proving_broker/index.js +2 -1
  52. package/dest/proving_broker/proving_broker.d.ts +16 -12
  53. package/dest/proving_broker/proving_broker.d.ts.map +1 -1
  54. package/dest/proving_broker/proving_broker.js +306 -273
  55. package/dest/proving_broker/proving_broker_database/memory.d.ts +4 -2
  56. package/dest/proving_broker/proving_broker_database/memory.d.ts.map +1 -1
  57. package/dest/proving_broker/proving_broker_database/memory.js +17 -4
  58. package/dest/proving_broker/proving_broker_database/persisted.d.ts +10 -6
  59. package/dest/proving_broker/proving_broker_database/persisted.d.ts.map +1 -1
  60. package/dest/proving_broker/proving_broker_database/persisted.js +105 -13
  61. package/dest/proving_broker/proving_broker_database.d.ts +7 -3
  62. package/dest/proving_broker/proving_broker_database.d.ts.map +1 -1
  63. package/dest/proving_broker/proving_job_controller.js +4 -4
  64. package/dest/proving_broker/rpc.d.ts.map +1 -1
  65. package/dest/proving_broker/rpc.js +4 -4
  66. package/dest/test/mock_prover.d.ts +7 -7
  67. package/dest/test/mock_prover.d.ts.map +1 -1
  68. package/dest/test/mock_prover.js +6 -6
  69. package/package.json +11 -11
  70. package/src/block_builder/light.ts +1 -20
  71. package/src/config.ts +4 -4
  72. package/src/mocks/fixtures.ts +1 -1
  73. package/src/mocks/test_context.ts +2 -2
  74. package/src/orchestrator/block-building-helpers.ts +45 -119
  75. package/src/orchestrator/block-proving-state.ts +251 -121
  76. package/src/orchestrator/epoch-proving-state.ts +159 -88
  77. package/src/orchestrator/orchestrator.ts +251 -527
  78. package/src/orchestrator/tx-proving-state.ts +30 -18
  79. package/src/prover-agent/memory-proving-queue.ts +11 -15
  80. package/src/prover-agent/prover-agent.ts +4 -4
  81. package/src/prover-client/prover-client.ts +5 -7
  82. package/src/prover-client/server-epoch-prover.ts +44 -0
  83. package/src/proving_broker/broker_prover_facade.ts +321 -64
  84. package/src/proving_broker/config.ts +93 -0
  85. package/src/proving_broker/factory.ts +2 -5
  86. package/src/proving_broker/fixtures.ts +14 -0
  87. package/src/proving_broker/index.ts +1 -0
  88. package/src/proving_broker/proving_broker.ts +114 -71
  89. package/src/proving_broker/proving_broker_database/memory.ts +24 -4
  90. package/src/proving_broker/proving_broker_database/persisted.ts +141 -19
  91. package/src/proving_broker/proving_broker_database.ts +8 -3
  92. package/src/proving_broker/proving_job_controller.ts +5 -5
  93. package/src/proving_broker/rpc.ts +2 -3
  94. package/src/test/mock_prover.ts +9 -14
@@ -42,13 +42,13 @@ export class ProvingJobController {
42
42
  }
43
43
 
44
44
  this.status = ProvingJobControllerStatus.PROVING;
45
+
45
46
  this.promise = this.generateProof()
46
47
  .then(
47
48
  result => {
48
49
  if (this.status === ProvingJobControllerStatus.ABORTED) {
49
50
  return;
50
51
  }
51
-
52
52
  this.status = ProvingJobControllerStatus.DONE;
53
53
  return this.onComplete(this.jobId, this.inputs.type, undefined, result);
54
54
  },
@@ -124,6 +124,10 @@ export class ProvingJobController {
124
124
  return await this.circuitProver.getBlockRootRollupProof(inputs, signal, this.epochNumber);
125
125
  }
126
126
 
127
+ case ProvingRequestType.SINGLE_TX_BLOCK_ROOT_ROLLUP: {
128
+ return await this.circuitProver.getSingleTxBlockRootRollupProof(inputs, signal, this.epochNumber);
129
+ }
130
+
127
131
  case ProvingRequestType.BLOCK_MERGE_ROLLUP: {
128
132
  return await this.circuitProver.getBlockMergeRollupProof(inputs, signal, this.epochNumber);
129
133
  }
@@ -140,10 +144,6 @@ export class ProvingJobController {
140
144
  return await this.circuitProver.getRootParityProof(inputs, signal, this.epochNumber);
141
145
  }
142
146
 
143
- case ProvingRequestType.PRIVATE_KERNEL_EMPTY: {
144
- return await this.circuitProver.getEmptyPrivateKernelProof(inputs, signal, this.epochNumber);
145
- }
146
-
147
147
  case ProvingRequestType.TUBE_PROOF: {
148
148
  return await this.circuitProver.getTubeProof(inputs, signal, this.epochNumber);
149
149
  }
@@ -6,7 +6,6 @@ import {
6
6
  type ProvingJobConsumer,
7
7
  ProvingJobId,
8
8
  type ProvingJobProducer,
9
- ProvingJobSettledResult,
10
9
  ProvingJobStatus,
11
10
  ProvingRequestType,
12
11
  } from '@aztec/circuit-types';
@@ -26,10 +25,10 @@ const GetProvingJobResponse = z.object({
26
25
  });
27
26
 
28
27
  export const ProvingJobProducerSchema: ApiSchemaFor<ProvingJobProducer> = {
29
- enqueueProvingJob: z.function().args(ProvingJob).returns(z.void()),
28
+ enqueueProvingJob: z.function().args(ProvingJob).returns(ProvingJobStatus),
30
29
  getProvingJobStatus: z.function().args(ProvingJobId).returns(ProvingJobStatus),
31
30
  cancelProvingJob: z.function().args(ProvingJobId).returns(z.void()),
32
- waitForJobToSettle: z.function().args(ProvingJobId).returns(ProvingJobSettledResult),
31
+ getCompletedJobs: z.function().args(z.array(ProvingJobId)).returns(z.array(ProvingJobId)),
33
32
  };
34
33
 
35
34
  export const ProvingJobConsumerSchema: ApiSchemaFor<ProvingJobConsumer> = {
@@ -3,7 +3,6 @@ import {
3
3
  type ProvingJob,
4
4
  type ProvingJobId,
5
5
  type ProvingJobProducer,
6
- type ProvingJobSettledResult,
7
6
  type ProvingJobStatus,
8
7
  type PublicInputsAndRecursiveProof,
9
8
  type ServerCircuitProver,
@@ -17,8 +16,6 @@ import {
17
16
  type BaseParityInputs,
18
17
  NESTED_RECURSIVE_PROOF_LENGTH,
19
18
  NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH,
20
- type PrivateKernelEmptyInputData,
21
- type PrivateToRollupKernelCircuitPublicInputs,
22
19
  RECURSIVE_PROOF_LENGTH,
23
20
  type RootParityInputs,
24
21
  TUBE_PROOF_LENGTH,
@@ -37,12 +34,12 @@ import {
37
34
  type PublicBaseRollupInputs,
38
35
  type RootRollupInputs,
39
36
  type RootRollupPublicInputs,
37
+ type SingleTxBlockRootRollupInputs,
40
38
  } from '@aztec/circuits.js/rollup';
41
39
  import {
42
40
  makeBaseOrMergeRollupPublicInputs,
43
41
  makeBlockRootOrBlockMergeRollupPublicInputs,
44
42
  makeParityPublicInputs,
45
- makePrivateToRollupKernelCircuitPublicInputs,
46
43
  makeRootRollupPublicInputs,
47
44
  } from '@aztec/circuits.js/testing';
48
45
  import { times } from '@aztec/foundation/collection';
@@ -83,7 +80,7 @@ export class TestBroker implements ProvingJobProducer {
83
80
  return this.proofStore;
84
81
  }
85
82
 
86
- enqueueProvingJob(job: ProvingJob): Promise<void> {
83
+ enqueueProvingJob(job: ProvingJob): Promise<ProvingJobStatus> {
87
84
  return this.broker.enqueueProvingJob(job);
88
85
  }
89
86
  getProvingJobStatus(id: ProvingJobId): Promise<ProvingJobStatus> {
@@ -92,8 +89,9 @@ export class TestBroker implements ProvingJobProducer {
92
89
  cancelProvingJob(id: string): Promise<void> {
93
90
  return this.broker.cancelProvingJob(id);
94
91
  }
95
- waitForJobToSettle(id: ProvingJobId): Promise<ProvingJobSettledResult> {
96
- return this.broker.waitForJobToSettle(id);
92
+
93
+ getCompletedJobs(ids: ProvingJobId[]): Promise<ProvingJobId[]> {
94
+ return this.broker.getCompletedJobs(ids);
97
95
  }
98
96
  }
99
97
 
@@ -219,19 +217,16 @@ export class MockProver implements ServerCircuitProver {
219
217
  );
220
218
  }
221
219
 
222
- getEmptyPrivateKernelProof(
223
- _inputs: PrivateKernelEmptyInputData,
220
+ getSingleTxBlockRootRollupProof(
221
+ _input: SingleTxBlockRootRollupInputs,
224
222
  _signal?: AbortSignal,
225
223
  _epochNumber?: number,
226
224
  ): Promise<
227
- PublicInputsAndRecursiveProof<
228
- PrivateToRollupKernelCircuitPublicInputs,
229
- typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH
230
- >
225
+ PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
231
226
  > {
232
227
  return Promise.resolve(
233
228
  makePublicInputsAndRecursiveProof(
234
- makePrivateToRollupKernelCircuitPublicInputs(),
229
+ makeBlockRootOrBlockMergeRollupPublicInputs(),
235
230
  makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
236
231
  VerificationKeyData.makeFakeHonk(),
237
232
  ),