diff --git a/Cargo.lock b/Cargo.lock
index 0b4ee28ac..7800bd7c5 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -1198,6 +1198,19 @@ dependencies = [
  "subtle",
 ]
 
+[[package]]
+name = "bls12_381"
+version = "0.8.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "d7bc6d6292be3a19e6379786dac800f551e5865a5bb51ebbe3064ab80433f403"
+dependencies = [
+ "ff 0.13.0",
+ "group 0.13.0",
+ "pairing 0.23.0",
+ "rand_core",
+ "subtle",
+]
+
 [[package]]
 name = "bls12_381"
 version = "0.8.0"
@@ -1292,6 +1305,20 @@ name = "bytemuck"
 version = "1.17.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "6fd4c6dcc3b0aea2f5c0b4b82c2b15fe39ddbc76041a310848f4706edf76bb31"
+dependencies = [
+ "bytemuck_derive",
+]
+
+[[package]]
+name = "bytemuck_derive"
+version = "1.7.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "0cc8b54b395f2fcfbb3d90c47b01c7f444d94d05bdeb775811dec868ac3bbc26"
+dependencies = [
+ "proc-macro2",
+ "quote",
+ "syn 2.0.74",
+]
 
 [[package]]
 name = "byteorder"
@@ -1465,7 +1492,6 @@ dependencies = [
  "alloy-sol-types",
  "anyhow",
  "async-trait",
- "bls12_381 0.8.0",
  "itertools 0.13.0",
  "kona-client",
  "kona-derive",
@@ -3428,7 +3454,7 @@ version = "0.1.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "cd9920cd4460ce3cbca19c62f3bb9a9611562478a4dc9d2c556f4a7d049c5b6b"
 dependencies = [
- "bls12_381 0.8.0",
+ "bls12_381 0.8.0 (registry+https://github.com/rust-lang/crates.io-index)",
  "glob",
  "hex",
  "once_cell",
@@ -3442,7 +3468,7 @@ name = "kzg-rs"
 version = "0.1.0"
 source = "git+https://github.com/succinctlabs/kzg-rs?branch=bhargav/sp1-bls-patch#9d2488d69ff1b48bc08c4e931f1aa1661007aa98"
 dependencies = [
- "bls12_381 0.8.0",
+ "bls12_381 0.8.0 (git+https://github.com/0xWOLAND/bls12_381?branch=bhargav/experiment)",
  "ff 0.13.0",
  "glob",
  "hex",
@@ -5949,6 +5975,19 @@ dependencies = [
  "serde",
 ]
 
+[[package]]
+name = "sp1-lib"
+version = "1.1.1"
+source = "git+https://github.com/succinctlabs/sp1.git?branch=dev#2a928c01cada3182e62e0d37b005359615bebe2a"
+dependencies = [
+ "anyhow",
+ "bincode",
+ "cfg-if",
+ "hex",
+ "serde",
+ "snowbridge-amcl",
+]
+
 [[package]]
 name = "sp1-lib"
 version = "1.1.1"
@@ -6344,7 +6383,7 @@ dependencies = [
 [[package]]
 name = "substrate-bn"
 version = "0.6.0"
-source = "git+https://github.com/0xWOLAND/bn.git#4970e22d001de8fcc46b07d93308c5f6cd9b1e26"
+source = "git+https://github.com/sp1-patches/bn.git?branch=patch-v0.6.0#7e23021327f23798f3e6601d383d3fb5f4c7834b"
 dependencies = [
  "bytemuck",
  "byteorder",
@@ -6353,7 +6392,7 @@ dependencies = [
  "lazy_static",
  "rand",
  "rustc-hex",
- "sp1-lib 1.1.1 (git+https://github.com/succinctlabs/sp1.git?branch=experimental)",
+ "sp1-lib 1.1.1 (git+https://github.com/succinctlabs/sp1.git?branch=dev)",
 ]
 
 [[package]]
diff --git a/Cargo.toml b/Cargo.toml
index db9b4bff0..9cf301fcb 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -97,4 +97,4 @@ lto = "fat"
 tiny-keccak = { git = "https://github.com/sp1-patches/tiny-keccak", branch = "patch-v2.0.2" }
 sha2 = { git = "https://github.com/sp1-patches/RustCrypto-hashes", branch = "patch-v0.10.8", package = "sha2" }
 ecdsa-core = { git = "https://github.com/sp1-patches/signatures", package = "ecdsa", branch = "patch-ecdsa-v0.16.9" }
-bn = { git = "https://github.com/0xWOLAND/bn.git", package = "substrate-bn" }
+bn = { git = "https://github.com/sp1-patches/bn.git", package = "substrate-bn", branch="patch-v0.6.0" }
diff --git a/elf/fault-proof-elf b/elf/fault-proof-elf
index 2f23c3328..079eba438 100755
Binary files a/elf/fault-proof-elf and b/elf/fault-proof-elf differ