diff --git a/Cargo.lock b/Cargo.lock
index b9b6dfb2..9b720386 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -977,6 +977,15 @@ version = "0.6.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "230c5f1ca6a325a32553f8640d31ac9b49f2411e901e427570154868b46da4f7"
 
+[[package]]
+name = "bincode"
+version = "1.3.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b1f45e9417d87227c7a56d22e471c6206462cba514c7590c09aff4cf6d1ddcad"
+dependencies = [
+ "serde",
+]
+
 [[package]]
 name = "bit-set"
 version = "0.5.3"
@@ -1061,6 +1070,23 @@ dependencies = [
  "subtle",
 ]
 
+[[package]]
+name = "bls12_381"
+version = "0.8.0"
+source = "git+https://github.com/xavierdmello/bls12_381.git?branch=bhargav/experiment#50523d08e6c334620eb381481a56c1a02e65db4a"
+dependencies = [
+ "cfg-if",
+ "digest 0.9.0",
+ "eyre",
+ "ff",
+ "group",
+ "pairing",
+ "rand_core 0.6.4",
+ "sha2 0.9.9",
+ "sp1-lib",
+ "subtle",
+]
+
 [[package]]
 name = "blst"
 version = "0.3.12"
@@ -1301,12 +1327,12 @@ name = "common"
 version = "0.5.5"
 dependencies = [
  "alloy",
+ "bls12_381 0.8.0 (git+https://github.com/xavierdmello/bls12_381.git?branch=bhargav/experiment)",
  "bytes",
  "eyre",
  "hex",
  "serde",
  "serde_json",
- "snowbridge-milagro-bls",
  "ssz_rs",
  "superstruct",
  "thiserror",
@@ -1341,6 +1367,7 @@ name = "consensus"
 version = "0.5.5"
 dependencies = [
  "async-trait",
+ "bls12_381 0.8.0 (git+https://github.com/xavierdmello/bls12_381.git?branch=bhargav/experiment)",
  "bytes",
  "chrono",
  "common",
@@ -1356,7 +1383,6 @@ dependencies = [
  "retri",
  "serde",
  "serde_json",
- "snowbridge-milagro-bls",
  "ssz_rs",
  "superstruct",
  "thiserror",
@@ -1371,13 +1397,13 @@ name = "consensus-core"
 version = "0.1.0"
 dependencies = [
  "alloy",
+ "bls12_381 0.8.0 (git+https://github.com/xavierdmello/bls12_381.git?branch=bhargav/experiment)",
  "bytes",
  "common",
  "eyre",
  "hex",
  "serde",
  "serde_json",
- "snowbridge-milagro-bls",
  "ssz_rs",
  "superstruct",
  "thiserror",
@@ -3265,7 +3291,7 @@ version = "0.1.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "cd9920cd4460ce3cbca19c62f3bb9a9611562478a4dc9d2c556f4a7d049c5b6b"
 dependencies = [
- "bls12_381",
+ "bls12_381 0.8.0 (registry+https://github.com/rust-lang/crates.io-index)",
  "glob",
  "hex",
  "once_cell",
@@ -4629,7 +4655,6 @@ version = "2.11.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "eca070c12893629e2cc820a9761bedf6ce1dcddc9852984d1dc734b8bd9bd024"
 dependencies = [
- "bitvec 1.0.1",
  "cfg-if",
  "derive_more",
  "parity-scale-codec 3.6.12",
@@ -4905,8 +4930,7 @@ dependencies = [
 [[package]]
 name = "sha2"
 version = "0.9.9"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4d58a1e1bf39749807d89cf2d98ac2dfa0ff1cb3faa38fbb64dd88ac8013d800"
+source = "git+https://github.com/sp1-patches/RustCrypto-hashes?branch=patch-sha2-v0.9.9#db82a4848f8d033eab544255e1efa036cc06f054"
 dependencies = [
  "block-buffer 0.9.0",
  "cfg-if",
@@ -4918,8 +4942,7 @@ dependencies = [
 [[package]]
 name = "sha2"
 version = "0.10.8"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "793db75ad2bcafc3ffa7c68b215fee268f537982cd901d132f89c6343f3a3dc8"
+source = "git+https://github.com/sp1-patches/RustCrypto-hashes?branch=patch-sha2-v0.10.8#1f224388fdede7cef649bce0d63876d1a9e3f515"
 dependencies = [
  "cfg-if",
  "cpufeatures",
@@ -5007,20 +5030,6 @@ dependencies = [
  "scale-info",
 ]
 
-[[package]]
-name = "snowbridge-milagro-bls"
-version = "1.5.2"
-source = "git+https://github.com/Snowfork/milagro_bls?rev=6a95c9e33c6a41d9137761e593d53742ebb964de#6a95c9e33c6a41d9137761e593d53742ebb964de"
-dependencies = [
- "hex",
- "lazy_static",
- "parity-scale-codec 3.6.12",
- "rand 0.8.5",
- "scale-info",
- "snowbridge-amcl",
- "zeroize",
-]
-
 [[package]]
 name = "socket2"
 version = "0.5.7"
@@ -5047,6 +5056,19 @@ dependencies = [
  "sha-1",
 ]
 
+[[package]]
+name = "sp1-lib"
+version = "1.1.1"
+source = "git+https://github.com/succinctlabs/sp1?branch=experimental#232d0fb2913f86e31383c8116379c51798ef7d78"
+dependencies = [
+ "anyhow",
+ "bincode",
+ "cfg-if",
+ "hex",
+ "serde",
+ "snowbridge-amcl",
+]
+
 [[package]]
 name = "spin"
 version = "0.5.2"
@@ -5328,9 +5350,9 @@ dependencies = [
 [[package]]
 name = "tiny-keccak"
 version = "2.0.2"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2c9d3793400a45f954c52e73d068316d76b6f4e36977e3fcebb13a2721e80237"
+source = "git+https://github.com/sp1-patches/tiny-keccak?branch=patch-v2.0.2#bf0b28f63510a90c7b6c21ac6ff461c93ecd2331"
 dependencies = [
+ "cfg-if",
  "crunchy",
 ]
 
diff --git a/Cargo.toml b/Cargo.toml
index bffede43..f6d749a4 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -26,7 +26,7 @@ default-members = ["cli"]
 [workspace.dependencies]
 # consensus
 ssz-rs = { package = "ssz_rs", version = "0.9.0" }
-milagro_bls = { package = "snowbridge-milagro-bls", git = "https://github.com/Snowfork/milagro_bls", rev = "6a95c9e33c6a41d9137761e593d53742ebb964de" }
+milagro_bls = { package = "bls12_381", git = "https://github.com/xavierdmello/bls12_381.git", branch="bhargav/experiment"}
 
 # execution
 alloy = { version = "0.2.1", features = [
@@ -72,6 +72,11 @@ hyper = "1.3.1"
 zduny-wasm-timer = "0.2.8"
 retri = "0.1.0"
 
+[patch.crates-io]
+sha2-v0-9-9 = { git = "https://github.com/sp1-patches/RustCrypto-hashes", package = "sha2", branch = "patch-sha2-v0.9.9" }
+sha2-v0-10-8 = { git = "https://github.com/sp1-patches/RustCrypto-hashes", package = "sha2", branch = "patch-sha2-v0.10.8" }
+tiny-keccak = { git = "https://github.com/sp1-patches/tiny-keccak", branch = "patch-v2.0.2" }
+
 ######################################
 # Top Level Dependencies
 ######################################