diff --git a/Cargo.lock b/Cargo.lock
index cacb1e75..bb15b342 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -1045,7 +1045,7 @@ dependencies = [
 [[package]]
 name = "risc0-bigint2"
 version = "1.3.0-alpha.1"
-source = "git+https://github.com/risc0/risc0.git?rev=cd588b747334360033b6a0e7fbd0efd16d586379#cd588b747334360033b6a0e7fbd0efd16d586379"
+source = "git+https://github.com/risc0/risc0.git?rev=9512ce20f43627fc6b645def23194e926d5cb23a#9512ce20f43627fc6b645def23194e926d5cb23a"
 dependencies = [
  "include_bytes_aligned",
  "stability",
diff --git a/k256/Cargo.toml b/k256/Cargo.toml
index 1d8071a0..d6f63954 100644
--- a/k256/Cargo.toml
+++ b/k256/Cargo.toml
@@ -31,7 +31,7 @@ signature = { version = "2", optional = true }
 
 [target.'cfg(all(target_os = "zkvm", target_arch = "riscv32"))'.dependencies]
 # risc0-bigint2 = { version = "1.2.0-rc.1", features = ["unstable"] }
-risc0-bigint2 = { git = "https://github.com/risc0/risc0.git", rev = "cd588b747334360033b6a0e7fbd0efd16d586379", features = ["unstable"] }
+risc0-bigint2 = { git = "https://github.com/risc0/risc0.git", rev = "9512ce20f43627fc6b645def23194e926d5cb23a", features = ["unstable"] }
 # risc0-bigint2 = { path = "../../../risc0/risc0/risc0/bigint2", features = ["unstable"] }
 bytemuck = "1"