commit 5a74957b135d7fcec6afdd2cc083d5a05633780e
parent 90956cdecb97c50b85e20e460460d64dd619a2c2
Author: Matyja Lukas Adam <lukas.matyja@students.bfh.ch>
Date: Sat, 18 Nov 2023 00:56:16 +0100
[doc] small changes
Diffstat:
1 file changed, 8 insertions(+), 6 deletions(-)
diff --git 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.
