@aztec/bb-prover 3.0.0-nightly.20251208 → 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 (15) 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 +1 -0
  4. package/dest/bb/execute.js +1 -1
  5. package/dest/prover/proof_utils.js +1 -1
  6. package/dest/prover/server/bb_prover.js +1 -1
  7. package/dest/test/delay_values.js +19 -19
  8. package/dest/verification_key/verification_key_data.js +1 -1
  9. package/package.json +16 -16
  10. package/src/avm_proving_tests/avm_proving_tester.ts +2 -1
  11. package/src/bb/execute.ts +1 -1
  12. package/src/prover/proof_utils.ts +1 -1
  13. package/src/prover/server/bb_prover.ts +1 -1
  14. package/src/test/delay_values.ts +19 -19
  15. package/src/verification_key/verification_key_data.ts +1 -1
package/dest/avm_proving_tests/avm_proving_tester.d.ts CHANGED
@@ -18,4 +18,4 @@ export declare class AvmProvingTester extends PublicTxSimulationTester {
18
18
  executeTxWithLabel(txLabel: string, sender: AztecAddress, setupCalls?: TestEnqueuedCall[], appCalls?: TestEnqueuedCall[], teardownCall?: TestEnqueuedCall, feePayer?: AztecAddress, privateInsertions?: TestPrivateInsertions): Promise<PublicTxResult>;
19
19
  simProveVerifyAppLogic(appCall: TestEnqueuedCall, expectRevert?: boolean, txLabel?: string): Promise<void>;
20
20
  }
