Add Cardano transactions functionnalities in www/

Author: Damien LACHAUME / PALO-IT

Cargo.lock

@@ -251,7 +251,10 @@ impl MithrilUnstableClient {
 
     /// Call the client to get a Cardano transactions proofs
     #[wasm_bindgen]
-    pub async fn get_cardano_transaction_proofs(&self, ctx_hashes: Box<[JsValue]>) -> WasmResult {
+    pub async fn get_cardano_transaction_proofs(
+        &self,
+        ctx_hashes: Box<[JsValue]>,
+    ) -> Result<CardanoTransactionsProofs, JsValue> {
         let hashes = ctx_hashes
             .iter()
             .map(|h| {
@@ -269,21 +272,18 @@ impl MithrilUnstableClient {
             .await
             .map_err(|err| format!("{err:?}"))?;
 
-        Ok(serde_wasm_bindgen::to_value(&result)?)
+        Ok(result)
     }
 
     /// Call the client to compute a cardano transaction proof message
     #[wasm_bindgen]
     pub async fn compute_cardano_transaction_proof_message(
         &self,
-        cardano_transaction_proof: JsValue,
+        cardano_transaction_proof: CardanoTransactionsProofs,
         certificate: JsValue,
     ) -> WasmResult {
         let certificate: MithrilCertificate =
             serde_wasm_bindgen::from_value(certificate).map_err(|err| format!("{err:?}"))?;
-        let cardano_transaction_proof: CardanoTransactionsProofs =
-            serde_wasm_bindgen::from_value(cardano_transaction_proof)
-                .map_err(|err| format!("{err:?}"))?;
         let verified_proof = cardano_transaction_proof
             .verify()
             .map_err(|err| format!("{err:?}"))?;
@@ -545,12 +545,8 @@ mod tests {
             .get_cardano_transaction_proofs(ctx_hashes)
             .await
             .expect("get_verified_cardano_transaction_proofs should not fail");
-        let cardano_tx_proof =
-            serde_wasm_bindgen::from_value::<CardanoTransactionsProofs>(tx_proof.clone())
-                .expect("conversion should not fail");
-
         let certificate = client
-            .get_mithril_certificate(&cardano_tx_proof.certificate_hash)
+            .get_mithril_certificate(&tx_proof.certificate_hash)
             .await
             .unwrap();
 

mithril-client-wasm/src/client_wasm.rs

@@ -1,5 +1,7 @@
-#![warn(missing_docs)]
 //! Implementation of the 'mithril-client' library in WASM
+#![cfg(target_family = "wasm")]
+#![cfg_attr(target_family = "wasm", warn(missing_docs))]
+
 mod client_wasm;
 
 pub use client_wasm::MithrilClient;

mithril-client-wasm/src/lib.rs

@@ -1,19 +1,19 @@
 import initMithrilClient, { MithrilClient } from "@mithril-dev/mithril-client-wasm"
 
-let aggregator_endpoint =
-  "https://aggregator.testing-preview.api.mithril.network/aggregator"
+// This example uses sanchonet network aggregator as it handles Cardano transactions entity type
+let aggregator_endpoint = "https://aggregator.testing-sanchonet.api.mithril.network/aggregator";
 let genesis_verification_key =
-  "5b3132372c37332c3132342c3136312c362c3133372c3133312c3231332c3230372c3131372c3139382c38352c3137362c3139392c3136322c3234312c36382c3132332c3131392c3134352c31332c3233322c3234332c34392c3232392c322c3234392c3230352c3230352c33392c3233352c34345d"
+  "5b3132372c37332c3132342c3136312c362c3133372c3133312c3231332c3230372c3131372c3139382c38352c3137362c3139392c3136322c3234312c36382c3132332c3131392c3134352c31332c3233322c3234332c34392c3232392c322c3234392c3230352c3230352c33392c3233352c34345d";
 
 const broadcast_channel = new BroadcastChannel("mithril-client");
 broadcast_channel.onmessage = (e) => {
   let event = e.data;
   if (event.type == "CertificateChainValidationStarted") {
-    displayMessageInDOM(event.type, "The certificate chain validation has started");
+    displayMessageInDOM(event.type, "The certificate chain validation has started, event_id: " + event.payload.certificate_chain_validation_id);
   } else if (event.type == "CertificateValidated") {
-    displayMessageInDOM(event.type, "A certificate has been validated, certificate_hash: " + event.payload.certificate_hash);
+    displayMessageInDOM(event.type, "A certificate has been validated, certificate_hash: " + event.payload.certificate_hash + ", event_id: " + event.payload.certificate_chain_validation_id);
   } else if (event.type == "CertificateChainValidated") {
-    displayMessageInDOM(event.type, "The certificate chain is valid");
+    displayMessageInDOM(event.type, "The certificate chain is valid, event_id: " + event.payload.certificate_chain_validation_id);
   } else {
     displayMessageInDOM(event);
   }
@@ -71,4 +71,19 @@ console.log("mithril_stake_distributions_message:", mithril_stake_distributions_
 displayStepInDOM(6, "Validating Mithril stake distribution message...");
 let valid_stake_distribution_message = await client.verify_message_match_certificate(mithril_stake_distributions_message, last_certificate_from_chain);
 displayMessageInDOM("Result", "Mithril stake distribution message validated ✓");
-console.log("valid_stake_distribution_message:", valid_stake_distribution_message);
+console.log("valid_stake_distribution_message:", valid_stake_distribution_message);
+
+displayStepInDOM(7, "Getting transaction proof...");
+const proof = await client.unstable.get_cardano_transaction_proofs(["eac09f970f47ef3ab378db9232914e146773853397e79b904f1a45123a23c21f"]);
+displayMessageInDOM("Proof tx hash", proof.transactions_hashes);
+displayMessageInDOM("Proof certificate hash", proof.certificate_hash);
+
+displayStepInDOM(9, "Verifying certificate chain...");
+let proof_certificate = await client.verify_certificate_chain(proof.certificate_hash);
+displayMessageInDOM("Result", "certificate chain verified ✓");
+console.log("verify_certificate_chain OK, last_certificate_from_chain:", proof_certificate);
+
+displayStepInDOM(10, "Validating Cardano transaction proof message...");
+let valid_cardano_transaction_proof = await client.unstable.compute_cardano_transaction_proof_message(proof, proof_certificate);
+displayMessageInDOM("Result", "Cardano transaction proof message validated ✓");
+console.log("valid_cardano_transaction_proof:", valid_cardano_transaction_proof);

mithril-client-wasm/www/index.js

@@ -74,6 +74,7 @@ mithril-stm = { path = "../mithril-stm", version = "0.3", default-features = fal
 mithril-stm = { path = "../mithril-stm", version = "0.3", default-features = false, features = [
     "num-integer-backend",
 ] }
+wasm-bindgen = "0.2.90"
 
 [dev-dependencies]
 criterion = { version = "0.5.1", features = ["html_reports", "async_tokio"] }

mithril-common/Cargo.toml

@@ -6,8 +6,15 @@ use crate::StdError;
 use serde::{Deserialize, Serialize};
 use thiserror::Error;
 
+#[cfg(target_family = "wasm")]
+use wasm_bindgen::prelude::*;
+
 /// A cryptographic proof for a set of Cardano transactions
 #[derive(Clone, Debug, PartialEq, Default, Serialize, Deserialize)]
+#[cfg_attr(
+    target_family = "wasm",
+    wasm_bindgen(getter_with_clone, js_name = "CardanoTransactionsProofs")
+)]
 pub struct CardanoTransactionsProofsMessage {
     /// Hash of the certificate that validate this proof merkle root
     pub certificate_hash: String,
@@ -19,6 +26,21 @@ pub struct CardanoTransactionsProofsMessage {
     pub non_certified_transactions: Vec<TransactionHash>,
 }
 
+#[cfg_attr(
+    target_family = "wasm",
+    wasm_bindgen(js_class = "CardanoTransactionsProofs")
+)]
+impl CardanoTransactionsProofsMessage {
+    /// Transactions that have been certified
+    #[cfg_attr(target_family = "wasm", wasm_bindgen(getter))]
+    pub fn transactions_hashes(&self) -> Vec<TransactionHash> {
+        self.certified_transactions
+            .iter()
+            .flat_map(|ct| ct.transactions_hashes.clone())
+            .collect::<Vec<_>>()
+    }
+}
+
 /// Set of transactions verified by [CardanoTransactionsProofsMessage::verify].
 ///
 /// Can be used to reconstruct part of a [ProtocolMessage] in order to check that

mithril-common/src/messages/cardano_transactions_proof.rs

@@ -1,8 +1,12 @@
 use crate::entities::{HexEncodedKey, TransactionHash};
 use serde::{Deserialize, Serialize};
 
+#[cfg(target_family = "wasm")]
+use wasm_bindgen::prelude::*;
+
 /// A cryptographic proof of a set of Cardano transactions is included in the global Cardano transactions set
 #[derive(Clone, Debug, PartialEq, Serialize, Deserialize)]
+#[cfg_attr(target_family = "wasm", wasm_bindgen(getter_with_clone))]
 pub struct CardanoTransactionsSetProofMessagePart {
     /// Hashes of the certified transactions
     pub transactions_hashes: Vec<TransactionHash>,