diff --git a/core/Cargo.toml b/core/Cargo.toml
index 4477549756..1c85ae0277 100644
--- a/core/Cargo.toml
+++ b/core/Cargo.toml
@@ -22,7 +22,7 @@ sve = ["miden-crypto/sve", "std"]
 
 [dependencies]
 math = { package = "winter-math", version = "0.6", default-features = false }
-miden-crypto = {git = "https://github.com/0xPolygonMiden/crypto", branch = "next", default-features = false }
+miden-crypto = { package = "miden-crypto", version = "0.7", default-features = false }
 winter-crypto = { package = "winter-crypto", version = "0.6", default-features = false }
 winter-utils = { package = "winter-utils", version = "0.6", default-features = false }
 
diff --git a/miden/Cargo.toml b/miden/Cargo.toml
index 47fa7ab034..d96b3a8804 100644
--- a/miden/Cargo.toml
+++ b/miden/Cargo.toml
@@ -41,6 +41,7 @@ concurrent = ["prover/concurrent", "std"]
 default = ["std"]
 executable = ["dep:env_logger", "dep:hex", "hex?/std", "std", "dep:serde", "serde?/std", "dep:serde_derive", "dep:serde_json", "serde_json?/std", "dep:clap", "dep:rustyline"]
 std = ["assembly/std", "log/std", "processor/std", "prover/std", "verifier/std"]
+sve = ["processor/sve", "prover/sve", "std"]
 
 [dependencies]
 assembly = { package = "miden-assembly", path = "../assembly", version = "0.7", default-features = false }
diff --git a/processor/Cargo.toml b/processor/Cargo.toml
index 687346aa46..2ea01e56fe 100644
--- a/processor/Cargo.toml
+++ b/processor/Cargo.toml
@@ -16,13 +16,14 @@ bench = false
 doctest = false
 
 [features]
-concurrent = ["winter-prover/concurrent", "std"]
+concurrent = ["std", "winter-prover/concurrent"]
 default = ["std"]
 internals = []
-std = ["vm-core/std", "winter-prover/std", "log/std"]
+std = ["log/std", "vm-core/std", "winter-prover/std"]
+sve = ["std", "vm-core/sve"]
 
 [dependencies]
-log = "0.4"
+log = { version = "0.4", default-features = false, optional = true }
 vm-core = { package = "miden-core", path = "../core", version = "0.7", default-features = false }
 miden-air = { package = "miden-air", path = "../air", version = "0.7", default-features = false }
 winter-prover = { package = "winter-prover", version = "0.6", default-features = false }
diff --git a/prover/Cargo.toml b/prover/Cargo.toml
index ffa0ed02fc..84fa93f5fa 100644
--- a/prover/Cargo.toml
+++ b/prover/Cargo.toml
@@ -16,6 +16,7 @@ concurrent = ["processor/concurrent", "std", "winter-prover/concurrent"]
 default = ["std"]
 metal = ["dep:ministark-gpu", "dep:elsa", "dep:pollster", "concurrent", "std"]
 std = ["air/std", "processor/std", "log/std", "winter-prover/std"]
+sve = ["processor/sve", "std"]
 
 [dependencies]
 air = { package = "miden-air", path = "../air", version = "0.7", default-features = false }