@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.
- 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 +4 -14
- package/dest/config.d.ts +2 -1
- package/dest/config.d.ts.map +1 -1
- package/dest/config.js +3 -2
- package/dest/mocks/test_context.d.ts +2 -2
- package/dest/mocks/test_context.d.ts.map +1 -1
- package/dest/mocks/test_context.js +6 -6
- 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 +33 -44
- 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 +5 -2
- 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 +6 -6
- 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 +3 -21
- package/src/config.ts +4 -4
- package/src/mocks/test_context.ts +3 -6
- package/src/orchestrator/block-building-helpers.ts +44 -118
- 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 +35 -19
- package/src/prover-agent/memory-proving-queue.ts +11 -12
- package/src/prover-agent/prover-agent.ts +4 -4
- package/src/prover-client/prover-client.ts +4 -6
- package/src/prover-client/server-epoch-prover.ts +44 -0
- package/src/proving_broker/broker_prover_facade.ts +321 -61
- 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 -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(
|
|
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,
|
|
@@ -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<
|
|
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,16 +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<
|
|
225
|
+
PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
|
|
228
226
|
> {
|
|
229
227
|
return Promise.resolve(
|
|
230
228
|
makePublicInputsAndRecursiveProof(
|
|
231
|
-
|
|
229
|
+
makeBlockRootOrBlockMergeRollupPublicInputs(),
|
|
232
230
|
makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
|
|
233
231
|
VerificationKeyData.makeFakeHonk(),
|
|
234
232
|
),
|