@aztec/prover-client 4.0.0-nightly.20250907 → 4.0.0-nightly.20260108
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-factory/index.d.ts +1 -1
- package/dest/block-factory/light.d.ts +5 -3
- package/dest/block-factory/light.d.ts.map +1 -1
- package/dest/block-factory/light.js +32 -11
- package/dest/config.d.ts +2 -2
- package/dest/config.d.ts.map +1 -1
- package/dest/config.js +2 -2
- package/dest/index.d.ts +1 -1
- package/dest/light/index.d.ts +2 -0
- package/dest/light/index.d.ts.map +1 -0
- package/dest/light/index.js +1 -0
- package/dest/light/lightweight_checkpoint_builder.d.ts +36 -0
- package/dest/light/lightweight_checkpoint_builder.d.ts.map +1 -0
- package/dest/light/lightweight_checkpoint_builder.js +147 -0
- package/dest/mocks/fixtures.d.ts +5 -5
- package/dest/mocks/fixtures.d.ts.map +1 -1
- package/dest/mocks/fixtures.js +33 -15
- package/dest/mocks/test_context.d.ts +38 -33
- package/dest/mocks/test_context.d.ts.map +1 -1
- package/dest/mocks/test_context.js +133 -82
- package/dest/orchestrator/block-building-helpers.d.ts +35 -35
- package/dest/orchestrator/block-building-helpers.d.ts.map +1 -1
- package/dest/orchestrator/block-building-helpers.js +151 -187
- package/dest/orchestrator/block-proving-state.d.ts +68 -55
- package/dest/orchestrator/block-proving-state.d.ts.map +1 -1
- package/dest/orchestrator/block-proving-state.js +273 -185
- package/dest/orchestrator/checkpoint-proving-state.d.ts +63 -0
- package/dest/orchestrator/checkpoint-proving-state.d.ts.map +1 -0
- package/dest/orchestrator/checkpoint-proving-state.js +210 -0
- package/dest/orchestrator/epoch-proving-state.d.ts +38 -31
- package/dest/orchestrator/epoch-proving-state.d.ts.map +1 -1
- package/dest/orchestrator/epoch-proving-state.js +128 -84
- package/dest/orchestrator/index.d.ts +1 -1
- package/dest/orchestrator/orchestrator.d.ts +35 -34
- package/dest/orchestrator/orchestrator.d.ts.map +1 -1
- package/dest/orchestrator/orchestrator.js +777 -292
- package/dest/orchestrator/orchestrator_metrics.d.ts +1 -3
- package/dest/orchestrator/orchestrator_metrics.d.ts.map +1 -1
- package/dest/orchestrator/orchestrator_metrics.js +0 -9
- package/dest/orchestrator/tx-proving-state.d.ts +12 -10
- package/dest/orchestrator/tx-proving-state.d.ts.map +1 -1
- package/dest/orchestrator/tx-proving-state.js +23 -29
- package/dest/prover-client/factory.d.ts +3 -3
- package/dest/prover-client/factory.d.ts.map +1 -1
- package/dest/prover-client/index.d.ts +1 -1
- package/dest/prover-client/prover-client.d.ts +3 -3
- package/dest/prover-client/prover-client.d.ts.map +1 -1
- package/dest/prover-client/prover-client.js +1 -1
- package/dest/prover-client/server-epoch-prover.d.ts +13 -11
- package/dest/prover-client/server-epoch-prover.d.ts.map +1 -1
- package/dest/prover-client/server-epoch-prover.js +9 -9
- package/dest/proving_broker/broker_prover_facade.d.ts +23 -18
- package/dest/proving_broker/broker_prover_facade.d.ts.map +1 -1
- package/dest/proving_broker/broker_prover_facade.js +42 -33
- package/dest/proving_broker/config.d.ts +18 -14
- package/dest/proving_broker/config.d.ts.map +1 -1
- package/dest/proving_broker/config.js +12 -6
- package/dest/proving_broker/factory.d.ts +1 -1
- package/dest/proving_broker/factory.js +1 -1
- package/dest/proving_broker/fixtures.d.ts +3 -2
- package/dest/proving_broker/fixtures.d.ts.map +1 -1
- package/dest/proving_broker/fixtures.js +3 -2
- package/dest/proving_broker/index.d.ts +1 -1
- package/dest/proving_broker/proof_store/factory.d.ts +2 -2
- package/dest/proving_broker/proof_store/gcs_proof_store.d.ts +1 -1
- package/dest/proving_broker/proof_store/gcs_proof_store.d.ts.map +1 -1
- package/dest/proving_broker/proof_store/index.d.ts +2 -1
- package/dest/proving_broker/proof_store/index.d.ts.map +1 -1
- package/dest/proving_broker/proof_store/index.js +1 -0
- package/dest/proving_broker/proof_store/inline_proof_store.d.ts +1 -1
- package/dest/proving_broker/proof_store/inline_proof_store.d.ts.map +1 -1
- package/dest/proving_broker/proof_store/proof_store.d.ts +1 -1
- package/dest/proving_broker/proving_agent.d.ts +3 -8
- package/dest/proving_broker/proving_agent.d.ts.map +1 -1
- package/dest/proving_broker/proving_agent.js +1 -16
- package/dest/proving_broker/proving_broker.d.ts +2 -2
- package/dest/proving_broker/proving_broker.d.ts.map +1 -1
- package/dest/proving_broker/proving_broker.js +35 -29
- package/dest/proving_broker/proving_broker_database/memory.d.ts +3 -2
- package/dest/proving_broker/proving_broker_database/memory.d.ts.map +1 -1
- package/dest/proving_broker/proving_broker_database/persisted.d.ts +5 -3
- package/dest/proving_broker/proving_broker_database/persisted.d.ts.map +1 -1
- package/dest/proving_broker/proving_broker_database/persisted.js +397 -8
- package/dest/proving_broker/proving_broker_database.d.ts +3 -2
- package/dest/proving_broker/proving_broker_database.d.ts.map +1 -1
- package/dest/proving_broker/proving_broker_instrumentation.d.ts +1 -1
- package/dest/proving_broker/proving_broker_instrumentation.d.ts.map +1 -1
- package/dest/proving_broker/proving_job_controller.d.ts +3 -2
- package/dest/proving_broker/proving_job_controller.d.ts.map +1 -1
- package/dest/proving_broker/proving_job_controller.js +40 -21
- package/dest/proving_broker/rpc.d.ts +4 -4
- package/dest/test/mock_proof_store.d.ts +3 -3
- package/dest/test/mock_proof_store.d.ts.map +1 -1
- package/dest/test/mock_prover.d.ts +23 -19
- package/dest/test/mock_prover.d.ts.map +1 -1
- package/dest/test/mock_prover.js +36 -21
- package/package.json +21 -19
- package/src/block-factory/light.ts +40 -17
- package/src/config.ts +2 -2
- package/src/light/index.ts +1 -0
- package/src/light/lightweight_checkpoint_builder.ts +198 -0
- package/src/mocks/fixtures.ts +41 -36
- package/src/mocks/test_context.ts +196 -114
- package/src/orchestrator/block-building-helpers.ts +233 -313
- package/src/orchestrator/block-proving-state.ts +315 -247
- package/src/orchestrator/checkpoint-proving-state.ts +303 -0
- package/src/orchestrator/epoch-proving-state.ts +176 -129
- package/src/orchestrator/orchestrator.ts +558 -348
- package/src/orchestrator/orchestrator_metrics.ts +1 -20
- package/src/orchestrator/tx-proving-state.ts +47 -55
- package/src/prover-client/factory.ts +6 -2
- package/src/prover-client/prover-client.ts +4 -11
- package/src/prover-client/server-epoch-prover.ts +30 -21
- package/src/proving_broker/broker_prover_facade.ts +175 -112
- package/src/proving_broker/config.ts +14 -7
- package/src/proving_broker/factory.ts +1 -1
- package/src/proving_broker/fixtures.ts +8 -3
- package/src/proving_broker/proof_store/index.ts +1 -0
- package/src/proving_broker/proving_agent.ts +1 -17
- package/src/proving_broker/proving_broker.ts +42 -27
- package/src/proving_broker/proving_broker_database/memory.ts +2 -1
- package/src/proving_broker/proving_broker_database/persisted.ts +25 -10
- package/src/proving_broker/proving_broker_database.ts +2 -1
- package/src/proving_broker/proving_job_controller.ts +42 -22
- package/src/test/mock_prover.ts +143 -66
- package/dest/bin/get-proof-inputs.d.ts +0 -2
- package/dest/bin/get-proof-inputs.d.ts.map +0 -1
- package/dest/bin/get-proof-inputs.js +0 -51
- package/dest/proving_broker/proving_agent_instrumentation.d.ts +0 -8
- package/dest/proving_broker/proving_agent_instrumentation.d.ts.map +0 -1
- package/dest/proving_broker/proving_agent_instrumentation.js +0 -16
- package/src/bin/get-proof-inputs.ts +0 -59
- package/src/proving_broker/proving_agent_instrumentation.ts +0 -21
package/src/test/mock_prover.ts
CHANGED
|
@@ -4,12 +4,10 @@ import {
|
|
|
4
4
|
NESTED_RECURSIVE_PROOF_LENGTH,
|
|
5
5
|
NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH,
|
|
6
6
|
RECURSIVE_PROOF_LENGTH,
|
|
7
|
-
TUBE_PROOF_LENGTH,
|
|
8
7
|
} from '@aztec/constants';
|
|
9
8
|
import { times } from '@aztec/foundation/collection';
|
|
10
9
|
import type { AvmCircuitInputs } from '@aztec/stdlib/avm';
|
|
11
10
|
import {
|
|
12
|
-
type ProofAndVerificationKey,
|
|
13
11
|
type ProvingJob,
|
|
14
12
|
type ProvingJobId,
|
|
15
13
|
type ProvingJobProducer,
|
|
@@ -19,27 +17,37 @@ import {
|
|
|
19
17
|
makeProofAndVerificationKey,
|
|
20
18
|
makePublicInputsAndRecursiveProof,
|
|
21
19
|
} from '@aztec/stdlib/interfaces/server';
|
|
22
|
-
import type {
|
|
20
|
+
import type { ParityBasePrivateInputs, ParityRootPrivateInputs } from '@aztec/stdlib/parity';
|
|
23
21
|
import { makeEmptyRecursiveProof, makeRecursiveProof } from '@aztec/stdlib/proofs';
|
|
24
22
|
import type {
|
|
25
|
-
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
|
|
23
|
+
BlockMergeRollupPrivateInputs,
|
|
24
|
+
BlockRollupPublicInputs,
|
|
25
|
+
BlockRootEmptyTxFirstRollupPrivateInputs,
|
|
26
|
+
BlockRootFirstRollupPrivateInputs,
|
|
27
|
+
BlockRootRollupPrivateInputs,
|
|
28
|
+
BlockRootSingleTxFirstRollupPrivateInputs,
|
|
29
|
+
BlockRootSingleTxRollupPrivateInputs,
|
|
30
|
+
CheckpointMergeRollupPrivateInputs,
|
|
31
|
+
CheckpointPaddingRollupPrivateInputs,
|
|
32
|
+
CheckpointRollupPublicInputs,
|
|
33
|
+
CheckpointRootRollupPrivateInputs,
|
|
34
|
+
CheckpointRootSingleBlockRollupPrivateInputs,
|
|
35
|
+
PrivateTxBaseRollupPrivateInputs,
|
|
36
|
+
PublicChonkVerifierPrivateInputs,
|
|
37
|
+
PublicChonkVerifierPublicInputs,
|
|
38
|
+
PublicTxBaseRollupPrivateInputs,
|
|
39
|
+
RootRollupPrivateInputs,
|
|
35
40
|
RootRollupPublicInputs,
|
|
36
|
-
|
|
41
|
+
TxMergeRollupPrivateInputs,
|
|
42
|
+
TxRollupPublicInputs,
|
|
37
43
|
} from '@aztec/stdlib/rollup';
|
|
38
44
|
import {
|
|
39
|
-
|
|
40
|
-
|
|
45
|
+
makeBlockRollupPublicInputs,
|
|
46
|
+
makeCheckpointRollupPublicInputs,
|
|
41
47
|
makeParityPublicInputs,
|
|
48
|
+
makePublicChonkVerifierPublicInputs,
|
|
42
49
|
makeRootRollupPublicInputs,
|
|
50
|
+
makeTxRollupPublicInputs,
|
|
43
51
|
} from '@aztec/stdlib/testing';
|
|
44
52
|
import { VerificationKeyData } from '@aztec/stdlib/vks';
|
|
45
53
|
|
|
@@ -97,12 +105,7 @@ export class TestBroker implements ProvingJobProducer {
|
|
|
97
105
|
export class MockProver implements ServerCircuitProver {
|
|
98
106
|
constructor() {}
|
|
99
107
|
|
|
100
|
-
getAvmProof(
|
|
101
|
-
_inputs: AvmCircuitInputs,
|
|
102
|
-
_skipPublicInputsValidation?: boolean, // TODO(#14234)[Unconditional PIs validation]: Remove.
|
|
103
|
-
_signal?: AbortSignal,
|
|
104
|
-
_epochNumber?: number,
|
|
105
|
-
) {
|
|
108
|
+
getAvmProof(_inputs: AvmCircuitInputs, _signal?: AbortSignal, _epochNumber?: number) {
|
|
106
109
|
return Promise.resolve(
|
|
107
110
|
makeProofAndVerificationKey(
|
|
108
111
|
makeEmptyRecursiveProof(AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED),
|
|
@@ -111,7 +114,7 @@ export class MockProver implements ServerCircuitProver {
|
|
|
111
114
|
);
|
|
112
115
|
}
|
|
113
116
|
|
|
114
|
-
getBaseParityProof(_inputs:
|
|
117
|
+
getBaseParityProof(_inputs: ParityBasePrivateInputs, _signal?: AbortSignal, _epochNumber?: number) {
|
|
115
118
|
return Promise.resolve(
|
|
116
119
|
makePublicInputsAndRecursiveProof(
|
|
117
120
|
makeParityPublicInputs(),
|
|
@@ -121,7 +124,7 @@ export class MockProver implements ServerCircuitProver {
|
|
|
121
124
|
);
|
|
122
125
|
}
|
|
123
126
|
|
|
124
|
-
getRootParityProof(_inputs:
|
|
127
|
+
getRootParityProof(_inputs: ParityRootPrivateInputs, _signal?: AbortSignal, _epochNumber?: number) {
|
|
125
128
|
return Promise.resolve(
|
|
126
129
|
makePublicInputsAndRecursiveProof(
|
|
127
130
|
makeParityPublicInputs(),
|
|
@@ -131,130 +134,210 @@ export class MockProver implements ServerCircuitProver {
|
|
|
131
134
|
);
|
|
132
135
|
}
|
|
133
136
|
|
|
134
|
-
|
|
135
|
-
|
|
137
|
+
getPublicChonkVerifierProof(
|
|
138
|
+
_inputs: PublicChonkVerifierPrivateInputs,
|
|
136
139
|
_signal?: AbortSignal,
|
|
137
140
|
_epochNumber?: number,
|
|
138
141
|
): Promise<
|
|
139
|
-
PublicInputsAndRecursiveProof<
|
|
142
|
+
PublicInputsAndRecursiveProof<PublicChonkVerifierPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
|
|
140
143
|
> {
|
|
141
144
|
return Promise.resolve(
|
|
142
145
|
makePublicInputsAndRecursiveProof(
|
|
143
|
-
|
|
146
|
+
makePublicChonkVerifierPublicInputs(),
|
|
144
147
|
makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
|
|
145
148
|
VerificationKeyData.makeFakeRollupHonk(),
|
|
146
149
|
),
|
|
147
150
|
);
|
|
148
151
|
}
|
|
149
152
|
|
|
150
|
-
|
|
151
|
-
|
|
153
|
+
getPrivateTxBaseRollupProof(
|
|
154
|
+
_baseRollupInput: PrivateTxBaseRollupPrivateInputs,
|
|
152
155
|
_signal?: AbortSignal,
|
|
153
156
|
_epochNumber?: number,
|
|
154
|
-
): Promise<
|
|
155
|
-
PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
|
|
156
|
-
> {
|
|
157
|
+
): Promise<PublicInputsAndRecursiveProof<TxRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>> {
|
|
157
158
|
return Promise.resolve(
|
|
158
159
|
makePublicInputsAndRecursiveProof(
|
|
159
|
-
|
|
160
|
+
makeTxRollupPublicInputs(),
|
|
160
161
|
makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
|
|
161
162
|
VerificationKeyData.makeFakeRollupHonk(),
|
|
162
163
|
),
|
|
163
164
|
);
|
|
164
165
|
}
|
|
165
166
|
|
|
166
|
-
|
|
167
|
-
|
|
167
|
+
getPublicTxBaseRollupProof(
|
|
168
|
+
_inputs: PublicTxBaseRollupPrivateInputs,
|
|
168
169
|
_signal?: AbortSignal,
|
|
169
170
|
_epochNumber?: number,
|
|
170
|
-
): Promise<
|
|
171
|
-
PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
|
|
172
|
-
> {
|
|
171
|
+
): Promise<PublicInputsAndRecursiveProof<TxRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>> {
|
|
173
172
|
return Promise.resolve(
|
|
174
173
|
makePublicInputsAndRecursiveProof(
|
|
175
|
-
|
|
174
|
+
makeTxRollupPublicInputs(),
|
|
176
175
|
makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
|
|
177
176
|
VerificationKeyData.makeFakeRollupHonk(),
|
|
178
177
|
),
|
|
179
178
|
);
|
|
180
179
|
}
|
|
181
180
|
|
|
182
|
-
|
|
181
|
+
getTxMergeRollupProof(
|
|
182
|
+
_input: TxMergeRollupPrivateInputs,
|
|
183
|
+
_signal?: AbortSignal,
|
|
184
|
+
_epochNumber?: number,
|
|
185
|
+
): Promise<PublicInputsAndRecursiveProof<TxRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>> {
|
|
186
|
+
return Promise.resolve(
|
|
187
|
+
makePublicInputsAndRecursiveProof(
|
|
188
|
+
makeTxRollupPublicInputs(),
|
|
189
|
+
makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
|
|
190
|
+
VerificationKeyData.makeFakeRollupHonk(),
|
|
191
|
+
),
|
|
192
|
+
);
|
|
193
|
+
}
|
|
194
|
+
|
|
195
|
+
getBlockRootFirstRollupProof(
|
|
196
|
+
_input: BlockRootFirstRollupPrivateInputs,
|
|
197
|
+
_signal?: AbortSignal,
|
|
198
|
+
_epochNumber?: number,
|
|
199
|
+
): Promise<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>> {
|
|
183
200
|
return Promise.resolve(
|
|
184
201
|
makePublicInputsAndRecursiveProof(
|
|
185
|
-
|
|
202
|
+
makeBlockRollupPublicInputs(),
|
|
186
203
|
makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
|
|
187
204
|
VerificationKeyData.makeFakeRollupHonk(),
|
|
188
205
|
),
|
|
189
206
|
);
|
|
190
207
|
}
|
|
191
208
|
|
|
192
|
-
|
|
193
|
-
_input:
|
|
209
|
+
getBlockRootSingleTxFirstRollupProof(
|
|
210
|
+
_input: BlockRootSingleTxFirstRollupPrivateInputs,
|
|
211
|
+
_signal?: AbortSignal,
|
|
212
|
+
_epochNumber?: number,
|
|
213
|
+
): Promise<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>> {
|
|
214
|
+
return Promise.resolve(
|
|
215
|
+
makePublicInputsAndRecursiveProof(
|
|
216
|
+
makeBlockRollupPublicInputs(),
|
|
217
|
+
makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
|
|
218
|
+
VerificationKeyData.makeFakeHonk(),
|
|
219
|
+
),
|
|
220
|
+
);
|
|
221
|
+
}
|
|
222
|
+
|
|
223
|
+
getBlockRootEmptyTxFirstRollupProof(
|
|
224
|
+
_input: BlockRootEmptyTxFirstRollupPrivateInputs,
|
|
225
|
+
_signal?: AbortSignal,
|
|
226
|
+
_epochNumber?: number,
|
|
227
|
+
): Promise<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>> {
|
|
228
|
+
return Promise.resolve(
|
|
229
|
+
makePublicInputsAndRecursiveProof(
|
|
230
|
+
makeBlockRollupPublicInputs(),
|
|
231
|
+
makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
|
|
232
|
+
VerificationKeyData.makeFakeRollupHonk(),
|
|
233
|
+
),
|
|
234
|
+
);
|
|
235
|
+
}
|
|
236
|
+
|
|
237
|
+
getBlockRootRollupProof(
|
|
238
|
+
_input: BlockRootRollupPrivateInputs,
|
|
239
|
+
_signal?: AbortSignal,
|
|
240
|
+
_epochNumber?: number,
|
|
241
|
+
): Promise<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>> {
|
|
242
|
+
return Promise.resolve(
|
|
243
|
+
makePublicInputsAndRecursiveProof(
|
|
244
|
+
makeBlockRollupPublicInputs(),
|
|
245
|
+
makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
|
|
246
|
+
VerificationKeyData.makeFakeRollupHonk(),
|
|
247
|
+
),
|
|
248
|
+
);
|
|
249
|
+
}
|
|
250
|
+
|
|
251
|
+
getBlockRootSingleTxRollupProof(
|
|
252
|
+
_input: BlockRootSingleTxRollupPrivateInputs,
|
|
253
|
+
_signal?: AbortSignal,
|
|
254
|
+
_epochNumber?: number,
|
|
255
|
+
): Promise<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>> {
|
|
256
|
+
return Promise.resolve(
|
|
257
|
+
makePublicInputsAndRecursiveProof(
|
|
258
|
+
makeBlockRollupPublicInputs(),
|
|
259
|
+
makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
|
|
260
|
+
VerificationKeyData.makeFakeHonk(),
|
|
261
|
+
),
|
|
262
|
+
);
|
|
263
|
+
}
|
|
264
|
+
|
|
265
|
+
getBlockMergeRollupProof(_input: BlockMergeRollupPrivateInputs, _signal?: AbortSignal, _epochNumber?: number) {
|
|
266
|
+
return Promise.resolve(
|
|
267
|
+
makePublicInputsAndRecursiveProof(
|
|
268
|
+
makeBlockRollupPublicInputs(),
|
|
269
|
+
makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
|
|
270
|
+
VerificationKeyData.makeFakeRollupHonk(),
|
|
271
|
+
),
|
|
272
|
+
);
|
|
273
|
+
}
|
|
274
|
+
|
|
275
|
+
getCheckpointRootRollupProof(
|
|
276
|
+
_input: CheckpointRootRollupPrivateInputs,
|
|
194
277
|
_signal?: AbortSignal,
|
|
195
278
|
_epochNumber?: number,
|
|
196
279
|
): Promise<
|
|
197
|
-
PublicInputsAndRecursiveProof<
|
|
280
|
+
PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
|
|
198
281
|
> {
|
|
199
282
|
return Promise.resolve(
|
|
200
283
|
makePublicInputsAndRecursiveProof(
|
|
201
|
-
|
|
284
|
+
makeCheckpointRollupPublicInputs(),
|
|
202
285
|
makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
|
|
203
286
|
VerificationKeyData.makeFakeRollupHonk(),
|
|
204
287
|
),
|
|
205
288
|
);
|
|
206
289
|
}
|
|
207
290
|
|
|
208
|
-
|
|
209
|
-
_input:
|
|
291
|
+
getCheckpointRootSingleBlockRollupProof(
|
|
292
|
+
_input: CheckpointRootSingleBlockRollupPrivateInputs,
|
|
210
293
|
_signal?: AbortSignal,
|
|
211
294
|
_epochNumber?: number,
|
|
212
295
|
): Promise<
|
|
213
|
-
PublicInputsAndRecursiveProof<
|
|
296
|
+
PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
|
|
214
297
|
> {
|
|
215
298
|
return Promise.resolve(
|
|
216
299
|
makePublicInputsAndRecursiveProof(
|
|
217
|
-
|
|
300
|
+
makeCheckpointRollupPublicInputs(),
|
|
218
301
|
makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
|
|
219
302
|
VerificationKeyData.makeFakeRollupHonk(),
|
|
220
303
|
),
|
|
221
304
|
);
|
|
222
305
|
}
|
|
223
306
|
|
|
224
|
-
|
|
225
|
-
_input:
|
|
307
|
+
getCheckpointMergeRollupProof(
|
|
308
|
+
_input: CheckpointMergeRollupPrivateInputs,
|
|
226
309
|
_signal?: AbortSignal,
|
|
227
310
|
_epochNumber?: number,
|
|
228
311
|
): Promise<
|
|
229
|
-
PublicInputsAndRecursiveProof<
|
|
312
|
+
PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
|
|
230
313
|
> {
|
|
231
314
|
return Promise.resolve(
|
|
232
315
|
makePublicInputsAndRecursiveProof(
|
|
233
|
-
|
|
316
|
+
makeCheckpointRollupPublicInputs(),
|
|
234
317
|
makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
|
|
235
318
|
VerificationKeyData.makeFakeRollupHonk(),
|
|
236
319
|
),
|
|
237
320
|
);
|
|
238
321
|
}
|
|
239
322
|
|
|
240
|
-
|
|
241
|
-
_input:
|
|
323
|
+
getCheckpointPaddingRollupProof(
|
|
324
|
+
_input: CheckpointPaddingRollupPrivateInputs,
|
|
242
325
|
_signal?: AbortSignal,
|
|
243
326
|
_epochNumber?: number,
|
|
244
327
|
): Promise<
|
|
245
|
-
PublicInputsAndRecursiveProof<
|
|
328
|
+
PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>
|
|
246
329
|
> {
|
|
247
330
|
return Promise.resolve(
|
|
248
331
|
makePublicInputsAndRecursiveProof(
|
|
249
|
-
|
|
332
|
+
makeCheckpointRollupPublicInputs(),
|
|
250
333
|
makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
|
|
251
|
-
VerificationKeyData.
|
|
334
|
+
VerificationKeyData.makeFakeRollupHonk(),
|
|
252
335
|
),
|
|
253
336
|
);
|
|
254
337
|
}
|
|
255
338
|
|
|
256
339
|
getRootRollupProof(
|
|
257
|
-
_input:
|
|
340
|
+
_input: RootRollupPrivateInputs,
|
|
258
341
|
_signal?: AbortSignal,
|
|
259
342
|
_epochNumber?: number,
|
|
260
343
|
): Promise<PublicInputsAndRecursiveProof<RootRollupPublicInputs>> {
|
|
@@ -266,10 +349,4 @@ export class MockProver implements ServerCircuitProver {
|
|
|
266
349
|
),
|
|
267
350
|
);
|
|
268
351
|
}
|
|
269
|
-
|
|
270
|
-
getTubeProof(): Promise<ProofAndVerificationKey<typeof TUBE_PROOF_LENGTH>> {
|
|
271
|
-
return Promise.resolve(
|
|
272
|
-
makeProofAndVerificationKey(makeRecursiveProof(TUBE_PROOF_LENGTH), VerificationKeyData.makeFakeRollupHonk()),
|
|
273
|
-
);
|
|
274
|
-
}
|
|
275
352
|
}
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"get-proof-inputs.d.ts","sourceRoot":"","sources":["../../src/bin/get-proof-inputs.ts"],"names":[],"mappings":""}
|
|
@@ -1,51 +0,0 @@
|
|
|
1
|
-
/* eslint-disable no-console */ import { AVM_INPUTS_FILENAME } from '@aztec/bb-prover';
|
|
2
|
-
import { jsonParseWithSchema, jsonStringify } from '@aztec/foundation/json-rpc';
|
|
3
|
-
import { createLogger } from '@aztec/foundation/log';
|
|
4
|
-
import { ProvingJobInputs } from '@aztec/stdlib/interfaces/server';
|
|
5
|
-
import { ProvingRequestType } from '@aztec/stdlib/proofs';
|
|
6
|
-
import { mkdirSync, writeFileSync } from 'fs';
|
|
7
|
-
import { createProofStoreForUri } from '../proving_broker/index.js';
|
|
8
|
-
const logger = createLogger('prover-client:get-proof-inputs');
|
|
9
|
-
function printUsage() {
|
|
10
|
-
console.error('Usage: get-proof-inputs <proof-uri> [out-dir=.]');
|
|
11
|
-
}
|
|
12
|
-
async function main() {
|
|
13
|
-
if (process.argv[2] === '--help') {
|
|
14
|
-
printUsage();
|
|
15
|
-
return;
|
|
16
|
-
}
|
|
17
|
-
const uri = process.argv[2];
|
|
18
|
-
const outDir = process.argv[3] || '.';
|
|
19
|
-
if (!uri) {
|
|
20
|
-
printUsage();
|
|
21
|
-
throw new Error('Missing proof URI');
|
|
22
|
-
}
|
|
23
|
-
mkdirSync(outDir, {
|
|
24
|
-
recursive: true
|
|
25
|
-
});
|
|
26
|
-
const proofStore = createProofStoreForUri(uri);
|
|
27
|
-
logger.info(`Processing uri ${uri}`);
|
|
28
|
-
const input = await proofStore.getProofInput(uri);
|
|
29
|
-
logger.info(`Found inputs for ${ProvingRequestType[input.type]}`);
|
|
30
|
-
writeProofInputs(input, outDir);
|
|
31
|
-
console.log(jsonParseWithSchema(jsonStringify(input), ProvingJobInputs).inputs);
|
|
32
|
-
}
|
|
33
|
-
// This mimics the behavior of bb-prover/src/bb/execute.ts
|
|
34
|
-
function writeProofInputs(input, outDir) {
|
|
35
|
-
switch(input.type){
|
|
36
|
-
case ProvingRequestType.PUBLIC_VM:
|
|
37
|
-
{
|
|
38
|
-
writeFileSync(`${outDir}/${AVM_INPUTS_FILENAME}`, input.inputs.serializeWithMessagePack());
|
|
39
|
-
logger.info(`Wrote AVM inputs to ${AVM_INPUTS_FILENAME}`);
|
|
40
|
-
break;
|
|
41
|
-
}
|
|
42
|
-
default:
|
|
43
|
-
{
|
|
44
|
-
throw new Error(`Unimplemented proving request type: ${ProvingRequestType[input.type]}`);
|
|
45
|
-
}
|
|
46
|
-
}
|
|
47
|
-
}
|
|
48
|
-
main().catch((err)=>{
|
|
49
|
-
console.error(err);
|
|
50
|
-
process.exit(1);
|
|
51
|
-
});
|
|
@@ -1,8 +0,0 @@
|
|
|
1
|
-
import type { Timer } from '@aztec/foundation/timer';
|
|
2
|
-
import { type TelemetryClient } from '@aztec/telemetry-client';
|
|
3
|
-
export declare class ProvingAgentInstrumentation {
|
|
4
|
-
private idleTime;
|
|
5
|
-
constructor(client: TelemetryClient, name?: string);
|
|
6
|
-
recordIdleTime(msOrTimer: Timer | number): void;
|
|
7
|
-
}
|
|
8
|
-
//# sourceMappingURL=proving_agent_instrumentation.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"proving_agent_instrumentation.d.ts","sourceRoot":"","sources":["../../src/proving_broker/proving_agent_instrumentation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,EAA2B,KAAK,eAAe,EAAa,MAAM,yBAAyB,CAAC;AAEnG,qBAAa,2BAA2B;IACtC,OAAO,CAAC,QAAQ,CAAY;gBAEhB,MAAM,EAAE,eAAe,EAAE,IAAI,SAAiB;IAU1D,cAAc,CAAC,SAAS,EAAE,KAAK,GAAG,MAAM;CAIzC"}
|
|
@@ -1,16 +0,0 @@
|
|
|
1
|
-
import { Metrics, ValueType } from '@aztec/telemetry-client';
|
|
2
|
-
export class ProvingAgentInstrumentation {
|
|
3
|
-
idleTime;
|
|
4
|
-
constructor(client, name = 'ProvingAgent'){
|
|
5
|
-
const meter = client.getMeter(name);
|
|
6
|
-
this.idleTime = meter.createHistogram(Metrics.PROVING_AGENT_IDLE, {
|
|
7
|
-
description: 'Records how long an agent was idle',
|
|
8
|
-
unit: 's',
|
|
9
|
-
valueType: ValueType.DOUBLE
|
|
10
|
-
});
|
|
11
|
-
}
|
|
12
|
-
recordIdleTime(msOrTimer) {
|
|
13
|
-
const duration = typeof msOrTimer === 'number' ? msOrTimer : msOrTimer.ms();
|
|
14
|
-
this.idleTime.record(duration / 1000);
|
|
15
|
-
}
|
|
16
|
-
}
|
|
@@ -1,59 +0,0 @@
|
|
|
1
|
-
/* eslint-disable no-console */
|
|
2
|
-
import { AVM_INPUTS_FILENAME } from '@aztec/bb-prover';
|
|
3
|
-
import { jsonParseWithSchema, jsonStringify } from '@aztec/foundation/json-rpc';
|
|
4
|
-
import { createLogger } from '@aztec/foundation/log';
|
|
5
|
-
import { type ProofUri, ProvingJobInputs } from '@aztec/stdlib/interfaces/server';
|
|
6
|
-
import { ProvingRequestType } from '@aztec/stdlib/proofs';
|
|
7
|
-
|
|
8
|
-
import { mkdirSync, writeFileSync } from 'fs';
|
|
9
|
-
|
|
10
|
-
import { createProofStoreForUri } from '../proving_broker/index.js';
|
|
11
|
-
|
|
12
|
-
const logger = createLogger('prover-client:get-proof-inputs');
|
|
13
|
-
|
|
14
|
-
function printUsage() {
|
|
15
|
-
console.error('Usage: get-proof-inputs <proof-uri> [out-dir=.]');
|
|
16
|
-
}
|
|
17
|
-
|
|
18
|
-
async function main() {
|
|
19
|
-
if (process.argv[2] === '--help') {
|
|
20
|
-
printUsage();
|
|
21
|
-
return;
|
|
22
|
-
}
|
|
23
|
-
|
|
24
|
-
const uri = process.argv[2];
|
|
25
|
-
const outDir = process.argv[3] || '.';
|
|
26
|
-
if (!uri) {
|
|
27
|
-
printUsage();
|
|
28
|
-
throw new Error('Missing proof URI');
|
|
29
|
-
}
|
|
30
|
-
|
|
31
|
-
mkdirSync(outDir, { recursive: true });
|
|
32
|
-
|
|
33
|
-
const proofStore = createProofStoreForUri(uri);
|
|
34
|
-
logger.info(`Processing uri ${uri}`);
|
|
35
|
-
const input = await proofStore.getProofInput(uri as ProofUri);
|
|
36
|
-
logger.info(`Found inputs for ${ProvingRequestType[input.type]}`);
|
|
37
|
-
writeProofInputs(input, outDir);
|
|
38
|
-
|
|
39
|
-
console.log(jsonParseWithSchema(jsonStringify(input), ProvingJobInputs).inputs);
|
|
40
|
-
}
|
|
41
|
-
|
|
42
|
-
// This mimics the behavior of bb-prover/src/bb/execute.ts
|
|
43
|
-
function writeProofInputs(input: ProvingJobInputs, outDir: string) {
|
|
44
|
-
switch (input.type) {
|
|
45
|
-
case ProvingRequestType.PUBLIC_VM: {
|
|
46
|
-
writeFileSync(`${outDir}/${AVM_INPUTS_FILENAME}`, input.inputs.serializeWithMessagePack());
|
|
47
|
-
logger.info(`Wrote AVM inputs to ${AVM_INPUTS_FILENAME}`);
|
|
48
|
-
break;
|
|
49
|
-
}
|
|
50
|
-
default: {
|
|
51
|
-
throw new Error(`Unimplemented proving request type: ${ProvingRequestType[input.type]}`);
|
|
52
|
-
}
|
|
53
|
-
}
|
|
54
|
-
}
|
|
55
|
-
|
|
56
|
-
main().catch(err => {
|
|
57
|
-
console.error(err);
|
|
58
|
-
process.exit(1);
|
|
59
|
-
});
|
|
@@ -1,21 +0,0 @@
|
|
|
1
|
-
import type { Timer } from '@aztec/foundation/timer';
|
|
2
|
-
import { type Histogram, Metrics, type TelemetryClient, ValueType } from '@aztec/telemetry-client';
|
|
3
|
-
|
|
4
|
-
export class ProvingAgentInstrumentation {
|
|
5
|
-
private idleTime: Histogram;
|
|
6
|
-
|
|
7
|
-
constructor(client: TelemetryClient, name = 'ProvingAgent') {
|
|
8
|
-
const meter = client.getMeter(name);
|
|
9
|
-
|
|
10
|
-
this.idleTime = meter.createHistogram(Metrics.PROVING_AGENT_IDLE, {
|
|
11
|
-
description: 'Records how long an agent was idle',
|
|
12
|
-
unit: 's',
|
|
13
|
-
valueType: ValueType.DOUBLE,
|
|
14
|
-
});
|
|
15
|
-
}
|
|
16
|
-
|
|
17
|
-
recordIdleTime(msOrTimer: Timer | number) {
|
|
18
|
-
const duration = typeof msOrTimer === 'number' ? msOrTimer : msOrTimer.ms();
|
|
19
|
-
this.idleTime.record(duration / 1000);
|
|
20
|
-
}
|
|
21
|
-
}
|