donau

commit 9fd2ffaa864d189296294af5e21cfb62ae08b3ba
parent 40157ed342b2235cd09ae638d378d8abcf1e4d28
Author: Pius Loosli <loosp2@bfh.ch>
Date:   Fri, 29 Sep 2023 11:43:18 +0200

[protocol doc]: some definitions, receipt request details

Diffstat:
M
doc/flows/main.tex
 | 
20
++++++++++++++++++--

1 file changed, 18 insertions(+), 2 deletions(-)
diff --git a/doc/flows/main.tex b/doc/flows/main.tex
@@ -7,18 +7,34 @@
 \usepackage{graphicx}
 
 % Margins
-\usepackage[top=2.5cm, left=3cm, right=3cm, bottom=4.0cm]{geometry}
+\usepackage[top=1.5cm, left=2cm, right=1.5cm, bottom=3.0cm]{geometry}
 % Colour table cells
 \usepackage[table]{xcolor}
 
 \title{DONAU protocol overview}
-\author{Johannes Casaburi \and Pius Losli \and Lukas Matiya}
+\author{Johannes Casaburi \and Pius Loosli \and Lukas Matyja}
 \date{\today}
 
 \begin{document}
 \maketitle
 
 \section{Definitions}
+\begin{itemize}
+    \item $b := $ blinding factor \t d
+    \item $m := $ receipt request \qquad
+    \item $m' :=$ blinded receipt request
+    \item $s :=$ signed receipt
+    \item $s' :=$ blind signed receipt
+\end{itemize}
+
+\section{receipt request}
+The nonce is used to uniquely distinguish receipts of the same value ("create a fresh receipt"). Otherwise the donau would refuse receipts starting at the second, since it would believe it is a "double spending". To simplify the thought process, the nonce can be thought of as "the receipt id".
+\begin{align}
+    m := <Hash(TaxID, salt), \begin{color}{red}{nonce}\end{color}>
+\end{align}
+
+% TODO example
+
 \section{Overview}
 % Insert DONAU overview.png
 \section{Step 1: Donor donates to charity}