@aztec/bb-prover 3.0.0-nightly.20251003 → 3.0.0-nightly.20251004

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 +1 -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 +5 -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
@@ -13,7 +13,7 @@ export declare class AvmProvingTester extends PublicTxSimulationTester {
13
13
  prove(avmCircuitInputs: AvmCircuitInputs, txLabel?: string): Promise<BBResult>;
14
14
  verify(proofRes: BBSuccess, publicInputs: AvmCircuitPublicInputs): Promise<BBResult>;
15
15
  proveVerify(avmCircuitInputs: AvmCircuitInputs, txLabel?: string): Promise<void>;
16
- simProveVerify(sender: AztecAddress, setupCalls: TestEnqueuedCall[], appCalls: TestEnqueuedCall[], teardownCall: TestEnqueuedCall | undefined, expectRevert: boolean | undefined, feePayer?: AztecAddress, privateInsertions?: TestPrivateInsertions, txLabel?: string): Promise<PublicTxResult>;
16
+ simProveVerify(sender: AztecAddress, setupCalls: TestEnqueuedCall[], appCalls: TestEnqueuedCall[], teardownCall: TestEnqueuedCall | undefined, expectRevert: boolean | undefined, feePayer?: AztecAddress, privateInsertions?: TestPrivateInsertions, txLabel?: string, disableRevertCheck?: boolean): Promise<PublicTxResult>;
17
17
  executeTxWithLabel(txLabel: string, sender: AztecAddress, setupCalls?: TestEnqueuedCall[], appCalls?: TestEnqueuedCall[], teardownCall?: TestEnqueuedCall, feePayer?: AztecAddress, privateInsertions?: TestPrivateInsertions): Promise<PublicTxResult>;
18
18
  simProveVerifyAppLogic(appCall: TestEnqueuedCall, expectRevert?: boolean, txLabel?: string): Promise<void>;
19
19
  }
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,GAC9B,OAAO,CAAC,cAAc,CAAC;IAsBJ,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;IAc9B,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;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"}
package/dest/avm_proving_tests/avm_proving_tester.js CHANGED
@@ -133,9 +133,11 @@ export class AvmProvingTester extends PublicTxSimulationTester {
133
133
  const verificationRes = await this.verify(provingRes, avmCircuitInputs.publicInputs);
134
134
  expect(verificationRes.status).toBe(BB_RESULT.SUCCESS);
135
135
  }
