@aztec/bb-prover 3.0.0-rc.5 → 4.0.0-nightly.20260107

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 (26) hide show
  1. package/dest/prover/client/bb_private_kernel_prover.d.ts +9 -3
  2. package/dest/prover/client/bb_private_kernel_prover.d.ts.map +1 -1
  3. package/dest/prover/client/bb_private_kernel_prover.js +14 -4
  4. package/dest/prover/client/bundle.d.ts +3 -3
  5. package/dest/prover/client/bundle.d.ts.map +1 -1
  6. package/dest/prover/client/bundle.js +2 -3
  7. package/dest/prover/client/lazy.d.ts +3 -3
  8. package/dest/prover/client/lazy.d.ts.map +1 -1
  9. package/dest/prover/client/lazy.js +2 -3
  10. package/dest/prover/server/bb_prover.d.ts +2 -2
  11. package/dest/prover/server/bb_prover.d.ts.map +1 -1
  12. package/dest/prover/server/bb_prover.js +400 -24
  13. package/dest/test/delay_values.d.ts +1 -1
  14. package/dest/test/delay_values.d.ts.map +1 -1
  15. package/dest/test/delay_values.js +27 -25
  16. package/dest/test/index.d.ts +2 -1
  17. package/dest/test/index.d.ts.map +1 -1
  18. package/dest/test/index.js +1 -0
  19. package/dest/test/test_circuit_prover.js +458 -54
  20. package/package.json +16 -16
  21. package/src/prover/client/bb_private_kernel_prover.ts +19 -6
  22. package/src/prover/client/bundle.ts +3 -4
  23. package/src/prover/client/lazy.ts +3 -4
  24. package/src/prover/server/bb_prover.ts +0 -5
  25. package/src/test/delay_values.ts +27 -23
  26. package/src/test/index.ts +1 -0
package/src/prover/server/bb_prover.ts CHANGED
@@ -84,7 +84,6 @@ import {
84
84
  type RootRollupPublicInputs,
85
85
  type TxMergeRollupPrivateInputs,
86
86
  type TxRollupPublicInputs,
87
- enhanceProofWithPiValidationFlag,
88
87
  } from '@aztec/stdlib/rollup';
89
88
  import type { CircuitProvingStats, CircuitWitnessGenerationStats } from '@aztec/stdlib/stats';
90
89
  import type { VerificationKeyData } from '@aztec/stdlib/vks';
@@ -192,13 +191,9 @@ export class BBNativeRollupProver implements ServerCircuitProver {
192
191
  }))
193
192
  public async getAvmProof(
194
193
  inputs: AvmCircuitInputs,
195
- skipPublicInputsValidation: boolean = false,
196
194
  ): Promise<ProofAndVerificationKey<typeof AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED>> {
197
195
  const proofAndVk = await this.createAvmProof(inputs);
198
196
  await this.verifyAvmProof(proofAndVk.proof.binaryProof, proofAndVk.verificationKey, inputs.publicInputs);
199
-
200
- // TODO(#14234)[Unconditional PIs validation]: remove next lines and directly return proofAndVk
201
- proofAndVk.proof.proof = enhanceProofWithPiValidationFlag(proofAndVk.proof.proof, skipPublicInputsValidation);
202
197
  return proofAndVk;
203
198
  }
204
199
 
package/src/test/delay_values.ts CHANGED
@@ -1,43 +1,47 @@
1
1
  import { ProvingRequestType } from '@aztec/stdlib/proofs';
2
2
 
