@aztec/bb-prover 3.0.0-nightly.20250917 → 3.0.0-nightly.20250918

package/dest/test/test_circuit_prover.js

@@ -8,7 +8,7 @@ import { AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, AVM_V2_VERIFICATION_KEY_LENGTH_IN
 import { createLogger } from '@aztec/foundation/log';
 import { sleep } from '@aztec/foundation/sleep';
 import { Timer } from '@aztec/foundation/timer';
-import { convertBaseParityInputsToWitnessMap, convertBaseParityOutputsFromWitnessMap, convertBlockMergeRollupInputsToWitnessMap, convertBlockMergeRollupOutputsFromWitnessMap, convertEmptyBlockRootRollupInputsToWitnessMap, convertEmptyBlockRootRollupOutputsFromWitnessMap, convertMergeRollupInputsToWitnessMap, convertMergeRollupOutputsFromWitnessMap, convertPaddingBlockRootRollupInputsToWitnessMap, convertPaddingBlockRootRollupOutputsFromWitnessMap, convertRootParityInputsToWitnessMap, convertRootParityOutputsFromWitnessMap, convertRootRollupInputsToWitnessMap, convertRootRollupOutputsFromWitnessMap, convertSimulatedBlockRootRollupInputsToWitnessMap, convertSimulatedBlockRootRollupOutputsFromWitnessMap, convertSimulatedPrivateBaseRollupInputsToWitnessMap, convertSimulatedPrivateBaseRollupOutputsFromWitnessMap, convertSimulatedPublicBaseRollupInputsToWitnessMap, convertSimulatedPublicBaseRollupOutputsFromWitnessMap, convertSimulatedSingleTxBlockRootRollupInputsToWitnessMap, convertSimulatedSingleTxBlockRootRollupOutputsFromWitnessMap, foreignCallHandler, getSimulatedServerCircuitArtifact } from '@aztec/noir-protocol-circuits-types/server';
+import { convertBaseParityInputsToWitnessMap, convertBaseParityOutputsFromWitnessMap, convertBlockMergeRollupOutputsFromWitnessMap, convertBlockMergeRollupPrivateInputsToWitnessMap, convertBlockRootEmptyTxFirstRollupOutputsFromWitnessMap, convertBlockRootEmptyTxFirstRollupPrivateInputsToWitnessMap, convertBlockRootFirstRollupOutputsFromWitnessMap, convertBlockRootFirstRollupPrivateInputsToWitnessMap, convertBlockRootRollupOutputsFromWitnessMap, convertBlockRootRollupPrivateInputsToWitnessMap, convertBlockRootSingleTxFirstRollupOutputsFromWitnessMap, convertBlockRootSingleTxFirstRollupPrivateInputsToWitnessMap, convertBlockRootSingleTxRollupOutputsFromWitnessMap, convertBlockRootSingleTxRollupPrivateInputsToWitnessMap, convertCheckpointMergeRollupOutputsFromWitnessMap, convertCheckpointMergeRollupPrivateInputsToWitnessMap, convertCheckpointPaddingRollupOutputsFromWitnessMap, convertCheckpointPaddingRollupPrivateInputsToWitnessMap, convertCheckpointRootRollupOutputsFromWitnessMap, convertCheckpointRootRollupPrivateInputsToWitnessMap, convertCheckpointRootSingleBlockRollupOutputsFromWitnessMap, convertCheckpointRootSingleBlockRollupPrivateInputsToWitnessMap, convertMergeRollupInputsToWitnessMap, convertMergeRollupOutputsFromWitnessMap, convertRootParityInputsToWitnessMap, convertRootParityOutputsFromWitnessMap, convertRootRollupOutputsFromWitnessMap, convertRootRollupPrivateInputsToWitnessMap, convertSimulatedPrivateBaseRollupInputsToWitnessMap, convertSimulatedPrivateBaseRollupOutputsFromWitnessMap, convertSimulatedPublicBaseRollupInputsToWitnessMap, convertSimulatedPublicBaseRollupOutputsFromWitnessMap, foreignCallHandler, getSimulatedServerCircuitArtifact } from '@aztec/noir-protocol-circuits-types/server';
 import { ProtocolCircuitVks } from '@aztec/noir-protocol-circuits-types/server/vks';
 import { WASMSimulatorWithBlobs, emitCircuitSimulationStats } from '@aztec/simulator/server';
 import { makeProofAndVerificationKey, makePublicInputsAndRecursiveProof } from '@aztec/stdlib/interfaces/server';
@@ -70,39 +70,42 @@ import { PROOF_DELAY_MS, WITGEN_DELAY_MS } from './delay_values.js';
    */ getMergeRollupProof(input) {
         return this.applyDelay(ProvingRequestType.MERGE_ROLLUP, ()=>this.simulate(input, 'MergeRollupArtifact', NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, convertMergeRollupInputsToWitnessMap, convertMergeRollupOutputsFromWitnessMap));
     }
-    /**
-   * Simulates the block root rollup circuit from its inputs.
-   * @param input - Inputs to the circuit.
-   * @returns The public inputs as outputs of the simulation.
-   */ getBlockRootRollupProof(input) {
-        return this.applyDelay(ProvingRequestType.BLOCK_ROOT_ROLLUP, ()=>this.simulate(input, 'BlockRootRollupArtifact', NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, convertSimulatedBlockRootRollupInputsToWitnessMap, convertSimulatedBlockRootRollupOutputsFromWitnessMap));
+    getBlockRootFirstRollupProof(input) {
+        return this.applyDelay(ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP, ()=>this.simulate(input, 'BlockRootFirstRollupArtifact', NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, convertBlockRootFirstRollupPrivateInputsToWitnessMap, convertBlockRootFirstRollupOutputsFromWitnessMap));
     }
-    async getSingleTxBlockRootRollupProof(input) {
-        return await this.applyDelay(ProvingRequestType.SINGLE_TX_BLOCK_ROOT_ROLLUP, ()=>this.simulate(input, 'SingleTxBlockRootRollupArtifact', NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, convertSimulatedSingleTxBlockRootRollupInputsToWitnessMap, convertSimulatedSingleTxBlockRootRollupOutputsFromWitnessMap));
+    async getBlockRootSingleTxFirstRollupProof(input) {
+        return await this.applyDelay(ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP, ()=>this.simulate(input, 'BlockRootSingleTxFirstRollupArtifact', NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, convertBlockRootSingleTxFirstRollupPrivateInputsToWitnessMap, convertBlockRootSingleTxFirstRollupOutputsFromWitnessMap));
     }
-    /**
-   * Simulates the empty block root rollup circuit from its inputs.
-   * @param input - Inputs to the circuit.
-   * @returns The public inputs as outputs of the simulation.
-   */ getEmptyBlockRootRollupProof(input) {
-        return this.applyDelay(ProvingRequestType.EMPTY_BLOCK_ROOT_ROLLUP, ()=>this.simulate(input, 'EmptyBlockRootRollupArtifact', NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, convertEmptyBlockRootRollupInputsToWitnessMap, convertEmptyBlockRootRollupOutputsFromWitnessMap));
+    getBlockRootEmptyTxFirstRollupProof(input) {
+        return this.applyDelay(ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP, ()=>this.simulate(input, 'BlockRootEmptyTxFirstRollupArtifact', NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, convertBlockRootEmptyTxFirstRollupPrivateInputsToWitnessMap, convertBlockRootEmptyTxFirstRollupOutputsFromWitnessMap));
     }
-    getPaddingBlockRootRollupProof(input) {
-        return this.applyDelay(ProvingRequestType.PADDING_BLOCK_ROOT_ROLLUP, ()=>this.simulate(input, 'PaddingBlockRootRollupArtifact', NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, convertPaddingBlockRootRollupInputsToWitnessMap, convertPaddingBlockRootRollupOutputsFromWitnessMap));
+    getBlockRootRollupProof(input) {
+        return this.applyDelay(ProvingRequestType.BLOCK_ROOT_ROLLUP, ()=>this.simulate(input, 'BlockRootRollupArtifact', NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, convertBlockRootRollupPrivateInputsToWitnessMap, convertBlockRootRollupOutputsFromWitnessMap));
     }
-    /**
-   * Simulates the block merge rollup circuit from its inputs.
-   * @param input - Inputs to the circuit.
-   * @returns The public inputs as outputs of the simulation.
-   */ getBlockMergeRollupProof(input) {
-        return this.applyDelay(ProvingRequestType.BLOCK_MERGE_ROLLUP, ()=>this.simulate(input, 'BlockMergeRollupArtifact', NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, convertBlockMergeRollupInputsToWitnessMap, convertBlockMergeRollupOutputsFromWitnessMap));
+    async getBlockRootSingleTxRollupProof(input) {
+        return await this.applyDelay(ProvingRequestType.BLOCK_ROOT_SINGLE_TX_ROLLUP, ()=>this.simulate(input, 'BlockRootSingleTxRollupArtifact', NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, convertBlockRootSingleTxRollupPrivateInputsToWitnessMap, convertBlockRootSingleTxRollupOutputsFromWitnessMap));
+    }
+    getBlockMergeRollupProof(input) {
+        return this.applyDelay(ProvingRequestType.BLOCK_MERGE_ROLLUP, ()=>this.simulate(input, 'BlockMergeRollupArtifact', NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, convertBlockMergeRollupPrivateInputsToWitnessMap, convertBlockMergeRollupOutputsFromWitnessMap));
+    }
+    getCheckpointRootRollupProof(input) {
+        return this.applyDelay(ProvingRequestType.CHECKPOINT_ROOT_ROLLUP, ()=>this.simulate(input, 'CheckpointRootRollupArtifact', NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, convertCheckpointRootRollupPrivateInputsToWitnessMap, convertCheckpointRootRollupOutputsFromWitnessMap));
+    }
+    getCheckpointRootSingleBlockRollupProof(input) {
+        return this.applyDelay(ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP, ()=>this.simulate(input, 'CheckpointRootSingleBlockRollupArtifact', NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, convertCheckpointRootSingleBlockRollupPrivateInputsToWitnessMap, convertCheckpointRootSingleBlockRollupOutputsFromWitnessMap));
+    }
+    getCheckpointPaddingRollupProof(input) {
+        return this.applyDelay(ProvingRequestType.CHECKPOINT_PADDING_ROLLUP, ()=>this.simulate(input, 'CheckpointPaddingRollupArtifact', NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, convertCheckpointPaddingRollupPrivateInputsToWitnessMap, convertCheckpointPaddingRollupOutputsFromWitnessMap));
+    }
+    getCheckpointMergeRollupProof(input) {
+        return this.applyDelay(ProvingRequestType.CHECKPOINT_MERGE_ROLLUP, ()=>this.simulate(input, 'CheckpointMergeRollupArtifact', NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, convertCheckpointMergeRollupPrivateInputsToWitnessMap, convertCheckpointMergeRollupOutputsFromWitnessMap));
     }
     /**
    * Simulates the root rollup circuit from its inputs.
    * @param input - Inputs to the circuit.
    * @returns The public inputs as outputs of the simulation.
    */ getRootRollupProof(input) {
-        return this.applyDelay(ProvingRequestType.ROOT_ROLLUP, ()=>this.simulate(input, 'RootRollupArtifact', NESTED_RECURSIVE_PROOF_LENGTH, convertRootRollupInputsToWitnessMap, convertRootRollupOutputsFromWitnessMap));
+        return this.applyDelay(ProvingRequestType.ROOT_ROLLUP, ()=>this.simulate(input, 'RootRollupArtifact', NESTED_RECURSIVE_PROOF_LENGTH, convertRootRollupPrivateInputsToWitnessMap, convertRootRollupOutputsFromWitnessMap));
     }
     getAvmProof(_inputs) {
         // We can't simulate the AVM because we don't have enough context to do so (e.g., DBs).
@@ -128,21 +131,20 @@ import { PROOF_DELAY_MS, WITGEN_DELAY_MS } from './delay_values.js';
     }
     async simulate(input, artifactName, proofLength, convertInput, convertOutput) {
         const timer = new Timer();
-        const witnessMap = convertInput(input);
+        const witnessMap = convertInput(input, true);
         const circuitName = mapProtocolArtifactNameToCircuitName(artifactName);
         let witness;
         if ([
-            'BlockRootRollupArtifact',
-            'SingleTxBlockRootRollupArtifact'
+            'CheckpointRootRollupArtifact',
+            'CheckpointRootSingleBlockRollupArtifact'
         ].includes(artifactName) || this.simulator == undefined) {
             // TODO(#10323): Native ACVM simulator does not support foreign call handler so we use the wasm simulator
-            // when simulating block root rollup and single tx block root rollup circuits or when the native ACVM simulator
-            // is not provided.
+            // when simulating checkpoint root rollup circuits or when the native ACVM simulator is not provided.
             witness = (await this.wasmSimulator.executeProtocolCircuit(witnessMap, getSimulatedServerCircuitArtifact(artifactName), foreignCallHandler)).witness;
         } else {
             witness = (await this.simulator.executeProtocolCircuit(witnessMap, getSimulatedServerCircuitArtifact(artifactName), undefined)).witness;
         }
-        const result = convertOutput(witness);
+        const result = convertOutput(witness, true);
         this.instrumentation.recordDuration('simulationDuration', circuitName, timer);
         emitCircuitSimulationStats(circuitName, timer.ms(), input.toBuffer().length, result.toBuffer().length, this.logger);
         return makePublicInputsAndRecursiveProof(result, makeRecursiveProof(proofLength), ProtocolCircuitVks[artifactName]);
@@ -164,20 +166,35 @@ _ts_decorate([
     trackSpan('TestCircuitProver.getMergeRollupProof')
 ], TestCircuitProver.prototype, "getMergeRollupProof", null);
 _ts_decorate([
-    trackSpan('TestCircuitProver.getBlockRootRollupProof')
-], TestCircuitProver.prototype, "getBlockRootRollupProof", null);
+    trackSpan('TestCircuitProver.getBlockRootFirstRollupProof')
+], TestCircuitProver.prototype, "getBlockRootFirstRollupProof", null);
 _ts_decorate([
-    trackSpan('TestCircuitProver.getSingleTxBlockRootRollupProof')
-], TestCircuitProver.prototype, "getSingleTxBlockRootRollupProof", null);
+    trackSpan('TestCircuitProver.getBlockRootSingleTxFirstRollupProof')
+], TestCircuitProver.prototype, "getBlockRootSingleTxFirstRollupProof", null);
 _ts_decorate([
-    trackSpan('TestCircuitProver.getEmptyBlockRootRollupProof')
-], TestCircuitProver.prototype, "getEmptyBlockRootRollupProof", null);
+    trackSpan('TestCircuitProver.getBlockRootEmptyTxFirstRollupProof')
+], TestCircuitProver.prototype, "getBlockRootEmptyTxFirstRollupProof", null);
 _ts_decorate([
-    trackSpan('TestCircuitProver.getPaddingBlockRootRollupProof')
-], TestCircuitProver.prototype, "getPaddingBlockRootRollupProof", null);
+    trackSpan('TestCircuitProver.getBlockRootRollupProof')
+], TestCircuitProver.prototype, "getBlockRootRollupProof", null);
+_ts_decorate([
+    trackSpan('TestCircuitProver.getBlockRootSingleTxRollupProof')
+], TestCircuitProver.prototype, "getBlockRootSingleTxRollupProof", null);
 _ts_decorate([
     trackSpan('TestCircuitProver.getBlockMergeRollupProof')
 ], TestCircuitProver.prototype, "getBlockMergeRollupProof", null);
