lsd0009

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

-add KYC check

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

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/draft-guetschow-taler-protocol.md b/draft-guetschow-taler-protocol.md
@@ -346,7 +346,6 @@ out = (data == exp)
 # The Taler Crypto Protocol
 
 // todo: explain persist, check
-// todo: add KYC check
 
 ## Withdrawal
 
@@ -379,6 +378,7 @@ sig = EdDSA-Sign(reserve.priv, msg)                     |
                |                                        |
                |                        check *denom.pub known and not withdrawal-expired
                |                        check EdDSA-Verify(reserve.pub, msg, sig)
+               |                        check reserve KYC status ok or not needed
                |                        check reserve.balance >= sum(*denom.valueAndFee)
                |                        reserve.balance -= sum(*denom.valueAndFee)
                |                        *blind_sig = RSA-FDH-Sign(b, denom.priv)