diff --git a/Cargo.lock b/Cargo.lock
index de5c1dc7e..a13a33c7d 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -3588,7 +3588,7 @@ checksum = "d6790f58c7ff633d8771f42965289203411a5e5c68388703c06e14f24770b41e"
 [[package]]
 name = "openvm"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "bytemuck",
  "num-bigint 0.4.6",
@@ -3601,7 +3601,7 @@ dependencies = [
 [[package]]
 name = "openvm-algebra-circuit"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "cfg-if",
  "derive-new 0.6.0",
@@ -3630,7 +3630,7 @@ dependencies = [
 [[package]]
 name = "openvm-algebra-complex-macros"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "openvm-macros-common",
  "quote",
@@ -3640,7 +3640,7 @@ dependencies = [
 [[package]]
 name = "openvm-algebra-guest"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "halo2curves-axiom",
  "num-bigint 0.4.6",
@@ -3656,7 +3656,7 @@ dependencies = [
 [[package]]
 name = "openvm-algebra-moduli-macros"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "num-bigint 0.4.6",
  "num-prime",
@@ -3668,7 +3668,7 @@ dependencies = [
 [[package]]
 name = "openvm-algebra-transpiler"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "openvm-algebra-guest",
  "openvm-instructions",
@@ -3682,7 +3682,7 @@ dependencies = [
 [[package]]
 name = "openvm-bigint-circuit"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "cfg-if",
  "derive-new 0.6.0",
@@ -3705,7 +3705,7 @@ dependencies = [
 [[package]]
 name = "openvm-bigint-guest"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "openvm-platform",
  "strum_macros",
@@ -3714,7 +3714,7 @@ dependencies = [
 [[package]]
 name = "openvm-bigint-transpiler"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "openvm-bigint-guest",
  "openvm-instructions",
@@ -3729,7 +3729,7 @@ dependencies = [
 [[package]]
 name = "openvm-build"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "cargo_metadata 0.18.1",
  "eyre",
@@ -3741,7 +3741,7 @@ dependencies = [
 [[package]]
 name = "openvm-circuit"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "backtrace",
  "cfg-if",
@@ -3780,7 +3780,7 @@ dependencies = [
 [[package]]
 name = "openvm-circuit-derive"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "itertools 0.14.0",
  "proc-macro2",
@@ -3791,7 +3791,7 @@ dependencies = [
 [[package]]
 name = "openvm-circuit-primitives"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "derive-new 0.6.0",
  "itertools 0.14.0",
@@ -3809,7 +3809,7 @@ dependencies = [
 [[package]]
 name = "openvm-circuit-primitives-derive"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "itertools 0.14.0",
  "quote",
@@ -3819,7 +3819,7 @@ dependencies = [
 [[package]]
 name = "openvm-continuations"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "derivative",
  "openvm-circuit",
@@ -3889,7 +3889,7 @@ dependencies = [
 [[package]]
 name = "openvm-custom-insn"
 version = "0.1.0"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -3899,7 +3899,7 @@ dependencies = [
 [[package]]
 name = "openvm-ecc-circuit"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "cfg-if",
  "derive-new 0.6.0",
@@ -3928,7 +3928,7 @@ dependencies = [
 [[package]]
 name = "openvm-ecc-guest"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "ecdsa 0.16.9 (registry+https://github.com/rust-lang/crates.io-index)",
  "elliptic-curve",
@@ -3947,7 +3947,7 @@ dependencies = [
 [[package]]
 name = "openvm-ecc-sw-macros"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "openvm-macros-common",
  "quote",
@@ -3957,7 +3957,7 @@ dependencies = [
 [[package]]
 name = "openvm-ecc-transpiler"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "openvm-ecc-guest",
  "openvm-instructions",
@@ -3971,7 +3971,7 @@ dependencies = [
 [[package]]
 name = "openvm-instructions"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "backtrace",
  "derive-new 0.6.0",
@@ -3988,7 +3988,7 @@ dependencies = [
 [[package]]
 name = "openvm-instructions-derive"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "quote",
  "syn 2.0.101",
@@ -3997,7 +3997,7 @@ dependencies = [
 [[package]]
 name = "openvm-keccak256-circuit"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "cfg-if",
  "derive-new 0.6.0",
@@ -4022,7 +4022,7 @@ dependencies = [
 [[package]]
 name = "openvm-keccak256-guest"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "openvm-platform",
 ]
@@ -4030,7 +4030,7 @@ dependencies = [
 [[package]]
 name = "openvm-keccak256-transpiler"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "openvm-instructions",
  "openvm-instructions-derive",
@@ -4044,7 +4044,7 @@ dependencies = [
 [[package]]
 name = "openvm-macros-common"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "syn 2.0.101",
 ]
@@ -4052,7 +4052,7 @@ dependencies = [
 [[package]]
 name = "openvm-mod-circuit-builder"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "itertools 0.14.0",
  "num-bigint 0.4.6",
@@ -4070,7 +4070,7 @@ dependencies = [
 [[package]]
 name = "openvm-native-circuit"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "cfg-if",
  "derive-new 0.6.0",
@@ -4101,7 +4101,7 @@ dependencies = [
 [[package]]
 name = "openvm-native-compiler"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "backtrace",
  "itertools 0.14.0",
@@ -4123,7 +4123,7 @@ dependencies = [
 [[package]]
 name = "openvm-native-compiler-derive"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "quote",
  "syn 2.0.101",
@@ -4132,7 +4132,7 @@ dependencies = [
 [[package]]
 name = "openvm-native-recursion"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "cfg-if",
  "itertools 0.14.0",
@@ -4156,7 +4156,7 @@ dependencies = [
 [[package]]
 name = "openvm-native-transpiler"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "openvm-instructions",
  "openvm-transpiler",
@@ -4166,7 +4166,7 @@ dependencies = [
 [[package]]
 name = "openvm-pairing-circuit"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "cfg-if",
  "derive-new 0.6.0",
@@ -4195,7 +4195,7 @@ dependencies = [
 [[package]]
 name = "openvm-pairing-guest"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "halo2curves-axiom",
  "hex-literal",
@@ -4216,7 +4216,7 @@ dependencies = [
 [[package]]
 name = "openvm-pairing-transpiler"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "openvm-instructions",
  "openvm-pairing-guest",
@@ -4229,7 +4229,7 @@ dependencies = [
 [[package]]
 name = "openvm-platform"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "libm",
  "openvm-custom-insn",
@@ -4239,7 +4239,7 @@ dependencies = [
 [[package]]
 name = "openvm-poseidon2-air"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "derivative",
  "lazy_static",
@@ -4257,7 +4257,7 @@ dependencies = [
 [[package]]
 name = "openvm-rv32-adapters"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "derive-new 0.6.0",
  "itertools 0.14.0",
@@ -4274,7 +4274,7 @@ dependencies = [
 [[package]]
 name = "openvm-rv32im-circuit"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "cfg-if",
  "derive-new 0.6.0",
@@ -4297,7 +4297,7 @@ dependencies = [
 [[package]]
 name = "openvm-rv32im-guest"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "openvm-custom-insn",
  "p3-field",
@@ -4307,7 +4307,7 @@ dependencies = [
 [[package]]
 name = "openvm-rv32im-transpiler"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "openvm-instructions",
  "openvm-instructions-derive",
@@ -4323,7 +4323,7 @@ dependencies = [
 [[package]]
 name = "openvm-sdk"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "bitcode",
  "bon",
@@ -4377,7 +4377,7 @@ dependencies = [
 [[package]]
 name = "openvm-sha256-air"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "openvm-circuit-primitives",
  "openvm-stark-backend",
@@ -4388,7 +4388,7 @@ dependencies = [
 [[package]]
 name = "openvm-sha256-circuit"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "cfg-if",
  "derive-new 0.6.0",
@@ -4411,7 +4411,7 @@ dependencies = [
 [[package]]
 name = "openvm-sha256-guest"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "openvm-platform",
 ]
@@ -4419,7 +4419,7 @@ dependencies = [
 [[package]]
 name = "openvm-sha256-transpiler"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "openvm-instructions",
  "openvm-instructions-derive",
@@ -4498,7 +4498,7 @@ dependencies = [
 [[package]]
 name = "openvm-transpiler"
 version = "1.4.1"
-source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ac5d1b48b46fc37981f56ed943fa4ae6fb580827"
+source = "git+https://github.com/scroll-tech/openvm.git?branch=feat%2Fv1.4.1-scroll-ext#ef22e8ecb9965091783d2c0369b8379e7f683f53"
 dependencies = [
  "elf",
  "eyre",
diff --git a/ceno_recursion/src/tower_verifier/binding.rs b/ceno_recursion/src/tower_verifier/binding.rs
index d43327820..a7d355c34 100644
--- a/ceno_recursion/src/tower_verifier/binding.rs
+++ b/ceno_recursion/src/tower_verifier/binding.rs
@@ -4,7 +4,10 @@ use openvm_native_compiler::{
     ir::{Array, Builder, Config},
     prelude::*,
 };
-use openvm_native_recursion::hints::{Hintable, VecAutoHintable};
+use openvm_native_recursion::{
+    hints::{Hintable, VecAutoHintable},
+    vars::HintSlice,
+};
 pub type F = BabyBear;
 pub type E = BinomialExtensionField<F, 4>;
 pub type InnerConfig = AsmConfig<F, E>;
@@ -53,30 +56,10 @@ pub struct ThreeDimensionalVecVariable<C: Config> {
     pub inner_inner_length: Var<C::N>,
     pub inner_length: Var<C::N>,
     pub length: Var<C::N>,
-    pub data: Array<C, Ext<C::F, C::EF>>,
+    pub data: HintSlice<C>,
 }
 
 impl<C: Config> ThreeDimensionalVecVariable<C> {
-    pub fn get(&self, builder: &mut Builder<C>, index: Var<C::N>) -> Array<C, Ext<C::F, C::EF>> {
-        let start: Var<C::N> = builder.eval(self.inner_inner_length * self.inner_length * index);
-        let end: Var<C::N> = builder.eval(start + self.inner_inner_length * self.inner_length);
-        self.data.slice(builder, start, end)
-    }
-
-    pub fn get_inner(
-        &self,
-        builder: &mut Builder<C>,
-        outer_index: Var<C::N>,
-        inner_index: Var<C::N>,
-    ) -> Array<C, Ext<C::F, C::EF>> {
-        let start: Var<C::N> = builder.eval(
-            self.inner_inner_length * self.inner_length * outer_index
-                + self.inner_inner_length * inner_index,
-        );
-        let end: Var<C::N> = builder.eval(start + self.inner_inner_length);
-        self.data.slice(builder, start, end)
-    }
-
     pub fn len(&self) -> Var<C::N> {
         self.length
     }
@@ -132,6 +115,8 @@ pub struct IOPProverMessage {
 }
 
 use sumcheck::structs::IOPProverMessage as InnerIOPProverMessage;
+
+use crate::basefold_verifier::utils::read_hint_slice;
 impl From<InnerIOPProverMessage<E>> for IOPProverMessage {
     fn from(value: InnerIOPProverMessage<E>) -> Self {
         IOPProverMessage {
@@ -278,8 +263,13 @@ impl Hintable<InnerConfig> for ThreeDimensionalVector {
         let inner_inner_length: Var<F> = usize::read(builder);
         let inner_length: Var<F> = usize::read(builder);
         let length: Var<F> = usize::read(builder);
-        let data = Vec::<E>::read(builder);
-        builder.assert_eq::<Var<F>>(data.len(), inner_inner_length * inner_length * length);
+
+        let data = read_hint_slice(builder);
+        builder.assert_eq::<Var<F>>(
+            data.length.clone(),
+            inner_inner_length * inner_length * length,
+        );
+
         ThreeDimensionalVecVariable {
             inner_inner_length,
             inner_length,
diff --git a/ceno_recursion/src/tower_verifier/program.rs b/ceno_recursion/src/tower_verifier/program.rs
index cf38b3f27..56a400008 100644
--- a/ceno_recursion/src/tower_verifier/program.rs
+++ b/ceno_recursion/src/tower_verifier/program.rs
@@ -383,8 +383,8 @@ pub fn verify_tower_proof<C: Config>(
         builder.sumcheck_layer_eval(
             &input_ctx,
             &challenges,
-            &proof.prod_specs_eval.data,
-            &proof.logup_specs_eval.data,
+            proof.prod_specs_eval.data.id.get_var(),
+            proof.logup_specs_eval.data.id.get_var(),
             &next_layer_evals,
         );
         let expected_evaluation = builder.get(&next_layer_evals, 0);
@@ -422,8 +422,8 @@ pub fn verify_tower_proof<C: Config>(
         builder.sumcheck_layer_eval(
             &input_ctx,
             &challenges,
-            &proof.prod_specs_eval.data,
-            &proof.logup_specs_eval.data,
+            proof.prod_specs_eval.data.id.get_var(),
+            proof.logup_specs_eval.data.id.get_var(),
             &next_layer_evals,
         );
 
diff --git a/ceno_recursion/src/zkvm_verifier/binding.rs b/ceno_recursion/src/zkvm_verifier/binding.rs
index ab7cad5f4..e2ed1f4c9 100644
--- a/ceno_recursion/src/zkvm_verifier/binding.rs
+++ b/ceno_recursion/src/zkvm_verifier/binding.rs
@@ -165,14 +165,18 @@ impl Hintable<InnerConfig> for ZKVMProofInput {
         let raw_pi = Vec::<Vec<F>>::read(builder);
         let raw_pi_num_variables = Vec::<usize>::read(builder);
         let pi_evals = Vec::<E>::read(builder);
+        builder.cycle_tracker_start("read chip proofs");
         let chip_proofs = Vec::<ZKVMChipProofs>::read(builder);
+        builder.cycle_tracker_end("read chip proofs");
         let max_num_var = usize::read(builder);
         let max_width = usize::read(builder);
         let witin_commit = BasefoldCommitment::read(builder);
         let witin_perm: Array<AsmConfig<F, BinomialExtensionField<F, 4>>, Var<F>> =
             Vec::<usize>::read(builder);
         let fixed_perm = Vec::<usize>::read(builder);
+        builder.cycle_tracker_start("read pcs proof");
         let pcs_proof = BasefoldProof::read(builder);
+        builder.cycle_tracker_end("read pcs proof");
 
         ZKVMProofInputVariable {
             shard_id,
@@ -314,18 +318,24 @@ impl Hintable<InnerConfig> for TowerProofInput {
 
     fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable {
         let num_proofs = Usize::Var(usize::read(builder));
+        builder.cycle_tracker_start("read sumcheck proofs in tower reduction");
         let proofs = builder.dyn_array(num_proofs.clone());
         iter_zip!(builder, proofs).for_each(|idx_vec, builder| {
             let ptr = idx_vec[0];
             let proof = IOPProverMessageVec::read(builder);
             builder.iter_ptr_set(&proofs, ptr, proof);
         });
+        builder.cycle_tracker_end("read sumcheck proofs in tower reduction");
 
         let num_prod_specs = Usize::Var(usize::read(builder));
+        builder.cycle_tracker_start("read prod specs eval");
         let prod_specs_eval = ThreeDimensionalVector::read(builder);
+        builder.cycle_tracker_end("read prod specs eval");
 
+        builder.cycle_tracker_start("read logup specs eval");
         let num_logup_specs = Usize::Var(usize::read(builder));
         let logup_specs_eval = ThreeDimensionalVector::read(builder);
+        builder.cycle_tracker_end("read logup specs eval");
 
         TowerProofInputVariable {
             num_proofs,
@@ -535,13 +545,19 @@ impl Hintable<InnerConfig> for ZKVMChipProofInput {
         let w_out_evals_len = Usize::Var(usize::read(builder));
         let lk_out_evals_len = Usize::Var(usize::read(builder));
 
+        builder.cycle_tracker_start("read omc out evals");
         let r_out_evals = Vec::<Vec<E>>::read(builder);
         let w_out_evals = Vec::<Vec<E>>::read(builder);
         let lk_out_evals = Vec::<Vec<E>>::read(builder);
+        builder.cycle_tracker_end("read omc out evals");
 
+        builder.cycle_tracker_start("read tower proofs");
         let tower_proof = TowerProofInput::read(builder);
+        builder.cycle_tracker_end("read tower proofs");
         let has_main_sumcheck_proofs = Usize::Var(usize::read(builder));
+        builder.cycle_tracker_start("read main sumcheck proofs");
         let main_sumcheck_proofs = IOPProverMessageVec::read(builder);
+        builder.cycle_tracker_end("read main sumcheck proofs");
         let has_gkr_iop_proof = Usize::Var(usize::read(builder));
         let gkr_iop_proof = GKRProofInput::read(builder);
         let has_ecc_proof = Usize::Var(usize::read(builder));
@@ -551,8 +567,10 @@ impl Hintable<InnerConfig> for ZKVMChipProofInput {
         let n_inst_0_bit_decomps = Vec::<F>::read(builder);
         let n_inst_1_bit_decomps = Vec::<F>::read(builder);
 
+        builder.cycle_tracker_start("read wit/fixed evals");
         let fixed_in_evals = Vec::<E>::read(builder);
         let wits_in_evals = Vec::<E>::read(builder);
+        builder.cycle_tracker_end("read wit/fixed evals");
 
         ZKVMChipProofInputVariable {
             idx,
@@ -601,6 +619,22 @@ impl Hintable<InnerConfig> for ZKVMChipProofInput {
         let r_out_evals_len = self.r_out_evals.len();
         let w_out_evals_len = self.w_out_evals.len();
         let lk_out_evals_len = self.lk_out_evals.len();
+        tracing::debug!(
+            "circuit {} r_len: {}, w: {}, lk: {}, n_prods: {}, n_logups: {}, n_layers: {}, n_prod_evals: {}, n_logup_evals: {}",
+            self.idx,
+            r_out_evals_len,
+            w_out_evals_len,
+            lk_out_evals_len,
+            self.tower_proof.num_prod_specs,
+            self.tower_proof.num_logup_specs,
+            self.tower_proof.proofs.len(),
+            self.tower_proof.prod_specs_eval.inner_inner_length
+                * self.tower_proof.prod_specs_eval.inner_length
+                * self.tower_proof.prod_specs_eval.outer_length,
+            self.tower_proof.logup_specs_eval.inner_inner_length
+                * self.tower_proof.logup_specs_eval.inner_length
+                * self.tower_proof.logup_specs_eval.outer_length,
+        );
 
         stream.extend(<usize as Hintable<InnerConfig>>::write(&r_out_evals_len));
         stream.extend(<usize as Hintable<InnerConfig>>::write(&w_out_evals_len));