diff --git a/contracts/src/deploy-config/holesky.ts b/contracts/src/deploy-config/holesky.ts
index 8999df585..4e3601cb4 100644
--- a/contracts/src/deploy-config/holesky.ts
+++ b/contracts/src/deploy-config/holesky.ts
@@ -14,7 +14,7 @@ const config = {
     l2BaseFee: 0.1,  // Gwei
 
     // verify contract config
-    programVkey: '0x00bc91a65e39100f3b075c9edf1a60fd1cb025b9413ea19c34c62d455e512685',
+    programVkey: '0x001bdbe2a0f4839f3e7ca3b42ab1ca9d012e23249d17564c953d3557aede919c',
     // rollup contract config
     // initialize config
     finalizationPeriodSeconds: 600,
diff --git a/contracts/src/deploy-config/l1.ts b/contracts/src/deploy-config/l1.ts
index e625e22db..60827a8ef 100644
--- a/contracts/src/deploy-config/l1.ts
+++ b/contracts/src/deploy-config/l1.ts
@@ -17,7 +17,7 @@ const config = {
     l2BaseFee: 0.1,  // Gwei
 
     // verify contract config
-    programVkey: '0x00bc91a65e39100f3b075c9edf1a60fd1cb025b9413ea19c34c62d455e512685',
+    programVkey: '0x001bdbe2a0f4839f3e7ca3b42ab1ca9d012e23249d17564c953d3557aede919c',
     // rollup contract config
     // initialize config
     finalizationPeriodSeconds: 10,
diff --git a/contracts/src/deploy-config/qanetl1.ts b/contracts/src/deploy-config/qanetl1.ts
index 2b324ab43..25a9b443f 100644
--- a/contracts/src/deploy-config/qanetl1.ts
+++ b/contracts/src/deploy-config/qanetl1.ts
@@ -14,7 +14,7 @@ const config = {
     l2BaseFee: 0.1,  // Gwei
 
     // verify contract config
-    programVkey: '0x00bc91a65e39100f3b075c9edf1a60fd1cb025b9413ea19c34c62d455e512685',
+    programVkey: '0x001bdbe2a0f4839f3e7ca3b42ab1ca9d012e23249d17564c953d3557aede919c',
     // rollup contract config
     // initialize config
     finalizationPeriodSeconds: 600,
diff --git a/contracts/src/deploy-config/sepolia.ts b/contracts/src/deploy-config/sepolia.ts
index eed8411db..cd02472d6 100644
--- a/contracts/src/deploy-config/sepolia.ts
+++ b/contracts/src/deploy-config/sepolia.ts
@@ -18,7 +18,7 @@ const config = {
     /**
      * ---to---legacy property
      */
-    programVkey: '0x00bc91a65e39100f3b075c9edf1a60fd1cb025b9413ea19c34c62d455e512685',
+    programVkey: '0x001bdbe2a0f4839f3e7ca3b42ab1ca9d012e23249d17564c953d3557aede919c',
     rollupMinDeposit: 0.0001,
     rollupProofWindow: 86400,
     rollupGenesisBlockNumber: 0,
diff --git a/contracts/src/deploy-config/testnetl1.ts b/contracts/src/deploy-config/testnetl1.ts
index 036007329..9e91e1162 100644
--- a/contracts/src/deploy-config/testnetl1.ts
+++ b/contracts/src/deploy-config/testnetl1.ts
@@ -13,7 +13,7 @@ const config = {
     sequencerWindowSize: 200,
     channelTimeout: 120,
 
-    programVkey: '0x00bc91a65e39100f3b075c9edf1a60fd1cb025b9413ea19c34c62d455e512685',
+    programVkey: '0x001bdbe2a0f4839f3e7ca3b42ab1ca9d012e23249d17564c953d3557aede919c',
     rollupMinDeposit: 1,
     rollupProofWindow: 100,
     rollupGenesisBlockNumber: 0,
diff --git a/prover/Cargo.lock b/prover/Cargo.lock
index 7b21316ed..0aeae50ff 100644
--- a/prover/Cargo.lock
+++ b/prover/Cargo.lock
@@ -5095,7 +5095,7 @@ dependencies = [
 [[package]]
 name = "revm"
 version = "14.0.0"
-source = "git+https://github.com/morph-l2/revm?branch=release/v42#f5f08b959a6f051dce324c471e58a2a6b574c3d1"
+source = "git+https://github.com/morph-l2/revm?branch=release/v42#028eb309a053bfcc1c7fd14b4cf623c0821e6c96"
 dependencies = [
  "auto_impl",
  "cfg-if 1.0.0",
@@ -5109,7 +5109,7 @@ dependencies = [
 [[package]]
 name = "revm-interpreter"
 version = "10.0.0"
-source = "git+https://github.com/morph-l2/revm?branch=release/v42#f5f08b959a6f051dce324c471e58a2a6b574c3d1"
+source = "git+https://github.com/morph-l2/revm?branch=release/v42#028eb309a053bfcc1c7fd14b4cf623c0821e6c96"
 dependencies = [
  "cfg-if 1.0.0",
  "revm-primitives",
@@ -5119,7 +5119,7 @@ dependencies = [
 [[package]]
 name = "revm-precompile"
 version = "11.0.0"
-source = "git+https://github.com/morph-l2/revm?branch=release/v42#f5f08b959a6f051dce324c471e58a2a6b574c3d1"
+source = "git+https://github.com/morph-l2/revm?branch=release/v42#028eb309a053bfcc1c7fd14b4cf623c0821e6c96"
 dependencies = [
  "aurora-engine-modexp",
  "c-kzg",
@@ -5136,7 +5136,7 @@ dependencies = [
 [[package]]
 name = "revm-primitives"
 version = "9.0.0"
-source = "git+https://github.com/morph-l2/revm?branch=release/v42#f5f08b959a6f051dce324c471e58a2a6b574c3d1"
+source = "git+https://github.com/morph-l2/revm?branch=release/v42#028eb309a053bfcc1c7fd14b4cf623c0821e6c96"
 dependencies = [
  "alloy-eips",
  "alloy-primitives 0.8.0",
diff --git a/prover/bin/client/elf/riscv32im-succinct-zkvm-elf b/prover/bin/client/elf/riscv32im-succinct-zkvm-elf
index 5656ce4d3..ca8716323 100755
Binary files a/prover/bin/client/elf/riscv32im-succinct-zkvm-elf and b/prover/bin/client/elf/riscv32im-succinct-zkvm-elf differ
diff --git a/prover/crates/core/src/executor/mod.rs b/prover/crates/core/src/executor/mod.rs
index d03bfcb65..bc5c03b15 100644
--- a/prover/crates/core/src/executor/mod.rs
+++ b/prover/crates/core/src/executor/mod.rs
@@ -265,7 +265,7 @@ impl EvmExecutor<'_> {
             cycle_track!(
                 zktrie
                     .update_account(addr.as_slice(), &acc_data)
-                    .expect("failed to update account"),
+                    .unwrap_or_else(|_| panic!("failed to update account: {}", addr)),
                 "Zktrie::update_account"
             );