[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[taler-donau] branch master updated: [doc] verify and some changes
From: |
gnunet |
Subject: |
[taler-donau] branch master updated: [doc] verify and some changes |
Date: |
Sun, 12 Nov 2023 16:44:11 +0100 |
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.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [taler-donau] branch master updated: [doc] verify and some changes,
gnunet <=