136
- async simProveVerify(sender, setupCalls, appCalls, teardownCall, expectRevert, feePayer = sender, privateInsertions, txLabel = 'unlabeledTx') {
136
+ async simProveVerify(sender, setupCalls, appCalls, teardownCall, expectRevert, feePayer = sender, privateInsertions, txLabel = 'unlabeledTx', disableRevertCheck = false) {
137
137
  const simRes = await this.simulateTx(sender, setupCalls, appCalls, teardownCall, feePayer, privateInsertions, txLabel);
138
- expect(simRes.revertCode.isOK()).toBe(expectRevert ? false : true);
138
+ if (!disableRevertCheck) {
139
+ expect(simRes.revertCode.isOK()).toBe(expectRevert ? false : true);
140
+ }
139
141
  const opString = this.checkCircuitOnly ? 'Check circuit' : 'Proving and verification';
140
142
  const avmCircuitInputs = simRes.avmProvingRequest.inputs;
141
143
  const timer = new Timer();
@@ -144,7 +146,7 @@ export class AvmProvingTester extends PublicTxSimulationTester {
144
146
  return simRes;
145
147
  }
146
148
  async executeTxWithLabel(txLabel, sender, setupCalls, appCalls, teardownCall, feePayer, privateInsertions) {
147
- return await this.simProveVerify(sender, setupCalls ?? [], appCalls ?? [], teardownCall, /*expectRevert=*/ false, feePayer, privateInsertions, txLabel);
149
+ return await this.simProveVerify(sender, setupCalls ?? [], appCalls ?? [], teardownCall, undefined, feePayer, privateInsertions, txLabel, true);
148
150
  }
149
151
  async simProveVerifyAppLogic(appCall, expectRevert, txLabel = 'unlabeledTx') {
150
152
  await this.simProveVerify(/*sender=*/ AztecAddress.fromNumber(42), /*setupCalls=*/ [], [
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@aztec/bb-prover",
3
- "version": "3.0.0-nightly.20251003",
3
+ "version": "3.0.0-nightly.20251004",
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.20251003",
73
- "@aztec/constants": "3.0.0-nightly.20251003",
74
- "@aztec/foundation": "3.0.0-nightly.20251003",
75
- "@aztec/noir-noirc_abi": "3.0.0-nightly.20251003",
76
- "@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20251003",
77
- "@aztec/noir-types": "3.0.0-nightly.20251003",
78
- "@aztec/simulator": "3.0.0-nightly.20251003",
79
- "@aztec/stdlib": "3.0.0-nightly.20251003",
80
- "@aztec/telemetry-client": "3.0.0-nightly.20251003",
81
- "@aztec/world-state": "3.0.0-nightly.20251003",
72
+ "@aztec/bb.js": "3.0.0-nightly.20251004",
73
+ "@aztec/constants": "3.0.0-nightly.20251004",
74
+ "@aztec/foundation": "3.0.0-nightly.20251004",
75
+ "@aztec/noir-noirc_abi": "3.0.0-nightly.20251004",
76
+ "@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20251004",
77
+ "@aztec/noir-types": "3.0.0-nightly.20251004",
78
+ "@aztec/simulator": "3.0.0-nightly.20251004",
79
+ "@aztec/stdlib": "3.0.0-nightly.20251004",
80
+ "@aztec/telemetry-client": "3.0.0-nightly.20251004",
81
+ "@aztec/world-state": "3.0.0-nightly.20251004",
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.20251003",
89
- "@aztec/kv-store": "3.0.0-nightly.20251003",
90
- "@aztec/noir-contracts.js": "3.0.0-nightly.20251003",
91
- "@aztec/noir-test-contracts.js": "3.0.0-nightly.20251003",
92
- "@aztec/protocol-contracts": "3.0.0-nightly.20251003",
88
+ "@aztec/ethereum": "3.0.0-nightly.20251004",
89
+ "@aztec/kv-store": "3.0.0-nightly.20251004",
90
+ "@aztec/noir-contracts.js": "3.0.0-nightly.20251004",
91
+ "@aztec/noir-test-contracts.js": "3.0.0-nightly.20251004",
92
+ "@aztec/protocol-contracts": "3.0.0-nightly.20251004",
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
@@ -204,6 +204,7 @@ export class AvmProvingTester extends PublicTxSimulationTester {
204
204
  feePayer = sender,
205
205
  privateInsertions?: TestPrivateInsertions,
206
206
  txLabel: string = 'unlabeledTx',
207
+ disableRevertCheck: boolean = false,
207
208
  ): Promise<PublicTxResult> {
208
209
  const simRes = await this.simulateTx(
209
210
  sender,
@@ -214,7 +215,10 @@ export class AvmProvingTester extends PublicTxSimulationTester {
214
215
  privateInsertions,
215
216
  txLabel,
216
217
  );
217
- expect(simRes.revertCode.isOK()).toBe(expectRevert ? false : true);
218
+
219
+ if (!disableRevertCheck) {
220
+ expect(simRes.revertCode.isOK()).toBe(expectRevert ? false : true);
221
+ }
218
222
 
219
223
  const opString = this.checkCircuitOnly ? 'Check circuit' : 'Proving and verification';
220
224
 
@@ -240,10 +244,11 @@ export class AvmProvingTester extends PublicTxSimulationTester {
240
244
  setupCalls ?? [],
241
245
  appCalls ?? [],
242
246
  teardownCall,
243
- /*expectRevert=*/ false,
247
+ undefined,
244
248
  feePayer,
245
249
  privateInsertions,
246
250
  txLabel,
251
+ true,
247
252
  );
248
253
  }
249
254