diff --git a/Cargo.lock b/Cargo.lock
index 51e53471..78d9a18a 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -2974,7 +2974,7 @@ dependencies = [
 [[package]]
 name = "miden-air"
 version = "0.11.0"
-source = "git+https://github.com/0xPolygonMiden/miden-vm?rev=fe4afa2ad655772cd1ef1c30d014c383731ab293#fe4afa2ad655772cd1ef1c30d014c383731ab293"
+source = "git+https://github.com/0xPolygonMiden/miden-vm?rev=75bd636a6b83fd6cb134b0981663aa28e49a811c#75bd636a6b83fd6cb134b0981663aa28e49a811c"
 dependencies = [
  "miden-core",
  "miden-thiserror",
@@ -2985,7 +2985,7 @@ dependencies = [
 [[package]]
 name = "miden-assembly"
 version = "0.11.0"
-source = "git+https://github.com/0xPolygonMiden/miden-vm?rev=fe4afa2ad655772cd1ef1c30d014c383731ab293#fe4afa2ad655772cd1ef1c30d014c383731ab293"
+source = "git+https://github.com/0xPolygonMiden/miden-vm?rev=75bd636a6b83fd6cb134b0981663aa28e49a811c#75bd636a6b83fd6cb134b0981663aa28e49a811c"
 dependencies = [
  "aho-corasick",
  "lalrpop",
@@ -3011,7 +3011,7 @@ dependencies = [
 [[package]]
 name = "miden-core"
 version = "0.11.0"
-source = "git+https://github.com/0xPolygonMiden/miden-vm?rev=fe4afa2ad655772cd1ef1c30d014c383731ab293#fe4afa2ad655772cd1ef1c30d014c383731ab293"
+source = "git+https://github.com/0xPolygonMiden/miden-vm?rev=75bd636a6b83fd6cb134b0981663aa28e49a811c#75bd636a6b83fd6cb134b0981663aa28e49a811c"
 dependencies = [
  "lock_api",
  "loom",
@@ -3139,7 +3139,7 @@ dependencies = [
 [[package]]
 name = "miden-package"
 version = "0.11.0"
-source = "git+https://github.com/0xPolygonMiden/miden-vm?rev=fe4afa2ad655772cd1ef1c30d014c383731ab293#fe4afa2ad655772cd1ef1c30d014c383731ab293"
+source = "git+https://github.com/0xPolygonMiden/miden-vm?rev=75bd636a6b83fd6cb134b0981663aa28e49a811c#75bd636a6b83fd6cb134b0981663aa28e49a811c"
 dependencies = [
  "bitcode",
  "miden-assembly",
@@ -3152,7 +3152,7 @@ dependencies = [
 [[package]]
 name = "miden-processor"
 version = "0.11.0"
-source = "git+https://github.com/0xPolygonMiden/miden-vm?rev=fe4afa2ad655772cd1ef1c30d014c383731ab293#fe4afa2ad655772cd1ef1c30d014c383731ab293"
+source = "git+https://github.com/0xPolygonMiden/miden-vm?rev=75bd636a6b83fd6cb134b0981663aa28e49a811c#75bd636a6b83fd6cb134b0981663aa28e49a811c"
 dependencies = [
  "miden-air",
  "miden-core",
@@ -3168,7 +3168,7 @@ version = "0.0.7"
 [[package]]
 name = "miden-stdlib"
 version = "0.11.0"
-source = "git+https://github.com/0xPolygonMiden/miden-vm?rev=fe4afa2ad655772cd1ef1c30d014c383731ab293#fe4afa2ad655772cd1ef1c30d014c383731ab293"
+source = "git+https://github.com/0xPolygonMiden/miden-vm?rev=75bd636a6b83fd6cb134b0981663aa28e49a811c#75bd636a6b83fd6cb134b0981663aa28e49a811c"
 dependencies = [
  "miden-assembly",
 ]
diff --git a/Cargo.toml b/Cargo.toml
index 8ad5f764..5e14a164 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -95,13 +95,13 @@ miden-parsing = "0.1"
 # miden-stdlib = { version = "0.11.0", path = "../vm-aux/stdlib" }
 # miden-package = { version = "0.11.0", path = "../vm-aux/package" }
 
-miden-assembly = { version = "0.11.0", git = "https://github.com/0xPolygonMiden/miden-vm", rev = "fe4afa2ad655772cd1ef1c30d014c383731ab293" }
-miden-core = { version = "0.11.0", git = "https://github.com/0xPolygonMiden/miden-vm", rev = "fe4afa2ad655772cd1ef1c30d014c383731ab293" }
-miden-processor = { version = "0.11.0", git = "https://github.com/0xPolygonMiden/miden-vm", rev = "fe4afa2ad655772cd1ef1c30d014c383731ab293" }
-miden-stdlib = { version = "0.11.0", git = "https://github.com/0xPolygonMiden/miden-vm", rev = "fe4afa2ad655772cd1ef1c30d014c383731ab293", features = [
+miden-assembly = { version = "0.11.0", git = "https://github.com/0xPolygonMiden/miden-vm", rev = "75bd636a6b83fd6cb134b0981663aa28e49a811c" }
+miden-core = { version = "0.11.0", git = "https://github.com/0xPolygonMiden/miden-vm", rev = "75bd636a6b83fd6cb134b0981663aa28e49a811c" }
+miden-processor = { version = "0.11.0", git = "https://github.com/0xPolygonMiden/miden-vm", rev = "75bd636a6b83fd6cb134b0981663aa28e49a811c" }
+miden-stdlib = { version = "0.11.0", git = "https://github.com/0xPolygonMiden/miden-vm", rev = "75bd636a6b83fd6cb134b0981663aa28e49a811c", features = [
     "with-debug-info",
 ] }
-miden-package = { version = "0.11.0", git = "https://github.com/0xPolygonMiden/miden-vm", rev = "fe4afa2ad655772cd1ef1c30d014c383731ab293" }
+miden-package = { version = "0.11.0", git = "https://github.com/0xPolygonMiden/miden-vm", rev = "75bd636a6b83fd6cb134b0981663aa28e49a811c" }
 
 #miden-assembly = { git = "https://github.com/0xPolygonMiden/miden-vm", rev = "828557c28ca1d159bfe42195e7ea73256ce4aa06" }
 #miden-core = { git = "https://github.com/0xPolygonMiden/miden-vm", rev = "828557c28ca1d159bfe42195e7ea73256ce4aa06" }