@aztec/prover-client 3.0.0-nightly.20251104 → 3.0.0-nightly.20251106

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/orchestrator/block-building-helpers.d.ts +1 -1
  2. package/dest/orchestrator/tx-proving-state.d.ts.map +1 -1
  3. package/dest/orchestrator/tx-proving-state.js +2 -11
  4. package/package.json +15 -15
  5. package/src/orchestrator/tx-proving-state.ts +3 -16
package/dest/orchestrator/block-building-helpers.d.ts CHANGED
@@ -18,7 +18,7 @@ type BaseTreeNames = 'NoteHashTree' | 'ContractTree' | 'NullifierTree' | 'Public
18
18
  */
19
19
  export type TreeNames = BaseTreeNames | 'L1ToL2MessageTree' | 'Archive';
20
20
  export declare const insertSideEffectsAndBuildBaseRollupHints: (tx: ProcessedTx, lastArchive: AppendOnlyTreeSnapshot, newL1ToL2MessageTreeSnapshot: AppendOnlyTreeSnapshot, startSpongeBlob: SpongeBlob, proverId: Fr, db: MerkleTreeWriteOperations) => Promise<PublicBaseRollupHints | PrivateBaseRollupHints>;
21
- export declare function getChonkProofFromTx(tx: Tx | ProcessedTx): RecursiveProof<2084>;
21
+ export declare function getChonkProofFromTx(tx: Tx | ProcessedTx): RecursiveProof<2077>;
22
22
  export declare function getPublicChonkVerifierPrivateInputsFromTx(tx: Tx | ProcessedTx, proverId: Fr): PublicChonkVerifierPrivateInputs;
