Update mithril-client-wasm developer documentation

Author: Damien LACHAUME / PALO-IT

docs/website/root/glossary.md

@@ -24,6 +24,12 @@ A Cardano node is a node that runs in a [Cardano network](#cardano-network). The
 
 A Cardano key pair is an asymmetric key pair used to identify a [stake pool operator](#stake-pool-operator-spo) on the [Cardano network](#cardano-network).
 
+## Cardano transaction
+
+A Cardano transaction proof is a cryptographic proof that a set of Cardano transactions is included in the global Cardano transactions set. It is generated unpon request using a [Mithril client](#mithril-client) and is tied to a [certificate](#certificate).
+
+A Cardano transaction commitment is stamp that state how much of the global Cardano transactions sets a [Mithril aggregator](#mithril-aggregator) is aware of, only for those transactions a Cardano transaction proof can be generated.
+
 ## Certificate
 
 The Mithril aggregator combines the produced [multi-signature](#multi-signature) and some metadata into a Mithril certificate that will be later used by the [Mithril client](#mithril-client) to verify the authenticity of a [snapshot](#snapshot). The certificates are chained so that the [stake distribution](#stake-distribution) used to create the signatures is verifiably genuine.

docs/website/root/manual/developer-docs/nodes/mithril-client-library-wasm.md

@@ -14,6 +14,7 @@ Mithril client library WASM can be used by Javascript developers to use the Mith
 It is responsible for handling the different types of data certified by Mithril, and available through a Mithril aggregator:
 - [**Snapshot**](../../../glossary.md#snapshot): list and get.
 - [**Mithril stake distribution**](../../../glossary.md#stake-distribution): list and get.
+- [**Cardano transaction**](../../../glossary.md#cardano-transaction): list & get commitment, get proofs
 - [**Certificate**](../../../glossary.md#certificate): list, get, and chain validation.
 
 :::
@@ -113,6 +114,20 @@ let valid_stake_distribution_message = await client.verify_message_match_certifi
 console.log("valid_stake_distribution_message:", valid_stake_distribution_message);
 ```
 
+If the aggregator signs **CardanoTransactions** _(as of 2023-02-19 only the sanchonet aggregator signs them)_, you can add the code below to the previous example:
+
+```js
+const proof = await client.unstable.get_cardano_transaction_proofs(["CARDANO_TRANSACTION_HASH_1", "CARDANO_TRANSACTION_HASH_2"]);
+console.log("Proof tx hash", proof.transactions_hashes);
+console.log("Proof certificate hash", proof.certificate_hash);
+
+let proof_certificate = await client.verify_certificate_chain(proof.certificate_hash);
+console.log("verify_certificate_chain OK, last_certificate_from_chain:", proof_certificate);
+
+let valid_cardano_transaction_proof = await client.unstable.compute_cardano_transaction_proof_message(proof, proof_certificate);
+console.log("valid_cardano_transaction_proof:", valid_cardano_transaction_proof);
+```
+
 :::tip
 
 You can read the complete [Rust developer documentation](https://mithril.network/rust-doc/mithril_client_wasm/index.html).