@aztec/bb-prover 0.84.0-nightly.20250409 → 0.84.0-nightly.20250412
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.
- package/dest/avm_proving_tests/avm_proving_tester.d.ts.map +1 -1
- package/dest/avm_proving_tests/avm_proving_tester.js +1 -2
- package/dest/bb/execute.d.ts +0 -1
- package/dest/bb/execute.d.ts.map +1 -1
- package/dest/bb/execute.js +1 -5
- package/package.json +15 -16
- package/src/avm_proving_tests/avm_proving_tester.ts +1 -2
- package/src/bb/execute.ts +2 -4
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"avm_proving_tester.d.ts","sourceRoot":"","sources":["../../src/avm_proving_tests/avm_proving_tester.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,KAAK,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AACnG,OAAO,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAEjF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAQxD,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,SAAS,EAMf,MAAM,kBAAkB,CAAC;AAK1B,qBAAa,gBAAiB,SAAQ,wBAAwB;IAE1D,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,gBAAgB;gBADhB,kBAAkB,EAAE,MAAM,EAC1B,gBAAgB,EAAE,OAAO,EACjC,UAAU,EAAE,yBAAyB,EACrC,kBAAkB,EAAE,wBAAwB,EAC5C,OAAO,CAAC,EAAE,eAAe;WAMd,GAAG,CAAC,gBAAgB,GAAE,OAAe,EAAE,OAAO,CAAC,EAAE,eAAe;IAQvE,KAAK,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC;IAe5D,MAAM,CAAC,QAAQ,EAAE,SAAS,GAAG,OAAO,CAAC,QAAQ,CAAC;IAgBvC,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;IAWN,sBAAsB,CAAC,OAAO,EAAE,gBAAgB,EAAE,YAAY,CAAC,EAAE,OAAO;CAWtF;AAED,qBAAa,kBAAmB,SAAQ,wBAAwB;IAE5D,OAAO,CAAC,kBAAkB;gBAAlB,kBAAkB,EAAE,MAAM,EAClC,kBAAkB,EAAE,wBAAwB,EAC5C,WAAW,EAAE,yBAAyB,EACtC,OAAO,CAAC,EAAE,eAAe;WAKd,GAAG,CAAC,OAAO,CAAC,EAAE,eAAe;IAQpC,OAAO,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC;IAU9D,QAAQ,CAAC,QAAQ,EAAE,SAAS,GAAG,OAAO,CAAC,QAAQ,CAAC;
|
|
1
|
+
{"version":3,"file":"avm_proving_tester.d.ts","sourceRoot":"","sources":["../../src/avm_proving_tests/avm_proving_tester.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,KAAK,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AACnG,OAAO,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAEjF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAQxD,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,SAAS,EAMf,MAAM,kBAAkB,CAAC;AAK1B,qBAAa,gBAAiB,SAAQ,wBAAwB;IAE1D,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,gBAAgB;gBADhB,kBAAkB,EAAE,MAAM,EAC1B,gBAAgB,EAAE,OAAO,EACjC,UAAU,EAAE,yBAAyB,EACrC,kBAAkB,EAAE,wBAAwB,EAC5C,OAAO,CAAC,EAAE,eAAe;WAMd,GAAG,CAAC,gBAAgB,GAAE,OAAe,EAAE,OAAO,CAAC,EAAE,eAAe;IAQvE,KAAK,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC;IAe5D,MAAM,CAAC,QAAQ,EAAE,SAAS,GAAG,OAAO,CAAC,QAAQ,CAAC;IAgBvC,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;IAWN,sBAAsB,CAAC,OAAO,EAAE,gBAAgB,EAAE,YAAY,CAAC,EAAE,OAAO;CAWtF;AAED,qBAAa,kBAAmB,SAAQ,wBAAwB;IAE5D,OAAO,CAAC,kBAAkB;gBAAlB,kBAAkB,EAAE,MAAM,EAClC,kBAAkB,EAAE,wBAAwB,EAC5C,WAAW,EAAE,yBAAyB,EACtC,OAAO,CAAC,EAAE,eAAe;WAKd,GAAG,CAAC,OAAO,CAAC,EAAE,eAAe;IAQpC,OAAO,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC;IAU9D,QAAQ,CAAC,QAAQ,EAAE,SAAS,GAAG,OAAO,CAAC,QAAQ,CAAC;IAczC,gBAAgB,CAC3B,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;CAYpB"}
|
|
@@ -89,8 +89,7 @@ export class AvmProvingTesterV2 extends PublicTxSimulationTester {
|
|
|
89
89
|
async verifyV2(proofRes) {
|
|
90
90
|
// TODO: Placeholder for now. They get ignored in C++.
|
|
91
91
|
const inputs = await makeAvmCircuitInputs();
|
|
92
|
-
|
|
93
|
-
return await verifyAvmProofV2(BB_PATH, this.bbWorkingDirectory, proofRes.proofPath, inputs.publicInputs, rawVkPath, this.logger);
|
|
92
|
+
return await verifyAvmProofV2(BB_PATH, this.bbWorkingDirectory, proofRes.proofPath, inputs.publicInputs, proofRes.vkPath, this.logger);
|
|
94
93
|
}
|
|
95
94
|
async simProveVerifyV2(sender, setupCalls, appCalls, teardownCall, expectRevert, feePayer = sender) {
|
|
96
95
|
const simRes = await this.simulateTx(sender, setupCalls, appCalls, teardownCall, feePayer);
|
package/dest/bb/execute.d.ts
CHANGED
|
@@ -12,7 +12,6 @@ export declare const PROOF_FIELDS_FILENAME = "proof_fields.json";
|
|
|
12
12
|
export declare const AVM_INPUTS_FILENAME = "avm_inputs.bin";
|
|
13
13
|
export declare const AVM_BYTECODE_FILENAME = "avm_bytecode.bin";
|
|
14
14
|
export declare const AVM_PUBLIC_INPUTS_FILENAME = "avm_public_inputs.bin";
|
|
15
|
-
export declare const AVM_HINTS_FILENAME = "avm_hints.bin";
|
|
16
15
|
export declare const CLIENT_IVC_PROOF_FILE_NAME = "proof";
|
|
17
16
|
export declare enum BB_RESULT {
|
|
18
17
|
SUCCESS = 0,
|
package/dest/bb/execute.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"execute.d.ts","sourceRoot":"","sources":["../../src/bb/execute.ts"],"names":[],"mappings":";;AACA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAE3D,OAAO,KAAK,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAMlF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD,eAAO,MAAM,WAAW,OAAO,CAAC;AAChC,eAAO,MAAM,kBAAkB,mBAAmB,CAAC;AACnD,eAAO,MAAM,sBAAsB,kBAAkB,CAAC;AACtD,eAAO,MAAM,6BAA6B,8BAA8B,CAAC;AACzE,eAAO,MAAM,cAAc,UAAU,CAAC;AACtC,eAAO,MAAM,qBAAqB,sBAAsB,CAAC;AACzD,eAAO,MAAM,mBAAmB,mBAAmB,CAAC;AACpD,eAAO,MAAM,qBAAqB,qBAAqB,CAAC;AACxD,eAAO,MAAM,0BAA0B,0BAA0B,CAAC;AAClE,eAAO,MAAM,
|
|
1
|
+
{"version":3,"file":"execute.d.ts","sourceRoot":"","sources":["../../src/bb/execute.ts"],"names":[],"mappings":";;AACA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAE3D,OAAO,KAAK,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAMlF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD,eAAO,MAAM,WAAW,OAAO,CAAC;AAChC,eAAO,MAAM,kBAAkB,mBAAmB,CAAC;AACnD,eAAO,MAAM,sBAAsB,kBAAkB,CAAC;AACtD,eAAO,MAAM,6BAA6B,8BAA8B,CAAC;AACzE,eAAO,MAAM,cAAc,UAAU,CAAC;AACtC,eAAO,MAAM,qBAAqB,sBAAsB,CAAC;AACzD,eAAO,MAAM,mBAAmB,mBAAmB,CAAC;AACpD,eAAO,MAAM,qBAAqB,qBAAqB,CAAC;AACxD,eAAO,MAAM,0BAA0B,0BAA0B,CAAC;AAClE,eAAO,MAAM,0BAA0B,UAAU,CAAC;AAElD,oBAAY,SAAS;IACnB,OAAO,IAAA;IACP,OAAO,IAAA;IACP,eAAe,IAAA;CAChB;AAED,MAAM,MAAM,SAAS,GAAG;IACtB,MAAM,EAAE,SAAS,CAAC,OAAO,GAAG,SAAS,CAAC,eAAe,CAAC;IACtD,UAAU,EAAE,MAAM,CAAC;IACnB,mCAAmC;IACnC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,gDAAgD;IAChD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,8BAA8B;IAC9B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iCAAiC;IACjC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,0CAA0C;IAC1C,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAC;AAE7C,MAAM,MAAM,oBAAoB,GAAG,OAAO,WAAW,GAAG,OAAO,cAAc,CAAC;AAE9E,KAAK,YAAY,GAAG;IAClB,MAAM,EAAE,SAAS,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;CAC5B,CAAC;AAEF;;;;;;;;;GASG;AACH,wBAAgB,SAAS,CACvB,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,MAAM,EAAE,EACd,MAAM,EAAE,KAAK,EACb,OAAO,CAAC,EAAE,MAAM,EAChB,YAAY,UAAU,MAAM,YAAe,GAC1C,OAAO,CAAC,YAAY,CAAC,CAwCvB;AAED,wBAAsB,uBAAuB,CAC3C,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,iBAAiB,EAAE,MAAM,EACzB,gBAAgB,EAAE,MAAM,EACxB,GAAG,EAAE,KAAK,EACV,OAAO,UAAQ,GACd,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAkEhC;AAgBD;;;;;;;;;;GAUG;AACH,wBAAsB,aAAa,CACjC,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,OAAO,EAClB,gBAAgB,EAAE,MAAM,EACxB,MAAM,EAAE,eAAe,EACvB,GAAG,EAAE,KAAK,GACT,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAiEhC;AAED;;;;;GAKG;AACH,wBAAsB,iBAAiB,CACrC,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,MAAM,EAAE,MAAM,EACd,GAAG,EAAE,KAAK,GACT,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAuDhC;AAED;;;;;;;;GAQG;AACH,wBAAsB,kBAAkB,CACtC,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,KAAK,EAAE,gBAAgB,EACvB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CA+DhC;AAED;;;;;;;;GAQG;AACH,wBAAsB,gBAAgB,CACpC,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,MAAM,EACd,gBAAgB,GAAE,OAAe,GAChC,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAwEhC;AAED;;;;;;;GAOG;AACH,wBAAsB,WAAW,CAC/B,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM,EACrB,mBAAmB,EAAE,MAAM,EAC3B,eAAe,EAAE,eAAe,EAChC,GAAG,EAAE,MAAM,GACV,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAShC;AAED;;;;;;;GAOG;AACH,wBAAsB,cAAc,CAClC,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM,EACrB,mBAAmB,EAAE,MAAM,EAC3B,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAEhC;AAED,wBAAsB,gBAAgB,CACpC,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,aAAa,EAAE,MAAM,EACrB,YAAY,EAAE,sBAAsB,EACpC,mBAAmB,EAAE,MAAM,EAC3B,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAmBhC;AAED;;;;;;;GAOG;AACH,wBAAsB,oBAAoB,CACxC,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,KAAK,GACT,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CA2BhC;AAkED,wBAAsB,kCAAkC,CACtD,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,EAClB,YAAY,EAAE,MAAM,EACpB,GAAG,EAAE,KAAK,GACT,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CA8ChC;AAED;;;;;;;;GAQG;AACH,wBAAsB,0BAA0B,CAC9C,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,eAAe,GAAG,WAAW,EACrC,GAAG,EAAE,KAAK,GACT,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CA0DhC"}
|
package/dest/bb/execute.js
CHANGED
|
@@ -12,7 +12,6 @@ export const PROOF_FIELDS_FILENAME = 'proof_fields.json';
|
|
|
12
12
|
export const AVM_INPUTS_FILENAME = 'avm_inputs.bin';
|
|
13
13
|
export const AVM_BYTECODE_FILENAME = 'avm_bytecode.bin';
|
|
14
14
|
export const AVM_PUBLIC_INPUTS_FILENAME = 'avm_public_inputs.bin';
|
|
15
|
-
export const AVM_HINTS_FILENAME = 'avm_hints.bin';
|
|
16
15
|
export const CLIENT_IVC_PROOF_FILE_NAME = 'proof';
|
|
17
16
|
export var BB_RESULT = /*#__PURE__*/ function(BB_RESULT) {
|
|
18
17
|
BB_RESULT[BB_RESULT["SUCCESS"] = 0] = "SUCCESS";
|
|
@@ -393,7 +392,7 @@ function getArgs(flavor) {
|
|
|
393
392
|
durationMs: duration,
|
|
394
393
|
proofPath: join(outputPath, PROOF_FILENAME),
|
|
395
394
|
pkPath: undefined,
|
|
396
|
-
vkPath: outputPath
|
|
395
|
+
vkPath: join(outputPath, VK_FILENAME)
|
|
397
396
|
};
|
|
398
397
|
}
|
|
399
398
|
// Not a great error message here but it is difficult to decipher what comes from bb
|
|
@@ -429,7 +428,6 @@ function getArgs(flavor) {
|
|
|
429
428
|
}
|
|
430
429
|
// Paths for the inputs
|
|
431
430
|
const publicInputsPath = join(workingDirectory, AVM_PUBLIC_INPUTS_FILENAME);
|
|
432
|
-
const avmHintsPath = join(workingDirectory, AVM_HINTS_FILENAME);
|
|
433
431
|
// The proof is written to e.g. /workingDirectory/proof
|
|
434
432
|
const outputPath = workingDirectory;
|
|
435
433
|
const filePresent = async (file)=>await fs.access(file, fs.constants.R_OK).then((_)=>true).catch((_)=>false);
|
|
@@ -454,8 +452,6 @@ function getArgs(flavor) {
|
|
|
454
452
|
const args = [
|
|
455
453
|
'--avm-public-inputs',
|
|
456
454
|
publicInputsPath,
|
|
457
|
-
'--avm-hints',
|
|
458
|
-
avmHintsPath,
|
|
459
455
|
'-o',
|
|
460
456
|
outputPath
|
|
461
457
|
];
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@aztec/bb-prover",
|
|
3
|
-
"version": "0.84.0-nightly.
|
|
3
|
+
"version": "0.84.0-nightly.20250412",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"exports": {
|
|
6
6
|
".": "./dest/index.js",
|
|
@@ -68,16 +68,16 @@
|
|
|
68
68
|
]
|
|
69
69
|
},
|
|
70
70
|
"dependencies": {
|
|
71
|
-
"@aztec/bb.js": "0.84.0-nightly.
|
|
72
|
-
"@aztec/constants": "0.84.0-nightly.
|
|
73
|
-
"@aztec/foundation": "0.84.0-nightly.
|
|
74
|
-
"@aztec/noir-noirc_abi": "0.84.0-nightly.
|
|
75
|
-
"@aztec/noir-protocol-circuits-types": "0.84.0-nightly.
|
|
76
|
-
"@aztec/noir-types": "0.84.0-nightly.
|
|
77
|
-
"@aztec/simulator": "0.84.0-nightly.
|
|
78
|
-
"@aztec/stdlib": "0.84.0-nightly.
|
|
79
|
-
"@aztec/telemetry-client": "0.84.0-nightly.
|
|
80
|
-
"@aztec/world-state": "0.84.0-nightly.
|
|
71
|
+
"@aztec/bb.js": "0.84.0-nightly.20250412",
|
|
72
|
+
"@aztec/constants": "0.84.0-nightly.20250412",
|
|
73
|
+
"@aztec/foundation": "0.84.0-nightly.20250412",
|
|
74
|
+
"@aztec/noir-noirc_abi": "0.84.0-nightly.20250412",
|
|
75
|
+
"@aztec/noir-protocol-circuits-types": "0.84.0-nightly.20250412",
|
|
76
|
+
"@aztec/noir-types": "0.84.0-nightly.20250412",
|
|
77
|
+
"@aztec/simulator": "0.84.0-nightly.20250412",
|
|
78
|
+
"@aztec/stdlib": "0.84.0-nightly.20250412",
|
|
79
|
+
"@aztec/telemetry-client": "0.84.0-nightly.20250412",
|
|
80
|
+
"@aztec/world-state": "0.84.0-nightly.20250412",
|
|
81
81
|
"@msgpack/msgpack": "^3.0.0-beta2",
|
|
82
82
|
"commander": "^12.1.0",
|
|
83
83
|
"pako": "^2.1.0",
|
|
@@ -85,13 +85,12 @@
|
|
|
85
85
|
"tslib": "^2.4.0"
|
|
86
86
|
},
|
|
87
87
|
"devDependencies": {
|
|
88
|
-
"@aztec/ethereum": "0.84.0-nightly.
|
|
89
|
-
"@aztec/kv-store": "0.84.0-nightly.
|
|
90
|
-
"@aztec/noir-contracts.js": "0.84.0-nightly.
|
|
91
|
-
"@aztec/protocol-contracts": "0.84.0-nightly.
|
|
88
|
+
"@aztec/ethereum": "0.84.0-nightly.20250412",
|
|
89
|
+
"@aztec/kv-store": "0.84.0-nightly.20250412",
|
|
90
|
+
"@aztec/noir-contracts.js": "0.84.0-nightly.20250412",
|
|
91
|
+
"@aztec/protocol-contracts": "0.84.0-nightly.20250412",
|
|
92
92
|
"@jest/globals": "^29.5.0",
|
|
93
93
|
"@types/jest": "^29.5.0",
|
|
94
|
-
"@types/memdown": "^3.0.0",
|
|
95
94
|
"@types/node": "^18.7.23",
|
|
96
95
|
"@types/source-map-support": "^0.5.10",
|
|
97
96
|
"jest": "^29.5.0",
|
|
@@ -138,13 +138,12 @@ export class AvmProvingTesterV2 extends PublicTxSimulationTester {
|
|
|
138
138
|
// TODO: Placeholder for now. They get ignored in C++.
|
|
139
139
|
const inputs = await makeAvmCircuitInputs();
|
|
140
140
|
|
|
141
|
-
const rawVkPath = path.join(proofRes.vkPath!, 'vk');
|
|
142
141
|
return await verifyAvmProofV2(
|
|
143
142
|
BB_PATH,
|
|
144
143
|
this.bbWorkingDirectory,
|
|
145
144
|
proofRes.proofPath!,
|
|
146
145
|
inputs.publicInputs,
|
|
147
|
-
|
|
146
|
+
proofRes.vkPath!,
|
|
148
147
|
this.logger,
|
|
149
148
|
);
|
|
150
149
|
}
|
package/src/bb/execute.ts
CHANGED
|
@@ -18,7 +18,6 @@ export const PROOF_FIELDS_FILENAME = 'proof_fields.json';
|
|
|
18
18
|
export const AVM_INPUTS_FILENAME = 'avm_inputs.bin';
|
|
19
19
|
export const AVM_BYTECODE_FILENAME = 'avm_bytecode.bin';
|
|
20
20
|
export const AVM_PUBLIC_INPUTS_FILENAME = 'avm_public_inputs.bin';
|
|
21
|
-
export const AVM_HINTS_FILENAME = 'avm_hints.bin';
|
|
22
21
|
export const CLIENT_IVC_PROOF_FILE_NAME = 'proof';
|
|
23
22
|
|
|
24
23
|
export enum BB_RESULT {
|
|
@@ -426,7 +425,7 @@ export async function generateAvmProofV2(
|
|
|
426
425
|
durationMs: duration,
|
|
427
426
|
proofPath: join(outputPath, PROOF_FILENAME),
|
|
428
427
|
pkPath: undefined,
|
|
429
|
-
vkPath: outputPath,
|
|
428
|
+
vkPath: join(outputPath, VK_FILENAME),
|
|
430
429
|
};
|
|
431
430
|
}
|
|
432
431
|
// Not a great error message here but it is difficult to decipher what comes from bb
|
|
@@ -465,7 +464,6 @@ export async function generateAvmProof(
|
|
|
465
464
|
|
|
466
465
|
// Paths for the inputs
|
|
467
466
|
const publicInputsPath = join(workingDirectory, AVM_PUBLIC_INPUTS_FILENAME);
|
|
468
|
-
const avmHintsPath = join(workingDirectory, AVM_HINTS_FILENAME);
|
|
469
467
|
|
|
470
468
|
// The proof is written to e.g. /workingDirectory/proof
|
|
471
469
|
const outputPath = workingDirectory;
|
|
@@ -495,7 +493,7 @@ export async function generateAvmProof(
|
|
|
495
493
|
// return { status: BB_RESULT.FAILURE, reason: `Could not write avmHints at ${avmHintsPath}` };
|
|
496
494
|
// }
|
|
497
495
|
|
|
498
|
-
const args = ['--avm-public-inputs', publicInputsPath, '
|
|
496
|
+
const args = ['--avm-public-inputs', publicInputsPath, '-o', outputPath];
|
|
499
497
|
const loggingArg =
|
|
500
498
|
logger.level === 'debug' || logger.level === 'trace' ? '-d' : logger.level === 'verbose' ? '-v' : '';
|
|
501
499
|
if (loggingArg !== '') {
|