fix(prover): BWG optimizations (#2469)

This PR adds BWG optimizations on crypto side. See more [here](matter-labs/era-zkevm_test_harness#165).
matter-labs · Jul 23, 2024 · d8851c8 · d8851c8
1 parent 6ce0b50
commit d8851c8
Show file tree

Hide file tree

Showing 5 changed files with 48 additions and 83 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -198,9 +198,9 @@ circuit_sequencer_api_1_3_3 = { package = "circuit_sequencer_api", version = "=0
 circuit_sequencer_api_1_4_0 = { package = "circuit_sequencer_api", version = "=0.140.0" }
 circuit_sequencer_api_1_4_1 = { package = "circuit_sequencer_api", version = "=0.141.0" }
 circuit_sequencer_api_1_4_2 = { package = "circuit_sequencer_api", version = "=0.142.0" }
-circuit_sequencer_api_1_5_0 = { package = "circuit_sequencer_api", version = "=0.150.1" }
+circuit_sequencer_api_1_5_0 = { package = "circuit_sequencer_api", version = "=0.150.2-rc.1" }
 crypto_codegen = { package = "zksync_solidity_vk_codegen", version = "=0.1.0" }
-kzg = { package = "zksync_kzg", version = "=0.150.1" }
+kzg = { package = "zksync_kzg", version = "=0.150.2-rc.1" }
 zk_evm = { version = "=0.133.0" }
 zk_evm_1_3_1 = { package = "zk_evm", version = "0.131.0-rc.2" }
 zk_evm_1_3_3 = { package = "zk_evm", version = "0.133.0" }

diff --git a/prover/Cargo.lock b/prover/Cargo.lock
diff --git a/prover/Cargo.toml b/prover/Cargo.toml
@@ -56,13 +56,13 @@ tracing-subscriber = { version = "0.3" }
 vise = "0.1.0"
 
 # Proving dependencies
-circuit_definitions = "=0.150.1"
-circuit_sequencer_api = "=0.150.1"
-zkevm_test_harness = "=0.150.1"
+circuit_definitions = "=0.150.2-rc.1"
+circuit_sequencer_api = "=0.150.2-rc.1"
+zkevm_test_harness = "=0.150.2-rc.1"
 
 # GPU proving dependencies
 wrapper_prover = { package = "zksync-wrapper-prover", version = "=0.140.0-gpu-wrapper.0" }
-shivini = "=0.150.1"
+shivini = "=0.150.2-rc.1"
 
 # Core workspace dependencies
 zksync_multivm = { path = "../core/lib/multivm", version = "0.1.0" }

diff --git a/prover/crates/bin/witness_generator/src/basic_circuits.rs b/prover/crates/bin/witness_generator/src/basic_circuits.rs
@@ -381,7 +381,7 @@ async fn generate_witness(
         input.vm_run_data.protocol_version,
     );
 
-    let mut tree = PrecalculatedMerklePathsProvider::new(
+    let tree = PrecalculatedMerklePathsProvider::new(
         input.merkle_paths,
         input.previous_batch_metadata.root_hash.0,
     );
@@ -428,7 +428,7 @@ async fn generate_witness(
             MAX_CYCLES_FOR_TX as usize,
             geometry_config,
             storage_oracle,
-            &mut tree,
+            tree,
             path,
             input.eip_4844_blobs.blobs(),
             |circuit| {