3
3
  export const WITGEN_DELAY_MS: Record<ProvingRequestType, number> = {
4
- [ProvingRequestType.PARITY_BASE]: 2_000,
5
- [ProvingRequestType.BLOCK_MERGE_ROLLUP]: 30,
4
+ [ProvingRequestType.PUBLIC_CHONK_VERIFIER]: 60,
5
+ [ProvingRequestType.PARITY_BASE]: 1_600,
6
+ [ProvingRequestType.PARITY_ROOT]: 40,
6
7
  [ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP]: 45,
7
- [ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP]: 27,
8
8
  [ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP]: 18,
9
+ [ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP]: 27,
10
+ [ProvingRequestType.CHECKPOINT_MERGE_ROLLUP]: 30,
11
+ [ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP]: 36_000,
12
+ [ProvingRequestType.ROOT_ROLLUP]: 35,
13
+ [ProvingRequestType.PUBLIC_TX_BASE_ROLLUP]: 2_500,
14
+ [ProvingRequestType.TX_MERGE_ROLLUP]: 25,
15
+ [ProvingRequestType.PUBLIC_VM]: 0,
16
+
17
+ // TBD
18
+ [ProvingRequestType.BLOCK_MERGE_ROLLUP]: 30,
9
19
  [ProvingRequestType.BLOCK_ROOT_ROLLUP]: 40_000,
10
20
  [ProvingRequestType.BLOCK_ROOT_SINGLE_TX_ROLLUP]: 20_000,
11
21
  [ProvingRequestType.CHECKPOINT_ROOT_ROLLUP]: 40_000,
12
- [ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP]: 36_600,
13
22
  [ProvingRequestType.CHECKPOINT_PADDING_ROLLUP]: 0,
14
- [ProvingRequestType.CHECKPOINT_MERGE_ROLLUP]: 30,
15
- [ProvingRequestType.TX_MERGE_ROLLUP]: 0,
16
23
  [ProvingRequestType.PRIVATE_TX_BASE_ROLLUP]: 2_500, // Guess based on public
17
- [ProvingRequestType.PUBLIC_TX_BASE_ROLLUP]: 2_500,
18
- [ProvingRequestType.PARITY_ROOT]: 40,
19
- [ProvingRequestType.ROOT_ROLLUP]: 35,
20
- [ProvingRequestType.PUBLIC_CHONK_VERIFIER]: 60,
21
- [ProvingRequestType.PUBLIC_VM]: 0,
22
24
  };
23
25
 
24
26
  export const PROOF_DELAY_MS: Record<ProvingRequestType, number> = {
25
- [ProvingRequestType.PARITY_BASE]: 16_300,
27
+ [ProvingRequestType.PUBLIC_CHONK_VERIFIER]: 16_300,
28
+ [ProvingRequestType.PARITY_BASE]: 15_300,
29
+ [ProvingRequestType.PARITY_ROOT]: 18_600,
30
+ [ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP]: 17_400,
31
+ [ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP]: 4_500,
32
+ [ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP]: 9_200,
33
+ [ProvingRequestType.CHECKPOINT_MERGE_ROLLUP]: 10_200,
34
+ [ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP]: 37_100,
35
+ [ProvingRequestType.ROOT_ROLLUP]: 93_000,
36
+ [ProvingRequestType.TX_MERGE_ROLLUP]: 10_000,
37
+ [ProvingRequestType.PUBLIC_TX_BASE_ROLLUP]: 44_500,
38
+ [ProvingRequestType.PUBLIC_VM]: 10_000,
39
+
40
+ // TBD
26
41
  [ProvingRequestType.BLOCK_MERGE_ROLLUP]: 15_000,
27
- [ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP]: 16_500,
28
- [ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP]: 9_210,
29
- [ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP]: 4_560,
30
42
  [ProvingRequestType.BLOCK_ROOT_ROLLUP]: 35_000,
31
43
  [ProvingRequestType.BLOCK_ROOT_SINGLE_TX_ROLLUP]: 15_000,
32
44
  [ProvingRequestType.CHECKPOINT_ROOT_ROLLUP]: 35_000,
33
- [ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP]: 38_800,
34
45
  [ProvingRequestType.CHECKPOINT_PADDING_ROLLUP]: 0,
35
- [ProvingRequestType.CHECKPOINT_MERGE_ROLLUP]: 9_760,
36
- [ProvingRequestType.TX_MERGE_ROLLUP]: 0,
37
46
  [ProvingRequestType.PRIVATE_TX_BASE_ROLLUP]: 45_000, // Guess based on public
38
- [ProvingRequestType.PUBLIC_TX_BASE_ROLLUP]: 45_000,
39
- [ProvingRequestType.PARITY_ROOT]: 18_600,
40
- [ProvingRequestType.ROOT_ROLLUP]: 84_000,
41
- [ProvingRequestType.PUBLIC_CHONK_VERIFIER]: 16_300,
42
- [ProvingRequestType.PUBLIC_VM]: 0,
43
47
  };
package/src/test/index.ts CHANGED
@@ -1,2 +1,3 @@
1
1
  export * from './test_circuit_prover.js';
2
2
  export * from './test_verifier.js';
3
+ export * from './delay_values.js';