diff --git a/Cargo.lock b/Cargo.lock
index 724e4162c5..d7a03e3343 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -5735,7 +5735,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-build"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "anyhow",
  "cargo_metadata",
@@ -5746,7 +5746,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-cli"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "anstyle",
  "anyhow",
@@ -5775,7 +5775,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-core-executor"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "bytemuck",
@@ -5802,7 +5802,7 @@ dependencies = [
  "serde",
  "serde_json",
  "sp1-curves",
- "sp1-primitives 4.0.0",
+ "sp1-primitives 4.0.1",
  "sp1-stark",
  "sp1-zkvm",
  "strum",
@@ -5818,7 +5818,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-core-machine"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "cbindgen",
@@ -5858,7 +5858,7 @@ dependencies = [
  "sp1-core-executor",
  "sp1-curves",
  "sp1-derive",
- "sp1-primitives 4.0.0",
+ "sp1-primitives 4.0.1",
  "sp1-stark",
  "sp1-zkvm",
  "static_assertions",
@@ -5877,7 +5877,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-cuda"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "ctrlc",
@@ -5895,7 +5895,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-curves"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "cfg-if",
  "dashu",
@@ -5910,14 +5910,14 @@ dependencies = [
  "rug",
  "serde",
  "snowbridge-amcl",
- "sp1-primitives 4.0.0",
+ "sp1-primitives 4.0.1",
  "sp1-stark",
  "typenum",
 ]
 
 [[package]]
 name = "sp1-derive"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "quote",
  "syn 1.0.109",
@@ -5925,7 +5925,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-eval"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "anyhow",
  "bincode",
@@ -5943,7 +5943,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-helper"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "sp1-build",
 ]
@@ -5961,16 +5961,16 @@ dependencies = [
 
 [[package]]
 name = "sp1-lib"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "serde",
- "sp1-primitives 4.0.0",
+ "sp1-primitives 4.0.1",
 ]
 
 [[package]]
 name = "sp1-perf"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "clap",
@@ -6008,7 +6008,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-primitives"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "hex",
@@ -6024,7 +6024,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-prover"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "anyhow",
  "bincode",
@@ -6051,7 +6051,7 @@ dependencies = [
  "sha2 0.10.8",
  "sp1-core-executor",
  "sp1-core-machine",
- "sp1-primitives 4.0.0",
+ "sp1-primitives 4.0.1",
  "sp1-recursion-circuit",
  "sp1-recursion-compiler",
  "sp1-recursion-core",
@@ -6066,7 +6066,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-recursion-circuit"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "ff 0.13.0",
  "hashbrown 0.14.5",
@@ -6091,7 +6091,7 @@ dependencies = [
  "sp1-core-executor",
  "sp1-core-machine",
  "sp1-derive",
- "sp1-primitives 4.0.0",
+ "sp1-primitives 4.0.1",
  "sp1-recursion-compiler",
  "sp1-recursion-core",
  "sp1-recursion-gnark-ffi",
@@ -6103,7 +6103,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-recursion-compiler"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "backtrace",
  "criterion",
@@ -6118,7 +6118,7 @@ dependencies = [
  "rand 0.8.5",
  "serde",
  "sp1-core-machine",
- "sp1-primitives 4.0.0",
+ "sp1-primitives 4.0.1",
  "sp1-recursion-core",
  "sp1-recursion-derive",
  "sp1-stark",
@@ -6128,7 +6128,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-recursion-core"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "backtrace",
  "cbindgen",
@@ -6160,7 +6160,7 @@ dependencies = [
  "smallvec",
  "sp1-core-machine",
  "sp1-derive",
- "sp1-primitives 4.0.0",
+ "sp1-primitives 4.0.1",
  "sp1-stark",
  "static_assertions",
  "thiserror 1.0.69",
@@ -6171,7 +6171,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-recursion-derive"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "quote",
  "syn 1.0.109",
@@ -6179,7 +6179,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-recursion-gnark-cli"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "clap",
@@ -6188,7 +6188,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-recursion-gnark-ffi"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "anyhow",
  "bincode",
@@ -6212,7 +6212,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-sdk"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "alloy-primitives",
  "alloy-signer",
@@ -6242,7 +6242,7 @@ dependencies = [
  "sp1-core-executor",
  "sp1-core-machine",
  "sp1-cuda",
- "sp1-primitives 4.0.0",
+ "sp1-primitives 4.0.1",
  "sp1-prover",
  "sp1-stark",
  "strum",
@@ -6260,7 +6260,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-stark"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "arrayref",
  "hashbrown 0.14.5",
@@ -6284,7 +6284,7 @@ dependencies = [
  "rayon-scan",
  "serde",
  "sp1-derive",
- "sp1-primitives 4.0.0",
+ "sp1-primitives 4.0.1",
  "sp1-zkvm",
  "strum",
  "strum_macros",
@@ -6294,7 +6294,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-verifier"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "ark-bn254",
  "ark-ec",
@@ -6316,7 +6316,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-zkvm"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "cfg-if",
  "critical-section",
@@ -6328,8 +6328,8 @@ dependencies = [
  "p3-field",
  "rand 0.8.5",
  "sha2 0.10.8",
- "sp1-lib 4.0.0",
- "sp1-primitives 4.0.0",
+ "sp1-lib 4.0.1",
+ "sp1-primitives 4.0.1",
 ]
 
 [[package]]
@@ -6667,7 +6667,7 @@ dependencies = [
 
 [[package]]
 name = "test-artifacts"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "sp1-build",
 ]
diff --git a/Cargo.toml b/Cargo.toml
index 80e230117e..ef01b6de1e 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,5 +1,5 @@
 [workspace.package]
-version = "4.0.0"
+version = "4.0.1"
 edition = "2021"
 license = "MIT OR Apache-2.0"
 rust-version = "1.79"
@@ -51,26 +51,26 @@ debug-assertions = true
 
 [workspace.dependencies]
 # sp1
-sp1-build = { path = "crates/build", version = "4.0.0" }
-sp1-cli = { path = "crates/cli", version = "4.0.0", default-features = false }
-sp1-core-machine = { path = "crates/core/machine", version = "4.0.0" }
-sp1-core-executor = { path = "crates/core/executor", version = "4.0.0" }
-sp1-curves = { path = "crates/curves", version = "4.0.0" }
-sp1-derive = { path = "crates/derive", version = "4.0.0" }
-sp1-eval = { path = "crates/eval", version = "4.0.0" }
-sp1-helper = { path = "crates/helper", version = "4.0.0", default-features = false }
-sp1-primitives = { path = "crates/primitives", version = "4.0.0" }
-sp1-prover = { path = "crates/prover", version = "4.0.0" }
-sp1-recursion-compiler = { path = "crates/recursion/compiler", version = "4.0.0" }
-sp1-recursion-core = { path = "crates/recursion/core", version = "4.0.0" }
-sp1-recursion-derive = { path = "crates/recursion/derive", version = "4.0.0", default-features = false }
-sp1-recursion-gnark-ffi = { path = "crates/recursion/gnark-ffi", version = "4.0.0", default-features = false }
-sp1-recursion-circuit = { path = "crates/recursion/circuit", version = "4.0.0", default-features = false }
-sp1-sdk = { path = "crates/sdk", version = "4.0.0" }
-sp1-cuda = { path = "crates/cuda", version = "4.0.0" }
-sp1-stark = { path = "crates/stark", version = "4.0.0" }
-sp1-lib = { path = "crates/zkvm/lib", version = "4.0.0", default-features = false }
-sp1-zkvm = { path = "crates/zkvm/entrypoint", version = "4.0.0", default-features = false }
+sp1-build = { path = "crates/build", version = "4.0.1" }
+sp1-cli = { path = "crates/cli", version = "4.0.1", default-features = false }
+sp1-core-machine = { path = "crates/core/machine", version = "4.0.1" }
+sp1-core-executor = { path = "crates/core/executor", version = "4.0.1" }
+sp1-curves = { path = "crates/curves", version = "4.0.1" }
+sp1-derive = { path = "crates/derive", version = "4.0.1" }
+sp1-eval = { path = "crates/eval", version = "4.0.1" }
+sp1-helper = { path = "crates/helper", version = "4.0.1", default-features = false }
+sp1-primitives = { path = "crates/primitives", version = "4.0.1" }
+sp1-prover = { path = "crates/prover", version = "4.0.1" }
+sp1-recursion-compiler = { path = "crates/recursion/compiler", version = "4.0.1" }
+sp1-recursion-core = { path = "crates/recursion/core", version = "4.0.1" }
+sp1-recursion-derive = { path = "crates/recursion/derive", version = "4.0.1", default-features = false }
+sp1-recursion-gnark-ffi = { path = "crates/recursion/gnark-ffi", version = "4.0.1", default-features = false }
+sp1-recursion-circuit = { path = "crates/recursion/circuit", version = "4.0.1", default-features = false }
+sp1-sdk = { path = "crates/sdk", version = "4.0.1" }
+sp1-cuda = { path = "crates/cuda", version = "4.0.1" }
+sp1-stark = { path = "crates/stark", version = "4.0.1" }
+sp1-lib = { path = "crates/zkvm/lib", version = "4.0.1", default-features = false }
+sp1-zkvm = { path = "crates/zkvm/entrypoint", version = "4.0.1", default-features = false }
 
 # For testing.
 test-artifacts = { path = "crates/test-artifacts" }
diff --git a/crates/cli/src/lib.rs b/crates/cli/src/lib.rs
index 8f001ad6b4..1a6dafcac8 100644
--- a/crates/cli/src/lib.rs
+++ b/crates/cli/src/lib.rs
@@ -7,7 +7,10 @@ use std::process::{Command, Stdio};
 pub const RUSTUP_TOOLCHAIN_NAME: &str = "succinct";
 
 /// The latest version (github tag) of the toolchain that is supported by our build system.
-pub const LATEST_SUPPORTED_TOOLCHAIN_VERSION_TAG: &str = "v1.82.0";
+///
+/// This tag has suppoert for older x86 libc versions (like the one found in Ubuntu 20.04).
+/// This tag has support for the recent Macos and ARM targets.
+pub const LATEST_SUPPORTED_TOOLCHAIN_VERSION_TAG: &str = "succinct-1.82.0";
 
 pub const SP1_VERSION_MESSAGE: &str =
     concat!("sp1", " (", env!("VERGEN_GIT_SHA"), " ", env!("VERGEN_BUILD_TIMESTAMP"), ")");
diff --git a/crates/test-artifacts/programs/Cargo.lock b/crates/test-artifacts/programs/Cargo.lock
index 343be81a41..1d1f5dbf9e 100644
--- a/crates/test-artifacts/programs/Cargo.lock
+++ b/crates/test-artifacts/programs/Cargo.lock
@@ -328,7 +328,7 @@ version = "1.1.0"
 dependencies = [
  "common-test-utils",
  "sp1-curves",
- "sp1-lib 4.0.0",
+ "sp1-lib 4.0.1",
  "sp1-zkvm",
 ]
 
@@ -371,7 +371,7 @@ name = "bls12381-mul-test"
 version = "1.1.0"
 dependencies = [
  "sp1-derive",
- "sp1-lib 4.0.0",
+ "sp1-lib 4.0.1",
  "sp1-zkvm",
 ]
 
@@ -381,7 +381,7 @@ version = "1.1.0"
 dependencies = [
  "common-test-utils",
  "sp1-curves",
- "sp1-lib 4.0.0",
+ "sp1-lib 4.0.1",
  "sp1-zkvm",
 ]
 
@@ -424,7 +424,7 @@ name = "bn254-mul-test"
 version = "1.1.0"
 dependencies = [
  "sp1-derive",
- "sp1-lib 4.0.0",
+ "sp1-lib 4.0.1",
  "sp1-zkvm",
 ]
 
@@ -494,7 +494,7 @@ name = "common-test-utils"
 version = "1.1.0"
 dependencies = [
  "num-bigint",
- "sp1-lib 4.0.0",
+ "sp1-lib 4.0.1",
 ]
 
 [[package]]
@@ -2254,7 +2254,7 @@ version = "1.1.0"
 dependencies = [
  "common-test-utils",
  "sp1-curves",
- "sp1-lib 4.0.0",
+ "sp1-lib 4.0.1",
  "sp1-zkvm",
 ]
 
@@ -2290,7 +2290,7 @@ dependencies = [
  "num",
  "p256",
  "sp1-curves",
- "sp1-lib 4.0.0",
+ "sp1-lib 4.0.1",
  "sp1-zkvm",
 ]
 
@@ -2311,7 +2311,7 @@ dependencies = [
  "num",
  "p256",
  "sp1-curves",
- "sp1-lib 4.0.0",
+ "sp1-lib 4.0.1",
  "sp1-zkvm",
 ]
 
@@ -2516,7 +2516,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-curves"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "cfg-if",
  "dashu",
@@ -2536,7 +2536,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-derive"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "quote",
  "syn 1.0.109",
@@ -2568,7 +2568,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-lib"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "serde",
@@ -2577,7 +2577,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-primitives"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "hex",
@@ -2593,7 +2593,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-stark"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "arrayref",
  "hashbrown 0.14.5",
@@ -2626,7 +2626,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-zkvm"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "cfg-if",
  "getrandom",
@@ -2636,7 +2636,7 @@ dependencies = [
  "p3-field",
  "rand",
  "sha2 0.10.8",
- "sp1-lib 4.0.0",
+ "sp1-lib 4.0.1",
  "sp1-primitives",
 ]
 
diff --git a/patch-testing/Cargo.lock b/patch-testing/Cargo.lock
index 1538c03917..a298b034fe 100644
--- a/patch-testing/Cargo.lock
+++ b/patch-testing/Cargo.lock
@@ -3721,7 +3721,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-build"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "anyhow",
  "cargo_metadata",
@@ -3732,7 +3732,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-core-executor"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "bytemuck",
@@ -3769,7 +3769,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-core-machine"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "cbindgen",
@@ -3824,7 +3824,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-cuda"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "ctrlc",
@@ -3839,7 +3839,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-curves"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "cfg-if",
  "dashu",
@@ -3859,7 +3859,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-derive"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "quote",
  "syn 1.0.109",
@@ -3867,7 +3867,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-lib"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "serde",
@@ -3876,7 +3876,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-primitives"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "hex",
@@ -3892,7 +3892,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-prover"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "anyhow",
  "bincode",
@@ -3933,7 +3933,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-recursion-circuit"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "hashbrown 0.14.5",
  "itertools 0.13.0",
@@ -3965,7 +3965,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-recursion-compiler"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "backtrace",
  "itertools 0.13.0",
@@ -3985,7 +3985,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-recursion-core"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "backtrace",
  "cbindgen",
@@ -4026,7 +4026,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-recursion-derive"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "quote",
  "syn 1.0.109",
@@ -4034,7 +4034,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-recursion-gnark-ffi"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "anyhow",
  "bincode",
@@ -4058,7 +4058,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-sdk"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "anyhow",
  "async-trait",
@@ -4093,7 +4093,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-stark"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "arrayref",
  "hashbrown 0.14.5",
@@ -4147,7 +4147,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-zkvm"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "cfg-if",
  "getrandom",
diff --git a/patch-testing/bls12-381/program/Cargo.lock b/patch-testing/bls12-381/program/Cargo.lock
index 85b3e9dff4..44b650d0d6 100644
--- a/patch-testing/bls12-381/program/Cargo.lock
+++ b/patch-testing/bls12-381/program/Cargo.lock
@@ -453,7 +453,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-lib"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "serde",
@@ -462,7 +462,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-primitives"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "hex",
@@ -478,7 +478,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-zkvm"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "cfg-if",
  "getrandom",
diff --git a/patch-testing/bn/program/Cargo.lock b/patch-testing/bn/program/Cargo.lock
index 28abbb0607..7243065e62 100644
--- a/patch-testing/bn/program/Cargo.lock
+++ b/patch-testing/bn/program/Cargo.lock
@@ -419,7 +419,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-lib"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "serde",
@@ -428,7 +428,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-primitives"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "hex",
@@ -444,7 +444,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-zkvm"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "cfg-if",
  "getrandom",
diff --git a/patch-testing/curve25519-dalek-ng/program/Cargo.lock b/patch-testing/curve25519-dalek-ng/program/Cargo.lock
index c4ddf48f48..3dcd5157bf 100644
--- a/patch-testing/curve25519-dalek-ng/program/Cargo.lock
+++ b/patch-testing/curve25519-dalek-ng/program/Cargo.lock
@@ -406,7 +406,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-lib"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "serde",
@@ -415,7 +415,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-primitives"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "hex",
@@ -431,7 +431,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-zkvm"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "cfg-if",
  "getrandom",
diff --git a/patch-testing/curve25519-dalek/program/Cargo.lock b/patch-testing/curve25519-dalek/program/Cargo.lock
index e550f91683..489e02f4e9 100644
--- a/patch-testing/curve25519-dalek/program/Cargo.lock
+++ b/patch-testing/curve25519-dalek/program/Cargo.lock
@@ -498,7 +498,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-lib"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "serde",
@@ -507,7 +507,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-primitives"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "hex",
@@ -523,7 +523,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-zkvm"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "cfg-if",
  "getrandom",
diff --git a/patch-testing/k256/program/Cargo.lock b/patch-testing/k256/program/Cargo.lock
index 9c18bd717e..ed1d6febe4 100644
--- a/patch-testing/k256/program/Cargo.lock
+++ b/patch-testing/k256/program/Cargo.lock
@@ -567,7 +567,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-lib"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "serde",
@@ -576,7 +576,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-primitives"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "hex",
@@ -592,7 +592,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-zkvm"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "cfg-if",
  "getrandom",
diff --git a/patch-testing/keccak/program/Cargo.lock b/patch-testing/keccak/program/Cargo.lock
index b886a106e7..9f9ca5d064 100644
--- a/patch-testing/keccak/program/Cargo.lock
+++ b/patch-testing/keccak/program/Cargo.lock
@@ -389,7 +389,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-lib"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "serde",
@@ -398,7 +398,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-primitives"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "hex",
@@ -414,7 +414,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-zkvm"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "cfg-if",
  "getrandom",
diff --git a/patch-testing/p256/program/Cargo.lock b/patch-testing/p256/program/Cargo.lock
index 7d0bd8bc47..ee41e6d849 100644
--- a/patch-testing/p256/program/Cargo.lock
+++ b/patch-testing/p256/program/Cargo.lock
@@ -577,7 +577,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-lib"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "serde",
@@ -586,7 +586,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-primitives"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "hex",
@@ -602,7 +602,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-zkvm"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "cfg-if",
  "getrandom",
diff --git a/patch-testing/rustcrypto-bigint/program/Cargo.lock b/patch-testing/rustcrypto-bigint/program/Cargo.lock
index 424fcd3c3f..fa0e7b657b 100644
--- a/patch-testing/rustcrypto-bigint/program/Cargo.lock
+++ b/patch-testing/rustcrypto-bigint/program/Cargo.lock
@@ -394,7 +394,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-lib"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "serde",
@@ -403,7 +403,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-primitives"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "hex",
@@ -419,7 +419,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-zkvm"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "cfg-if",
  "getrandom",
diff --git a/patch-testing/secp256k1/program/Cargo.lock b/patch-testing/secp256k1/program/Cargo.lock
index ecf26d6602..d29f3d3bd0 100644
--- a/patch-testing/secp256k1/program/Cargo.lock
+++ b/patch-testing/secp256k1/program/Cargo.lock
@@ -591,7 +591,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-lib"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "serde",
@@ -600,7 +600,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-primitives"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "hex",
@@ -616,7 +616,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-zkvm"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "cfg-if",
  "getrandom",
diff --git a/patch-testing/sha/program/Cargo.lock b/patch-testing/sha/program/Cargo.lock
index 3d21ac0356..61c098c8f1 100644
--- a/patch-testing/sha/program/Cargo.lock
+++ b/patch-testing/sha/program/Cargo.lock
@@ -439,7 +439,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-lib"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "serde",
@@ -448,7 +448,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-primitives"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "bincode",
  "hex",
@@ -464,7 +464,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-zkvm"
-version = "4.0.0"
+version = "4.0.1"
 dependencies = [
  "cfg-if",
  "getrandom",