donau

commit 5cdbbc8cfee68320e0d09d4df4ff47221aafbd38
parent 59bc1f6ff1d9f665678dffcdd607616463be32eb
Author: Matyja Lukas Adam <lukas.matyja@students.bfh.ch>
Date:   Mon, 23 Oct 2023 23:08:45 +0200

[doc] some corrections

Diffstat:
M
doc/flows/main.tex
 | 
14
+++++++-------

1 file changed, 7 insertions(+), 7 deletions(-)
diff --git a/doc/flows/main.tex b/doc/flows/main.tex
@@ -38,7 +38,7 @@
       
       \item \textbf{Blind signing(e.g. RSA/CS):}
       \begin{align}
-        \fbox{$\overline{B}(\overline{m},k) = \overline{\beta}$}
+        \fbox{${B}(\overline{m},k) = \overline{\beta}$}
       \end{align}
       where $\overline{m}$ is a blinded message and $k$ is the private key used to blind sign the message.\\
       Application:
@@ -92,12 +92,12 @@
       UDI_i &= \langle H(\texttt{TAXID}, \texttt{SALT}), \texttt{NONCE}_i \rangle
     \end{align}
 
-  \item The donor blinds the $UDI$'s using a \textbf{different} blinding factor $b$ for every $UDI_i$.
+  \item The donor blinds the $UDI$'s using a \textbf{different} blinding factor $b$ for every $UDI$.
 
   \begin{align}
-    BKP_1 &= \langle Blind(UDI_1, K_x^{pub}, b_1), H(K_x^{pub}) \rangle \\
+    BKP_1 &= \langle Blind(BUDI_1, K_x^{pub}, b_1), H(K_x^{pub}) \rangle \\
     ... \\
-    BKP_i &= \langle Blind(UDI_i, K_x^{pub}, b_i), H(K_x^{pub}) \rangle
+    BKP_i &= \langle Blind(BUDI_i, K_x^{pub}, b_i), H(K_x^{pub}) \rangle
   \end{align}
 
 \item The donor sends the $BKP$'s as well as the corresponding payment to the charity.
@@ -124,12 +124,12 @@
 
       \item increments the current amount of donations received per year of the charity. This value is increased by the total amount of the $BUDI$'s, if the increment does not exceed the annual limit.
 
-      \item blind signs all the $blinded$ $UDI$'s using the $DU$ private keys $K_x^{priv}$ matching the public keys $H(K^{pub})$ used in the $BUDI$'s.
+      \item blind signs all the $blinded$ $UDI$'s, the $BUDI$'s, using the $DU$ private keys $K_x^{priv}$ matching the public keys $H(K^{pub})$ used in the $BKP$'s.
 
         \begin{align}
-          \overline{\beta_1} = \overline{B}(blinded\ UDI_1, K_x^{priv}) \\
+          \overline{\beta_1} = {B}(BUDI_1, K_x^{priv}) \\
           ... \\
-          \overline{\beta_i} = \overline{B}(blinded\ UDI_i, K_x^{priv})
+          \overline{\beta_i} = {B}(BUDI_i, K_x^{priv})
         \end{align}
 
       \item sends back the blind signatures $\overline{\beta_1}, ..., \overline{\beta_i}$ to the charity.