+_ts_decorate([
+    trackSpan('TestCircuitProver.getCheckpointRootRollupProof')
+], TestCircuitProver.prototype, "getCheckpointRootRollupProof", null);
+_ts_decorate([
+    trackSpan('TestCircuitProver.getCheckpointRootSingleBlockRollupProof')
+], TestCircuitProver.prototype, "getCheckpointRootSingleBlockRollupProof", null);
+_ts_decorate([
+    trackSpan('TestCircuitProver.getCheckpointPaddingRollupProof')
+], TestCircuitProver.prototype, "getCheckpointPaddingRollupProof", null);
+_ts_decorate([
+    trackSpan('TestCircuitProver.getCheckpointMergeRollupProof')
+], TestCircuitProver.prototype, "getCheckpointMergeRollupProof", null);
 _ts_decorate([
     trackSpan('TestCircuitProver.getRootRollupProof')
 ], TestCircuitProver.prototype, "getRootRollupProof", null);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec/bb-prover",
-  "version": "3.0.0-nightly.20250917",
+  "version": "3.0.0-nightly.20250918",
   "type": "module",
   "exports": {
     ".": "./dest/index.js",
@@ -69,27 +69,27 @@
     ]
   },
   "dependencies": {
-    "@aztec/bb.js": "3.0.0-nightly.20250917",
-    "@aztec/constants": "3.0.0-nightly.20250917",
-    "@aztec/foundation": "3.0.0-nightly.20250917",
-    "@aztec/noir-noirc_abi": "3.0.0-nightly.20250917",
-    "@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20250917",
-    "@aztec/noir-types": "3.0.0-nightly.20250917",
-    "@aztec/simulator": "3.0.0-nightly.20250917",
-    "@aztec/stdlib": "3.0.0-nightly.20250917",
-    "@aztec/telemetry-client": "3.0.0-nightly.20250917",
-    "@aztec/world-state": "3.0.0-nightly.20250917",
+    "@aztec/bb.js": "3.0.0-nightly.20250918",
+    "@aztec/constants": "3.0.0-nightly.20250918",
+    "@aztec/foundation": "3.0.0-nightly.20250918",
+    "@aztec/noir-noirc_abi": "3.0.0-nightly.20250918",
+    "@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20250918",
+    "@aztec/noir-types": "3.0.0-nightly.20250918",
+    "@aztec/simulator": "3.0.0-nightly.20250918",
+    "@aztec/stdlib": "3.0.0-nightly.20250918",
+    "@aztec/telemetry-client": "3.0.0-nightly.20250918",
+    "@aztec/world-state": "3.0.0-nightly.20250918",
     "commander": "^12.1.0",
     "pako": "^2.1.0",
     "source-map-support": "^0.5.21",
     "tslib": "^2.4.0"
   },
   "devDependencies": {
-    "@aztec/ethereum": "3.0.0-nightly.20250917",
-    "@aztec/kv-store": "3.0.0-nightly.20250917",
-    "@aztec/noir-contracts.js": "3.0.0-nightly.20250917",
-    "@aztec/noir-test-contracts.js": "3.0.0-nightly.20250917",
-    "@aztec/protocol-contracts": "3.0.0-nightly.20250917",
+    "@aztec/ethereum": "3.0.0-nightly.20250918",
+    "@aztec/kv-store": "3.0.0-nightly.20250918",
+    "@aztec/noir-contracts.js": "3.0.0-nightly.20250918",
+    "@aztec/noir-test-contracts.js": "3.0.0-nightly.20250918",
+    "@aztec/protocol-contracts": "3.0.0-nightly.20250918",
     "@jest/globals": "^30.0.0",
     "@types/jest": "^30.0.0",
     "@types/node": "^22.15.17",