@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.
- package/dest/block_builder/light.d.ts +0 -1
- package/dest/block_builder/light.d.ts.map +1 -1
- package/dest/block_builder/light.js +3 -13
- package/dest/config.d.ts +2 -1
- package/dest/config.d.ts.map +1 -1
- package/dest/config.js +3 -2
- package/dest/mocks/fixtures.d.ts +1 -1
- package/dest/mocks/fixtures.d.ts.map +1 -1
- package/dest/mocks/fixtures.js +2 -2
- package/dest/mocks/test_context.d.ts +1 -1
- package/dest/mocks/test_context.d.ts.map +1 -1
- package/dest/mocks/test_context.js +3 -3
- package/dest/orchestrator/block-building-helpers.d.ts +10 -25
- package/dest/orchestrator/block-building-helpers.d.ts.map +1 -1
- package/dest/orchestrator/block-building-helpers.js +34 -45
- package/dest/orchestrator/block-proving-state.d.ts +40 -44
- package/dest/orchestrator/block-proving-state.d.ts.map +1 -1
- package/dest/orchestrator/block-proving-state.js +149 -85
- package/dest/orchestrator/epoch-proving-state.d.ts +23 -30
- package/dest/orchestrator/epoch-proving-state.d.ts.map +1 -1
- package/dest/orchestrator/epoch-proving-state.js +92 -65
- package/dest/orchestrator/orchestrator.d.ts +16 -47
- package/dest/orchestrator/orchestrator.d.ts.map +1 -1
- package/dest/orchestrator/orchestrator.js +204 -341
- package/dest/orchestrator/tx-proving-state.d.ts +10 -6
- package/dest/orchestrator/tx-proving-state.d.ts.map +1 -1
- package/dest/orchestrator/tx-proving-state.js +57 -46
- package/dest/prover-agent/memory-proving-queue.d.ts +3 -3
- package/dest/prover-agent/memory-proving-queue.d.ts.map +1 -1
- package/dest/prover-agent/memory-proving-queue.js +4 -4
- package/dest/prover-agent/prover-agent.js +4 -4
- package/dest/prover-client/prover-client.d.ts.map +1 -1
- package/dest/prover-client/prover-client.js +6 -3
- package/dest/prover-client/server-epoch-prover.d.ts +25 -0
- package/dest/prover-client/server-epoch-prover.d.ts.map +1 -0
- package/dest/prover-client/server-epoch-prover.js +40 -0
- package/dest/proving_broker/broker_prover_facade.d.ts +15 -4
- package/dest/proving_broker/broker_prover_facade.d.ts.map +1 -1
- package/dest/proving_broker/broker_prover_facade.js +247 -44
- package/dest/proving_broker/config.d.ts +61 -0
- package/dest/proving_broker/config.d.ts.map +1 -0
- package/dest/proving_broker/config.js +83 -0
- package/dest/proving_broker/factory.d.ts +1 -1
- package/dest/proving_broker/factory.d.ts.map +1 -1
- package/dest/proving_broker/factory.js +2 -5
- package/dest/proving_broker/fixtures.d.ts +5 -0
- package/dest/proving_broker/fixtures.d.ts.map +1 -0
- package/dest/proving_broker/fixtures.js +12 -0
- package/dest/proving_broker/index.d.ts +1 -0
- package/dest/proving_broker/index.d.ts.map +1 -1
- package/dest/proving_broker/index.js +2 -1
- package/dest/proving_broker/proving_broker.d.ts +16 -12
- package/dest/proving_broker/proving_broker.d.ts.map +1 -1
- package/dest/proving_broker/proving_broker.js +306 -273
- package/dest/proving_broker/proving_broker_database/memory.d.ts +4 -2
- package/dest/proving_broker/proving_broker_database/memory.d.ts.map +1 -1
- package/dest/proving_broker/proving_broker_database/memory.js +17 -4
- package/dest/proving_broker/proving_broker_database/persisted.d.ts +10 -6
- package/dest/proving_broker/proving_broker_database/persisted.d.ts.map +1 -1
- package/dest/proving_broker/proving_broker_database/persisted.js +105 -13
- package/dest/proving_broker/proving_broker_database.d.ts +7 -3
- package/dest/proving_broker/proving_broker_database.d.ts.map +1 -1
- package/dest/proving_broker/proving_job_controller.js +4 -4
- package/dest/proving_broker/rpc.d.ts.map +1 -1
- package/dest/proving_broker/rpc.js +4 -4
- package/dest/test/mock_prover.d.ts +7 -7
- package/dest/test/mock_prover.d.ts.map +1 -1
- package/dest/test/mock_prover.js +6 -6
- package/package.json +11 -11
- package/src/block_builder/light.ts +1 -20
- package/src/config.ts +4 -4
- package/src/mocks/fixtures.ts +1 -1
- package/src/mocks/test_context.ts +2 -2
- package/src/orchestrator/block-building-helpers.ts +45 -119
- package/src/orchestrator/block-proving-state.ts +251 -121
- package/src/orchestrator/epoch-proving-state.ts +159 -88
- package/src/orchestrator/orchestrator.ts +251 -527
- package/src/orchestrator/tx-proving-state.ts +30 -18
- package/src/prover-agent/memory-proving-queue.ts +11 -15
- package/src/prover-agent/prover-agent.ts +4 -4
- package/src/prover-client/prover-client.ts +5 -7
- package/src/prover-client/server-epoch-prover.ts +44 -0
- package/src/proving_broker/broker_prover_facade.ts +321 -64
- package/src/proving_broker/config.ts +93 -0
- package/src/proving_broker/factory.ts +2 -5
- package/src/proving_broker/fixtures.ts +14 -0
- package/src/proving_broker/index.ts +1 -0
- package/src/proving_broker/proving_broker.ts +114 -71
- package/src/proving_broker/proving_broker_database/memory.ts +24 -4
- package/src/proving_broker/proving_broker_database/persisted.ts +141 -19
- package/src/proving_broker/proving_broker_database.ts +8 -3
- package/src/proving_broker/proving_job_controller.ts +5 -5
- package/src/proving_broker/rpc.ts +2 -3
- 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(
|
|
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
|
-
|
|
31
|
+
getCompletedJobs: z.function().args(z.array(ProvingJobId)).returns(z.array(ProvingJobId)),
|
|
33
32
|
};
|
|
34
33
|
|
|
35
34
|
export const ProvingJobConsumerSchema: ApiSchemaFor<ProvingJobConsumer> = {
|
package/src/test/mock_prover.ts
CHANGED
|
@@ -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<
|
|
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
|
-
|
|
96
|
-
|
|
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
|
-
|
|
223
|
-
|
|
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
|
-
|
|
229
|
+
makeBlockRootOrBlockMergeRollupPublicInputs(),
|
|
235
230
|
makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
|
|
236
231
|
VerificationKeyData.makeFakeHonk(),
|
|
237
232
|
),
|