21
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX3Byb3ZpbmdfdGVzdGVyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvYXZtX3Byb3ZpbmdfdGVzdHMvYXZtX3Byb3ZpbmdfdGVzdGVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUVBLE9BQU8sRUFDTCx3QkFBd0IsRUFDeEIsd0JBQXdCLEVBQ3hCLEtBQUssZ0JBQWdCLEVBQ3JCLEtBQUssbUJBQW1CLEVBQ3hCLEtBQUsscUJBQXFCLEVBQzNCLE1BQU0sa0NBQWtDLENBQUM7QUFDMUMsT0FBTyxLQUFLLEVBQUUsY0FBYyxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDOUQsT0FBTyxFQUFFLGdCQUFnQixFQUFFLHNCQUFzQixFQUF5QixNQUFNLG1CQUFtQixDQUFDO0FBQ3BHLE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUMzRCxPQUFPLEtBQUssRUFBRSx5QkFBeUIsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQ2pGLE9BQU8sS0FBSyxFQUFFLGVBQWUsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBQ3hELE9BQU8sRUFBRSx1QkFBdUIsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBTTdELE9BQU8sRUFDTCxLQUFLLFFBQVEsRUFDYixLQUFLLFNBQVMsRUFLZixNQUFNLGtCQUFrQixDQUFDO0FBd0UxQixxQkFBYSxnQkFBaUIsU0FBUSx3QkFBd0I7SUFJMUQsT0FBTyxDQUFDLGdCQUFnQjtJQUgxQixPQUFPLENBQUMsa0JBQWtCLENBQWM7SUFFeEMsWUFDVSxnQkFBZ0IsRUFBRSxPQUFPLEVBQ2pDLGtCQUFrQixFQUFFLHdCQUF3QixFQUM1QyxXQUFXLEVBQUUseUJBQXlCLEVBQ3RDLE9BQU8sQ0FBQyxFQUFFLGVBQWUsRUFDekIsT0FBTyxDQUFDLEVBQUUsbUJBQW1CLEVBSTlCO0lBRUQsT0FBYSxHQUFHLENBQ2QsaUJBQWlCLEVBQUUsdUJBQXVCLEVBQzFDLGdCQUFnQixHQUFFLE9BQWUsRUFDakMsT0FBTyxDQUFDLEVBQUUsZUFBZSxFQUN6QixPQUFPLENBQUMsRUFBRSxtQkFBbUIsNkJBSzlCO0lBRUssS0FBSyxDQUFDLGdCQUFnQixFQUFFLGdCQUFnQixFQUFFLE9BQU8sR0FBRSxNQUFzQixHQUFHLE9BQU8sQ0FBQyxRQUFRLENBQUMsQ0E2RGxHO0lBRUssTUFBTSxDQUFDLFFBQVEsRUFBRSxTQUFTLEVBQUUsWUFBWSxFQUFFLHNCQUFzQixHQUFHLE9BQU8sQ0FBQyxRQUFRLENBQUMsQ0FlekY7SUFFWSxXQUFXLENBQUMsZ0JBQWdCLEVBQUUsZ0JBQWdCLEVBQUUsT0FBTyxHQUFFLE1BQXNCLGlCQU0zRjtJQUVZLGNBQWMsQ0FDekIsTUFBTSxFQUFFLFlBQVksRUFDcEIsVUFBVSxFQUFFLGdCQUFnQixFQUFFLEVBQzlCLFFBQVEsRUFBRSxnQkFBZ0IsRUFBRSxFQUM1QixZQUFZLEVBQUUsZ0JBQWdCLEdBQUcsU0FBUyxFQUMxQyxZQUFZLEVBQUUsT0FBTyxHQUFHLFNBQVMsRUFDakMsUUFBUSxlQUFTLEVBQ2pCLGlCQUFpQixDQUFDLEVBQUUscUJBQXFCLEVBQ3pDLE9BQU8sR0FBRSxNQUFzQixFQUMvQixrQkFBa0IsR0FBRSxPQUFlLEdBQ2xDLE9BQU8sQ0FBQyxjQUFjLENBQUMsQ0F1QnpCO0lBRXFCLGtCQUFrQixDQUN0QyxPQUFPLEVBQUUsTUFBTSxFQUNmLE1BQU0sRUFBRSxZQUFZLEVBQ3BCLFVBQVUsQ0FBQyxFQUFFLGdCQUFnQixFQUFFLEVBQy9CLFFBQVEsQ0FBQyxFQUFFLGdCQUFnQixFQUFFLEVBQzdCLFlBQVksQ0FBQyxFQUFFLGdCQUFnQixFQUMvQixRQUFRLENBQUMsRUFBRSxZQUFZLEVBQ3ZCLGlCQUFpQixDQUFDLEVBQUUscUJBQXFCLDJCQWExQztJQUVZLHNCQUFzQixDQUNqQyxPQUFPLEVBQUUsZ0JBQWdCLEVBQ3pCLFlBQVksQ0FBQyxFQUFFLE9BQU8sRUFDdEIsT0FBTyxHQUFFLE1BQXNCLGlCQVloQztDQUNGIn0=
21
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX3Byb3ZpbmdfdGVzdGVyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvYXZtX3Byb3ZpbmdfdGVzdHMvYXZtX3Byb3ZpbmdfdGVzdGVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUVBLE9BQU8sRUFDTCx3QkFBd0IsRUFDeEIsd0JBQXdCLEVBQ3hCLEtBQUssZ0JBQWdCLEVBQ3JCLEtBQUssbUJBQW1CLEVBQ3hCLEtBQUsscUJBQXFCLEVBQzNCLE1BQU0sa0NBQWtDLENBQUM7QUFDMUMsT0FBTyxLQUFLLEVBQUUsY0FBYyxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDOUQsT0FBTyxFQUFFLGdCQUFnQixFQUFFLHNCQUFzQixFQUF5QixNQUFNLG1CQUFtQixDQUFDO0FBQ3BHLE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUMzRCxPQUFPLEtBQUssRUFBRSx5QkFBeUIsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQ2pGLE9BQU8sS0FBSyxFQUFFLGVBQWUsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBQ3hELE9BQU8sRUFBRSx1QkFBdUIsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBTTdELE9BQU8sRUFDTCxLQUFLLFFBQVEsRUFDYixLQUFLLFNBQVMsRUFLZixNQUFNLGtCQUFrQixDQUFDO0FBeUUxQixxQkFBYSxnQkFBaUIsU0FBUSx3QkFBd0I7SUFJMUQsT0FBTyxDQUFDLGdCQUFnQjtJQUgxQixPQUFPLENBQUMsa0JBQWtCLENBQWM7SUFFeEMsWUFDVSxnQkFBZ0IsRUFBRSxPQUFPLEVBQ2pDLGtCQUFrQixFQUFFLHdCQUF3QixFQUM1QyxXQUFXLEVBQUUseUJBQXlCLEVBQ3RDLE9BQU8sQ0FBQyxFQUFFLGVBQWUsRUFDekIsT0FBTyxDQUFDLEVBQUUsbUJBQW1CLEVBSTlCO0lBRUQsT0FBYSxHQUFHLENBQ2QsaUJBQWlCLEVBQUUsdUJBQXVCLEVBQzFDLGdCQUFnQixHQUFFLE9BQWUsRUFDakMsT0FBTyxDQUFDLEVBQUUsZUFBZSxFQUN6QixPQUFPLENBQUMsRUFBRSxtQkFBbUIsNkJBSzlCO0lBRUssS0FBSyxDQUFDLGdCQUFnQixFQUFFLGdCQUFnQixFQUFFLE9BQU8sR0FBRSxNQUFzQixHQUFHLE9BQU8sQ0FBQyxRQUFRLENBQUMsQ0E2RGxHO0lBRUssTUFBTSxDQUFDLFFBQVEsRUFBRSxTQUFTLEVBQUUsWUFBWSxFQUFFLHNCQUFzQixHQUFHLE9BQU8sQ0FBQyxRQUFRLENBQUMsQ0FlekY7SUFFWSxXQUFXLENBQUMsZ0JBQWdCLEVBQUUsZ0JBQWdCLEVBQUUsT0FBTyxHQUFFLE1BQXNCLGlCQU0zRjtJQUVZLGNBQWMsQ0FDekIsTUFBTSxFQUFFLFlBQVksRUFDcEIsVUFBVSxFQUFFLGdCQUFnQixFQUFFLEVBQzlCLFFBQVEsRUFBRSxnQkFBZ0IsRUFBRSxFQUM1QixZQUFZLEVBQUUsZ0JBQWdCLEdBQUcsU0FBUyxFQUMxQyxZQUFZLEVBQUUsT0FBTyxHQUFHLFNBQVMsRUFDakMsUUFBUSxlQUFTLEVBQ2pCLGlCQUFpQixDQUFDLEVBQUUscUJBQXFCLEVBQ3pDLE9BQU8sR0FBRSxNQUFzQixFQUMvQixrQkFBa0IsR0FBRSxPQUFlLEdBQ2xDLE9BQU8sQ0FBQyxjQUFjLENBQUMsQ0F1QnpCO0lBRXFCLGtCQUFrQixDQUN0QyxPQUFPLEVBQUUsTUFBTSxFQUNmLE1BQU0sRUFBRSxZQUFZLEVBQ3BCLFVBQVUsQ0FBQyxFQUFFLGdCQUFnQixFQUFFLEVBQy9CLFFBQVEsQ0FBQyxFQUFFLGdCQUFnQixFQUFFLEVBQzdCLFlBQVksQ0FBQyxFQUFFLGdCQUFnQixFQUMvQixRQUFRLENBQUMsRUFBRSxZQUFZLEVBQ3ZCLGlCQUFpQixDQUFDLEVBQUUscUJBQXFCLDJCQWExQztJQUVZLHNCQUFzQixDQUNqQyxPQUFPLEVBQUUsZ0JBQWdCLEVBQ3pCLFlBQVksQ0FBQyxFQUFFLE9BQU8sRUFDdEIsT0FBTyxHQUFFLE1BQXNCLGlCQVloQztDQUNGIn0=
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,gBAAgB,EAAE,sBAAsB,EAAyB,MAAM,mBAAmB,CAAC;AACpG,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;AAwE1B,qBAAa,gBAAiB,SAAQ,wBAAwB;IAI1D,OAAO,CAAC,gBAAgB;IAH1B,OAAO,CAAC,kBAAkB,CAAc;IAExC,YACU,gBAAgB,EAAE,OAAO,EACjC,kBAAkB,EAAE,wBAAwB,EAC5C,WAAW,EAAE,yBAAyB,EACtC,OAAO,CAAC,EAAE,eAAe,EACzB,OAAO,CAAC,EAAE,mBAAmB,EAI9B;IAED,OAAa,GAAG,CACd,iBAAiB,EAAE,uBAAuB,EAC1C,gBAAgB,GAAE,OAAe,EACjC,OAAO,CAAC,EAAE,eAAe,EACzB,OAAO,CAAC,EAAE,mBAAmB,6BAK9B;IAEK,KAAK,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,OAAO,GAAE,MAAsB,GAAG,OAAO,CAAC,QAAQ,CAAC,CA6DlG;IAEK,MAAM,CAAC,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,sBAAsB,GAAG,OAAO,CAAC,QAAQ,CAAC,CAezF;IAEY,WAAW,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,OAAO,GAAE,MAAsB,iBAM3F;IAEY,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,CAuBzB;IAEqB,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,2BAa1C;IAEY,sBAAsB,CACjC,OAAO,EAAE,gBAAgB,EACzB,YAAY,CAAC,EAAE,OAAO,EACtB,OAAO,GAAE,MAAsB,iBAYhC;CACF"}
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,gBAAgB,EAAE,sBAAsB,EAAyB,MAAM,mBAAmB,CAAC;AACpG,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;AAyE1B,qBAAa,gBAAiB,SAAQ,wBAAwB;IAI1D,OAAO,CAAC,gBAAgB;IAH1B,OAAO,CAAC,kBAAkB,CAAc;IAExC,YACU,gBAAgB,EAAE,OAAO,EACjC,kBAAkB,EAAE,wBAAwB,EAC5C,WAAW,EAAE,yBAAyB,EACtC,OAAO,CAAC,EAAE,eAAe,EACzB,OAAO,CAAC,EAAE,mBAAmB,EAI9B;IAED,OAAa,GAAG,CACd,iBAAiB,EAAE,uBAAuB,EAC1C,gBAAgB,GAAE,OAAe,EACjC,OAAO,CAAC,EAAE,eAAe,EACzB,OAAO,CAAC,EAAE,mBAAmB,6BAK9B;IAEK,KAAK,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,OAAO,GAAE,MAAsB,GAAG,OAAO,CAAC,QAAQ,CAAC,CA6DlG;IAEK,MAAM,CAAC,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,sBAAsB,GAAG,OAAO,CAAC,QAAQ,CAAC,CAezF;IAEY,WAAW,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,OAAO,GAAE,MAAsB,iBAM3F;IAEY,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,CAuBzB;IAEqB,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,2BAa1C;IAEY,sBAAsB,CACjC,OAAO,EAAE,gBAAgB,EACzB,YAAY,CAAC,EAAE,OAAO,EACtB,OAAO,GAAE,MAAsB,iBAYhC;CACF"}
package/dest/avm_proving_tests/avm_proving_tester.js CHANGED
@@ -64,6 +64,7 @@ const provingConfig = PublicSimulatorConfig.from({
64
64
  collectCallMetadata: true,
65
65
  collectDebugLogs: false,
66
66
  collectHints: true,
67
+ collectPublicInputs: true,
67
68
  collectStatistics: false
68
69
  });
