@aztec/prover-client 3.0.0-nightly.20250906 → 3.0.0-nightly.20250910
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/orchestrator/block-building-helpers.d.ts +8 -4
- package/dest/orchestrator/block-building-helpers.d.ts.map +1 -1
- package/dest/orchestrator/block-building-helpers.js +22 -3
- package/dest/orchestrator/epoch-proving-state.d.ts +3 -2
- package/dest/orchestrator/epoch-proving-state.d.ts.map +1 -1
- package/dest/orchestrator/orchestrator.d.ts +1 -1
- package/dest/orchestrator/orchestrator.d.ts.map +1 -1
- package/dest/orchestrator/orchestrator.js +24 -19
- package/dest/orchestrator/tx-proving-state.d.ts +7 -6
- package/dest/orchestrator/tx-proving-state.d.ts.map +1 -1
- package/dest/orchestrator/tx-proving-state.js +19 -20
- package/dest/proving_broker/broker_prover_facade.d.ts +4 -3
- package/dest/proving_broker/broker_prover_facade.d.ts.map +1 -1
- package/dest/proving_broker/broker_prover_facade.js +3 -3
- package/dest/proving_broker/proving_broker.js +2 -2
- package/dest/proving_broker/proving_job_controller.js +4 -4
- package/dest/test/mock_prover.d.ts +6 -5
- package/dest/test/mock_prover.d.ts.map +1 -1
- package/dest/test/mock_prover.js +5 -5
- package/package.json +15 -15
- package/src/orchestrator/block-building-helpers.ts +35 -3
- package/src/orchestrator/epoch-proving-state.ts +11 -3
- package/src/orchestrator/orchestrator.ts +46 -24
- package/src/orchestrator/tx-proving-state.ts +36 -37
- package/src/proving_broker/broker_prover_facade.ts +22 -16
- package/src/proving_broker/proving_broker.ts +2 -2
- package/src/proving_broker/proving_job_controller.ts +4 -4
- package/src/test/mock_prover.ts +22 -8
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,6 +17,7 @@ import {
|
|
|
19
17
|
makeProofAndVerificationKey,
|
|
20
18
|
makePublicInputsAndRecursiveProof,
|
|
21
19
|
} from '@aztec/stdlib/interfaces/server';
|
|
20
|
+
import type { PrivateToPublicKernelCircuitPublicInputs } from '@aztec/stdlib/kernel';
|
|
22
21
|
import type { BaseParityInputs, RootParityInputs } from '@aztec/stdlib/parity';
|
|
23
22
|
import { makeEmptyRecursiveProof, makeRecursiveProof } from '@aztec/stdlib/proofs';
|
|
24
23
|
import type {
|
|
@@ -31,6 +30,7 @@ import type {
|
|
|
31
30
|
PaddingBlockRootRollupInputs,
|
|
32
31
|
PrivateBaseRollupInputs,
|
|
33
32
|
PublicBaseRollupInputs,
|
|
33
|
+
PublicTubePrivateInputs,
|
|
34
34
|
RootRollupInputs,
|
|
35
35
|
RootRollupPublicInputs,
|
|
36
36
|
SingleTxBlockRootRollupInputs,
|
|
@@ -39,6 +39,7 @@ import {
|
|
|
39
39
|
makeBaseOrMergeRollupPublicInputs,
|
|
40
40
|
makeBlockRootOrBlockMergeRollupPublicInputs,
|
|
41
41
|
makeParityPublicInputs,
|
|
42
|
+
makePrivateToPublicKernelCircuitPublicInputs,
|
|
42
43
|
makeRootRollupPublicInputs,
|
|
43
44
|
} from '@aztec/stdlib/testing';
|
|
44
45
|
import { VerificationKeyData } from '@aztec/stdlib/vks';
|
|
@@ -131,6 +132,25 @@ export class MockProver implements ServerCircuitProver {
|
|
|
131
132
|
);
|
|
132
133
|
}
|
|
133
134
|
|
|
135
|
+
getPublicTubeProof(
|
|
136
|
+
_inputs: PublicTubePrivateInputs,
|
|
137
|
+
_signal?: AbortSignal,
|
|
138
|
+
_epochNumber?: number,
|
|
139
|
+
): Promise<
|
|
140
|
+
PublicInputsAndRecursiveProof<
|
|
141
|
+
PrivateToPublicKernelCircuitPublicInputs,
|
|
142
|
+
typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH
|
|
143
|
+
>
|
|
144
|
+
> {
|
|
145
|
+
return Promise.resolve(
|
|
146
|
+
makePublicInputsAndRecursiveProof(
|
|
147
|
+
makePrivateToPublicKernelCircuitPublicInputs(),
|
|
148
|
+
makeRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
|
|
149
|
+
VerificationKeyData.makeFakeRollupHonk(),
|
|
150
|
+
),
|
|
151
|
+
);
|
|
152
|
+
}
|
|
153
|
+
|
|
134
154
|
getPrivateBaseRollupProof(
|
|
135
155
|
_baseRollupInput: PrivateBaseRollupInputs,
|
|
136
156
|
_signal?: AbortSignal,
|
|
@@ -266,10 +286,4 @@ export class MockProver implements ServerCircuitProver {
|
|
|
266
286
|
),
|
|
267
287
|
);
|
|
268
288
|
}
|
|
269
|
-
|
|
270
|
-
getTubeProof(): Promise<ProofAndVerificationKey<typeof TUBE_PROOF_LENGTH>> {
|
|
271
|
-
return Promise.resolve(
|
|
272
|
-
makeProofAndVerificationKey(makeRecursiveProof(TUBE_PROOF_LENGTH), VerificationKeyData.makeFakeRollupHonk()),
|
|
273
|
-
);
|
|
274
|
-
}
|
|
275
289
|
}
|