donau

commit 8102587826c463df5c699178e573ead8bef931be
parent 5a74957b135d7fcec6afdd2cc083d5a05633780e
Author: Matyja Lukas Adam <lukas.matyja@students.bfh.ch>
Date:   Mon, 20 Nov 2023 11:17:17 +0100

[doc] make use of verify functions

Diffstat:
M
doc/flows/definitions.tex
 | 
2
+-
M
doc/flows/main.tex
 | 
25
+++++++++++++++++++++++--

2 files changed, 24 insertions(+), 3 deletions(-)
diff --git a/doc/flows/definitions.tex b/doc/flows/definitions.tex
@@ -52,7 +52,7 @@
       \end{itemize}
       
       \item \textbf{Blind signing(e.g. RSA/CS):}
-        \begin{align}
+      \begin{align}
         \fbox{$\overline{\beta} := blind\_sign(\overline{u},K_x^{priv})$}
       \end{align}
       where $\overline{u}$ is a blinded value and $K_x^{priv}$ is the private key used to blind sign the message.\\
diff --git a/doc/flows/main.tex b/doc/flows/main.tex
@@ -5,12 +5,16 @@
 \usepackage{amsmath,amssymb}
 \usepackage{parskip}
 \usepackage{graphicx}
+
 \graphicspath{ {./images/} }
 
 % Margins
 \usepackage[top=3cm, left=3cm, right=3cm, bottom=3cm]{geometry}
 % Colour table cells
 \usepackage[table]{xcolor}
+% diagram packages
+\usepackage{tikz, pgfplots}
+\usetikzlibrary{positioning}
 
 \title{Donau protocol overview}
 \author{Johannes Casaburi \and Pius Loosli \and Lukas Matyja}
@@ -23,10 +27,11 @@
 
 \input{definitions.tex}
 
-
 \section{Overview}
 \includegraphics[width=\textwidth]{overview}
 
+%\input{diagrams.tex}
+
 \newpage
 \section{Protocol Detail}
 
@@ -105,7 +110,7 @@
       \sigma_c = sign(\vec{\mu}, C^{priv})
   \end{align}
 
-  \item The charity sends this structure $\vec{\mu}$ and the signature $\sigma$ to the Donau.
+  \item The charity sends this structure $\vec{\mu}$ and the signature $\sigma_c$ to the Donau.
 \end{enumerate}
 
 \subsubsection{Donau sends back the blind signed $UDI$'s to charity}
@@ -114,6 +119,10 @@
     \begin{enumerate}
       \item verifies the signature $\sigma_c$ on the structure.
 
+      \begin{align}
+      verify(\vec{\mu},\sigma_c, C^{pub})
+      \end{align}
+
       \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, the $BUDI$'s, using the \emph{donation unit private keys} $K_x^{priv}$ matching the public keys $h(K^{pub})$ used in the $BKP$'s.
@@ -130,6 +139,14 @@
 
   \item The charity forwards the blind signatures to the donor.
 
+  \item The donor verifies the signatures.
+
+  \begin{align}
+  verify\_blind(u_1,\overline{\beta_1}, K_1^{pub}) \\
+  verify\_blind(u_2,\overline{\beta_2}, K_2^{pub}) \\
+  verify\_blind(u_3,\overline{\beta_3}, K_4^{pub})
+  \end{align}
+
   \item The donor unblinds the signatures of the $BUDI$'s to get the signatures of the $UDI$'s. This results in a collection of \textbf{Donation Receipts} $DR$'s each consisting of the $UDI$, the signature $\beta$ and the Hash of the \emph{donation unit public key} $h(K_x^{pub})$.
 
   \begin{align}
@@ -178,6 +195,10 @@
     \end{align}
 
   \item The validator scans the QR code and verifies the signature $\sigma_s$.
+
+  \begin{align}
+    verify(\langle i, \texttt{amount}_{Total}, \texttt{year}) \rangle,\sigma_s, D^{pub})
+  \end{align}
 \end{enumerate}
 
 \end{document}