refactor: transition constraints

Cargo.toml

@@ -18,6 +18,7 @@ lambdaworks-math = { path = "./math", version = "0.5.0", default-features = fals
 stark-platinum-prover = { path = "./provers/stark" }
 cairo-platinum-prover = { path = "./provers/cairo" }
 lambdaworks-winterfell-adapter = { path = "./winterfell_adapter"}
+
 [patch.crates-io]
 winter-air = { git = "https://github.com/lambdaclass/winterfell-for-lambdaworks.git", branch = "derive-clone-v6.4"}
 winter-prover = { git = "https://github.com/lambdaclass/winterfell-for-lambdaworks.git", branch = "derive-clone-v6.4"}

Makefile

@@ -24,6 +24,7 @@ clippy:
 	cargo clippy --workspace --all-targets -- -D warnings
 	cargo clippy --workspace --all-targets --features wasm -- -D warnings
 	cargo clippy --workspace --all-targets --features cli -- -D warnings
+	cargo clippy --workspace --all-targets --features parallel -- -D warnings
 	cargo clippy --tests
 
 clippy-cuda:

examples/prove-miden/Cargo.toml

@@ -13,7 +13,7 @@ path = "src/main.rs"
 lambdaworks-crypto = { workspace = true }
 lambdaworks-math = { workspace = true, features = ["lambdaworks-serde-string"] }
 lambdaworks-winterfell-adapter = { workspace = true }
-stark-platinum-prover = { workspace = true, features = ["instruments", "parallel"] }
+stark-platinum-prover = { git = "https://github.com/lambdaclass/lambdaworks" , rev = "3da725de1e6f76c04ddbb3ccb67e6038a7663134", features = ["winter_compatibility"] }
 
 serde = { version = "1.0" }
 serde_json = "1"