@aztec/bb-prover 3.0.0-nightly.20251125 → 3.0.0-nightly.20251126

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 (7) hide show
  1. package/dest/test/delay_values.js +13 -13
  2. package/dest/test/test_verifier.d.ts +2 -0
  3. package/dest/test/test_verifier.d.ts.map +1 -1
  4. package/dest/test/test_verifier.js +15 -0
  5. package/package.json +16 -16
  6. package/src/test/delay_values.ts +13 -13
  7. package/src/test/test_verifier.ts +8 -0
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]: 60,
4
- [ProvingRequestType.BLOCK_MERGE_ROLLUP]: 650,
3
+ [ProvingRequestType.PARITY_BASE]: 2000,
4
+ [ProvingRequestType.BLOCK_MERGE_ROLLUP]: 30,
5
5
  [ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP]: 60_000,
6
6
  [ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP]: 40_000,
7
- [ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP]: 20_000,
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]: 20_000,
11
+ [ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP]: 36_000,
12
12
  [ProvingRequestType.CHECKPOINT_PADDING_ROLLUP]: 0,
13
- [ProvingRequestType.CHECKPOINT_MERGE_ROLLUP]: 650,
13
+ [ProvingRequestType.CHECKPOINT_MERGE_ROLLUP]: 30,
14
14
  [ProvingRequestType.TX_MERGE_ROLLUP]: 0,
15
15
  [ProvingRequestType.PRIVATE_TX_BASE_ROLLUP]: 400_000,
16
16
  [ProvingRequestType.PUBLIC_TX_BASE_ROLLUP]: 470_000,
17
- [ProvingRequestType.PARITY_ROOT]: 100,
18
- [ProvingRequestType.ROOT_ROLLUP]: 650,
17
+ [ProvingRequestType.PARITY_ROOT]: 39,
18
+ [ProvingRequestType.ROOT_ROLLUP]: 35,
19
19
  [ProvingRequestType.PUBLIC_CHONK_VERIFIER]: 0,
20
20
  [ProvingRequestType.PUBLIC_VM]: 0
21
21
  };
22
22
  export const PROOF_DELAY_MS = {
23
- [ProvingRequestType.PARITY_BASE]: 3_000,
23
+ [ProvingRequestType.PARITY_BASE]: 14_000,
24
24
  [ProvingRequestType.BLOCK_MERGE_ROLLUP]: 15_000,
25
25
  [ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP]: 55_000,
26
26
  [ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP]: 35_000,
27
- [ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP]: 15_000,
27
+ [ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP]: 4_000,
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]: 15_000,
31
+ [ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP]: 35_000,
32
32
  [ProvingRequestType.CHECKPOINT_PADDING_ROLLUP]: 0,
33
- [ProvingRequestType.CHECKPOINT_MERGE_ROLLUP]: 15_000,
33
+ [ProvingRequestType.CHECKPOINT_MERGE_ROLLUP]: 9_000,
34
34
  [ProvingRequestType.TX_MERGE_ROLLUP]: 0,
35
35
  [ProvingRequestType.PRIVATE_TX_BASE_ROLLUP]: 145_000,
36
36
  [ProvingRequestType.PUBLIC_TX_BASE_ROLLUP]: 160_000,
37
- [ProvingRequestType.PARITY_ROOT]: 30_000,
38
- [ProvingRequestType.ROOT_ROLLUP]: 15_000,
37
+ [ProvingRequestType.PARITY_ROOT]: 16_000,
38
+ [ProvingRequestType.ROOT_ROLLUP]: 140_000,
39
39
  [ProvingRequestType.PUBLIC_CHONK_VERIFIER]: 30_000,
40
40
  [ProvingRequestType.PUBLIC_VM]: 0
41
41
  };
package/dest/test/test_verifier.d.ts CHANGED
@@ -1,6 +1,8 @@
1
1
  import type { ClientProtocolCircuitVerifier, IVCProofVerificationResult } from '@aztec/stdlib/interfaces/server';
2
2
  import type { Tx } from '@aztec/stdlib/tx';
3
3
  export declare class TestCircuitVerifier implements ClientProtocolCircuitVerifier {
4
+ private verificationDelayMs?;
5
+ constructor(verificationDelayMs?: number | undefined);
4
6
  verifyProof(_tx: Tx): Promise<IVCProofVerificationResult>;
5
7
  stop(): Promise<void>;
6
8
  }
