@aztec/bb-prover 0.84.0-alpha-testnet.1 → 0.84.0-nightly.20250406
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/prover/bb_prover.js +5 -5
- package/package.json +15 -15
- package/src/prover/bb_prover.ts +5 -5
package/dest/prover/bb_prover.js
CHANGED
|
@@ -231,10 +231,10 @@ const SERVER_CIRCUIT_RECURSIVE = true;
|
|
|
231
231
|
return await this.runInDirectory(operation);
|
|
232
232
|
}
|
|
233
233
|
async generateAvmProofWithBB(input, workingDirectory) {
|
|
234
|
-
logger.info(`Proving avm-circuit for ${input.
|
|
234
|
+
logger.info(`Proving avm-circuit for TX ${input.hints.tx.hash}...`);
|
|
235
235
|
const provingResult = await generateAvmProof(this.config.bbBinaryPath, workingDirectory, input, logger);
|
|
236
236
|
if (provingResult.status === BB_RESULT.FAILURE) {
|
|
237
|
-
logger.error(`Failed to generate AVM proof for ${input.
|
|
237
|
+
logger.error(`Failed to generate AVM proof for TX ${input.hints.tx.hash}: ${provingResult.reason}`);
|
|
238
238
|
throw new ProvingError(provingResult.reason, provingResult, provingResult.retry);
|
|
239
239
|
}
|
|
240
240
|
return provingResult;
|
|
@@ -264,9 +264,9 @@ const SERVER_CIRCUIT_RECURSIVE = true;
|
|
|
264
264
|
this.instrumentation.recordAvmSize('proofSize', appCircuitName, avmProof.binaryProof.buffer.length);
|
|
265
265
|
this.instrumentation.recordAvmSize('circuitPublicInputCount', appCircuitName, verificationKey.numPublicInputs);
|
|
266
266
|
this.instrumentation.recordAvmSize('circuitSize', appCircuitName, verificationKey.circuitSize);
|
|
267
|
-
logger.info(`Generated proof for ${circuitType}(${input.
|
|
267
|
+
logger.info(`Generated proof for ${circuitType}(${input.hints.tx.hash}) in ${Math.ceil(provingResult.durationMs)} ms`, {
|
|
268
268
|
circuitName: circuitType,
|
|
269
|
-
appCircuitName: input.
|
|
269
|
+
appCircuitName: input.hints.tx.hash,
|
|
270
270
|
// does not include reading the proof from disk
|
|
271
271
|
duration: provingResult.durationMs,
|
|
272
272
|
proofSize: avmProof.binaryProof.buffer.length,
|
|
@@ -433,6 +433,6 @@ _ts_decorate([
|
|
|
433
433
|
], BBNativeRollupProver.prototype, "getRootParityProof", null);
|
|
434
434
|
_ts_decorate([
|
|
435
435
|
trackSpan('BBNativeRollupProver.getAvmProof', (inputs)=>({
|
|
436
|
-
[Attributes.APP_CIRCUIT_NAME]: inputs.
|
|
436
|
+
[Attributes.APP_CIRCUIT_NAME]: inputs.hints.tx.hash
|
|
437
437
|
}))
|
|
438
438
|
], BBNativeRollupProver.prototype, "getAvmProof", null);
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@aztec/bb-prover",
|
|
3
|
-
"version": "0.84.0-
|
|
3
|
+
"version": "0.84.0-nightly.20250406",
|
|
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-
|
|
72
|
-
"@aztec/constants": "0.84.0-
|
|
73
|
-
"@aztec/foundation": "0.84.0-
|
|
74
|
-
"@aztec/noir-noirc_abi": "0.84.0-
|
|
75
|
-
"@aztec/noir-protocol-circuits-types": "0.84.0-
|
|
76
|
-
"@aztec/noir-types": "0.84.0-
|
|
77
|
-
"@aztec/simulator": "0.84.0-
|
|
78
|
-
"@aztec/stdlib": "0.84.0-
|
|
79
|
-
"@aztec/telemetry-client": "0.84.0-
|
|
80
|
-
"@aztec/world-state": "0.84.0-
|
|
71
|
+
"@aztec/bb.js": "0.84.0-nightly.20250406",
|
|
72
|
+
"@aztec/constants": "0.84.0-nightly.20250406",
|
|
73
|
+
"@aztec/foundation": "0.84.0-nightly.20250406",
|
|
74
|
+
"@aztec/noir-noirc_abi": "0.84.0-nightly.20250406",
|
|
75
|
+
"@aztec/noir-protocol-circuits-types": "0.84.0-nightly.20250406",
|
|
76
|
+
"@aztec/noir-types": "0.84.0-nightly.20250406",
|
|
77
|
+
"@aztec/simulator": "0.84.0-nightly.20250406",
|
|
78
|
+
"@aztec/stdlib": "0.84.0-nightly.20250406",
|
|
79
|
+
"@aztec/telemetry-client": "0.84.0-nightly.20250406",
|
|
80
|
+
"@aztec/world-state": "0.84.0-nightly.20250406",
|
|
81
81
|
"@msgpack/msgpack": "^3.0.0-beta2",
|
|
82
82
|
"commander": "^12.1.0",
|
|
83
83
|
"pako": "^2.1.0",
|
|
@@ -85,10 +85,10 @@
|
|
|
85
85
|
"tslib": "^2.4.0"
|
|
86
86
|
},
|
|
87
87
|
"devDependencies": {
|
|
88
|
-
"@aztec/ethereum": "0.84.0-
|
|
89
|
-
"@aztec/kv-store": "0.84.0-
|
|
90
|
-
"@aztec/noir-contracts.js": "0.84.0-
|
|
91
|
-
"@aztec/protocol-contracts": "0.84.0-
|
|
88
|
+
"@aztec/ethereum": "0.84.0-nightly.20250406",
|
|
89
|
+
"@aztec/kv-store": "0.84.0-nightly.20250406",
|
|
90
|
+
"@aztec/noir-contracts.js": "0.84.0-nightly.20250406",
|
|
91
|
+
"@aztec/protocol-contracts": "0.84.0-nightly.20250406",
|
|
92
92
|
"@jest/globals": "^29.5.0",
|
|
93
93
|
"@types/jest": "^29.5.0",
|
|
94
94
|
"@types/memdown": "^3.0.0",
|
package/src/prover/bb_prover.ts
CHANGED
|
@@ -183,7 +183,7 @@ export class BBNativeRollupProver implements ServerCircuitProver {
|
|
|
183
183
|
* @returns The proof.
|
|
184
184
|
*/
|
|
185
185
|
@trackSpan('BBNativeRollupProver.getAvmProof', inputs => ({
|
|
186
|
-
[Attributes.APP_CIRCUIT_NAME]: inputs.
|
|
186
|
+
[Attributes.APP_CIRCUIT_NAME]: inputs.hints.tx.hash,
|
|
187
187
|
}))
|
|
188
188
|
public async getAvmProof(
|
|
189
189
|
inputs: AvmCircuitInputs,
|
|
@@ -503,12 +503,12 @@ export class BBNativeRollupProver implements ServerCircuitProver {
|
|
|
503
503
|
}
|
|
504
504
|
|
|
505
505
|
private async generateAvmProofWithBB(input: AvmCircuitInputs, workingDirectory: string): Promise<BBSuccess> {
|
|
506
|
-
logger.info(`Proving avm-circuit for ${input.
|
|
506
|
+
logger.info(`Proving avm-circuit for TX ${input.hints.tx.hash}...`);
|
|
507
507
|
|
|
508
508
|
const provingResult = await generateAvmProof(this.config.bbBinaryPath, workingDirectory, input, logger);
|
|
509
509
|
|
|
510
510
|
if (provingResult.status === BB_RESULT.FAILURE) {
|
|
511
|
-
logger.error(`Failed to generate AVM proof for ${input.
|
|
511
|
+
logger.error(`Failed to generate AVM proof for TX ${input.hints.tx.hash}: ${provingResult.reason}`);
|
|
512
512
|
throw new ProvingError(provingResult.reason, provingResult, provingResult.retry);
|
|
513
513
|
}
|
|
514
514
|
|
|
@@ -556,10 +556,10 @@ export class BBNativeRollupProver implements ServerCircuitProver {
|
|
|
556
556
|
this.instrumentation.recordAvmSize('circuitSize', appCircuitName, verificationKey.circuitSize);
|
|
557
557
|
|
|
558
558
|
logger.info(
|
|
559
|
-
`Generated proof for ${circuitType}(${input.
|
|
559
|
+
`Generated proof for ${circuitType}(${input.hints.tx.hash}) in ${Math.ceil(provingResult.durationMs)} ms`,
|
|
560
560
|
{
|
|
561
561
|
circuitName: circuitType,
|
|
562
|
-
appCircuitName: input.
|
|
562
|
+
appCircuitName: input.hints.tx.hash,
|
|
563
563
|
// does not include reading the proof from disk
|
|
564
564
|
duration: provingResult.durationMs,
|
|
565
565
|
proofSize: avmProof.binaryProof.buffer.length,
|