Export Signer to WASM

CHANGELOG.md

@@ -5,6 +5,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 
 ## [Unreleased]
 ### Added
+- [\#314](https://github.com/Manta-Network/manta-rs/pull/314) Prepares the signer export to wasm.
 - [\#289](https://github.com/Manta-Network/manta-rs/pull/289) AssetMetadata upgrade and NFT support.
 - [\#310](https://github.com/Manta-Network/manta-rs/pull/310) Add identity verification algorithm using ToPublic circuit
 

manta-accounting/src/transfer/canonical.rs

@@ -738,4 +738,43 @@ where
     {
         self.reconstruct_utxo(parameters, address).eq(utxos)
     }
+
+    /// Returns the [`TransferShape`] of `self`.
+    #[inline]
+    pub fn shape(&self) -> TransferShape {
+        match self {
+            Self::ToPrivate(_, _) => TransferShape::ToPrivate,
+            Self::PrivateTransfer(_) => TransferShape::PrivateTransfer,
+            Self::ToPublic(_, _) => TransferShape::ToPublic,
+        }
+    }
+
+    /// Verifies `self` against `transferpost`.
+    #[inline]
+    pub fn verify(
+        &self,
+        parameters: &Parameters<C>,
+        address: &Address<C>,
+        transferpost: TransferPost<C>,
+    ) -> bool
+    where
+        Utxo<C>: PartialEq,
+    {
+        if !TransferShape::from_post(&transferpost)
+            .map(|shape| shape.eq(&self.shape()))
+            .unwrap_or(false)
+        {
+            return false;
+        }
+        self.check_transaction_data(
+            parameters,
+            address,
+            &transferpost
+                .body
+                .receiver_posts
+                .into_iter()
+                .map(|receiver_post| receiver_post.utxo)
+                .collect(),
+        )
+    }
 }

manta-accounting/src/transfer/utxo/protocol.rs

@@ -2397,9 +2397,11 @@ where
     Default(bound = "UtxoCommitmentRandomness<C>: Default"),
     Eq(bound = "UtxoCommitmentRandomness<C>: Eq"),
     Hash(bound = "UtxoCommitmentRandomness<C>: Hash"),
+    Ord(bound = "UtxoCommitmentRandomness<C>: Ord"),
     PartialEq(
         bound = "UtxoCommitmentRandomness<C>: core::cmp::PartialEq<UtxoCommitmentRandomness<C>>"
-    )
+    ),
+    PartialOrd(bound = "UtxoCommitmentRandomness<C>: PartialOrd")
 )]
 pub struct Identifier<C>
 where

manta-accounting/src/wallet/mod.rs

@@ -38,8 +38,8 @@ use crate::{
         ledger::ReadResponse,
         signer::{
             BalanceUpdate, IdentityRequest, IdentityResponse, SignError, SignRequest, SignResponse,
-            SyncData, SyncError, SyncRequest, SyncResponse, TransactionDataRequest,
-            TransactionDataResponse,
+            SignWithTransactionDataResponse, SyncData, SyncError, SyncRequest, SyncResponse,
+            TransactionDataRequest, TransactionDataResponse,
         },
     },
 };
@@ -386,7 +386,8 @@ where
             .map_err(Error::SignError)
     }
 
-    /// Attempts to process TransferPosts and returns the corresponding TransactionData.
+    /// Attempts to process [`TransferPost`]s and returns the corresponding
+    /// [`TransactionData`](crate::transfer::canonical::TransactionData).
     #[inline]
     pub async fn transaction_data(
         &mut self,
@@ -456,6 +457,29 @@ where
     pub async fn address(&mut self) -> Result<Address<C>, S::Error> {
         self.signer.address().await
     }
+
+    /// Signs `transaction` and returns the [`TransferPost`]s and the
+    /// associated [`TransactionData`](crate::transfer::canonical::TransactionData) if successful.
+    #[inline]
+    pub async fn sign_with_transaction_data(
+        &mut self,
+        transaction: Transaction<C>,
+        metadata: Option<S::AssetMetadata>,
+    ) -> Result<SignWithTransactionDataResponse<C>, Error<C, L, S>>
+    where
+        TransferPost<C>: Clone,
+    {
+        self.check(&transaction)
+            .map_err(Error::InsufficientBalance)?;
+        self.signer
+            .sign_with_transaction_data(SignRequest {
+                transaction,
+                metadata,
+            })
+            .await
+            .map_err(Error::SignerConnectionError)?
+            .map_err(Error::SignError)
+    }
 }
 
 /// Inconsistency Error