@aztec/bb-prover 3.0.0-nightly.20251209 → 3.0.0-nightly.20251210

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 (11) hide show
  1. package/dest/bb/execute.js +1 -1
  2. package/dest/prover/proof_utils.js +1 -1
  3. package/dest/prover/server/bb_prover.js +1 -1
  4. package/dest/test/delay_values.js +19 -19
  5. package/dest/verification_key/verification_key_data.js +1 -1
  6. package/package.json +16 -16
  7. package/src/bb/execute.ts +1 -1
  8. package/src/prover/proof_utils.ts +1 -1
  9. package/src/prover/server/bb_prover.ts +1 -1
  10. package/src/test/delay_values.ts +19 -19
  11. package/src/verification_key/verification_key_data.ts +1 -1
package/dest/bb/execute.js CHANGED
@@ -1,4 +1,4 @@
1
- import { sha256 } from '@aztec/foundation/crypto';
1
+ import { sha256 } from '@aztec/foundation/crypto/sha256';
2
2
  import { Timer } from '@aztec/foundation/timer';
3
3
  import * as proc from 'child_process';
4
4
  import { promises as fs } from 'fs';
package/dest/prover/proof_utils.js CHANGED
@@ -1,5 +1,5 @@
1
1
  import { CHONK_PROOF_LENGTH, HIDING_KERNEL_IO_PUBLIC_INPUTS_SIZE, IPA_CLAIM_SIZE, NESTED_RECURSIVE_PROOF_LENGTH, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, PAIRING_POINTS_SIZE, ULTRA_KECCAK_PROOF_LENGTH } from '@aztec/constants';
2
- import { Fr } from '@aztec/foundation/fields';
2
+ import { Fr } from '@aztec/foundation/curves/bn254';
3
3
  import { ChonkProofWithPublicInputs, Proof, RecursiveProof } from '@aztec/stdlib/proofs';
4
4
  import assert from 'assert';
5
5
  import { promises as fs } from 'fs';
package/dest/prover/server/bb_prover.js CHANGED
@@ -5,7 +5,7 @@ function _ts_decorate(decorators, target, key, desc) {
5
5
  return c > 3 && r && Object.defineProperty(target, key, r), r;
6
6
  }
7
7
  import { AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, NESTED_RECURSIVE_PROOF_LENGTH, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, PAIRING_POINTS_SIZE, RECURSIVE_PROOF_LENGTH, ULTRA_KECCAK_PROOF_LENGTH } from '@aztec/constants';
8
- import { Fr } from '@aztec/foundation/fields';
8
+ import { Fr } from '@aztec/foundation/curves/bn254';
9
9
  import { runInDirectory } from '@aztec/foundation/fs';
10
10
  import { createLogger } from '@aztec/foundation/log';
11
11
  import { BufferReader } from '@aztec/foundation/serialize';
package/dest/test/delay_values.js CHANGED
@@ -1,41 +1,41 @@
1
1
  import { ProvingRequestType } from '@aztec/stdlib/proofs';
2
2
  export const WITGEN_DELAY_MS = {
3
- [ProvingRequestType.PARITY_BASE]: 2000,
3
+ [ProvingRequestType.PARITY_BASE]: 2_000,
4
4
  [ProvingRequestType.BLOCK_MERGE_ROLLUP]: 30,
5
- [ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP]: 60_000,
6
- [ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP]: 40_000,
5
+ [ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP]: 45,
6
+ [ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP]: 27,
7
7
  [ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP]: 18,
8
8
  [ProvingRequestType.BLOCK_ROOT_ROLLUP]: 40_000,
9
9
  [ProvingRequestType.BLOCK_ROOT_SINGLE_TX_ROLLUP]: 20_000,
10
10
  [ProvingRequestType.CHECKPOINT_ROOT_ROLLUP]: 40_000,
11
- [ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP]: 36_000,
11
+ [ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP]: 36_600,
12
12
  [ProvingRequestType.CHECKPOINT_PADDING_ROLLUP]: 0,
13
13
  [ProvingRequestType.CHECKPOINT_MERGE_ROLLUP]: 30,
14
14
  [ProvingRequestType.TX_MERGE_ROLLUP]: 0,
15
- [ProvingRequestType.PRIVATE_TX_BASE_ROLLUP]: 400_000,
16
- [ProvingRequestType.PUBLIC_TX_BASE_ROLLUP]: 470_000,
17
- [ProvingRequestType.PARITY_ROOT]: 39,
15
+ [ProvingRequestType.PRIVATE_TX_BASE_ROLLUP]: 2_500,
16
+ [ProvingRequestType.PUBLIC_TX_BASE_ROLLUP]: 2_500,
17
+ [ProvingRequestType.PARITY_ROOT]: 40,
18
18
  [ProvingRequestType.ROOT_ROLLUP]: 35,
19
- [ProvingRequestType.PUBLIC_CHONK_VERIFIER]: 0,
19
+ [ProvingRequestType.PUBLIC_CHONK_VERIFIER]: 60,
20
20
  [ProvingRequestType.PUBLIC_VM]: 0
21
21
  };
