diff --git a/Cargo.lock b/Cargo.lock
index 45682dc3..e12130bf 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -1187,7 +1187,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "117725a109d387c937a1533ce01b450cbde6b88abceea8473c4d7a85853cda3c"
 dependencies = [
  "lazy_static",
- "windows-sys 0.59.0",
+ "windows-sys 0.48.0",
 ]
 
 [[package]]
@@ -1476,6 +1476,17 @@ dependencies = [
  "syn 2.0.96",
 ]
 
+[[package]]
+name = "derive-new"
+version = "0.7.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "2cdc8d50f426189eef89dac62fabfa0abb27d5cc008f25bf4156a0203325becc"
+dependencies = [
+ "proc-macro2",
+ "quote",
+ "syn 2.0.96",
+]
+
 [[package]]
 name = "derive_arbitrary"
 version = "1.4.1"
@@ -1712,7 +1723,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "33d852cb9b869c2a9b3df2f71a3074817f01e1844f839a144f5fcef059a4eb5d"
 dependencies = [
  "libc",
- "windows-sys 0.59.0",
+ "windows-sys 0.52.0",
 ]
 
 [[package]]
@@ -3539,7 +3550,7 @@ dependencies = [
 [[package]]
 name = "openvm"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "bytemuck",
  "hex-literal",
@@ -3553,9 +3564,9 @@ dependencies = [
 [[package]]
 name = "openvm-algebra-circuit"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
- "derive-new",
+ "derive-new 0.6.0",
  "derive_more 1.0.0",
  "itertools 0.13.0",
  "num-bigint 0.4.6",
@@ -3569,8 +3580,8 @@ dependencies = [
  "openvm-mod-circuit-builder",
  "openvm-rv32-adapters",
  "openvm-rv32im-circuit",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
- "openvm-stark-sdk 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
+ "openvm-stark-sdk",
  "rand",
  "serde",
  "serde-big-array",
@@ -3582,7 +3593,7 @@ dependencies = [
 [[package]]
 name = "openvm-algebra-complex-macros"
 version = "0.1.0"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "openvm-macros-common",
  "quote",
@@ -3592,7 +3603,7 @@ dependencies = [
 [[package]]
 name = "openvm-algebra-guest"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "halo2curves-axiom",
  "num-bigint 0.4.6",
@@ -3608,7 +3619,7 @@ dependencies = [
 [[package]]
 name = "openvm-algebra-moduli-macros"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "openvm-macros-common",
  "quote",
@@ -3618,12 +3629,12 @@ dependencies = [
 [[package]]
 name = "openvm-algebra-transpiler"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "openvm-algebra-guest",
  "openvm-instructions",
  "openvm-instructions-derive",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
  "openvm-transpiler",
  "rrs-lib",
  "strum",
@@ -3633,9 +3644,9 @@ dependencies = [
 [[package]]
 name = "openvm-bigint-circuit"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
- "derive-new",
+ "derive-new 0.6.0",
  "derive_more 1.0.0",
  "openvm-bigint-transpiler",
  "openvm-circuit",
@@ -3646,8 +3657,8 @@ dependencies = [
  "openvm-rv32-adapters",
  "openvm-rv32im-circuit",
  "openvm-rv32im-transpiler",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
- "openvm-stark-sdk 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
+ "openvm-stark-sdk",
  "rand",
  "serde",
 ]
@@ -3655,7 +3666,7 @@ dependencies = [
 [[package]]
 name = "openvm-bigint-guest"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "num-bigint 0.4.6",
  "num-traits",
@@ -3668,13 +3679,13 @@ dependencies = [
 [[package]]
 name = "openvm-bigint-transpiler"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "openvm-bigint-guest",
  "openvm-instructions",
  "openvm-instructions-derive",
  "openvm-rv32im-transpiler",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
  "openvm-transpiler",
  "rrs-lib",
  "strum",
@@ -3683,7 +3694,7 @@ dependencies = [
 [[package]]
 name = "openvm-build"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "cargo_metadata",
  "dirs",
@@ -3698,14 +3709,14 @@ dependencies = [
 [[package]]
 name = "openvm-circuit"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "async-trait",
  "backtrace",
  "bitcode",
  "cfg-if",
  "derivative",
- "derive-new",
+ "derive-new 0.6.0",
  "derive_more 1.0.0",
  "enum_dispatch",
  "eyre",
@@ -3717,8 +3728,8 @@ dependencies = [
  "openvm-circuit-primitives-derive",
  "openvm-instructions",
  "openvm-poseidon2-air",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
- "openvm-stark-sdk 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
+ "openvm-stark-sdk",
  "p3-baby-bear 0.1.0",
  "p3-symmetric 0.1.0",
  "rand",
@@ -3735,7 +3746,7 @@ dependencies = [
 [[package]]
 name = "openvm-circuit-derive"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "itertools 0.13.0",
  "proc-macro2",
@@ -3746,16 +3757,16 @@ dependencies = [
 [[package]]
 name = "openvm-circuit-primitives"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "bitcode",
- "derive-new",
+ "derive-new 0.6.0",
  "itertools 0.13.0",
  "lazy_static",
  "num-bigint 0.4.6",
  "num-traits",
  "openvm-circuit-primitives-derive",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
  "rand",
  "tracing",
 ]
@@ -3763,7 +3774,7 @@ dependencies = [
 [[package]]
 name = "openvm-circuit-primitives-derive"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "itertools 0.13.0",
  "proc-macro2",
@@ -3774,7 +3785,7 @@ dependencies = [
 [[package]]
 name = "openvm-custom-insn"
 version = "0.1.0"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -3784,9 +3795,9 @@ dependencies = [
 [[package]]
 name = "openvm-ecc-circuit"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
- "derive-new",
+ "derive-new 0.6.0",
  "derive_more 1.0.0",
  "eyre",
  "itertools 0.13.0",
@@ -3806,7 +3817,7 @@ dependencies = [
  "openvm-mod-circuit-builder",
  "openvm-rv32-adapters",
  "openvm-rv32im-circuit",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
  "serde",
  "serde_with",
  "strum",
@@ -3815,7 +3826,7 @@ dependencies = [
 [[package]]
 name = "openvm-ecc-guest"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "ecdsa",
  "elliptic-curve",
@@ -3841,7 +3852,7 @@ dependencies = [
 [[package]]
 name = "openvm-ecc-sw-macros"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "openvm-macros-common",
  "quote",
@@ -3851,12 +3862,12 @@ dependencies = [
 [[package]]
 name = "openvm-ecc-transpiler"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "openvm-ecc-guest",
  "openvm-instructions",
  "openvm-instructions-derive",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
  "openvm-transpiler",
  "rrs-lib",
  "strum",
@@ -3865,15 +3876,15 @@ dependencies = [
 [[package]]
 name = "openvm-instructions"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "backtrace",
- "derive-new",
+ "derive-new 0.6.0",
  "itertools 0.13.0",
  "num-bigint 0.4.6",
  "num-traits",
  "openvm-instructions-derive",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
  "serde",
  "strum",
  "strum_macros",
@@ -3882,7 +3893,7 @@ dependencies = [
 [[package]]
 name = "openvm-instructions-derive"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -3892,10 +3903,10 @@ dependencies = [
 [[package]]
 name = "openvm-keccak256-circuit"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "bitcode",
- "derive-new",
+ "derive-new 0.6.0",
  "derive_more 1.0.0",
  "eyre",
  "hex-literal",
@@ -3907,8 +3918,8 @@ dependencies = [
  "openvm-instructions",
  "openvm-keccak256-transpiler",
  "openvm-rv32im-circuit",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
- "openvm-stark-sdk 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
+ "openvm-stark-sdk",
  "p3-keccak-air",
  "rand",
  "serde",
@@ -3921,7 +3932,7 @@ dependencies = [
 [[package]]
 name = "openvm-keccak256-guest"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "openvm-platform",
  "serde",
@@ -3931,12 +3942,12 @@ dependencies = [
 [[package]]
 name = "openvm-keccak256-transpiler"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "openvm-instructions",
  "openvm-instructions-derive",
  "openvm-keccak256-guest",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
  "openvm-transpiler",
  "rrs-lib",
  "strum",
@@ -3945,7 +3956,7 @@ dependencies = [
 [[package]]
 name = "openvm-macros-common"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "syn 2.0.96",
 ]
@@ -3953,7 +3964,7 @@ dependencies = [
 [[package]]
 name = "openvm-mod-circuit-builder"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "itertools 0.13.0",
  "num-bigint 0.4.6",
@@ -3961,8 +3972,8 @@ dependencies = [
  "openvm-circuit",
  "openvm-circuit-primitives",
  "openvm-instructions",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
- "openvm-stark-sdk 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
+ "openvm-stark-sdk",
  "rand",
  "serde",
  "serde_with",
@@ -3972,10 +3983,10 @@ dependencies = [
 [[package]]
 name = "openvm-native-circuit"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "bitcode",
- "derive-new",
+ "derive-new 0.6.0",
  "derive_more 1.0.0",
  "eyre",
  "itertools 0.13.0",
@@ -3987,8 +3998,8 @@ dependencies = [
  "openvm-native-compiler",
  "openvm-poseidon2-air",
  "openvm-rv32im-circuit",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
- "openvm-stark-sdk 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
+ "openvm-stark-sdk",
  "rand",
  "serde",
  "serde-big-array",
@@ -4000,7 +4011,7 @@ dependencies = [
 [[package]]
 name = "openvm-native-compiler"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "backtrace",
  "itertools 0.13.0",
@@ -4011,8 +4022,8 @@ dependencies = [
  "openvm-instructions-derive",
  "openvm-native-compiler-derive",
  "openvm-rv32im-transpiler",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
- "openvm-stark-sdk 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
+ "openvm-stark-sdk",
  "serde",
  "snark-verifier-sdk",
  "strum",
@@ -4023,7 +4034,7 @@ dependencies = [
 [[package]]
 name = "openvm-native-compiler-derive"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -4033,7 +4044,7 @@ dependencies = [
 [[package]]
 name = "openvm-native-recursion"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "cfg-if",
  "itertools 0.13.0",
@@ -4043,8 +4054,8 @@ dependencies = [
  "openvm-native-circuit",
  "openvm-native-compiler",
  "openvm-native-compiler-derive",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
- "openvm-stark-sdk 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
+ "openvm-stark-sdk",
  "p3-dft 0.1.0",
  "p3-fri",
  "p3-merkle-tree",
@@ -4059,9 +4070,9 @@ dependencies = [
 [[package]]
 name = "openvm-pairing-circuit"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
- "derive-new",
+ "derive-new 0.6.0",
  "derive_more 1.0.0",
  "eyre",
  "itertools 0.13.0",
@@ -4081,7 +4092,7 @@ dependencies = [
  "openvm-pairing-transpiler",
  "openvm-rv32-adapters",
  "openvm-rv32im-circuit",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
  "rand",
  "serde",
  "strum",
@@ -4090,7 +4101,7 @@ dependencies = [
 [[package]]
 name = "openvm-pairing-guest"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "group 0.13.0",
  "halo2curves-axiom",
@@ -4115,12 +4126,12 @@ dependencies = [
 [[package]]
 name = "openvm-pairing-transpiler"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "openvm-instructions",
  "openvm-instructions-derive",
  "openvm-pairing-guest",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
  "openvm-transpiler",
  "rrs-lib",
  "strum",
@@ -4129,7 +4140,7 @@ dependencies = [
 [[package]]
 name = "openvm-platform"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "getrandom",
  "libm",
@@ -4141,14 +4152,14 @@ dependencies = [
 [[package]]
 name = "openvm-poseidon2-air"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "derivative",
  "itertools 0.13.0",
  "lazy_static",
  "openvm-circuit-primitives",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
- "openvm-stark-sdk 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
+ "openvm-stark-sdk",
  "p3-monty-31",
  "p3-poseidon2 0.1.0",
  "p3-poseidon2-air",
@@ -4161,17 +4172,17 @@ dependencies = [
 [[package]]
 name = "openvm-rv32-adapters"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
- "derive-new",
+ "derive-new 0.6.0",
  "itertools 0.13.0",
  "openvm-circuit",
  "openvm-circuit-primitives",
  "openvm-circuit-primitives-derive",
  "openvm-instructions",
  "openvm-rv32im-circuit",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
- "openvm-stark-sdk 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
+ "openvm-stark-sdk",
  "rand",
  "serde",
  "serde-big-array",
@@ -4182,9 +4193,10 @@ dependencies = [
 [[package]]
 name = "openvm-rv32im-circuit"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
- "derive-new",
+ "bitcode",
+ "derive-new 0.6.0",
  "derive_more 1.0.0",
  "eyre",
  "itertools 0.13.0",
@@ -4197,7 +4209,7 @@ dependencies = [
  "openvm-circuit-primitives-derive",
  "openvm-instructions",
  "openvm-rv32im-transpiler",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
  "rand",
  "serde",
  "serde-big-array",
@@ -4208,7 +4220,7 @@ dependencies = [
 [[package]]
 name = "openvm-rv32im-guest"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "openvm-platform",
  "strum_macros",
@@ -4217,12 +4229,12 @@ dependencies = [
 [[package]]
 name = "openvm-rv32im-transpiler"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "openvm-instructions",
  "openvm-instructions-derive",
  "openvm-rv32im-guest",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
  "openvm-transpiler",
  "rrs-lib",
  "serde",
@@ -4233,7 +4245,7 @@ dependencies = [
 [[package]]
 name = "openvm-sdk"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "async-trait",
  "bitcode",
@@ -4265,8 +4277,8 @@ dependencies = [
  "openvm-rv32im-transpiler",
  "openvm-sha256-circuit",
  "openvm-sha256-transpiler",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
- "openvm-stark-sdk 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
+ "openvm-stark-sdk",
  "openvm-transpiler",
  "serde",
  "static_assertions",
@@ -4276,10 +4288,10 @@ dependencies = [
 [[package]]
 name = "openvm-sha256-air"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "openvm-circuit-primitives",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
  "rand",
  "sha2",
 ]
@@ -4287,10 +4299,10 @@ dependencies = [
 [[package]]
 name = "openvm-sha256-circuit"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "bitcode",
- "derive-new",
+ "derive-new 0.6.0",
  "derive_more 1.0.0",
  "openvm-circuit",
  "openvm-circuit-derive",
@@ -4300,8 +4312,8 @@ dependencies = [
  "openvm-rv32im-circuit",
  "openvm-sha256-air",
  "openvm-sha256-transpiler",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
- "openvm-stark-sdk 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
+ "openvm-stark-sdk",
  "rand",
  "serde",
  "sha2",
@@ -4311,7 +4323,7 @@ dependencies = [
 [[package]]
 name = "openvm-sha256-guest"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "openvm",
  "openvm-platform",
@@ -4321,12 +4333,12 @@ dependencies = [
 [[package]]
 name = "openvm-sha256-transpiler"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "openvm-instructions",
  "openvm-instructions-derive",
  "openvm-sha256-guest",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
  "openvm-transpiler",
  "rrs-lib",
  "strum",
@@ -4334,36 +4346,13 @@ dependencies = [
 
 [[package]]
 name = "openvm-stark-backend"
-version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/stark-backend.git?rev=47a0bda#47a0bdabb827bcb95eac0b3ff15c599b5e89236d"
-dependencies = [
- "async-trait",
- "cfg-if",
- "derivative",
- "itertools 0.13.0",
- "p3-air",
- "p3-challenger",
- "p3-commit",
- "p3-field 0.1.0",
- "p3-matrix 0.1.0",
- "p3-maybe-rayon 0.1.0",
- "p3-uni-stark",
- "p3-util 0.1.0",
- "rayon",
- "rustc-hash 2.1.0",
- "serde",
- "thiserror 1.0.69",
- "tracing",
-]
-
-[[package]]
-name = "openvm-stark-backend"
-version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/stark-backend.git?rev=d2788c#d2788c71e68aa386fc8c0d8f258c25557a1bbb09"
+version = "0.4.0-alpha"
+source = "git+https://github.com/openvm-org/stark-backend.git?tag=v0.4.0-alpha#c7c12430185d29b06b26b053a940749d0d853833"
 dependencies = [
  "async-trait",
  "cfg-if",
  "derivative",
+ "derive-new 0.7.0",
  "itertools 0.13.0",
  "mimalloc",
  "p3-air",
@@ -4383,50 +4372,17 @@ dependencies = [
 
 [[package]]
 name = "openvm-stark-sdk"
-version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/stark-backend.git?rev=47a0bda#47a0bdabb827bcb95eac0b3ff15c599b5e89236d"
-dependencies = [
- "derive_more 0.99.18",
- "ff 0.13.0",
- "itertools 0.13.0",
- "metrics",
- "metrics-tracing-context",
- "metrics-util",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=47a0bda)",
- "p3-baby-bear 0.1.0",
- "p3-blake3",
- "p3-bn254-fr",
- "p3-dft 0.1.0",
- "p3-fri",
- "p3-goldilocks",
- "p3-keccak",
- "p3-merkle-tree",
- "p3-poseidon",
- "p3-poseidon2 0.1.0",
- "p3-symmetric 0.1.0",
- "rand",
- "serde",
- "serde_json",
- "static_assertions",
- "toml",
- "tracing",
- "tracing-forest",
- "tracing-subscriber",
- "zkhash",
-]
-
-[[package]]
-name = "openvm-stark-sdk"
-version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/stark-backend.git?rev=d2788c#d2788c71e68aa386fc8c0d8f258c25557a1bbb09"
+version = "0.4.0-alpha"
+source = "git+https://github.com/openvm-org/stark-backend.git?tag=v0.4.0-alpha#c7c12430185d29b06b26b053a940749d0d853833"
 dependencies = [
+ "derivative",
  "derive_more 0.99.18",
  "ff 0.13.0",
  "itertools 0.13.0",
  "metrics",
  "metrics-tracing-context",
  "metrics-util",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
  "p3-baby-bear 0.1.0",
  "p3-blake3",
  "p3-bn254-fr",
@@ -4469,7 +4425,7 @@ dependencies = [
  "openvm-pairing-transpiler",
  "openvm-rv32im-transpiler",
  "openvm-sdk",
- "openvm-stark-sdk 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=47a0bda)",
+ "openvm-stark-sdk",
  "openvm-transpiler",
  "revm-primitives 9.0.1",
 ]
@@ -4477,14 +4433,14 @@ dependencies = [
 [[package]]
 name = "openvm-transpiler"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=eb394e1#eb394e1985ad62fe9d3523bc5fcf28336a1958eb"
+source = "git+https://github.com/openvm-org/openvm.git?rev=e703c7ac898a665843c196562f1177963d3e4acb#e703c7ac898a665843c196562f1177963d3e4acb"
 dependencies = [
  "derive_more 1.0.0",
  "elf",
  "eyre",
  "openvm-instructions",
  "openvm-platform",
- "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
+ "openvm-stark-backend",
  "rrs-lib",
  "strum",
  "thiserror 1.0.69",
@@ -6040,7 +5996,7 @@ dependencies = [
  "errno",
  "libc",
  "linux-raw-sys",
- "windows-sys 0.59.0",
+ "windows-sys 0.52.0",
 ]
 
 [[package]]
@@ -6501,7 +6457,7 @@ checksum = "3c5e1a9a646d36c3599cd173a41282daf47c44583ad367b8e6837255952e5c67"
 [[package]]
 name = "snark-verifier"
 version = "0.1.8"
-source = "git+https://github.com/axiom-crypto/snark-verifier?branch=zkvm-v0.1#001b25ef0b387c54ed342de2ff6f423fca6db0f6"
+source = "git+https://github.com/axiom-crypto/snark-verifier?branch=zkvm-v0.1#ab65fda41b56571aa33dd27f68ef1ea461e3fadc"
 dependencies = [
  "halo2-base",
  "halo2-ecc",
@@ -6522,7 +6478,7 @@ dependencies = [
 [[package]]
 name = "snark-verifier-sdk"
 version = "0.1.8"
-source = "git+https://github.com/axiom-crypto/snark-verifier?branch=zkvm-v0.1#001b25ef0b387c54ed342de2ff6f423fca6db0f6"
+source = "git+https://github.com/axiom-crypto/snark-verifier?branch=zkvm-v0.1#ab65fda41b56571aa33dd27f68ef1ea461e3fadc"
 dependencies = [
  "ark-std 0.3.0",
  "bincode",
@@ -6842,7 +6798,7 @@ dependencies = [
  "getrandom",
  "once_cell",
  "rustix",
- "windows-sys 0.59.0",
+ "windows-sys 0.52.0",
 ]
 
 [[package]]
@@ -7608,7 +7564,7 @@ version = "0.1.9"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "cf221c93e13a30d793f7645a0e7762c55d169dbb0a49671918a2319d289b10bb"
 dependencies = [
- "windows-sys 0.59.0",
+ "windows-sys 0.48.0",
 ]
 
 [[package]]
diff --git a/Cargo.toml b/Cargo.toml
index da0c1b31..a169d441 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -13,23 +13,23 @@ default-members = ["crates/revm"]
 
 [workspace.dependencies]
 # openvm
-openvm = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-ecc-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-pairing-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-keccak256-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-sha256-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-sdk = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-build = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-pairing-transpiler = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-rv32im-transpiler = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-transpiler = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-algebra-circuit = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-algebra-transpiler = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-ecc-circuit = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-ecc-transpiler = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-pairing-circuit = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-circuit = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-stark-sdk = { git = "https://github.com/openvm-org/stark-backend.git", rev = "47a0bda" }
+openvm = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-ecc-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-pairing-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-keccak256-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-sha256-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-sdk = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-build = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-pairing-transpiler = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-rv32im-transpiler = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-transpiler = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-algebra-circuit = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-algebra-transpiler = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-ecc-circuit = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-ecc-transpiler = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-pairing-circuit = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-circuit = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-stark-sdk = { git = "https://github.com/openvm-org/stark-backend.git", tag = "v0.4.0-alpha" }
 
 [workspace.metadata.docs.rs]
 all-features = true
diff --git a/tests/openvm/programs/ec_add/Cargo.toml b/tests/openvm/programs/ec_add/Cargo.toml
index c5038410..d4b29833 100644
--- a/tests/openvm/programs/ec_add/Cargo.toml
+++ b/tests/openvm/programs/ec_add/Cargo.toml
@@ -5,13 +5,13 @@ version = "0.1.0"
 edition = "2021"
 
 [dependencies]
-openvm = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-algebra-moduli-macros = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-ecc-sw-macros = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-platform = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-algebra-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-pairing-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-ecc-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
+openvm = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-algebra-moduli-macros = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-ecc-sw-macros = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-platform = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-algebra-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-pairing-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-ecc-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
 revm-precompile = { path = "../../../../crates/precompile", default-features = false, features = [
     "openvm-bn",
 ] }
diff --git a/tests/openvm/programs/ec_mul/Cargo.toml b/tests/openvm/programs/ec_mul/Cargo.toml
index 5b326c89..2ffe8261 100644
--- a/tests/openvm/programs/ec_mul/Cargo.toml
+++ b/tests/openvm/programs/ec_mul/Cargo.toml
@@ -5,13 +5,13 @@ version = "0.1.0"
 edition = "2021"
 
 [dependencies]
-openvm = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-algebra-moduli-macros = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-ecc-sw-macros = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-platform = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-algebra-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-pairing-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-ecc-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
+openvm = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-algebra-moduli-macros = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-ecc-sw-macros = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-platform = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-algebra-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-pairing-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-ecc-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
 revm-precompile = { path = "../../../../crates/precompile", default-features = false, features = [
     "openvm-bn",
 ] }
diff --git a/tests/openvm/programs/pairing/Cargo.toml b/tests/openvm/programs/pairing/Cargo.toml
index 7fbe02da..54a252a9 100644
--- a/tests/openvm/programs/pairing/Cargo.toml
+++ b/tests/openvm/programs/pairing/Cargo.toml
@@ -5,11 +5,11 @@ version = "0.1.0"
 edition = "2021"
 
 [dependencies]
-openvm = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-algebra-moduli-macros = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-algebra-complex-macros = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-platform = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-algebra-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
+openvm = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-algebra-moduli-macros = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-algebra-complex-macros = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-platform = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-algebra-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
 revm-precompile = { path = "../../../../crates/precompile", default-features = false, features = [
     "openvm-bn",
 ] }
diff --git a/tests/openvm/programs/sha256/Cargo.toml b/tests/openvm/programs/sha256/Cargo.toml
index 0a138022..48fe4ab9 100644
--- a/tests/openvm/programs/sha256/Cargo.toml
+++ b/tests/openvm/programs/sha256/Cargo.toml
@@ -5,8 +5,8 @@ version = "0.1.0"
 edition = "2021"
 
 [dependencies]
-openvm = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-sha256-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
+openvm = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-sha256-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
 revm-precompile = { path = "../../../../crates/precompile", default-features = false, features = [
     "openvm-sha2",
 ] }
diff --git a/tests/openvm/tests/Cargo.toml b/tests/openvm/tests/Cargo.toml
index 955f47a0..671d766d 100644
--- a/tests/openvm/tests/Cargo.toml
+++ b/tests/openvm/tests/Cargo.toml
@@ -4,26 +4,26 @@ version = "0.1.0"
 edition = "2021"
 
 [dependencies]
-openvm = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-ecc-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-pairing-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-keccak256-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-sdk = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-build = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-pairing-transpiler = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-rv32im-transpiler = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-transpiler = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-algebra-circuit = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-algebra-transpiler = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-ecc-circuit = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-ecc-transpiler = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-pairing-circuit = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1" }
-openvm-circuit = { git = "https://github.com/openvm-org/openvm.git", rev = "eb394e1", features = [
+openvm = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-ecc-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-pairing-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-keccak256-guest = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-sdk = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-build = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-pairing-transpiler = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-rv32im-transpiler = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-transpiler = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-algebra-circuit = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-algebra-transpiler = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-ecc-circuit = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-ecc-transpiler = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-pairing-circuit = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb" }
+openvm-circuit = { git = "https://github.com/openvm-org/openvm.git", rev = "e703c7ac898a665843c196562f1177963d3e4acb", features = [
     "test-utils",
     "parallel",
     "mimalloc",
 ] }
-openvm-stark-sdk = { git = "https://github.com/openvm-org/stark-backend.git", rev = "47a0bda" }
+openvm-stark-sdk = { git = "https://github.com/openvm-org/stark-backend.git", tag = "v0.4.0-alpha" }
 
 num-bigint = { version = "0.4", default-features = false }
 num-traits = { version = "0.2", default-features = false }