[taler-donau] branch master updated: [doc] verify and some 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 e1ccd6a  [doc] verify and some changes
e1ccd6a is described below

commit e1ccd6adc5107e3186a5ef45a2a3c7095d94c873
Author: Matyja Lukas Adam <lukas.matyja@students.bfh.ch>
AuthorDate: Sun Nov 12 16:44:39 2023 +0100

    [doc] verify and some changes
---
 doc/flows/definitions.tex | 12 +++++++++---
 doc/flows/main.tex        | 11 ++++++-----
 2 files changed, 15 insertions(+), 8 deletions(-)

diff --git a/doc/flows/definitions.tex b/doc/flows/definitions.tex
index 845a0e3..3a7a051 100644
--- a/doc/flows/definitions.tex
+++ b/doc/flows/definitions.tex
@@ -63,11 +63,17 @@
     \end{itemize}
   
 
-  \item UNBLINDING!
+  \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 Verify (blind + unblind versions)!
+  \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}$.
+  \end{itemize}
 
-  \item Charity signing request.
+  \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.
 
diff --git a/doc/flows/main.tex b/doc/flows/main.tex
index 67de0af..65ede98 100644
--- a/doc/flows/main.tex
+++ b/doc/flows/main.tex
@@ -85,12 +85,13 @@
   \begin{align}
        \overline \mu_1 :&= \langle \overline u_1, 
h(\color{red}{K^{pub}_1}\color{black}{}) \rangle \\
        \overline \mu_2 :&= \langle \overline u_2, 
h(\color{red}{K^{pub}_2}\color{black}{}) \rangle \\
-       \overline \mu_3 :&= \langle \overline u_3, 
h(\color{red}{K^{pub}_4}\color{black}{}) \rangle \\ \\
+       \overline \mu_3 :&= \langle \overline u_3, 
h(\color{red}{K^{pub}_4}\color{black}{}) \rangle
+  \end{align}
+  \begin{align}
        \vec{\mu} :&= \langle \overline \mu_1,
        \overline \mu_2,\overline \mu_3
        \rangle
   \end{align}
-
   \item The donor sends all \emph{BKP's} the $\vec{\mu}$ as well as the 
corresponding payment to the charity.
 \end{enumerate}
 
@@ -132,9 +133,9 @@
   \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}
-    \beta_1 &= Unblind(\overline{\beta_1}, b_1) \\
-    \beta_2 &= Unblind(\overline{\beta_i}, b_i) \\
-    \beta_3 &= Unblind(\overline{\beta_i}, b_i)
+    \beta_1 &= Unblind(\overline{\beta_1}, b_1, K_1^{pub}) \\
+    \beta_2 &= Unblind(\overline{\beta_2}, b_2, K_2^{pub}) \\
+    \beta_3 &= Unblind(\overline{\beta_3}, b_3, K_4^{pub})
   \end{align}
   \begin{align}
       r_1 &= \langle UDI_1, \beta_1, h(K_1^{pub}) \rangle \\

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