23
23
  export declare const buildBlobHints: (blobFields: Fr[]) => {
24
24
  blobCommitments: import("@aztec/foundation/fields").BLS12Point[];
package/dest/orchestrator/tx-proving-state.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"tx-proving-state.d.ts","sourceRoot":"","sources":["../../src/orchestrator/tx-proving-state.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oCAAoC,EAEpC,yCAAyC,EAC1C,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAGnD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,KAAK,EAAE,uBAAuB,EAAE,6BAA6B,EAAE,MAAM,iCAAiC,CAAC;AAE9G,OAAO,EACL,KAAK,eAAe,EAEpB,gCAAgC,EAEhC,+BAA+B,EAC/B,+BAA+B,EAChC,MAAM,sBAAsB,CAAC;AAE9B,OAAO,KAAK,EAAE,sBAAsB,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAChF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AASpD;;;;GAIG;AACH,qBAAa,cAAc;;aAQP,WAAW,EAAE,WAAW;IACxC,OAAO,CAAC,QAAQ,CAAC,eAAe;aAChB,aAAa,EAAE,GAAG,CAAC,YAAY,EAAE,sBAAsB,CAAC;IACxE,OAAO,CAAC,QAAQ,CAAC,QAAQ;IAV3B,OAAO,CAAC,mBAAmB,CAAC,CAG1B;IACF,OAAO,CAAC,GAAG,CAAC,CAAuE;gBAGjE,WAAW,EAAE,WAAW,EACvB,eAAe,EAAE,eAAe,EACjC,aAAa,EAAE,GAAG,CAAC,YAAY,EAAE,sBAAsB,CAAC,EACvD,QAAQ,EAAE,EAAE;IAG/B,IAAI,eAAe,YAElB;IAEM,KAAK;IAIL,YAAY,IAAI,gBAAgB;IAIhC,mCAAmC;IAInC,0BAA0B;;;;;;;IAc1B,2BAA2B,CAChC,6BAA6B,EAAE,6BAA6B,CAC1D,+BAA+B,EAC/B,OAAO,yCAAyC,CACjD;IAKI,WAAW,CAAC,aAAa,EAAE,uBAAuB,CAAC,OAAO,oCAAoC,CAAC;CAiDvG"}
1
+ {"version":3,"file":"tx-proving-state.d.ts","sourceRoot":"","sources":["../../src/orchestrator/tx-proving-state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oCAAoC,EAAE,yCAAyC,EAAE,MAAM,kBAAkB,CAAC;AACnH,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,KAAK,EAAE,uBAAuB,EAAE,6BAA6B,EAAE,MAAM,iCAAiC,CAAC;AAE9G,OAAO,EACL,KAAK,eAAe,EAEpB,gCAAgC,EAEhC,+BAA+B,EAC/B,+BAA+B,EAChC,MAAM,sBAAsB,CAAC;AAE9B,OAAO,KAAK,EAAE,sBAAsB,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAChF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAQpD;;;;GAIG;AACH,qBAAa,cAAc;;aAQP,WAAW,EAAE,WAAW;IACxC,OAAO,CAAC,QAAQ,CAAC,eAAe;aAChB,aAAa,EAAE,GAAG,CAAC,YAAY,EAAE,sBAAsB,CAAC;IACxE,OAAO,CAAC,QAAQ,CAAC,QAAQ;IAV3B,OAAO,CAAC,mBAAmB,CAAC,CAG1B;IACF,OAAO,CAAC,GAAG,CAAC,CAAuE;gBAGjE,WAAW,EAAE,WAAW,EACvB,eAAe,EAAE,eAAe,EACjC,aAAa,EAAE,GAAG,CAAC,YAAY,EAAE,sBAAsB,CAAC,EACvD,QAAQ,EAAE,EAAE;IAG/B,IAAI,eAAe,YAElB;IAEM,KAAK;IAIL,YAAY,IAAI,gBAAgB;IAIhC,mCAAmC;IAInC,0BAA0B;;;;;;;IAc1B,2BAA2B,CAChC,6BAA6B,EAAE,6BAA6B,CAC1D,+BAA+B,EAC/B,OAAO,yCAAyC,CACjD;IAKI,WAAW,CAAC,aAAa,EAAE,uBAAuB,CAAC,OAAO,oCAAoC,CAAC;CA0CvG"}
package/dest/orchestrator/tx-proving-state.js CHANGED
@@ -1,9 +1,6 @@
1
- import { AVM_VK_INDEX } from '@aztec/constants';
2
- import { getVkData } from '@aztec/noir-protocol-circuits-types/server/vks';
3
- import { getVKSiblingPath } from '@aztec/noir-protocol-circuits-types/vk-tree';
1
+ import { getAvmVkData, getVkData } from '@aztec/noir-protocol-circuits-types/server/vks';
4
2
  import { ProofData } from '@aztec/stdlib/proofs';
5
3
  import { PrivateBaseRollupHints, PrivateTxBaseRollupPrivateInputs, PublicBaseRollupHints, PublicTxBaseRollupPrivateInputs } from '@aztec/stdlib/rollup';
6
- import { VkData } from '@aztec/stdlib/vks';
7
4
  import { getChonkProofFromTx, getPublicChonkVerifierPrivateInputsFromTx, toProofData } from './block-building-helpers.js';
8
5
  /**
9
6
  * Helper class to manage the proving cycle of a transaction
@@ -74,13 +71,7 @@ import { getChonkProofFromTx, getPublicChonkVerifierPrivateInputsFromTx, toProof
74
71
  throw new Error('Mismatched base rollup hints, expected public base rollup hints');
75
72
  }
76
73
  const publicChonkVerifierProofData = toProofData(this.publicChonkVerifier);
77
- const avmProofData = new ProofData(this.processedTx.avmProvingRequest.inputs.publicInputs, this.avm.proof, this.#getVkData(this.avm.verificationKey, AVM_VK_INDEX));
74
+ const avmProofData = new ProofData(this.processedTx.avmProvingRequest.inputs.publicInputs, this.avm.proof, getAvmVkData());
78
75
  return new PublicTxBaseRollupPrivateInputs(publicChonkVerifierProofData, avmProofData, this.baseRollupHints);
79
76
  }
80
- #getVkData(verificationKey, vkIndex) {
81
- // TODO(#17162): Add avm vk hash to the tree and call `getVkData('AVM')` instead.
82
- // Below will return a path to an empty leaf.
83
- const vkPath = getVKSiblingPath(vkIndex);
84
- return new VkData(verificationKey, vkIndex, vkPath);
85
- }
86
77
  }
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@aztec/prover-client",
3
- "version": "3.0.0-nightly.20251104",
3
+ "version": "3.0.0-nightly.20251106",
4
4
  "type": "module",
5
5
  "exports": {
6
6
  ".": "./dest/index.js",
@@ -67,19 +67,19 @@
67
67
  ]
68
68
  },
69
69
  "dependencies": {
70
- "@aztec/bb-prover": "3.0.0-nightly.20251104",
71
- "@aztec/blob-lib": "3.0.0-nightly.20251104",
72
- "@aztec/constants": "3.0.0-nightly.20251104",
73
- "@aztec/ethereum": "3.0.0-nightly.20251104",
74
- "@aztec/foundation": "3.0.0-nightly.20251104",
75
- "@aztec/kv-store": "3.0.0-nightly.20251104",
76
- "@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20251104",
77
- "@aztec/noir-types": "3.0.0-nightly.20251104",
78
- "@aztec/protocol-contracts": "3.0.0-nightly.20251104",
79
- "@aztec/simulator": "3.0.0-nightly.20251104",
80
- "@aztec/stdlib": "3.0.0-nightly.20251104",
81
- "@aztec/telemetry-client": "3.0.0-nightly.20251104",
82
- "@aztec/world-state": "3.0.0-nightly.20251104",
70
+ "@aztec/bb-prover": "3.0.0-nightly.20251106",
71
+ "@aztec/blob-lib": "3.0.0-nightly.20251106",
72
+ "@aztec/constants": "3.0.0-nightly.20251106",
73
+ "@aztec/ethereum": "3.0.0-nightly.20251106",
74
+ "@aztec/foundation": "3.0.0-nightly.20251106",
75
+ "@aztec/kv-store": "3.0.0-nightly.20251106",
76
+ "@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20251106",
77
+ "@aztec/noir-types": "3.0.0-nightly.20251106",
78
+ "@aztec/protocol-contracts": "3.0.0-nightly.20251106",
79
+ "@aztec/simulator": "3.0.0-nightly.20251106",
80
+ "@aztec/stdlib": "3.0.0-nightly.20251106",
81
+ "@aztec/telemetry-client": "3.0.0-nightly.20251106",
82
+ "@aztec/world-state": "3.0.0-nightly.20251106",
83
83
  "@google-cloud/storage": "^7.15.0",
84
84
  "@iarna/toml": "^2.2.5",
85
85
  "commander": "^12.1.0",
@@ -89,7 +89,7 @@
89
89
  "zod": "^3.23.8"
90
90
  },
91
91
  "devDependencies": {
92
- "@aztec/noir-contracts.js": "3.0.0-nightly.20251104",
92
+ "@aztec/noir-contracts.js": "3.0.0-nightly.20251106",
93
93
  "@jest/globals": "^30.0.0",
94
94
  "@types/jest": "^30.0.0",
95
95
  "@types/node": "^22.15.17",
package/src/orchestrator/tx-proving-state.ts CHANGED
@@ -1,11 +1,6 @@
1
- import {
2
- AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED,
3
- AVM_VK_INDEX,
4
- NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH,
5
- } from '@aztec/constants';
1
+ import { AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
6
2
  import type { Fr } from '@aztec/foundation/fields';
7
- import { getVkData } from '@aztec/noir-protocol-circuits-types/server/vks';
8
- import { getVKSiblingPath } from '@aztec/noir-protocol-circuits-types/vk-tree';
3
+ import { getAvmVkData, getVkData } from '@aztec/noir-protocol-circuits-types/server/vks';
9
4
  import type { AvmCircuitInputs } from '@aztec/stdlib/avm';
10
5
  import type { ProofAndVerificationKey, PublicInputsAndRecursiveProof } from '@aztec/stdlib/interfaces/server';
11
6
  import { ProofData } from '@aztec/stdlib/proofs';
@@ -20,7 +15,6 @@ import {
20
15
  import type { CircuitName } from '@aztec/stdlib/stats';
21
16
  import type { AppendOnlyTreeSnapshot, MerkleTreeId } from '@aztec/stdlib/trees';
22
17
  import type { ProcessedTx } from '@aztec/stdlib/tx';
23
- import { VerificationKeyData, VkData } from '@aztec/stdlib/vks';
24
18
 
25
19
  import {
26
20
  getChonkProofFromTx,
@@ -123,16 +117,9 @@ export class TxProvingState {
123
117
  const avmProofData = new ProofData(
124
118
  this.processedTx.avmProvingRequest.inputs.publicInputs,
125
119
  this.avm.proof,
126
- this.#getVkData(this.avm!.verificationKey, AVM_VK_INDEX),
120
+ getAvmVkData(),
127
121
  );
128
122
 
129
123
  return new PublicTxBaseRollupPrivateInputs(publicChonkVerifierProofData, avmProofData, this.baseRollupHints);
130
124
  }
131
-
132
- #getVkData(verificationKey: VerificationKeyData, vkIndex: number) {
133
- // TODO(#17162): Add avm vk hash to the tree and call `getVkData('AVM')` instead.
134
- // Below will return a path to an empty leaf.
135
- const vkPath = getVKSiblingPath(vkIndex);
136
- return new VkData(verificationKey, vkIndex, vkPath);
137
- }
138
125
  }