[taler-donau] branch master updated: [doc] some corrections

[gnunet]

This is an automated email from the git hooks/post-receive script.

lukas-matyja pushed a commit to branch master
in repository donau.

The following commit(s) were added to refs/heads/master by this push:
     new d4b024e  [doc] some corrections
d4b024e is described below

commit d4b024ee868daac56eef669a1e2e9bd667aedfdf
Author: Matyja Lukas Adam <lukas.matyja@students.bfh.ch>
AuthorDate: Tue Oct 3 00:28:33 2023 +0200

    [doc] some corrections
---
 doc/flows/main.tex | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/doc/flows/main.tex b/doc/flows/main.tex
index 50811bc..39c791f 100644
--- a/doc/flows/main.tex
+++ b/doc/flows/main.tex
@@ -38,7 +38,7 @@
 The NONCE is used to uniquely distinguish DU of the same value ("create a 
fresh DU"). Otherwise the DONAU would refuse DUs containing donations of equal 
amount to the same charity, since this would be seen as "double spending". To 
simplify the thought process, the NONCE can be thought of as a "DU ID".
 
 \begin{align}
-  m := \langle H(TAXID, SALT), NONCE \rangle
+  DU := \langle H(TAXID, SALT), NONCE \rangle
 \end{align}
 
 % TODO example
@@ -94,27 +94,27 @@ The NONCE is used to uniquely distinguish DU of the same 
value ("create a fresh
       \item increments the current year amount of the charity by the total 
amount of the BDR, if the increment does not exceed the annual limit.
       \item blind signs (using RSA/Schnorr) all the DUs
         \begin{align}
-          s_1' = m_1'^{(d_{E1})} \emph{mod ?}  \\
-          s_2' = m_2'^{(d_{E2})} \emph{mod ?}
+          BS1_{sk/k1} = BDU1^{(d_{E1})} \emph{mod ?}  \\
+          BS2_{sk/k4} = BDU2^{(d_{E4})} \emph{mod ?}
         \end{align}
       \item sends back the blind signed DUs to the charity
     \end{enumerate}
   \item The charity transmits the blind signed DUs to the donor.
   \item The donor unblinds the signatures.
   \begin{align}
-    s_1 = s_1' \cdot b^{-1} \mod n_1 \\
-    s_2 = s_2' \cdot b^{-1} \mod n_2
+    S1_{sk/k1} = BS1_{sk/k1} \cdot b^{-1} \mod n_1 \\
+    S2_{sk/k4} = BS2_{sk/k4} \cdot b^{-1} \mod n_2
   \end{align}
 \end{enumerate}
 
 \subsection{Step 4: Donor sends DR to DONAU, DONAU sends back donation 
statement (DS)}
 \begin{enumerate}
-  \item The donor sends the collection of all $(mi, si, kj)$ to the DONAU. The 
DR is always sent to the DONAU right after the donor has unblinded the DUs. The 
corresponding year is sent with.
-  \item For each $(mi, si, kj)$ The DONAU...
+  \item The donor sends the collection of all $(DUi, Si, kj)$ to the DONAU. 
The DR is always sent to the DONAU right after the donor has unblinded the DUs. 
The corresponding year is sent with.
+  \item For each $(DUi, Si, kj)$ The DONAU...
 
   \begin{itemize}
     \item verifies that $kj$ is one of the valid public keys corresponding to 
the year indicated.
-    \item verifies if $si$ is a correct signature with the corresponding 
secret key.
+    \item verifies if $Si$ is a correct signature with the corresponding 
secret key.
     \item verifies that the hash of the TAXID and the salt is the same as in 
other DUs (how to solve the problem with multiple wallets?)
     \item verifies that the nonce is different from each ever used nonce of 
this donor for the corresponding year.
     \item if all of this is the case, it adds the amount corresponding to the 
public key to the total donation amount for the year.

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.