chore: remove snark-verifier

openvm-org · Jan 26, 2025 · 8d32473 · 8d32473
1 parent cb44337
commit 8d32473
Show file tree

Hide file tree

Showing 9 changed files with 0 additions and 969 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -65,7 +65,6 @@ members = [
     "extensions/pairing/transpiler",
     "extensions/pairing/guest",
     "extensions/pairing/tests",
-    "extensions/snark-verifier",
 ]
 exclude = ["crates/sdk/example"]
 resolver = "2"
@@ -163,7 +162,6 @@ openvm-ecc-sw-macros = { path = "extensions/ecc/sw-macros", default-features = f
 openvm-pairing-circuit = { path = "extensions/pairing/circuit", default-features = false }
 openvm-pairing-transpiler = { path = "extensions/pairing/transpiler", default-features = false }
 openvm-pairing-guest = { path = "extensions/pairing/guest", default-features = false }
-openvm-snark-verifier = { path = "extensions/snark-verifier", default-features = false }
 
 # Plonky3
 p3-air = { git = "https://github.com/Plonky3/Plonky3.git", rev = "b0591e9" }

diff --git a/extensions/snark-verifier/Cargo.toml b/extensions/snark-verifier/Cargo.toml
diff --git a/extensions/snark-verifier/src/bin/verify.rs b/extensions/snark-verifier/src/bin/verify.rs
diff --git a/extensions/snark-verifier/src/lib.rs b/extensions/snark-verifier/src/lib.rs