donau

commit 67acfee6bc87c3255c2ec61866d07a9d26d6f474
parent 9fd2ffaa864d189296294af5e21cfb62ae08b3ba
Author: Casaburi Johannes <johannes.casaburi@students.bfh.ch>
Date:   Fri, 29 Sep 2023 15:09:36 +0200

documentation

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

1 file changed, 11 insertions(+), 3 deletions(-)
diff --git a/doc/flows/main.tex b/doc/flows/main.tex
@@ -20,8 +20,8 @@
 
 \section{Definitions}
 \begin{itemize}
-    \item $b := $ blinding factor \t d
-    \item $m := $ receipt request \qquad
+    \item $b :=$ blinding factor
+    \item $m :=$ receipt request
     \item $m' :=$ blinded receipt request
     \item $s :=$ signed receipt
     \item $s' :=$ blind signed receipt
@@ -38,11 +38,19 @@ The nonce is used to uniquely distinguish receipts of the same value ("create a 
 \section{Overview}
 % Insert DONAU overview.png
 \section{Step 1: Donor donates to charity}
-To donate 3 Euro the donor has to generate 2 coins (1 Euro and 2 Euro coin). The messages $M_1$ and $M_2$ are blinded using the blinding factor and sent as $M_1'$ and $M_2'$ to the charity.
+To donate 3 Euros the donor has to generate 2 coins (a 1 Euro and 2 Euro coin). The donor generates messages $M_1$ and $M_2$ which include a salted hash of the tax number and a NONCE.
 
 \begin{align}
     M_1 = \langle H(TAXID, SALT), NONCE_1 \rangle \\
     M_2 = \langle H(TAXID, SALT), NONCE_2 \rangle
 \end{align}
 
+The messages are blinded using the blinding factor and sent as $M_1'$ and $M_2'$ to the charity in addition to the payment of 3 Euros.
+
+\begin{align}
+    M_1' = M_1 \cdot b_1^{e_{1EUR}} \mod n_{1EUR} \\
+    M_2' = M_2 \cdot b_2^{e_{2EUR}} \mod n_{2EUR}
+\end{align}
+
+\section{Step 2: Charity to exchange}
 \end{document}