[taler-donau] branch master updated: [doc] make use of verify functions

[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 8102587  [doc] make use of verify functions
8102587 is described below

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

    [doc] make use of verify functions
---
 doc/flows/definitions.tex |  2 +-
 doc/flows/main.tex        | 25 +++++++++++++++++++++++--
 2 files changed, 24 insertions(+), 3 deletions(-)

diff --git a/doc/flows/definitions.tex b/doc/flows/definitions.tex
index 8f36b74..3779c63 100644
--- 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
index 65ede98..f273284 100644
--- 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}

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