diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index 500033f728..b5233b4a9b 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -120,15 +120,6 @@ jobs:
         env:
           CARGO_INCREMENTAL: 1
 
-      - name: Add wasm target
-        run: rustup target add wasm32-unknown-unknown
-
-      - name: Check wasm compatibility for sdk
-        uses: actions-rs/cargo@v1
-        with:
-          command: check
-          args: -p sp1-sdk --target wasm32-unknown-unknown --no-default-features
-
   examples:
     name: Examples
     runs-on:
diff --git a/Cargo.lock b/Cargo.lock
index 3bc6879a77..47d557f4a0 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -1616,20 +1616,6 @@ name = "bytemuck"
 version = "1.19.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "8334215b81e418a0a7bdb8ef0849474f40bb10c8b71f1c4ed315cff49f32494d"
-dependencies = [
- "bytemuck_derive",
-]
-
-[[package]]
-name = "bytemuck_derive"
-version = "1.8.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "bcfcc3cd946cb52f0bbfdbbcfa2f4e24f75ebb6c0e1002f7c25904fada18b9ec"
-dependencies = [
- "proc-macro2",
- "quote",
- "syn 2.0.87",
-]
 
 [[package]]
 name = "byteorder"
@@ -7055,16 +7041,6 @@ dependencies = [
  "sp1-build",
 ]
 
-[[package]]
-name = "sp1-lib"
-version = "3.1.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "14deb700469a37ec075bcf88dac3815b026dd9c4b9cb175980826f1fbb2e4e80"
-dependencies = [
- "bincode",
- "serde",
-]
-
 [[package]]
 name = "sp1-lib"
 version = "3.2.0"
@@ -7369,20 +7345,6 @@ dependencies = [
  "tracing",
 ]
 
-[[package]]
-name = "sp1-verifier"
-version = "3.2.0"
-dependencies = [
- "hex",
- "lazy_static",
- "num-bigint 0.4.6",
- "num-traits",
- "sha2 0.10.8",
- "sp1-sdk",
- "substrate-bn",
- "thiserror-no-std",
-]
-
 [[package]]
 name = "sp1-zkvm"
 version = "3.2.0"
@@ -7395,7 +7357,7 @@ dependencies = [
  "p3-field",
  "rand 0.8.5",
  "sha2 0.10.8",
- "sp1-lib 3.2.0",
+ "sp1-lib",
  "sp1-primitives",
 ]
 
@@ -7544,22 +7506,6 @@ dependencies = [
  "syn 2.0.87",
 ]
 
-[[package]]
-name = "substrate-bn"
-version = "0.6.0"
-source = "git+https://github.com/sp1-patches/bn?tag=substrate_bn-v0.6.0-patch-v2#8ef05d3969312eca34fa9f1f566a469022badda6"
-dependencies = [
- "bytemuck",
- "byteorder",
- "cfg-if",
- "crunchy",
- "lazy_static",
- "num-bigint 0.4.6",
- "rand 0.8.5",
- "rustc-hex",
- "sp1-lib 3.1.0",
-]
-
 [[package]]
 name = "subtle"
 version = "2.6.1"
@@ -7794,26 +7740,6 @@ dependencies = [
  "syn 2.0.87",
 ]
 
-[[package]]
-name = "thiserror-impl-no-std"
-version = "2.0.2"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "58e6318948b519ba6dc2b442a6d0b904ebfb8d411a3ad3e07843615a72249758"
-dependencies = [
- "proc-macro2",
- "quote",
- "syn 1.0.109",
-]
-
-[[package]]
-name = "thiserror-no-std"
-version = "2.0.2"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "a3ad459d94dd517257cc96add8a43190ee620011bb6e6cdc82dafd97dfafafea"
-dependencies = [
- "thiserror-impl-no-std",
-]
-
 [[package]]
 name = "thread_local"
 version = "1.1.8"
diff --git a/Cargo.toml b/Cargo.toml
index 6cf5ce777c..5507451ec1 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -28,7 +28,7 @@ members = [
   "crates/sdk",
   "crates/cuda",
   "crates/stark",
-  "crates/verifier",
+  # "crates/verifier",
   "crates/zkvm/*",
 ]
 exclude = ["examples/target"]