@aztec/bb-prover 3.0.0-nightly.20251024 → 3.0.0-nightly.20251025

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 (5) hide show
  1. package/dest/avm_proving_tests/avm_proving_tester.d.ts +3 -1
  2. package/dest/avm_proving_tests/avm_proving_tester.d.ts.map +1 -1
  3. package/dest/avm_proving_tests/avm_proving_tester.js +2 -3
  4. package/package.json +16 -16
  5. package/src/avm_proving_tests/avm_proving_tester.ts +7 -2
package/dest/avm_proving_tests/avm_proving_tester.d.ts CHANGED
@@ -4,12 +4,14 @@ import { type AvmCircuitInputs, AvmCircuitPublicInputs } from '@aztec/stdlib/avm
4
4
  import { AztecAddress } from '@aztec/stdlib/aztec-address';
5
5
  import type { MerkleTreeWriteOperations } from '@aztec/stdlib/interfaces/server';
6
6
  import type { GlobalVariables } from '@aztec/stdlib/tx';
7
+ import { NativeWorldStateService } from '@aztec/world-state';
7
8
  import { type BBResult, type BBSuccess } from '../bb/execute.js';
8
9
  export declare class AvmProvingTester extends PublicTxSimulationTester {
9
10
  private checkCircuitOnly;
10
11
  private bbWorkingDirectory;
11
12
  constructor(checkCircuitOnly: boolean, contractDataSource: SimpleContractDataSource, merkleTrees: MerkleTreeWriteOperations, globals?: GlobalVariables, metrics?: TestExecutorMetrics);
12
- static new(checkCircuitOnly?: boolean, globals?: GlobalVariables, metrics?: TestExecutorMetrics): Promise<AvmProvingTester>;
13
+ static new(worldStateService: NativeWorldStateService, // make sure to close this later
14
+ checkCircuitOnly?: boolean, globals?: GlobalVariables, metrics?: TestExecutorMetrics): Promise<AvmProvingTester>;
13
15
  prove(avmCircuitInputs: AvmCircuitInputs, txLabel?: string): Promise<BBResult>;
14
16
  verify(proofRes: BBSuccess, publicInputs: AvmCircuitPublicInputs): Promise<BBResult>;
15
17
  proveVerify(avmCircuitInputs: AvmCircuitInputs, txLabel?: string): Promise<void>;
package/dest/avm_proving_tests/avm_proving_tester.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"avm_proving_tester.d.ts","sourceRoot":"","sources":["../../src/avm_proving_tests/avm_proving_tester.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,wBAAwB,EACxB,wBAAwB,EACxB,KAAK,gBAAgB,EACrB,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC3B,MAAM,kCAAkC,CAAC;AAC1C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,EAAE,KAAK,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AACjF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAOxD,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,SAAS,EAKf,MAAM,kBAAkB,CAAC;AA+D1B,qBAAa,gBAAiB,SAAQ,wBAAwB;IAI1D,OAAO,CAAC,gBAAgB;IAH1B,OAAO,CAAC,kBAAkB,CAAc;gBAG9B,gBAAgB,EAAE,OAAO,EACjC,kBAAkB,EAAE,wBAAwB,EAC5C,WAAW,EAAE,yBAAyB,EACtC,OAAO,CAAC,EAAE,eAAe,EACzB,OAAO,CAAC,EAAE,mBAAmB;WAKlB,GAAG,CAAC,gBAAgB,GAAE,OAAe,EAAE,OAAO,CAAC,EAAE,eAAe,EAAE,OAAO,CAAC,EAAE,mBAAmB;IAMtG,KAAK,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,OAAO,GAAE,MAAsB,GAAG,OAAO,CAAC,QAAQ,CAAC;IA+D7F,MAAM,CAAC,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,sBAAsB,GAAG,OAAO,CAAC,QAAQ,CAAC;IAiB7E,WAAW,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,OAAO,GAAE,MAAsB;IAQ/E,cAAc,CACzB,MAAM,EAAE,YAAY,EACpB,UAAU,EAAE,gBAAgB,EAAE,EAC9B,QAAQ,EAAE,gBAAgB,EAAE,EAC5B,YAAY,EAAE,gBAAgB,GAAG,SAAS,EAC1C,YAAY,EAAE,OAAO,GAAG,SAAS,EACjC,QAAQ,eAAS,EACjB,iBAAiB,CAAC,EAAE,qBAAqB,EACzC,OAAO,GAAE,MAAsB,EAC/B,kBAAkB,GAAE,OAAe,GAClC,OAAO,CAAC,cAAc,CAAC;IAyBJ,kBAAkB,CACtC,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,YAAY,EACpB,UAAU,CAAC,EAAE,gBAAgB,EAAE,EAC/B,QAAQ,CAAC,EAAE,gBAAgB,EAAE,EAC7B,YAAY,CAAC,EAAE,gBAAgB,EAC/B,QAAQ,CAAC,EAAE,YAAY,EACvB,iBAAiB,CAAC,EAAE,qBAAqB;IAe9B,sBAAsB,CACjC,OAAO,EAAE,gBAAgB,EACzB,YAAY,CAAC,EAAE,OAAO,EACtB,OAAO,GAAE,MAAsB;CAalC"}
1
+ {"version":3,"file":"avm_proving_tester.d.ts","sourceRoot":"","sources":["../../src/avm_proving_tests/avm_proving_tester.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,wBAAwB,EACxB,wBAAwB,EACxB,KAAK,gBAAgB,EACrB,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC3B,MAAM,kCAAkC,CAAC;AAC1C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,EAAE,KAAK,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AACjF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAM7D,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,SAAS,EAKf,MAAM,kBAAkB,CAAC;AA+D1B,qBAAa,gBAAiB,SAAQ,wBAAwB;IAI1D,OAAO,CAAC,gBAAgB;IAH1B,OAAO,CAAC,kBAAkB,CAAc;gBAG9B,gBAAgB,EAAE,OAAO,EACjC,kBAAkB,EAAE,wBAAwB,EAC5C,WAAW,EAAE,yBAAyB,EACtC,OAAO,CAAC,EAAE,eAAe,EACzB,OAAO,CAAC,EAAE,mBAAmB;WAKlB,GAAG,CACd,iBAAiB,EAAE,uBAAuB,EAAE,gCAAgC;IAC5E,gBAAgB,GAAE,OAAe,EACjC,OAAO,CAAC,EAAE,eAAe,EACzB,OAAO,CAAC,EAAE,mBAAmB;IAOzB,KAAK,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,OAAO,GAAE,MAAsB,GAAG,OAAO,CAAC,QAAQ,CAAC;IA+D7F,MAAM,CAAC,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,sBAAsB,GAAG,OAAO,CAAC,QAAQ,CAAC;IAiB7E,WAAW,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,OAAO,GAAE,MAAsB;IAQ/E,cAAc,CACzB,MAAM,EAAE,YAAY,EACpB,UAAU,EAAE,gBAAgB,EAAE,EAC9B,QAAQ,EAAE,gBAAgB,EAAE,EAC5B,YAAY,EAAE,gBAAgB,GAAG,SAAS,EAC1C,YAAY,EAAE,OAAO,GAAG,SAAS,EACjC,QAAQ,eAAS,EACjB,iBAAiB,CAAC,EAAE,qBAAqB,EACzC,OAAO,GAAE,MAAsB,EAC/B,kBAAkB,GAAE,OAAe,GAClC,OAAO,CAAC,cAAc,CAAC;IAyBJ,kBAAkB,CACtC,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,YAAY,EACpB,UAAU,CAAC,EAAE,gBAAgB,EAAE,EAC/B,QAAQ,CAAC,EAAE,gBAAgB,EAAE,EAC7B,YAAY,CAAC,EAAE,gBAAgB,EAC/B,QAAQ,CAAC,EAAE,YAAY,EACvB,iBAAiB,CAAC,EAAE,qBAAqB;IAe9B,sBAAsB,CACjC,OAAO,EAAE,gBAAgB,EACzB,YAAY,CAAC,EAAE,OAAO,EACtB,OAAO,GAAE,MAAsB;CAalC"}
package/dest/avm_proving_tests/avm_proving_tester.js CHANGED
@@ -1,7 +1,6 @@
1
1
  import { Timer } from '@aztec/foundation/timer';
2
2
  import { PublicTxSimulationTester, SimpleContractDataSource } from '@aztec/simulator/public/fixtures';
3
3
  import { AztecAddress } from '@aztec/stdlib/aztec-address';
4
- import { NativeWorldStateService } from '@aztec/world-state';
5
4
  import fs from 'node:fs/promises';
6
5
  import { tmpdir } from 'node:os';
7
6
  import path from 'path';
@@ -64,9 +63,9 @@ export class AvmProvingTester extends PublicTxSimulationTester {
64
63
  constructor(checkCircuitOnly, contractDataSource, merkleTrees, globals, metrics){
65
64
  super(merkleTrees, contractDataSource, globals, metrics), this.checkCircuitOnly = checkCircuitOnly, this.bbWorkingDirectory = '';
66
65
  }
67
- static async new(checkCircuitOnly = false, globals, metrics) {
66
+ static async new(worldStateService, checkCircuitOnly = false, globals, metrics) {
68
67
  const contractDataSource = new SimpleContractDataSource();
69
- const merkleTrees = await (await NativeWorldStateService.tmp()).fork();
68
+ const merkleTrees = await worldStateService.fork();
70
69
  return new AvmProvingTester(checkCircuitOnly, contractDataSource, merkleTrees, globals, metrics);
71
70
  }
72
71
  async prove(avmCircuitInputs, txLabel = 'unlabeledTx') {
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@aztec/bb-prover",
3
- "version": "3.0.0-nightly.20251024",
3
+ "version": "3.0.0-nightly.20251025",
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.20251024",
73
- "@aztec/constants": "3.0.0-nightly.20251024",
74
- "@aztec/foundation": "3.0.0-nightly.20251024",
75
- "@aztec/noir-noirc_abi": "3.0.0-nightly.20251024",
76
- "@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20251024",
77
- "@aztec/noir-types": "3.0.0-nightly.20251024",
78
- "@aztec/simulator": "3.0.0-nightly.20251024",
79
- "@aztec/stdlib": "3.0.0-nightly.20251024",
80
- "@aztec/telemetry-client": "3.0.0-nightly.20251024",
81
- "@aztec/world-state": "3.0.0-nightly.20251024",
72
+ "@aztec/bb.js": "3.0.0-nightly.20251025",
73
+ "@aztec/constants": "3.0.0-nightly.20251025",
74
+ "@aztec/foundation": "3.0.0-nightly.20251025",
75
+ "@aztec/noir-noirc_abi": "3.0.0-nightly.20251025",
76
+ "@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20251025",
77
+ "@aztec/noir-types": "3.0.0-nightly.20251025",
78
+ "@aztec/simulator": "3.0.0-nightly.20251025",
79
+ "@aztec/stdlib": "3.0.0-nightly.20251025",
80
+ "@aztec/telemetry-client": "3.0.0-nightly.20251025",
81
+ "@aztec/world-state": "3.0.0-nightly.20251025",
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.20251024",
89
- "@aztec/kv-store": "3.0.0-nightly.20251024",
90
- "@aztec/noir-contracts.js": "3.0.0-nightly.20251024",
91
- "@aztec/noir-test-contracts.js": "3.0.0-nightly.20251024",
92
- "@aztec/protocol-contracts": "3.0.0-nightly.20251024",
88
+ "@aztec/ethereum": "3.0.0-nightly.20251025",
89
+ "@aztec/kv-store": "3.0.0-nightly.20251025",
90
+ "@aztec/noir-contracts.js": "3.0.0-nightly.20251025",
91
+ "@aztec/noir-test-contracts.js": "3.0.0-nightly.20251025",
92
+ "@aztec/protocol-contracts": "3.0.0-nightly.20251025",
93
93
  "@jest/globals": "^30.0.0",
94
94
  "@types/jest": "^30.0.0",
95
95
  "@types/node": "^22.15.17",
package/src/avm_proving_tests/avm_proving_tester.ts CHANGED
@@ -101,9 +101,14 @@ export class AvmProvingTester extends PublicTxSimulationTester {
101
101
  super(merkleTrees, contractDataSource, globals, metrics);
102
102
  }
103
103
 
104
- static async new(checkCircuitOnly: boolean = false, globals?: GlobalVariables, metrics?: TestExecutorMetrics) {
104
+ static async new(
105
+ worldStateService: NativeWorldStateService, // make sure to close this later
106
+ checkCircuitOnly: boolean = false,
107
+ globals?: GlobalVariables,
108
+ metrics?: TestExecutorMetrics,
109
+ ) {
105
110
  const contractDataSource = new SimpleContractDataSource();
106
- const merkleTrees = await (await NativeWorldStateService.tmp()).fork();
111
+ const merkleTrees = await worldStateService.fork();
107
112
  return new AvmProvingTester(checkCircuitOnly, contractDataSource, merkleTrees, globals, metrics);
108
113
  }
109
114