69
70
  export class AvmProvingTester extends PublicTxSimulationTester {
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.20251208",
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.20251208",
73
- "@aztec/constants": "3.0.0-nightly.20251208",
74
- "@aztec/foundation": "3.0.0-nightly.20251208",
75
- "@aztec/noir-noirc_abi": "3.0.0-nightly.20251208",
76
- "@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20251208",
77
- "@aztec/noir-types": "3.0.0-nightly.20251208",
78
- "@aztec/simulator": "3.0.0-nightly.20251208",
79
- "@aztec/stdlib": "3.0.0-nightly.20251208",
80
- "@aztec/telemetry-client": "3.0.0-nightly.20251208",
81
- "@aztec/world-state": "3.0.0-nightly.20251208",
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.20251208",
89
- "@aztec/kv-store": "3.0.0-nightly.20251208",
90
- "@aztec/noir-contracts.js": "3.0.0-nightly.20251208",
91
- "@aztec/noir-test-contracts.js": "3.0.0-nightly.20251208",
92
- "@aztec/protocol-contracts": "3.0.0-nightly.20251208",
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/avm_proving_tests/avm_proving_tester.ts CHANGED
@@ -94,6 +94,7 @@ const provingConfig: PublicSimulatorConfig = PublicSimulatorConfig.from({
94
94
  collectCallMetadata: true,
95
95
  collectDebugLogs: false,
96
96
  collectHints: true, // Required for proving!
97
+ collectPublicInputs: true, // Required for proving!
97
98
  collectStatistics: false,
98
99
  });
99
100
 
@@ -237,7 +238,7 @@ export class AvmProvingTester extends PublicTxSimulationTester {
237
238
 
238
239
  const opString = this.checkCircuitOnly ? 'Check circuit' : 'Proving and verification';
239
240
 
240
- const avmCircuitInputs = new AvmCircuitInputs(simRes.hints!, simRes.publicInputs);
241
+ const avmCircuitInputs = new AvmCircuitInputs(simRes.hints!, simRes.publicInputs!);
241
242
  const timer = new Timer();
242
243
  await this.proveVerify(avmCircuitInputs, txLabel);
243
244
  this.logger.info(`${opString} took ${timer.ms()} ms for tx ${txLabel}`);
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