package/dest/test/test_verifier.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"test_verifier.d.ts","sourceRoot":"","sources":["../../src/test/test_verifier.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,6BAA6B,EAAE,0BAA0B,EAAE,MAAM,iCAAiC,CAAC;AACjH,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAE3C,qBAAa,mBAAoB,YAAW,6BAA6B;IACvE,WAAW,CAAC,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,0BAA0B,CAAC;IAIlD,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;CAG7B"}
1
+ {"version":3,"file":"test_verifier.d.ts","sourceRoot":"","sources":["../../src/test/test_verifier.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,6BAA6B,EAAE,0BAA0B,EAAE,MAAM,iCAAiC,CAAC;AACjH,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAE3C,qBAAa,mBAAoB,YAAW,6BAA6B;IAC3D,OAAO,CAAC,mBAAmB,CAAC;gBAApB,mBAAmB,CAAC,EAAE,MAAM,YAAA;IAChD,WAAW,CAAC,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,0BAA0B,CAAC;IAWlD,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;CAG7B"}
package/dest/test/test_verifier.js CHANGED
@@ -1,5 +1,20 @@
1
1
  export class TestCircuitVerifier {
2
+ verificationDelayMs;
3
+ constructor(verificationDelayMs){
4
+ this.verificationDelayMs = verificationDelayMs;
5
+ }
2
6
  verifyProof(_tx) {
7
+ if (this.verificationDelayMs !== undefined && this.verificationDelayMs > 0) {
8
+ return new Promise((resolve)=>{
9
+ setTimeout(()=>{
10
+ resolve({
11
+ valid: true,
12
+ durationMs: this.verificationDelayMs,
13
+ totalDurationMs: this.verificationDelayMs
14
+ });
15
+ }, this.verificationDelayMs);
16
+ });
17
+ }
3
18
  return Promise.resolve({
4
19
  valid: true,
5
20
  durationMs: 0,
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@aztec/bb-prover",
3
- "version": "3.0.0-nightly.20251125",
3
+ "version": "3.0.0-nightly.20251126",
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.20251125",
73
- "@aztec/constants": "3.0.0-nightly.20251125",
74
- "@aztec/foundation": "3.0.0-nightly.20251125",
75
- "@aztec/noir-noirc_abi": "3.0.0-nightly.20251125",
76
- "@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20251125",
77
- "@aztec/noir-types": "3.0.0-nightly.20251125",
78
- "@aztec/simulator": "3.0.0-nightly.20251125",
79
- "@aztec/stdlib": "3.0.0-nightly.20251125",
80
- "@aztec/telemetry-client": "3.0.0-nightly.20251125",
81
- "@aztec/world-state": "3.0.0-nightly.20251125",
72
+ "@aztec/bb.js": "3.0.0-nightly.20251126",
73
+ "@aztec/constants": "3.0.0-nightly.20251126",
74
+ "@aztec/foundation": "3.0.0-nightly.20251126",
75
+ "@aztec/noir-noirc_abi": "3.0.0-nightly.20251126",
76
+ "@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20251126",
77
+ "@aztec/noir-types": "3.0.0-nightly.20251126",
78
+ "@aztec/simulator": "3.0.0-nightly.20251126",
79
+ "@aztec/stdlib": "3.0.0-nightly.20251126",
80
+ "@aztec/telemetry-client": "3.0.0-nightly.20251126",
81
+ "@aztec/world-state": "3.0.0-nightly.20251126",
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.20251125",
89
- "@aztec/kv-store": "3.0.0-nightly.20251125",
90
- "@aztec/noir-contracts.js": "3.0.0-nightly.20251125",
91
- "@aztec/noir-test-contracts.js": "3.0.0-nightly.20251125",
92
- "@aztec/protocol-contracts": "3.0.0-nightly.20251125",
88
+ "@aztec/ethereum": "3.0.0-nightly.20251126",
89
+ "@aztec/kv-store": "3.0.0-nightly.20251126",
90
+ "@aztec/noir-contracts.js": "3.0.0-nightly.20251126",
91
+ "@aztec/noir-test-contracts.js": "3.0.0-nightly.20251126",
92
+ "@aztec/protocol-contracts": "3.0.0-nightly.20251126",
93
93
  "@jest/globals": "^30.0.0",
94
94
  "@types/jest": "^30.0.0",
95
95
  "@types/node": "^22.15.17",
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]: 60,
5
- [ProvingRequestType.BLOCK_MERGE_ROLLUP]: 650,
4
+ [ProvingRequestType.PARITY_BASE]: 2000,
5
+ [ProvingRequestType.BLOCK_MERGE_ROLLUP]: 30,
6
6
  [ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP]: 60_000,
7
7
  [ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP]: 40_000,
8
- [ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP]: 20_000,
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]: 20_000,
12
+ [ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP]: 36_000,
13
13
  [ProvingRequestType.CHECKPOINT_PADDING_ROLLUP]: 0,
14
- [ProvingRequestType.CHECKPOINT_MERGE_ROLLUP]: 650,
14
+ [ProvingRequestType.CHECKPOINT_MERGE_ROLLUP]: 30,
15
15
  [ProvingRequestType.TX_MERGE_ROLLUP]: 0,
16
16
  [ProvingRequestType.PRIVATE_TX_BASE_ROLLUP]: 400_000,
17
17
  [ProvingRequestType.PUBLIC_TX_BASE_ROLLUP]: 470_000,
18
- [ProvingRequestType.PARITY_ROOT]: 100,
19
- [ProvingRequestType.ROOT_ROLLUP]: 650,
18
+ [ProvingRequestType.PARITY_ROOT]: 39,
19
+ [ProvingRequestType.ROOT_ROLLUP]: 35,
20
20
  [ProvingRequestType.PUBLIC_CHONK_VERIFIER]: 0,
21
21
  [ProvingRequestType.PUBLIC_VM]: 0,
22
22
  };
23
23
 
24
24
  export const PROOF_DELAY_MS: Record<ProvingRequestType, number> = {
25
- [ProvingRequestType.PARITY_BASE]: 3_000,
25
+ [ProvingRequestType.PARITY_BASE]: 14_000,
26
26
  [ProvingRequestType.BLOCK_MERGE_ROLLUP]: 15_000,
27
27
  [ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP]: 55_000,
28
28
  [ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP]: 35_000,
29
- [ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP]: 15_000,
29
+ [ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP]: 4_000,
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]: 15_000,
33
+ [ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP]: 35_000,
34
34
  [ProvingRequestType.CHECKPOINT_PADDING_ROLLUP]: 0,
35
- [ProvingRequestType.CHECKPOINT_MERGE_ROLLUP]: 15_000,
35
+ [ProvingRequestType.CHECKPOINT_MERGE_ROLLUP]: 9_000,
36
36
  [ProvingRequestType.TX_MERGE_ROLLUP]: 0,
37
37
  [ProvingRequestType.PRIVATE_TX_BASE_ROLLUP]: 145_000,
38
38
  [ProvingRequestType.PUBLIC_TX_BASE_ROLLUP]: 160_000,
39
- [ProvingRequestType.PARITY_ROOT]: 30_000,
40
- [ProvingRequestType.ROOT_ROLLUP]: 15_000,
39
+ [ProvingRequestType.PARITY_ROOT]: 16_000,
40
+ [ProvingRequestType.ROOT_ROLLUP]: 140_000,
41
41
  [ProvingRequestType.PUBLIC_CHONK_VERIFIER]: 30_000,
42
42
  [ProvingRequestType.PUBLIC_VM]: 0,
43
43
  };
package/src/test/test_verifier.ts CHANGED
@@ -2,7 +2,15 @@ import type { ClientProtocolCircuitVerifier, IVCProofVerificationResult } from '
2
2
  import type { Tx } from '@aztec/stdlib/tx';
3
3
 
4
4
  export class TestCircuitVerifier implements ClientProtocolCircuitVerifier {
5
+ constructor(private verificationDelayMs?: number) {}
5
6
  verifyProof(_tx: Tx): Promise<IVCProofVerificationResult> {
7
+ if (this.verificationDelayMs !== undefined && this.verificationDelayMs > 0) {
8
+ return new Promise(resolve => {
9
+ setTimeout(() => {
10
+ resolve({ valid: true, durationMs: this.verificationDelayMs!, totalDurationMs: this.verificationDelayMs! });
11
+ }, this.verificationDelayMs);
12
+ });
13
+ }
6
14
  return Promise.resolve({ valid: true, durationMs: 0, totalDurationMs: 0 });
7
15
  }
8
16