22
22
  export const PROOF_DELAY_MS = {
23
- [ProvingRequestType.PARITY_BASE]: 14_000,
23
+ [ProvingRequestType.PARITY_BASE]: 16_300,
24
24
  [ProvingRequestType.BLOCK_MERGE_ROLLUP]: 15_000,
25
- [ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP]: 55_000,
26
- [ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP]: 35_000,
27
- [ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP]: 4_000,
25
+ [ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP]: 16_500,
26
+ [ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP]: 9_210,
27
+ [ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP]: 4_560,
28
28
  [ProvingRequestType.BLOCK_ROOT_ROLLUP]: 35_000,
29
29
  [ProvingRequestType.BLOCK_ROOT_SINGLE_TX_ROLLUP]: 15_000,
30
30
  [ProvingRequestType.CHECKPOINT_ROOT_ROLLUP]: 35_000,
31
- [ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP]: 35_000,
31
+ [ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP]: 38_800,
32
32
  [ProvingRequestType.CHECKPOINT_PADDING_ROLLUP]: 0,
33
- [ProvingRequestType.CHECKPOINT_MERGE_ROLLUP]: 9_000,
33
+ [ProvingRequestType.CHECKPOINT_MERGE_ROLLUP]: 9_760,
34
34
  [ProvingRequestType.TX_MERGE_ROLLUP]: 0,
35
- [ProvingRequestType.PRIVATE_TX_BASE_ROLLUP]: 145_000,
36
- [ProvingRequestType.PUBLIC_TX_BASE_ROLLUP]: 160_000,
37
- [ProvingRequestType.PARITY_ROOT]: 16_000,
38
- [ProvingRequestType.ROOT_ROLLUP]: 140_000,
39
- [ProvingRequestType.PUBLIC_CHONK_VERIFIER]: 30_000,
35
+ [ProvingRequestType.PRIVATE_TX_BASE_ROLLUP]: 45_000,
36
+ [ProvingRequestType.PUBLIC_TX_BASE_ROLLUP]: 45_000,
37
+ [ProvingRequestType.PARITY_ROOT]: 18_600,
38
+ [ProvingRequestType.ROOT_ROLLUP]: 84_000,
39
+ [ProvingRequestType.PUBLIC_CHONK_VERIFIER]: 16_300,
40
40
  [ProvingRequestType.PUBLIC_VM]: 0
41
41
  };
package/dest/verification_key/verification_key_data.js CHANGED
@@ -1,5 +1,5 @@
1
1
  import { AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED } from '@aztec/constants';
2
- import { Fr } from '@aztec/foundation/fields';
2
+ import { Fr } from '@aztec/foundation/curves/bn254';
3
3
  import { BufferReader } from '@aztec/foundation/serialize';
4
4
  import { VerificationKeyAsFields, VerificationKeyData } from '@aztec/stdlib/vks';
5
5
  import { strict as assert } from 'assert';
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@aztec/bb-prover",
3
- "version": "3.0.0-nightly.20251209",
3
+ "version": "3.0.0-nightly.20251210",
4
4
  "type": "module",
5
5
  "exports": {
6
6
  ".": "./dest/index.js",
@@ -69,27 +69,27 @@
69
69
  ]
70
70
  },
