lsd0009

commit 134edf6e024a37f760ff135769ec6e4be009d178
parent a76f19979861d6c96b06b1f1aee47d38877d6f40
Author: Mikolai Gütschow <mikolai.guetschow@tu-dresden.de>
Date:   Mon, 27 Jan 2025 14:25:31 +0100

-fix indexing

Diffstat:
M
draft-guetschow-taler-protocol.md
 | 
4
++--

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/draft-guetschow-taler-protocol.md b/draft-guetschow-taler-protocol.md
@@ -354,7 +354,7 @@ attributing value to the coins according to `n` chosen denominations.
 The total value and withdrawal fee (defined by the Exchange per denomination)
 must be smaller or equal to the amount stored in the single reserve used for withdrawal.
 The symbol `*` in front of a certain part means that it is repeated `n` times for the `n` coins,
-where `*?` denotes the index number `0 <= *? <= n`.
+where `?*` denotes the index number `0 <= ?* < n`.
 
 ~~~
             Wallet                                  Exchange
@@ -369,7 +369,7 @@ persist (reserve, value)                                |
                |                        persist (reserve.pub, value)
 master_secret = random(256)                             |
 persist master_secret                                   |
-*(coin, blind_secret) = GenerateCoin(master_secret, *?) |
+*(coin, blind_secret) = GenerateCoin(master_secret, ?*) |
 *blind_coin = RSA-FDH-Blind(SHA-512(coin.pub), blind_secret, denom.pub)
 sig = EdDSA-Sign(reserve.priv, msg)                     |
                |                                        |