donau

Donation authority for GNU Taler (experimental)
Log | Files | Refs | Submodules | README | LICENSE

commit bef82feabbbd44e0b803402b6ac77b159e92b11d
parent dea13e91d211f1f74aa2720d90e0c10c1e77713f
Author: Casaburi Johannes <johannes.casaburi@students.bfh.ch>
Date:   Fri, 19 Jan 2024 18:54:48 +0100

small adjustment

Diffstat:
Mdoc/flows/main.tex | 20++++++++++----------
1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/doc/flows/main.tex b/doc/flows/main.tex @@ -23,16 +23,16 @@ \begin{document} \maketitle -\newpage - \input{definitions.tex} +\newpage + \section{Overview} \subsection{Donation: spend and get donation receipt} -\includegraphics[width=10cm]{02-donate} +\includegraphics[width=\textwidth]{02-donate} \subsection{Get donation statement for taxes after tax period} -\includegraphics[width=10cm]{03-donation-statement} +\includegraphics[width=\textwidth]{03-donation-statement} %\input{diagrams.tex} @@ -51,9 +51,9 @@ \subsubsection{Charity setup (Charity side and Donau side)} \begin{enumerate} \item The \textbf{charity} generates the key pair $(C^{pub}, C^{priv})$ and downloads the \emph{donation unit public keys} from the donau.\text - + \item The \textbf{charity} transmits $C^{pub}$ and the desired yearly donation limit to the party responsible for Donau administration using a \textbf{secure channel}. - + \item The party in charge of \textbf{Donau administration} ensures that the applying party is authentic and if it is publicly recognized as charity organisation. Furthermore, it ensures that all eventual other checks required by law are done. If everything is clear, it registers the public key $C^{pub}$ and sets the requested yearly donation limit for the charitiy. \end{enumerate} @@ -65,7 +65,7 @@ \subsubsection{Donor donates to charity and transmits unique donor ids (future donation receipts)} \begin{enumerate} \item The donor downloads the \emph{donation unit public keys} $K_x^{pub}$ for the corresponding year from the Donau. (if not already done) - + \item The donor splits the donation amount into a sum of \emph{donation units} offered by the Donau. \\ \emph{Example: With donation units \{1,2,4\} available, and a donation with a total value of 7, the donation amount is split into the sum 4+2+1.} @@ -75,7 +75,7 @@ i :&= h(\texttt{taxid, salt})\\ u_1 :&= \langle i, \texttt{nonce}_1 \rangle \\ u_2 :&= \langle i, \texttt{nonce}_2 \rangle \\ - u_3 :&= \langle i, \texttt{nonce}_3 \rangle + u_3 :&= \langle i, \texttt{nonce}_3 \rangle \end{align} \item The donor blinds the \emph{unique donor identifiers} using a \textbf{different} blinding factor $b$ for every \emph{unique donor identifier}.\\ @@ -85,12 +85,12 @@ \overline u_2 :&= blind (u_2, b_2, K_2^{pub}) \\ \overline u_3 :&= blind (u_3, b_3, K_4^{pub}) \end{align} - + \item So far, the \emph{unique donor identifiers} do not carry information about their value. The \textbf{intended effective value is now indicated} by grouping each \emph{unique donor identifier} with the according (hash of the) \emph{donation unit public key} $K^{pub}_x$. \\ We call these pairs \emph{blinded unique donor identifier-key-pair}, \emph{budi-key-pair} or even shorter BKP.\\ \\ It is only the \textbf{intended effective} value because the value will only be attributed later on with the signature of the Donau. - + \emph{Example: Note: The public key is not in relation with the sequential index of the budi-key-pair, it only relates to the value of the pair!} \begin{align} \overline \mu_1 :&= \langle \overline u_1, h(\color{red}{K^{pub}_1}\color{black}{}) \rangle \\