[doc/src/spec] add tokenId hyperlink

doc/src/spec/payment/freeze_token.md

@@ -6,18 +6,18 @@ $$ X = (authority^{public}_x, authority^{public}_y, token) $$
 
 $$ W = (authority^{secret}) $$
 
-$$ \mathcal{L}= \{X:W\in \mathcal{R}\} $$
+$$ \mathcal{L}= \{X:(X,W)\in \mathcal{R}\} $$
 
 ## Freeze token
 - Derive mint authority [public key](../crypto/keypair.md) from witness $authority^{secret}$, and set it as instance.
-- Calculate, and reveal tokenId of the tokens.
+- Calculate, and reveal [tokenId](token_id.md) of the tokens.
 
 
 | Public Input         | Description                                             |
 |----------------------|---------------------------------------------------------|
 |$authority^{public}_y$| minting authority [public key](../crypto/keypair.md) y-coordinate               |
 |$authority^{public}_x$| minting authority [public key](../crypto/keypair.md) x-coordinate               |
-| token                | derived token id                                        |
+| token                | derived [tokenId](token_id.md)                                        |
 
 | Witnesses            | Description                                         |
 |----------------------|-----------------------------------------------------|

doc/src/spec/payment/token_mint.md

@@ -7,25 +7,25 @@ $$ X = (authority^{public}_x, authority^{public}_y, token, cm^{coin}, cm^{value}
 
 $$ W = (authority^{secret}, value, rcpt_x, rcpt_y, sn, spendHook, data, blind^{value}, blind^{token}) $$
 
-$$ \mathcal{L}= \{X:W\in \mathcal{R}\} $$
+$$ \mathcal{L}= \{X:(X,W)\in \mathcal{R}\} $$
 
 ## New token mint
 
 - Derive, and reveal mint authority [public key](../crypto/keypair.md).
-- Derive, and reveal new tokenId.
+- Derive, and reveal new [tokenId](token_id.md)
 - Calculate, and reveal new token's [coin](coin.md).
-- Calculate, and reveal [coin](coin.md)'s token [commitment](../crypto/commitment.md).
+- Calculate, and reveal [coin](coin.md)'s [tokenId](token_id.md) [commitment](../crypto/commitment.md).
 
 
 | Public Input         | Description                                                            |
 |----------------------|------------------------------------------------------------------------|
 |$authority^{public}_y$| minting authority [public key](../crypto/keypair.md) y-coordinate                              |
 |$authority^{public}_x$| minting authority [public key](../crypto/keypair.md) x-coordinate                              |
-| token                | derived token id                                                       |
+| token                | derived [tokenId](token_id.md)                                                       |
 | $cm^{coin}$          | [coin](coin.md) [commitment](../crypto/commitment.md) as field element |
 | $cm^{value}_x$       | x coordinate of supply point [commitment](../crypto/commitment.md)     |
 | $cm^{value}_y$       | y coordinate of supply point [commitment](../crypto/commitment.md)     |
-| $cm^{token}$         | [commitment](../crypto/commitment.md) of tokenId as field element      |
+| $cm^{token}$         | [commitment](../crypto/commitment.md) of [tokenId](token_id.md) as field element      |
 
 | Witnesses            | Description                                                        |
 |----------------------|--------------------------------------------------------------------|
@@ -35,6 +35,6 @@ $$ \mathcal{L}= \{X:W\in \mathcal{R}\} $$
 | $rcpt_y$             | token recipient [public key](../crypto/keypair.md) y coordinate                            |
 | sn                   | [coin](coin.md) serial number                                      |
 | spendHook            | contract related contract                                          |
-| data                 | data read during spendHook execution                               |
+| data                 | input data for spendHook contract                                  |
 | $blind^{value}$      | blinding term for burn value [commitment](../crypto/commitment.md) |
-| $blind^{token}$      | blinding term for token id [commitment](../crypto/commitment.md)   |
+| $blind^{token}$      | blinding term for [tokenId](token_id.md) [commitment](../crypto/commitment.md)   |