71
71
  "dependencies": {
72
- "@aztec/bb.js": "3.0.0-nightly.20251209",
73
- "@aztec/constants": "3.0.0-nightly.20251209",
74
- "@aztec/foundation": "3.0.0-nightly.20251209",
75
- "@aztec/noir-noirc_abi": "3.0.0-nightly.20251209",
76
- "@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20251209",
77
- "@aztec/noir-types": "3.0.0-nightly.20251209",
78
- "@aztec/simulator": "3.0.0-nightly.20251209",
79
- "@aztec/stdlib": "3.0.0-nightly.20251209",
80
- "@aztec/telemetry-client": "3.0.0-nightly.20251209",
81
- "@aztec/world-state": "3.0.0-nightly.20251209",
72
+ "@aztec/bb.js": "3.0.0-nightly.20251210",
73
+ "@aztec/constants": "3.0.0-nightly.20251210",
74
+ "@aztec/foundation": "3.0.0-nightly.20251210",
75
+ "@aztec/noir-noirc_abi": "3.0.0-nightly.20251210",
76
+ "@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20251210",
77
+ "@aztec/noir-types": "3.0.0-nightly.20251210",
78
+ "@aztec/simulator": "3.0.0-nightly.20251210",
79
+ "@aztec/stdlib": "3.0.0-nightly.20251210",
80
+ "@aztec/telemetry-client": "3.0.0-nightly.20251210",
81
+ "@aztec/world-state": "3.0.0-nightly.20251210",
82
82
  "commander": "^12.1.0",
83
83
  "pako": "^2.1.0",
84
84
  "source-map-support": "^0.5.21",
85
85
  "tslib": "^2.4.0"
86
86
  },
