diff --git a/Cargo.lock b/Cargo.lock
index 28b20a7d..eecd5243 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -3539,7 +3539,7 @@ dependencies = [
 [[package]]
 name = "openvm"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "bytemuck",
  "hex-literal",
@@ -3553,7 +3553,7 @@ dependencies = [
 [[package]]
 name = "openvm-algebra-circuit"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "derive-new",
  "derive_more 1.0.0",
@@ -3582,7 +3582,7 @@ dependencies = [
 [[package]]
 name = "openvm-algebra-complex-macros"
 version = "0.1.0"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "openvm-macros-common",
  "quote",
@@ -3592,7 +3592,7 @@ dependencies = [
 [[package]]
 name = "openvm-algebra-guest"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "halo2curves-axiom",
  "num-bigint 0.4.6",
@@ -3608,7 +3608,7 @@ dependencies = [
 [[package]]
 name = "openvm-algebra-moduli-macros"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "openvm-macros-common",
  "quote",
@@ -3618,7 +3618,7 @@ dependencies = [
 [[package]]
 name = "openvm-algebra-transpiler"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "openvm-algebra-guest",
  "openvm-instructions",
@@ -3633,7 +3633,7 @@ dependencies = [
 [[package]]
 name = "openvm-bigint-circuit"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "derive-new",
  "derive_more 1.0.0",
@@ -3655,7 +3655,7 @@ dependencies = [
 [[package]]
 name = "openvm-bigint-guest"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "num-bigint 0.4.6",
  "num-traits",
@@ -3668,7 +3668,7 @@ dependencies = [
 [[package]]
 name = "openvm-bigint-transpiler"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "openvm-bigint-guest",
  "openvm-instructions",
@@ -3683,7 +3683,7 @@ dependencies = [
 [[package]]
 name = "openvm-build"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "cargo_metadata",
  "dirs",
@@ -3698,7 +3698,7 @@ dependencies = [
 [[package]]
 name = "openvm-circuit"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "async-trait",
  "backtrace",
@@ -3735,7 +3735,7 @@ dependencies = [
 [[package]]
 name = "openvm-circuit-derive"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "itertools 0.13.0",
  "proc-macro2",
@@ -3746,7 +3746,7 @@ dependencies = [
 [[package]]
 name = "openvm-circuit-primitives"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "bitcode",
  "derive-new",
@@ -3763,7 +3763,7 @@ dependencies = [
 [[package]]
 name = "openvm-circuit-primitives-derive"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "itertools 0.13.0",
  "proc-macro2",
@@ -3774,7 +3774,7 @@ dependencies = [
 [[package]]
 name = "openvm-custom-insn"
 version = "0.1.0"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -3784,7 +3784,7 @@ dependencies = [
 [[package]]
 name = "openvm-ecc-circuit"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "derive-new",
  "derive_more 1.0.0",
@@ -3815,7 +3815,7 @@ dependencies = [
 [[package]]
 name = "openvm-ecc-guest"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "ecdsa",
  "elliptic-curve",
@@ -3841,7 +3841,7 @@ dependencies = [
 [[package]]
 name = "openvm-ecc-sw-macros"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "openvm-macros-common",
  "quote",
@@ -3851,7 +3851,7 @@ dependencies = [
 [[package]]
 name = "openvm-ecc-transpiler"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "openvm-ecc-guest",
  "openvm-instructions",
@@ -3865,7 +3865,7 @@ dependencies = [
 [[package]]
 name = "openvm-instructions"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "backtrace",
  "derive-new",
@@ -3882,7 +3882,7 @@ dependencies = [
 [[package]]
 name = "openvm-instructions-derive"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -3892,7 +3892,7 @@ dependencies = [
 [[package]]
 name = "openvm-keccak256-circuit"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "bitcode",
  "derive-new",
@@ -3921,7 +3921,7 @@ dependencies = [
 [[package]]
 name = "openvm-keccak256-guest"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "openvm-platform",
  "serde",
@@ -3931,7 +3931,7 @@ dependencies = [
 [[package]]
 name = "openvm-keccak256-transpiler"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "openvm-instructions",
  "openvm-instructions-derive",
@@ -3945,7 +3945,7 @@ dependencies = [
 [[package]]
 name = "openvm-macros-common"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "syn 2.0.96",
 ]
@@ -3953,7 +3953,7 @@ dependencies = [
 [[package]]
 name = "openvm-mod-circuit-builder"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "itertools 0.13.0",
  "num-bigint 0.4.6",
@@ -3972,7 +3972,7 @@ dependencies = [
 [[package]]
 name = "openvm-native-circuit"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "bitcode",
  "derive-new",
@@ -4000,7 +4000,7 @@ dependencies = [
 [[package]]
 name = "openvm-native-compiler"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "backtrace",
  "itertools 0.13.0",
@@ -4023,7 +4023,7 @@ dependencies = [
 [[package]]
 name = "openvm-native-compiler-derive"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -4033,7 +4033,7 @@ dependencies = [
 [[package]]
 name = "openvm-native-recursion"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "cfg-if",
  "itertools 0.13.0",
@@ -4059,7 +4059,7 @@ dependencies = [
 [[package]]
 name = "openvm-pairing-circuit"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "derive-new",
  "derive_more 1.0.0",
@@ -4090,7 +4090,7 @@ dependencies = [
 [[package]]
 name = "openvm-pairing-guest"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "group 0.13.0",
  "halo2curves-axiom",
@@ -4115,7 +4115,7 @@ dependencies = [
 [[package]]
 name = "openvm-pairing-transpiler"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "openvm-instructions",
  "openvm-instructions-derive",
@@ -4129,7 +4129,7 @@ dependencies = [
 [[package]]
 name = "openvm-platform"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "getrandom",
  "libm",
@@ -4141,7 +4141,7 @@ dependencies = [
 [[package]]
 name = "openvm-poseidon2-air"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "derivative",
  "itertools 0.13.0",
@@ -4161,7 +4161,7 @@ dependencies = [
 [[package]]
 name = "openvm-rv32-adapters"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "derive-new",
  "itertools 0.13.0",
@@ -4182,7 +4182,7 @@ dependencies = [
 [[package]]
 name = "openvm-rv32im-circuit"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "bitcode",
  "derive-new",
@@ -4209,7 +4209,7 @@ dependencies = [
 [[package]]
 name = "openvm-rv32im-guest"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "openvm-platform",
  "strum_macros",
@@ -4218,7 +4218,7 @@ dependencies = [
 [[package]]
 name = "openvm-rv32im-transpiler"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "openvm-instructions",
  "openvm-instructions-derive",
@@ -4234,7 +4234,7 @@ dependencies = [
 [[package]]
 name = "openvm-sdk"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "async-trait",
  "bitcode",
@@ -4277,7 +4277,7 @@ dependencies = [
 [[package]]
 name = "openvm-sha256-air"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "openvm-circuit-primitives",
  "openvm-stark-backend 0.2.0-alpha (git+https://github.com/openvm-org/stark-backend.git?rev=d2788c)",
@@ -4288,7 +4288,7 @@ dependencies = [
 [[package]]
 name = "openvm-sha256-circuit"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "bitcode",
  "derive-new",
@@ -4312,7 +4312,7 @@ dependencies = [
 [[package]]
 name = "openvm-sha256-guest"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "openvm",
  "openvm-platform",
@@ -4322,7 +4322,7 @@ dependencies = [
 [[package]]
 name = "openvm-sha256-transpiler"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "openvm-instructions",
  "openvm-instructions-derive",
@@ -4478,7 +4478,7 @@ dependencies = [
 [[package]]
 name = "openvm-transpiler"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/openvm.git?rev=d883e92#d883e92b8b101b49076db758633cca242fb70269"
+source = "git+https://github.com/openvm-org/openvm.git?rev=354dd06#354dd0669e8ef3a504d9d41ce327a20803df8723"
 dependencies = [
  "derive_more 1.0.0",
  "elf",