diff --git a/Cargo.lock b/Cargo.lock
index 94979e2078..5af714da23 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -6702,7 +6702,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-build"
-version = "3.0.0-rc3"
+version = "3.0.0-rc4"
 dependencies = [
  "anyhow",
  "cargo_metadata",
@@ -6713,7 +6713,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-cli"
-version = "3.0.0-rc3"
+version = "3.0.0-rc4"
 dependencies = [
  "anstyle",
  "anyhow",
@@ -6741,7 +6741,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-core-executor"
-version = "3.0.0-rc3"
+version = "3.0.0-rc4"
 dependencies = [
  "bincode",
  "bytemuck",
@@ -6774,7 +6774,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-core-machine"
-version = "3.0.0-rc3"
+version = "3.0.0-rc4"
 dependencies = [
  "bincode",
  "cfg-if",
@@ -6823,7 +6823,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-cuda"
-version = "3.0.0-rc3"
+version = "3.0.0-rc4"
 dependencies = [
  "bincode",
  "ctrlc",
@@ -6840,7 +6840,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-curves"
-version = "3.0.0-rc3"
+version = "3.0.0-rc4"
 dependencies = [
  "cfg-if",
  "curve25519-dalek",
@@ -6862,7 +6862,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-derive"
-version = "3.0.0-rc3"
+version = "3.0.0-rc4"
 dependencies = [
  "quote",
  "syn 1.0.109",
@@ -6870,7 +6870,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-eval"
-version = "3.0.0-rc3"
+version = "3.0.0-rc4"
 dependencies = [
  "anyhow",
  "bincode",
@@ -6890,14 +6890,14 @@ dependencies = [
 
 [[package]]
 name = "sp1-helper"
-version = "3.0.0-rc3"
+version = "3.0.0-rc4"
 dependencies = [
  "sp1-build",
 ]
 
 [[package]]
 name = "sp1-lib"
-version = "3.0.0-rc3"
+version = "3.0.0-rc4"
 dependencies = [
  "bincode",
  "serde",
@@ -6905,7 +6905,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-perf"
-version = "3.0.0-rc3"
+version = "3.0.0-rc4"
 dependencies = [
  "anyhow",
  "bincode",
@@ -6926,7 +6926,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-primitives"
-version = "3.0.0-rc3"
+version = "3.0.0-rc4"
 dependencies = [
  "bincode",
  "hex",
@@ -6942,7 +6942,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-prover"
-version = "3.0.0-rc3"
+version = "3.0.0-rc4"
 dependencies = [
  "anyhow",
  "bincode",
@@ -6982,7 +6982,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-recursion-circuit"
-version = "3.0.0-rc3"
+version = "3.0.0-rc4"
 dependencies = [
  "ff 0.13.0",
  "hashbrown 0.14.5",
@@ -7018,7 +7018,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-recursion-compiler"
-version = "3.0.0-rc3"
+version = "3.0.0-rc4"
 dependencies = [
  "backtrace",
  "criterion",
@@ -7043,7 +7043,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-recursion-core"
-version = "3.0.0-rc3"
+version = "3.0.0-rc4"
 dependencies = [
  "backtrace",
  "ff 0.13.0",
@@ -7078,7 +7078,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-recursion-derive"
-version = "3.0.0-rc3"
+version = "3.0.0-rc4"
 dependencies = [
  "quote",
  "syn 1.0.109",
@@ -7086,7 +7086,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-recursion-gnark-cli"
-version = "3.0.0-rc3"
+version = "3.0.0-rc4"
 dependencies = [
  "bincode",
  "clap",
@@ -7095,7 +7095,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-recursion-gnark-ffi"
-version = "3.0.0-rc3"
+version = "3.0.0-rc4"
 dependencies = [
  "anyhow",
  "bincode",
@@ -7119,7 +7119,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-sdk"
-version = "3.0.0-rc3"
+version = "3.0.0-rc4"
 dependencies = [
  "alloy-primitives 0.8.8",
  "alloy-signer",
@@ -7165,7 +7165,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-stark"
-version = "3.0.0-rc3"
+version = "3.0.0-rc4"
 dependencies = [
  "arrayref",
  "getrandom 0.2.15",
@@ -7200,7 +7200,7 @@ dependencies = [
 
 [[package]]
 name = "sp1-zkvm"
-version = "3.0.0-rc3"
+version = "3.0.0-rc4"
 dependencies = [
  "cfg-if",
  "getrandom 0.2.15",
diff --git a/Cargo.toml b/Cargo.toml
index 7bb6d7517b..804fa68945 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,5 +1,5 @@
 [workspace.package]
-version = "3.0.0-rc3"
+version = "3.0.0-rc4"
 edition = "2021"
 license = "MIT OR Apache-2.0"
 repository = "https://github.com/succinctlabs/sp1"
@@ -46,26 +46,26 @@ debug-assertions = true
 
 [workspace.dependencies]
 # sp1
-sp1-build = { path = "crates/build", version = "=3.0.0-rc3" }
-sp1-cli = { path = "crates/cli", version = "=3.0.0-rc3", default-features = false }
-sp1-core-machine = { path = "crates/core/machine", version = "=3.0.0-rc3" }
-sp1-core-executor = { path = "crates/core/executor", version = "=3.0.0-rc3" }
-sp1-curves = { path = "crates/curves", version = "=3.0.0-rc3" }
-sp1-derive = { path = "crates/derive", version = "=3.0.0-rc3" }
-sp1-eval = { path = "crates/eval", version = "=3.0.0-rc3" }
-sp1-helper = { path = "crates/helper", version = "=3.0.0-rc3", default-features = false }
-sp1-primitives = { path = "crates/primitives", version = "=3.0.0-rc3" }
-sp1-prover = { path = "crates/prover", version = "=3.0.0-rc3" }
-sp1-recursion-compiler = { path = "crates/recursion/compiler", version = "=3.0.0-rc3" }
-sp1-recursion-core = { path = "crates/recursion/core", version = "=3.0.0-rc3", default-features = false }
-sp1-recursion-derive = { path = "crates/recursion/derive", version = "=3.0.0-rc3", default-features = false }
-sp1-recursion-gnark-ffi = { path = "crates/recursion/gnark-ffi", version = "=3.0.0-rc3", default-features = false }
-sp1-recursion-circuit = { path = "crates/recursion/circuit", version = "=3.0.0-rc3", default-features = false }
-sp1-sdk = { path = "crates/sdk", version = "=3.0.0-rc3" }
-sp1-cuda = { path = "crates/cuda", version = "=3.0.0-rc3" }
-sp1-stark = { path = "crates/stark", version = "=3.0.0-rc3" }
-sp1-lib = { path = "crates/zkvm/lib", version = "=3.0.0-rc3", default-features = false }
-sp1-zkvm = { path = "crates/zkvm/entrypoint", version = "=3.0.0-rc3", default-features = false }
+sp1-build = { path = "crates/build", version = "=3.0.0-rc4" }
+sp1-cli = { path = "crates/cli", version = "=3.0.0-rc4", default-features = false }
+sp1-core-machine = { path = "crates/core/machine", version = "=3.0.0-rc4" }
+sp1-core-executor = { path = "crates/core/executor", version = "=3.0.0-rc4" }
+sp1-curves = { path = "crates/curves", version = "=3.0.0-rc4" }
+sp1-derive = { path = "crates/derive", version = "=3.0.0-rc4" }
+sp1-eval = { path = "crates/eval", version = "=3.0.0-rc4" }
+sp1-helper = { path = "crates/helper", version = "=3.0.0-rc4", default-features = false }
+sp1-primitives = { path = "crates/primitives", version = "=3.0.0-rc4" }
+sp1-prover = { path = "crates/prover", version = "=3.0.0-rc4" }
+sp1-recursion-compiler = { path = "crates/recursion/compiler", version = "=3.0.0-rc4" }
+sp1-recursion-core = { path = "crates/recursion/core", version = "=3.0.0-rc4", default-features = false }
+sp1-recursion-derive = { path = "crates/recursion/derive", version = "=3.0.0-rc4", default-features = false }
+sp1-recursion-gnark-ffi = { path = "crates/recursion/gnark-ffi", version = "=3.0.0-rc4", default-features = false }
+sp1-recursion-circuit = { path = "crates/recursion/circuit", version = "=3.0.0-rc4", default-features = false }
+sp1-sdk = { path = "crates/sdk", version = "=3.0.0-rc4" }
+sp1-cuda = { path = "crates/cuda", version = "=3.0.0-rc4" }
+sp1-stark = { path = "crates/stark", version = "=3.0.0-rc4" }
+sp1-lib = { path = "crates/zkvm/lib", version = "=3.0.0-rc4", default-features = false }
+sp1-zkvm = { path = "crates/zkvm/entrypoint", version = "=3.0.0-rc4", default-features = false }
 
 # p3
 p3-air = "0.1.4-succinct"