[taler-donau] branch master updated: [doc] small changes

[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 5a74957  [doc] small changes
5a74957 is described below

commit 5a74957b135d7fcec6afdd2cc083d5a05633780e
Author: Matyja Lukas Adam <lukas.matyja@students.bfh.ch>
AuthorDate: Sat Nov 18 00:56:16 2023 +0100

    [doc] small changes
---
 doc/flows/definitions.tex | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/doc/flows/definitions.tex b/doc/flows/definitions.tex
index 3a7a051..8f36b74 100644
--- a/doc/flows/definitions.tex
+++ b/doc/flows/definitions.tex
@@ -25,7 +25,7 @@
 
   \item \textbf{Signing}
     \begin{itemize}
-      \item \textbf{Classic/lightweight signing (e.g. EdDSA):} 
+      \item \textbf{Normal signing (e.g. EdDSA):}
       \begin{align}
         \fbox{$s := sign(m,k^{priv})$}
       \end{align}
@@ -66,14 +66,16 @@
   \item \textbf{Unblinding function} $\beta := Unblind(\overline{\beta}, b, 
K_x^{pub})$ where $\overline{\beta}$ is the value to unblind, $b$ the blinding 
factor to apply and $K_x^{pub}$ the public key of the donation unit that was 
used for signing. The unblinding must be carried out using the same signature 
scheme that has already been used for blinding.
     The unblinded value $\beta$ is a unique donor identifier.
 
-  \item \textbf{Verify functions} to verify the signatures.\\
+  \item \textbf{Verify functions} - to verify the signatures \\
   $m$ corresponds to the message and $s$ to the signature:
   \begin{itemize}
-    \item $verify\_blind(m,s,K_x^{pub})$ verifies only signatures made with 
$K_x^{priv}$.
-    \item $verify(m,s, P^{pub})$ where $P^{pub}$ can be the public key of the 
Donau $D^{pub}$ or of the charity $C^{pub}$.
+  \item \textbf{normal verify} \\
+      $verify(m,s, P^{pub})$ where $P^{pub}$ can be the public key of the 
Donau $D^{pub}$ or of the charity $C^{pub}$.
+  \end{itemize}
+  \begin{itemize}
+   \item \textbf{blind verify} - verify a signature that was made blind\\
+    $verify\_blind(m,s,K_x^{pub})$ verifies only signatures made with 
$K_x^{priv}$.
   \end{itemize}
-
-  \item Charity signing request
     
   \item \textbf{Donation Receipt} $r := \langle u, \beta, H(K_x^{pub}) 
\rangle$ where $\beta$ is the unblinded signature: Sent to the Donau to get the 
donation Statement.
 

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