Generate a parser for MASP transactions.

Cargo.toml

@@ -114,8 +114,8 @@ ledger-transport-hid = "0.10.0"
 libc = "0.2.97"
 libloading = "0.7.2"
 # branch = "murisi/namada-integration"
-masp_primitives = { git = "https://github.com/anoma/masp", tag = "v1.1.0" }
-masp_proofs = { git = "https://github.com/anoma/masp", tag = "v1.1.0", default-features = false, features = ["local-prover"] }
+masp_primitives = { git = "https://github.com/anoma/masp", branch = "murisi/borsh-schemas" }
+masp_proofs = { git = "https://github.com/anoma/masp", branch = "murisi/borsh-schemas", default-features = false, features = ["local-prover"] }
 num256 = "0.3.5"
 num_cpus = "1.13.0"
 num-derive = "0.3.3"

crates/core/src/types/masp.rs

@@ -3,7 +3,7 @@
 use std::fmt::Display;
 use std::str::FromStr;
 
-use borsh::{BorshDeserialize, BorshSerialize};
+use borsh::{BorshDeserialize, BorshSchema, BorshSerialize};
 use borsh_ext::BorshSerializeExt;
 use masp_primitives::asset_type::AssetType;
 use serde::{Deserialize, Serialize};
@@ -31,6 +31,7 @@ use crate::types::token::{Denomination, MaspDigitPos};
     Hash,
     Serialize,
     Deserialize,
+    BorshSchema,
 )]
 pub struct AssetData {
     /// The token associated with this asset type

crates/core/src/types/token.rs

@@ -943,6 +943,7 @@ impl From<Amount> for Uint {
     BorshDeserialize,
     Serialize,
     Deserialize,
+    BorshSchema,
 )]
 #[repr(u8)]
 #[allow(missing_docs)]

crates/sdk/src/lib.rs

@@ -990,7 +990,7 @@ pub mod testing {
     }
 
     // Maximum number of notes to include in a transaction
-    const MAX_ASSETS: usize = 10;
+    const MAX_ASSETS: usize = 2;
 
     // Type of MASP transaction
     #[derive(Debug, Clone)]

crates/sdk/src/masp.rs

@@ -3184,7 +3184,7 @@ pub mod testing {
     // Maximum value for a note partition
     const MAX_MONEY: u64 = 100;
     // Maximum number of partitions for a note
-    const MAX_SPLITS: usize = 10;
+    const MAX_SPLITS: usize = 3;
 
     prop_compose! {
         // Arbitrarily partition the given vector of integers into sets and sum

crates/tx/src/types.rs

@@ -653,7 +653,13 @@ impl From<SaplingMetadataSerde> for Vec<u8> {
 /// A section providing the auxiliary inputs used to construct a MASP
 /// transaction
 #[derive(
-    Clone, Debug, BorshSerialize, BorshDeserialize, Serialize, Deserialize,
+    Clone,
+    Debug,
+    BorshSerialize,
+    BorshDeserialize,
+    Serialize,
+    Deserialize,
+    BorshSchema,
 )]
 pub struct MaspBuilder {
     /// The MASP transaction that this section witnesses
@@ -684,20 +690,6 @@ impl MaspBuilder {
     }
 }
 
-impl borsh::BorshSchema for MaspBuilder {
-    fn add_definitions_recursively(
-        _definitions: &mut BTreeMap<
-            borsh::schema::Declaration,
-            borsh::schema::Definition,
-        >,
-    ) {
-    }
-
-    fn declaration() -> borsh::schema::Declaration {
-        "Builder".into()
-    }
-}
-
 /// A section of a transaction. Carries an independent piece of information
 /// necessary for the processing of a transaction.
 #[derive(

examples/Cargo.toml

@@ -16,7 +16,12 @@ version.workspace = true
 name = "generate-txs"
 path = "generate_txs.rs"
 
+[[example]]
+name = "generate-parser"
+path = "generate_parser.rs"
+
 [dev-dependencies]
+masp_primitives.workspace = true
 masp_proofs = { workspace = true, default-features = false, features = ["local-prover", "download-params"] }
 namada_sdk = { path = "../crates/sdk", default-features = false, features = ["namada-sdk", "std", "testing"] }
 proptest.workspace = true