diff --git a/.cargo/config.toml b/.cargo/config.toml
index 9246f8f..b7dde87 100644
--- a/.cargo/config.toml
+++ b/.cargo/config.toml
@@ -1,60 +1,59 @@
-# [net]
-# git-fetch-with-cli = true
+[net]
+git-fetch-with-cli = true
 
-# [patch."https://github.com/openvm-org/stark-backend.git"]
-# openvm-stark-backend = { git = "ssh://git@github.com/openvm-org/stark-backend.git" }
-# openvm-stark-sdk = { git = "ssh://git@github.com/openvm-org/stark-backend.git" }
+[patch."https://github.com/openvm-org/stark-backend.git"]
+openvm-stark-backend = { git = "ssh://git@github.com/openvm-org/stark-backend.git", rev = "d2788c71e68aa386fc8c0d8f258c25557a1bbb09" }
+openvm-stark-sdk = { git = "ssh://git@github.com/openvm-org/stark-backend.git", rev = "d2788c71e68aa386fc8c0d8f258c25557a1bbb09" }
 
-# [patch."https://github.com/openvm-org/openvm.git"]
-# openvm-benchmarks = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# # OpenVM
-# openvm-sdk = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# cargo-openvm = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-mod-circuit-builder = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-poseidon2-air = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-circuit-primitives = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-circuit-primitives-derive = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-build = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-instructions = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-instructions-derive = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-macros-common = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-platform = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-circuit-derive = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
+[patch."https://github.com/openvm-org/openvm.git"]
+openvm-benchmarks = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-sdk = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+cargo-openvm = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-mod-circuit-builder = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-poseidon2-air = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-circuit-primitives = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-circuit-primitives-derive = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-build = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-instructions = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-instructions-derive = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-macros-common = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-platform = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-circuit-derive = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
 
-# # Extensions
-# openvm-algebra-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-algebra-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-algebra-guest = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-algebra-moduli-setup = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-algebra-complex-macros = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-bigint-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-bigint-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-bigint-guest = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-ecc-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-ecc-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-ecc-guest = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-ecc-sw-setup = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-keccak256-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-keccak256-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-keccak256-guest = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-native-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-native-compiler = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-native-compiler-derive = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-native-recursion = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-pairing-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-pairing-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-pairing-guest = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-rv32-adapters = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-rv32im-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-rv32im-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
-# openvm-rv32im-guest = { git = "ssh://git@github.com/openvm-org/openvm.git", default-features = false }
+openvm-algebra-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-algebra-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-algebra-guest = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-algebra-moduli-setup = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-algebra-complex-macros = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-bigint-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-bigint-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-bigint-guest = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-ecc-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-ecc-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-ecc-guest = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-ecc-sw-setup = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-keccak256-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-keccak256-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-keccak256-guest = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-native-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-native-compiler = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-native-compiler-derive = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-native-recursion = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-pairing-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-pairing-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-pairing-guest = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-rv32-adapters = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-rv32im-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-rv32im-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
+openvm-rv32im-guest = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "354dd06" }
 
-
-# # [patch.crates-io]
-# # revm = { path = "../revm/crates/revm" }
-# # revm-primitives = { path = "../revm/crates/primitives" }
-# # revm-interpreter = { path = "../revm/crates/interpreter" }
-# # revm-precompile = { path = "../revm/crates/precompile" }
+# OpenVM
+# Extensions
+# [patch.crates-io]
+# revm = { path = "../revm/crates/revm" }
+# revm-primitives = { path = "../revm/crates/primitives" }
+# revm-interpreter = { path = "../revm/crates/interpreter" }
+# revm-precompile = { path = "../revm/crates/precompile" }