move masp validation from SDK into shielded_token crate

Cargo.toml

@@ -75,7 +75,6 @@ bimap = {version = "0.6.2", features = ["serde"]}
 bit-set = "0.5.2"
 bitflags = { version = "2.5.0", features = ["serde"] }
 blake2b-rs = "0.2.0"
-bls12_381 = "0.8"
 byte-unit = "4.0.13"
 byteorder = "1.4.2"
 borsh = {version = "1.2.0", features = ["unstable__schema", "derive"]}

crates/namada/Cargo.toml

@@ -50,6 +50,7 @@ testing = [
   "namada_proof_of_stake/testing",
   "namada_sdk/testing",
   "namada_state/testing",
+  "namada_token/testing",
   "async-client",
   "proptest",
   "tempfile",

crates/namada/src/ledger/native_vp/masp.rs

@@ -21,9 +21,9 @@ use namada_core::masp::{encode_asset_type, MaspEpoch};
 use namada_core::storage::Key;
 use namada_gas::GasMetering;
 use namada_governance::storage::is_proposal_accepted;
-use namada_sdk::masp::verify_shielded_tx;
 use namada_state::{ConversionState, OptionExt, ResultExt, StateRead};
 use namada_token::read_denom;
+use namada_token::validation::verify_shielded_tx;
 use namada_tx::BatchedTxRef;
 use namada_vp_env::VpEnv;
 use ripemd::Digest as RipemdDigest;

crates/node/src/lib.rs

@@ -371,7 +371,7 @@ async fn run_aux(
         };
 
     tracing::info!("Loading MASP verifying keys.");
-    let _ = namada_sdk::masp::preload_verifying_keys();
+    let _ = namada::token::validation::preload_verifying_keys();
     tracing::info!("Done loading MASP verifying keys.");
 
     // Start ABCI server and broadcaster (the latter only if we are a validator

crates/sdk/Cargo.toml

@@ -51,11 +51,9 @@ testing = [
   "async-client",
   "proptest",
   "jubjub",
-  "bls12_381",
 ]
 
-# Download MASP params if they're not present
-download-params = ["masp_proofs/download-params"]
+download-params = ["namada_token/download-params"]
 migrations = [
   "namada_migrations",
   "namada_account/migrations",
@@ -92,7 +90,6 @@ namada_vote_ext = { path = "../vote_ext" }
 
 async-trait = { workspace = true, optional = true }
 bimap.workspace = true
-bls12_381 = { workspace = true, optional = true }
 borsh.workspace = true
 borsh-ext.workspace = true
 circular-queue.workspace = true
@@ -166,7 +163,6 @@ namada_vote_ext = {path = "../vote_ext"}
 
 assert_matches.workspace = true
 base58.workspace = true
-bls12_381.workspace = true
 jubjub.workspace = true
 masp_primitives = { workspace = true, features = ["test-dependencies"] }
 proptest.workspace = true