87
87
  "devDependencies": {
88
- "@aztec/ethereum": "3.0.0-nightly.20251209",
89
- "@aztec/kv-store": "3.0.0-nightly.20251209",
90
- "@aztec/noir-contracts.js": "3.0.0-nightly.20251209",
91
- "@aztec/noir-test-contracts.js": "3.0.0-nightly.20251209",
92
- "@aztec/protocol-contracts": "3.0.0-nightly.20251209",
88
+ "@aztec/ethereum": "3.0.0-nightly.20251210",
89
+ "@aztec/kv-store": "3.0.0-nightly.20251210",
90
+ "@aztec/noir-contracts.js": "3.0.0-nightly.20251210",
91
+ "@aztec/noir-test-contracts.js": "3.0.0-nightly.20251210",
92
+ "@aztec/protocol-contracts": "3.0.0-nightly.20251210",
93
93
  "@jest/globals": "^30.0.0",
94
94
  "@types/jest": "^30.0.0",
95
95
  "@types/node": "^22.15.17",
package/src/bb/execute.ts CHANGED
@@ -1,4 +1,4 @@
1
- import { sha256 } from '@aztec/foundation/crypto';
1
+ import { sha256 } from '@aztec/foundation/crypto/sha256';
2
2
  import type { LogFn, Logger } from '@aztec/foundation/log';
3
3
  import { Timer } from '@aztec/foundation/timer';
4
4
  import type { AvmCircuitInputs, AvmCircuitPublicInputs } from '@aztec/stdlib/avm';
package/src/prover/proof_utils.ts CHANGED
@@ -7,7 +7,7 @@ import {
7
7
  PAIRING_POINTS_SIZE,
8
8
  ULTRA_KECCAK_PROOF_LENGTH,
9
9
  } from '@aztec/constants';
10
- import { Fr } from '@aztec/foundation/fields';
10
+ import { Fr } from '@aztec/foundation/curves/bn254';
11
11
  import type { Logger } from '@aztec/foundation/log';
12
12
  import { ChonkProofWithPublicInputs, Proof, RecursiveProof } from '@aztec/stdlib/proofs';
13
13
  import type { VerificationKeyData } from '@aztec/stdlib/vks';
package/src/prover/server/bb_prover.ts CHANGED
@@ -6,7 +6,7 @@ import {
6
6
  RECURSIVE_PROOF_LENGTH,
7
7
  ULTRA_KECCAK_PROOF_LENGTH,
8
8
  } from '@aztec/constants';
9
- import { Fr } from '@aztec/foundation/fields';
9
+ import { Fr } from '@aztec/foundation/curves/bn254';
10
10
  import { runInDirectory } from '@aztec/foundation/fs';
11
11
  import { createLogger } from '@aztec/foundation/log';
12
12
  import { BufferReader } from '@aztec/foundation/serialize';
package/src/test/delay_values.ts CHANGED
@@ -1,43 +1,43 @@
1
1
  import { ProvingRequestType } from '@aztec/stdlib/proofs';
2
2
 
3
3
  export const WITGEN_DELAY_MS: Record<ProvingRequestType, number> = {
4
- [ProvingRequestType.PARITY_BASE]: 2000,
4
+ [ProvingRequestType.PARITY_BASE]: 2_000,
5
5
  [ProvingRequestType.BLOCK_MERGE_ROLLUP]: 30,
6
- [ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP]: 60_000,
7
- [ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP]: 40_000,
6
+ [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
9
  [ProvingRequestType.BLOCK_ROOT_ROLLUP]: 40_000,
10
10
  [ProvingRequestType.BLOCK_ROOT_SINGLE_TX_ROLLUP]: 20_000,
11
11
  [ProvingRequestType.CHECKPOINT_ROOT_ROLLUP]: 40_000,
12
- [ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP]: 36_000,
12
+ [ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP]: 36_600,
13
13
  [ProvingRequestType.CHECKPOINT_PADDING_ROLLUP]: 0,
14
14
  [ProvingRequestType.CHECKPOINT_MERGE_ROLLUP]: 30,
15
15
  [ProvingRequestType.TX_MERGE_ROLLUP]: 0,
16
- [ProvingRequestType.PRIVATE_TX_BASE_ROLLUP]: 400_000,
17
- [ProvingRequestType.PUBLIC_TX_BASE_ROLLUP]: 470_000,
18
- [ProvingRequestType.PARITY_ROOT]: 39,
16
+ [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
19
  [ProvingRequestType.ROOT_ROLLUP]: 35,
20
- [ProvingRequestType.PUBLIC_CHONK_VERIFIER]: 0,
20
+ [ProvingRequestType.PUBLIC_CHONK_VERIFIER]: 60,
21
21
  [ProvingRequestType.PUBLIC_VM]: 0,
22
22
  };
23
23
 
24
24
  export const PROOF_DELAY_MS: Record<ProvingRequestType, number> = {
25
- [ProvingRequestType.PARITY_BASE]: 14_000,
25
+ [ProvingRequestType.PARITY_BASE]: 16_300,
26
26
  [ProvingRequestType.BLOCK_MERGE_ROLLUP]: 15_000,
27
- [ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP]: 55_000,
28
- [ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP]: 35_000,
29
- [ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP]: 4_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
30
  [ProvingRequestType.BLOCK_ROOT_ROLLUP]: 35_000,
31
31
  [ProvingRequestType.BLOCK_ROOT_SINGLE_TX_ROLLUP]: 15_000,
32
32
  [ProvingRequestType.CHECKPOINT_ROOT_ROLLUP]: 35_000,
33
- [ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP]: 35_000,
33
+ [ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP]: 38_800,
34
34
  [ProvingRequestType.CHECKPOINT_PADDING_ROLLUP]: 0,
35
- [ProvingRequestType.CHECKPOINT_MERGE_ROLLUP]: 9_000,
35
+ [ProvingRequestType.CHECKPOINT_MERGE_ROLLUP]: 9_760,
36
36
  [ProvingRequestType.TX_MERGE_ROLLUP]: 0,
37
- [ProvingRequestType.PRIVATE_TX_BASE_ROLLUP]: 145_000,
38
- [ProvingRequestType.PUBLIC_TX_BASE_ROLLUP]: 160_000,
39
- [ProvingRequestType.PARITY_ROOT]: 16_000,
40
- [ProvingRequestType.ROOT_ROLLUP]: 140_000,
41
- [ProvingRequestType.PUBLIC_CHONK_VERIFIER]: 30_000,
37
+ [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
42
  [ProvingRequestType.PUBLIC_VM]: 0,
43
43
  };
package/src/verification_key/verification_key_data.ts CHANGED
@@ -1,5 +1,5 @@
1
1
  import { AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED } from '@aztec/constants';
2
- import { Fr } from '@aztec/foundation/fields';
2
+ import { Fr } from '@aztec/foundation/curves/bn254';
3
3
  import { BufferReader } from '@aztec/foundation/serialize';
4
4
  import { VerificationKeyAsFields, VerificationKeyData } from '@aztec/stdlib/vks';
5
5