@aztec/prover-client 0.69.0 → 0.69.1-devnet

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 (90) 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 +4 -14
  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/test_context.d.ts +2 -2
  8. package/dest/mocks/test_context.d.ts.map +1 -1
  9. package/dest/mocks/test_context.js +6 -6
  10. package/dest/orchestrator/block-building-helpers.d.ts +10 -25
  11. package/dest/orchestrator/block-building-helpers.d.ts.map +1 -1
  12. package/dest/orchestrator/block-building-helpers.js +33 -44
  13. package/dest/orchestrator/block-proving-state.d.ts +40 -44
  14. package/dest/orchestrator/block-proving-state.d.ts.map +1 -1
  15. package/dest/orchestrator/block-proving-state.js +149 -85
  16. package/dest/orchestrator/epoch-proving-state.d.ts +23 -30
  17. package/dest/orchestrator/epoch-proving-state.d.ts.map +1 -1
  18. package/dest/orchestrator/epoch-proving-state.js +92 -65
  19. package/dest/orchestrator/orchestrator.d.ts +16 -47
  20. package/dest/orchestrator/orchestrator.d.ts.map +1 -1
  21. package/dest/orchestrator/orchestrator.js +204 -341
  22. package/dest/orchestrator/tx-proving-state.d.ts +10 -6
  23. package/dest/orchestrator/tx-proving-state.d.ts.map +1 -1
  24. package/dest/orchestrator/tx-proving-state.js +57 -46
  25. package/dest/prover-agent/memory-proving-queue.d.ts +3 -3
  26. package/dest/prover-agent/memory-proving-queue.d.ts.map +1 -1
  27. package/dest/prover-agent/memory-proving-queue.js +4 -4
  28. package/dest/prover-agent/prover-agent.js +4 -4
  29. package/dest/prover-client/prover-client.d.ts.map +1 -1
  30. package/dest/prover-client/prover-client.js +5 -2
  31. package/dest/prover-client/server-epoch-prover.d.ts +25 -0
  32. package/dest/prover-client/server-epoch-prover.d.ts.map +1 -0
  33. package/dest/prover-client/server-epoch-prover.js +40 -0
  34. package/dest/proving_broker/broker_prover_facade.d.ts +15 -4
  35. package/dest/proving_broker/broker_prover_facade.d.ts.map +1 -1
  36. package/dest/proving_broker/broker_prover_facade.js +247 -44
  37. package/dest/proving_broker/config.d.ts +61 -0
  38. package/dest/proving_broker/config.d.ts.map +1 -0
  39. package/dest/proving_broker/config.js +83 -0
  40. package/dest/proving_broker/factory.d.ts +1 -1
  41. package/dest/proving_broker/factory.d.ts.map +1 -1
  42. package/dest/proving_broker/factory.js +2 -5
  43. package/dest/proving_broker/fixtures.d.ts +5 -0
  44. package/dest/proving_broker/fixtures.d.ts.map +1 -0
  45. package/dest/proving_broker/fixtures.js +12 -0
  46. package/dest/proving_broker/index.d.ts +1 -0
  47. package/dest/proving_broker/index.d.ts.map +1 -1
  48. package/dest/proving_broker/index.js +2 -1
  49. package/dest/proving_broker/proving_broker.d.ts +16 -12
  50. package/dest/proving_broker/proving_broker.d.ts.map +1 -1
  51. package/dest/proving_broker/proving_broker.js +306 -273
  52. package/dest/proving_broker/proving_broker_database/memory.d.ts +4 -2
  53. package/dest/proving_broker/proving_broker_database/memory.d.ts.map +1 -1
  54. package/dest/proving_broker/proving_broker_database/memory.js +17 -4
  55. package/dest/proving_broker/proving_broker_database/persisted.d.ts +10 -6
  56. package/dest/proving_broker/proving_broker_database/persisted.d.ts.map +1 -1
  57. package/dest/proving_broker/proving_broker_database/persisted.js +105 -13
  58. package/dest/proving_broker/proving_broker_database.d.ts +7 -3
  59. package/dest/proving_broker/proving_broker_database.d.ts.map +1 -1
  60. package/dest/proving_broker/proving_job_controller.js +4 -4
  61. package/dest/proving_broker/rpc.d.ts.map +1 -1
  62. package/dest/proving_broker/rpc.js +4 -4
  63. package/dest/test/mock_prover.d.ts +6 -6
  64. package/dest/test/mock_prover.d.ts.map +1 -1
  65. package/dest/test/mock_prover.js +6 -6
  66. package/package.json +11 -11
  67. package/src/block_builder/light.ts +3 -21
  68. package/src/config.ts +4 -4
  69. package/src/mocks/test_context.ts +3 -6
  70. package/src/orchestrator/block-building-helpers.ts +44 -118
  71. package/src/orchestrator/block-proving-state.ts +251 -121
  72. package/src/orchestrator/epoch-proving-state.ts +159 -88
  73. package/src/orchestrator/orchestrator.ts +251 -527
  74. package/src/orchestrator/tx-proving-state.ts +35 -19
  75. package/src/prover-agent/memory-proving-queue.ts +11 -12
  76. package/src/prover-agent/prover-agent.ts +4 -4
  77. package/src/prover-client/prover-client.ts +4 -6
  78. package/src/prover-client/server-epoch-prover.ts +44 -0
  79. package/src/proving_broker/broker_prover_facade.ts +321 -61
  80. package/src/proving_broker/config.ts +93 -0
  81. package/src/proving_broker/factory.ts +2 -5
  82. package/src/proving_broker/fixtures.ts +14 -0
  83. package/src/proving_broker/index.ts +1 -0
  84. package/src/proving_broker/proving_broker.ts +114 -71
  85. package/src/proving_broker/proving_broker_database/memory.ts +24 -4
  86. package/src/proving_broker/proving_broker_database/persisted.ts +141 -19
  87. package/src/proving_broker/proving_broker_database.ts +8 -3
  88. package/src/proving_broker/proving_job_controller.ts +5 -5
  89. package/src/proving_broker/rpc.ts +2 -3
  90. package/src/test/mock_prover.ts +9 -11
@@ -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,
@@ -15,10 +14,8 @@ import {
15
14
  AVM_VERIFICATION_KEY_LENGTH_IN_FIELDS,
16
15
  type AvmCircuitInputs,
17
16
  type BaseParityInputs,
18
- type KernelCircuitPublicInputs,
19
17
  NESTED_RECURSIVE_PROOF_LENGTH,
20
18
  NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH,
21
- type PrivateKernelEmptyInputData,
22
19
  RECURSIVE_PROOF_LENGTH,
23
20
  type RootParityInputs,
24
21
  TUBE_PROOF_LENGTH,
@@ -37,11 +34,11 @@ 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
- makeKernelCircuitPublicInputs,
45
42
  makeParityPublicInputs,
46
43
  makeRootRollupPublicInputs,
47
44
  } from '@aztec/circuits.js/testing';
@@ -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,16 +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<KernelCircuitPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
225
+ PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
228
226
  > {
229
227
  return Promise.resolve(
230
228
  makePublicInputsAndRecursiveProof(
231
- makeKernelCircuitPublicInputs(),
229
+ makeBlockRootOrBlockMergeRollupPublicInputs(),
232
230
  makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
233
231
  VerificationKeyData.makeFakeHonk(),
234
232
  ),