Bump stwo dep

stwo_cairo_prover/Cargo.toml

@@ -36,9 +36,11 @@ serde_json = "1.0.1"
 stwo_cairo_prover = { path = "crates/prover", version = "~0.1.0" }
 stwo_cairo_utils = { path = "crates/utils", version = "~0.1.0" }
 # TODO(ShaharS): take stwo version from the source repository.
-stwo-prover = { git = "https://github.com/starkware-libs/stwo", rev = "438c107", features = [
+stwo-prover = { git = "https://github.com/starkware-libs/stwo", rev = "0445252", features = [
     "parallel",
 ], default-features = false }
+stwo-air-utils-derive = { git = "https://github.com/starkware-libs/stwo", rev = "0445252" }
+stwo-air-utils = { git = "https://github.com/starkware-libs/stwo", rev = "0445252" }
 thiserror = { version = "2.0.10", default-features = false }
 tracing = "0.1.40"
 tracing-subscriber = "0.3.18"

stwo_cairo_prover/crates/cairo-serialize/src/lib.rs

@@ -4,7 +4,7 @@ pub use stwo_cairo_serialize_derive::CairoSerialize;
 use stwo_prover::core::fields::m31::BaseField;
 use stwo_prover::core::fields::qm31::SecureField;
 use stwo_prover::core::fri::{FriLayerProof, FriProof};
-use stwo_prover::core::pcs::CommitmentSchemeProof;
+use stwo_prover::core::pcs::{CommitmentSchemeProof, PcsConfig};
 use stwo_prover::core::poly::line::LinePoly;
 use stwo_prover::core::prover::StarkProof;
 use stwo_prover::core::vcs::ops::MerkleHasher;
@@ -116,13 +116,15 @@ where
             queried_values,
             proof_of_work,
             fri_proof,
+            config,
         } = self;
         commitments.serialize(output);
         sampled_values.serialize(output);
         decommitments.serialize(output);
         queried_values.serialize(output);
         output.push((*proof_of_work).into());
         fri_proof.serialize(output);
+        config.serialize(output);
     }
 }
 
@@ -183,3 +185,12 @@ impl<T0: CairoSerialize, T1: CairoSerialize, T2: CairoSerialize> CairoSerialize
         v2.serialize(output);
     }
 }
+
+impl CairoSerialize for PcsConfig {
+    fn serialize(&self, output: &mut Vec<FieldElement>) {
+        output.push((self.pow_bits).into());
+        output.push((self.fri_config.log_blowup_factor).into());
+        output.push((self.fri_config.log_last_layer_degree_bound).into());
+        output.push((self.fri_config.n_queries).into());
+    }
+}

stwo_cairo_prover/crates/prover/Cargo.toml

@@ -9,8 +9,8 @@ std = ["dep:sonic-rs"]
 
 [dependencies]
 air_structs_derive = { path = "../air_structs_derive" }
-stwo-air-utils-derive = { git = "https://github.com/starkware-libs/stwo", rev = "438c107" }
-stwo-air-utils = { git = "https://github.com/starkware-libs/stwo", rev = "438c107" }
+stwo-air-utils-derive.workspace = true
+stwo-air-utils.workspace = true
 bytemuck.workspace = true
 cairo-lang-casm.workspace = true
 cairo-vm.workspace = true