diff options
| author | Casaburi Johannes <johannes.casaburi@students.bfh.ch> | 2024-04-27 02:45:01 +0200 |
|---|---|---|
| committer | Casaburi Johannes <johannes.casaburi@students.bfh.ch> | 2024-04-27 02:45:01 +0200 |
| commit | 65b85e63383c38d163b267ea16f4b1c7039e22cb (patch) | |
| tree | f370ab214e502c28f95ad4556a5ed2028181647f | |
| parent | 33628090bb34699954c814eb1250d9bb4bd59bfe (diff) | |
| download | donau-65b85e63383c38d163b267ea16f4b1c7039e22cb.tar.gz donau-65b85e63383c38d163b267ea16f4b1c7039e22cb.tar.bz2 donau-65b85e63383c38d163b267ea16f4b1c7039e22cb.zip | |
cleanup thesis doc
55 files changed, 451 insertions, 1606 deletions
diff --git a/doc/bachelor_thesis/README.md b/doc/bachelor_thesis/README.md deleted file mode 100644 index 6459660..0000000 --- a/doc/bachelor_thesis/README.md +++ /dev/null @@ -1,69 +0,0 @@ -# How to use this template -This is a template for creating a thesis document (BSc or MSc) based on the bfh-ci package using the bfhthesis class. It helps to get started quickly. Problems and improvements can be reported via our issue tracker. Any kind of improvement is welcome, also other templates that cover a use case based on bfhthesis or bfhpub class. - -## Installing the dependencies -Install a recent LaTeX distribution and the latest version of the LaTeX package bfh-ci. How to do this is described in detail in the online manual. Follow the instructions for your operating system. - * https://latex.ti.bfh.ch - -## Information about the structure -The "*.tex" is a LaTeX document with a preamble and a LaTeX body with placeholder text. We recommend that you use this example as a quick introduction to writing short reports, such as a lab report. For an example of how to insert citations to online articles, books, etc., we recommend using biblatex. The bibliography database is stored in a ".bib" file. The content of such a file follows the definitions described in the biblatex user manual. Use the sample.bib file to get started. - -## Parameterization -There is a local `latexmk` configuration file called ".latexmkrc". This file contains some pre-configurations like the name of the output directory ("_build") and the default latex compiler ("lualatex"). Modify or delete this file. - -## Note -We recommend using Git for version control. If you are using Git, create a gitignore file with a good set of ignore patterns. For a quick start, we recommend the following patterns. - * Get a general set of ignore patterns - * https://www.toptal.com/developers/gitignore?templates=latex,windows,linux,vim,emacs,osx - ``` - curl -L -o .gitignore https://www.toptal.com/developers/gitignore/api/latex,windows,linux,vim,emacs,osx - ``` - * Ignore all directories that start with an underscore '_*/' - ``` - echo '_*/' >> .gitignore - ``` - -## Compiling -To compile the LaTeX document, use your favorite LaTeX editor together with the TeX compiler (xelatex and lualatex are supported). Thre is no support for pdflatex compiler. - -If you use latexmk on the command line, the following command will do the compilation. - -#### Running Latexmk - * In the simplest case you just have to type -```bash -latexmk -lualatex -``` - *This runs LaTeX on all .tex files in the current directory using the output format specified by the configuration files.* - - * If you want to make sure to get a .pdf file as output, just mention it: -```bash -latexmk -pdflua -``` - * If you want to compile only one specific .tex file in the current directory, just provide the file name: -```bash -latexmk -lualatex myfile.tex -``` - * If you want to preview the resulting output file(s), just use -```bash -latexmk -pv -lualatex -``` - * And now the killer feature: If you want LaTeXmk to continuously check all input files for changes and re-compile the whole thing if needed and always display the result, type -```bash -latexmk -pvc -lualatex -interaction=nonstopmode -``` -Then, whenever you change something in any of your source files and save your changes, the preview is automatically updated. But: This doesn’t work with all viewers, especially not with Adobe Reader. See the section about configuration files below for setting a suitable viewer application. - - * Of course, options can be combined, e.g. -```bash -latexmk -outdir=_build -pdf -pv myfile.tex -``` - -#### Cleanup - * After running LaTeX, the current directory is contaminated with a myriad of temporary files; you can get rid of them with -```bash -latexmk -c -``` - * Previous command doesn’t delete the final .pdf/.ps/.dvi files. If you want to delete those too, use -```bash -latexmk -C -``` diff --git a/doc/bachelor_thesis/content/definitions.tex b/doc/bachelor_thesis/content/definitions.tex deleted file mode 100644 index 3779c63..0000000 --- a/doc/bachelor_thesis/content/definitions.tex +++ /dev/null @@ -1,83 +0,0 @@ -\section{Notation \& Definitions } -\subsection{Notation} -\begin{itemize} - \item $\langle a, b, ... \rangle$ : Pair/tuple -\end{itemize} - -\subsection{Definitions} -\begin{itemize} - \item \textbf{Cryptographic Hash Function} $h := H(m)$ where $m$ is a message and $h$ the resulting hash. - - \item \textbf{BlindKeygen} $\langle K_x^{pub}, K_x^{priv} \rangle := Keygen^B(\omega)$ where $\omega$ is a source of entropy and $x$ is the associated value (e.g. 2 EUR). - The resulting key pair represents a donation unit. The result is a public key $K_x^{pub}$ and private key $K_x^{priv}$. The equivalent in Taler is a "denomination". - - \item \textbf{DonauKeygen} $\langle D^{pub}, D^{priv} \rangle := Keygen^D(\omega)$ - - \item \textbf{CharityKeygen} $\langle C^{pub}, C^{priv} \rangle := Keygen^C(\omega)$ - - \item \textbf{Donor Identifier} $i := H(\texttt{taxid}, s)$ where $s$ is a random salt with sufficient entropy to prevent guessing attacks to invert the hash function. - - \item \textbf{Unique Donor Identifier} $u := \langle i, n \rangle$ where $n$ is a high-entropy nonce to make the resulting hash unique per donation. - - \item \textbf{Blinding function} $\overline{u} := blind(u, b, K_x^{pub})$ where $u$ is the value to blind, $b$ the blinding factor to apply and $K_x^{pub}$ the public key of - the donation unit that will be used for signing. The blinding can be done with either the RSA blind signature scheme or the Blinded Clause-Schnorr signature scheme. - The $\overline{u}$ is a blinded unique donor identifier which is blinded to protect the privacy of the donor. - - \item \textbf{Signing} - \begin{itemize} - \item \textbf{Normal signing (e.g. EdDSA):} - \begin{align} - \fbox{$s := sign(m,k^{priv})$} - \end{align} - where $m$ is a message and $k^{priv}$ is the private key used to sign the message, for example $k^{priv} = D^{priv}$ or $k^{priv} = C^{priv}$.\\ - Applications: - \begin{itemize} - \item Signatures over \textbf{Blinded Unique Donor Identifier-key-pair} or \textbf{BUDI-key-pairs}: - \begin{align} - \mu := \langle \overline{u}, H(K_x^{pub}) \rangle \\ - \fbox{$\vec{\mu}_s := sign(\vec{\mu},C^{priv})$} - \end{align} - where $H(K_x^{pub})$ indicates which donation unit key should be used by the Donau to sign the resulting donation receipt. Thus, this hash carries the information about the exact value the final donation receipt should carry. - - A charity signs a collection of \emph{BUDI-key-pair} before transfering them to the Donau to issue \emph{Donation Receipts} - \item Signing over \textbf{Donation Statement signatures}: - \begin{align} - \sigma := \langle i, a_\Sigma, \texttt{year} \rangle \\ - \fbox{$\sigma_s := sign(\sigma, D^{priv})$} - \end{align} - where $D^{priv}$ is the private key from the Donau. - These signatures attest the amount donated in a particular year by a specific donor. - - The Donau computes the \emph{donation statement signature} for a donor for a specific year - \end{itemize} - - \item \textbf{Blind signing(e.g. RSA/CS):} - \begin{align} - \fbox{$\overline{\beta} := blind\_sign(\overline{u},K_x^{priv})$} - \end{align} - where $\overline{u}$ is a blinded value and $K_x^{priv}$ is the private key used to blind sign the message.\\ - Application: - \begin{itemize} - \item The Donau blind signs \emph{Blinded Unique Donor Identifier}s received from the charity with the private key matching the public key in the received \emph{BUDI-key-pair} - \end{itemize} - \end{itemize} - - - \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 \\ - $m$ corresponds to the message and $s$ to the signature: - \begin{itemize} - \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 \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. - - -\end{itemize} diff --git a/doc/bachelor_thesis/content/discussion.tex b/doc/bachelor_thesis/content/discussion.tex deleted file mode 100644 index a9802fb..0000000 --- a/doc/bachelor_thesis/content/discussion.tex +++ /dev/null @@ -1,2 +0,0 @@ -\section{Discussion} -What is the significance of your results? – the final major section of text in the paper. The Discussion commonly features a summary of the results that were obtained in the study, describes how those results address the topic under investigation and/or the issues that the research was designed to address, and may expand upon the implications of those findings. Limitations and directions for future research are also commonly addressed. diff --git a/doc/bachelor_thesis/content/expl_fragments.tex b/doc/bachelor_thesis/content/expl_fragments.tex deleted file mode 100644 index 1051b9e..0000000 --- a/doc/bachelor_thesis/content/expl_fragments.tex +++ /dev/null @@ -1,440 +0,0 @@ -\section{Some \texorpdfstring{\LaTeX}{LaTeX}~Examples} - -\blindtext[1] - -\subsection{Tabular} - -\begin{tabular}[h]{l|l|l} - \centering - Measure & Data & Unit \\ \hline - 1 & 2 & 3 \\ - 4 & 5 & 6 -\end{tabular} - -% Example for a Table in BFH-Style with a simple Design -\begin{table}[ht] - \centering - \begin{bfhTabular}{lll} - Stadtteil & Anzahl Personen & Ausländische - Bevölkerung\\\hline - Innere Stadt & \num{3748} & \SI{17.9}{\percent}\\\hline - Länggasse-Felsenau & \num{17976} & \SI{17.1}{\percent}\\\hline - Mattenhof-Weissenbühl & \num{26895} & \SI{22.4}{\percent}\\\hline - Kirchenfeld-Schlosshalde & \num{23384} & \SI{13.4}{\percent}\\\hline - Breitenrain-Lorraine & \num{24082} & \SI{19.4}{\percent} - \end{bfhTabular} - \caption{Anzahl Personen, ausländischer Bevölkerungsanteil und Arbeitslosenquote pro - Stadtteil Ende 2005 (Statistikdienste der Stadt Bern, 2006)} - \label{tab:tab1} -\end{table} - -\begin{table}[ht] - \centering - \colorlet{BFH-table}{BFH-MediumBlue!10} - \colorlet{BFH-tablehead}{BFH-MediumBlue!50} - \begin{bfhTabular}{lll} - Stadtteil & Anzahl Personen & Ausländische - Bevölkerung\\\hline - Innere Stadt & \num{3748} & \SI{17.9}{\percent}\\\hline - Länggasse-Felsenau & \num{17976} & \SI{17.1}{\percent}\\\hline - Mattenhof-Weissenbühl & \num{26895} & \SI{22.4}{\percent}\\\hline - Kirchenfeld-Schlosshalde & \num{23384} & \SI{13.4}{\percent}\\\hline - Breitenrain-Lorraine & \num{24082} & \SI{19.4}{\percent} - \end{bfhTabular} - \caption{Anzahl Personen, ausländischer Bevölkerungsanteil und Arbeitslosenquote pro - Stadtteil Ende 2005 (Statistikdienste der Stadt Bern, 2006)} - \label{tab:tab2} -\end{table} - -\begin{table}[ht] - \centering - \colorlet{BFH-table}{BFH-MediumRed!10} - \colorlet{BFH-tablehead}{BFH-MediumRed!50} - \begin{bfhTabular}{lll} - Stadtteil & Anzahl Personen & Ausländische - Bevölkerung\\\hline - Innere Stadt & \num{3748} & \SI{17.9}{\percent}\\\hline - Länggasse-Felsenau & \num{17976} & \SI{17.1}{\percent}\\\hline - Mattenhof-Weissenbühl & \num{26895} & \SI{22.4}{\percent}\\\hline - Kirchenfeld-Schlosshalde & \num{23384} & \SI{13.4}{\percent}\\\hline - Breitenrain-Lorraine & \num{24082} & \SI{19.4}{\percent} - \end{bfhTabular} - \caption{Anzahl Personen, ausländischer Bevölkerungsanteil und Arbeitslosenquote pro - Stadtteil Ende 2005 (Statistikdienste der Stadt Bern, 2006)} - \label{tab:tab3} -\end{table} - - -\begin{description} -\item[More about Tables] Further information about tables : \url{https://www.latex-tutorial.com/tutorials/tables/} -\item[Long Tables] Further information about long tables : \url{https://www.overleaf.com/learn/latex/tables} -\end{description} - - -\begin{longtable}{|l|l|l|} -\caption{A sample long table} \label{tab:long} \\ - - -\hline \multicolumn{1}{|c|}{\textbf{First column}} & \multicolumn{1}{c|}{\textbf{Second column}} & \multicolumn{1}{c|}{\textbf{Third column}} \\ \hline -\endfirsthead - -\multicolumn{3}{c}% -{{\tablename\ \thetable{}: \hfill $...$~continued from previous page}} \\ -\hline \multicolumn{1}{|c|}{\textbf{First column}} & \multicolumn{1}{c|}{\textbf{Second column}} & \multicolumn{1}{c|}{\textbf{Third column}} \\ \hline -\endhead - -\hline \multicolumn{3}{|r|}{{Continued on next page$...$}} \\ \hline -\endfoot - -\hline \hline -\endlastfoot -\centering - -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -One & abcdef ghjijklmn & 123.456778 \\ -\end{longtable} - - -\subsection{Math} -%% Mathematical equations -\begin{align} -\left(\begin{array}{r} -\dot{x_{1}} \\ -\dot{x_{2}} \\ -\dot{x_{3}} \\ -\end{array}\right) = -\left[\begin{array}{rrr} -0 & 1 & 0 \\ -0 & -\frac{b_{f}}{J} & \frac{K_{m}}{J} \\ -0 & -\frac{K_{g}}{L} & \frac{R}{L} \\ -\end{array}\right] -\left(\begin{array}{r} -x_{1} \\ -x_{2} \\ -x_{3} \\ -\end{array}\right) + -\left[\begin{array}{rr} -0 & 0 \\ --\frac{1}{J} & 0 \\ -0 & \frac{1}{L} \\ -\end{array}\right] -\left(\begin{array}{r} -t_{L} \\ -v_{a} \\ -\end{array}\right) -\end{align} - -\subsection{Include pictures} - -\begin{figure}[H] - \centering - \includegraphics[width=.8\textwidth]{placeholder} - \caption{Some meaningful caption} - \label{fig:placeholder:1} -\end{figure} - - -\begin{figure}[h!] - \centering - \begin{minipage}{.4\textwidth} - \centering - \includegraphics[width=\textwidth]{placeholder} - \caption{PLACEHOLDER} - \label{fig:placeholder:2} - \end{minipage} - \hspace{1em} - \begin{minipage}{.4\textwidth} - \centering - \includegraphics[width=\textwidth]{placeholder} - \caption{PLACEHOLDER} - \label{fig:placeholder:3} - \end{minipage}% -\end{figure} - - -%% Source code is stored in the listings folder and will be included from there using its relative path. -\subsection{Code Example} - -{ - \thicklines -% \thinlines -\lstinputlisting[style=bfh-c,language=C,caption={My very first C program.},label={lst:hello}]{listings/expl_hello.c} -} -I developed this very nice application writing "Hello World" to my terminal. -The implementation is shown in listing~\ref{lst:hello}. - - -%% Examples holding dummy content -\subsection{Draw boxes} -\begin{bfhBox}[BFH-DarkPurple]{Purple} - Note\\ -\end{bfhBox} - -\blindtext[1] - -\begin{bfhBox}[BFH-MediumBlue]{Blue} - Note\\ -\end{bfhBox} - -\blindtext[1] - -\begin{bfhBox}[BFH-DarkRed]{Red} - Note\\ -\end{bfhBox} - -\blindtext[2] - -\begin{bfhAlertBox} - An alert box. -\end{bfhAlertBox} - -\begin{bfhWarnBox} - A warning box. -\end{bfhWarnBox} - -\begin{bfhNoteBox} - A note box. -\end{bfhNoteBox} - -\begin{bfhRecycleBox} - A recycle box. -\end{bfhRecycleBox} - - -\begin{bfhBox}{No color set} - Some BFH box without color option set. Using default.\\ -\end{bfhBox} - - -\blindtext[3] - - -\subsection{Some Item-list} -Sometimes you explain this and that using a bullet points. -This can be done in \LaTeX\ using an item list in a item environment. - -\begin{itemize} -\item My first item -\item The second -\item $\cdots$ -\item $\cdots$ -\end{itemize} - -It is also possible to nest such environment and/or enumerate. -\begin{itemize} -\item My first item -\begin{enumerate} -\item My first enumerated item -\item The second -\item $\cdots$ -\end{enumerate} -\item The second -\begin{enumerate} -\item An other enumerated item -\item $\cdots$ -\item $\cdots$ -\end{enumerate} -\end{itemize} - - -\subsection{Multi column environment} -Split a part of a document in multiple columns is not so easy with WYSIWYG tools. -Whit multicols \LaTeX\ package$\cdots$ well you may know. - -\begin{multicols}{3} -\begin{itemize} -\item My first item -\item The second -\item $\cdots$ -\item $\cdots$ -\end{itemize} -\begin{itemize} -\item My first item -\item The second -\item $\cdots$ -\item $\cdots$ -\end{itemize} -\begin{itemize} -\item My first item -\item The second -\item $\cdots$ -\item $\cdots$ -\end{itemize} -\end{multicols} - - -\blindtext[1] - -\begin{multicols}{2} - \blindtext[1] -\end{multicols} - -\begin{multicols}{3} - \blindtext[1] -\end{multicols} - -\begin{multicols}{2} - \blindtext[1] -\end{multicols} - - -\begin{multicols}{3} -\begin{itemize} -\item My first item -\item The second -\item $\cdots$ -\item $\cdots$ -\end{itemize} -\blindtext[1] -\columnbreak -\begin{itemize} -\item My first item -\item The second -\item $\cdots$ -\item $\cdots$ -\end{itemize} -\end{multicols} - -%% forced page break -\newpage - -\subsection{Use Figures} - -\begin{figure}[h!] - \centering - \includegraphics[width=.8\textwidth]{bg-masthead} - \caption{An example of including a PDF figure.} - \label{fig:expl_master} -\end{figure} - -\begin{figure}[h!] - \centering - \includegraphics[width=.8\textwidth]{expl_bode} - \caption{An example of including a PDF figure.} - \label{fig:expl_bode} -\end{figure} -\clearpage - -\subsubsection{Use Subfigures} -These subfigures requires the package \texttt{subcaption}. - -\begin{figure}[h!] - \centering - \begin{subfigure}[b]{0.3\textwidth} - \centering - \includegraphics[width=\textwidth]{placeholder} - \caption{$y=x$} - \label{fig:y equals x} - \end{subfigure} - \hfill - \begin{subfigure}[b]{0.3\textwidth} - \centering - \includegraphics[width=\textwidth]{placeholder} - \caption{$y=3sinx$} - \label{fig:three sin x} - \end{subfigure} - \hfill - \begin{subfigure}[b]{0.3\textwidth} - \centering - \includegraphics[width=\textwidth]{placeholder} - \caption{$y=5/x$} - \label{fig:five over x} - \end{subfigure} - \caption{Three simple graphs} - \label{fig:three graphs} -\end{figure} - - -\section{Example Text With Indices} -In this example, several keywords\index{keywords} will be used -which are important and deserve to appear in the Index\index{Index}. - -Terms like generate\index{generate} and some\index{others} will -also show up. - -\section{Example Text With Glossary} -This \Gls{zynq} introduction summary has been written for bachelor students due to the introduction workshop in the ``Embedded Systems'' course at Bern University of Applied Sciences. The topic \Gls{soc} is introduced by using Xilinx' \Gls{apsoc} platform \Gls{zynq}. The subsequent summery is a brief introduction only. It is based on several tutorials in the field of \Gls{soc} such as the \Gls{zbook} or Xilinx' \Gls{apsoc} manual. We think the script provides a good introduction and helps getting the overall picture of the \Gls{soc} basics. In addition we reference to our wiki tutorials that provide lots of information on how to get started with the \Gls{zboard}.\\ - -Hey folks let's do an \Gls{asic} design and develop some awesome \Gls{rtos}! Yea \Gls{arm} is nice but we can do better, can we? - -\section{Example Text With Citations} -%% Text with citations - -This document is an example of \Gls{BibTeX} using in bibliography management. Three items -are cited: The \LaTeX\ Companion book \cite{latexcompanion}, the Einstein -journal paper \cite{einstein}, and the Donald Knuth's website \cite{knuthwebsite}. -The \LaTeX\ related items are \cite{latexcompanion,knuthwebsite}. - diff --git a/doc/bachelor_thesis/content/glossary.tex b/doc/bachelor_thesis/content/glossary.tex deleted file mode 100644 index 180ad41..0000000 --- a/doc/bachelor_thesis/content/glossary.tex +++ /dev/null @@ -1,54 +0,0 @@ -\newglossaryentry{BibTeX}{ - name={BibTeX}, - description={Program for the creation of bibliographical references and directories in \TeX or \LaTeX\, documents}, - plural=BibTeXs -} - -\newglossaryentry{zynq}{ - name=Zynq, - description={\textbf{Zynq} Xilinx' AP SoC. The characteristic feature of Zynq is that it combines a dual-core ARM Cortex-A9 processor with traditional Series-7 FPGA logic fabric}, - plural=Zynqs -} - - -\newglossaryentry{soc}{ - name=SoC, - description={\textbf{System-on-Chip (SoC)} A single chip that holds all of the necessary hardware and electronic circuitry for a complete system. SoC includes on-chip memory (RAM and ROM), the microprocessor, peripheral interfaces, I/O logic control, data converters, and other components that comprise a complete computer system}, - plural=SoCs -} - -\newglossaryentry{apsoc}{ - name=AP SoC, - description={\textbf{All Programmable System-on-Chip (AP SoC)} was introduced by Xilinx. It represents a IC which comprise a hard-core processor core surrounded by an FPGA fabric. This type of ICs are highly configurable and provide algorithm partitioning capabilities. This provides high benefit for highly scale-able applications as well as fast time-to-market}, - plural=AP SoCs -} - -\newglossaryentry{zbook}{ - name=Zynq Book, - description={\textbf{Zynq Book} A book that summarizes all the important aspects when working with Zynq and provides a strong and easy understandable introduction to the topic. The book has been written by a team of University of Strathclyde Glasgow in cooperation with Xilinx}, - plural=Zynq Books -} - -\newglossaryentry{zboard}{ - name=ZedBoard, - description={\textbf{ZedBoard} A low cost development board featuring a Zynq-700 0 SoC, and a number of peripherals}, - plural=ZedBoards -} - - -\newglossaryentry{asic}{ - name=ASIC, - description={\textbf{Application-Specific Integrated Circuit (ASIC)} An integrated circuit which is designed for a specific use, rather than general-purpose use}, - plural=ASICs -} - -\newglossaryentry{rtos}{ - name=RTOS, - description={\textbf{Real-Time Operating System (RTOS)} A category of operating systems defined by their ability to respond quickly and predictably for a given task}, - plural=RTOSs -} - -\newglossaryentry{arm}{ - name=ARM, - description={\textbf{ARM} A family of processor architectures. The hard processor type which forms the basis of the Zynq processing system is an ARM Cortex-A9 version. The term ‘ARM’ may also be used to refer to the developer of the processor, i.e. a company of the same name} -} diff --git a/doc/bachelor_thesis/content/main.tex b/doc/bachelor_thesis/content/main.tex deleted file mode 100644 index 2e24741..0000000 --- a/doc/bachelor_thesis/content/main.tex +++ /dev/null @@ -1,205 +0,0 @@ -% \documentclass{article} -% -% \usepackage[english]{babel} -% \usepackage[utf8]{inputenc} -% \usepackage{amsmath,amssymb} -% \usepackage{parskip} -% \usepackage{graphicx} -% -% \graphicspath{ {./images/} } -% -% % Margins -% \usepackage[top=3cm, left=3cm, right=3cm, bottom=3cm]{geometry} -% % Colour table cells -% \usepackage[table]{xcolor} -% % diagram packages -% \usepackage{tikz, pgfplots} -% \usetikzlibrary{positioning} -% -% \title{Donau protocol overview} -% \author{Johannes Casaburi \and Pius Loosli \and Lukas Matyja} -% \date{\today} -% -% \begin{document} -% \maketitle -% -% \newpage -% -% \input{definitions.tex} - -\section{Overview} -\subsection{Donation: spend and get donation receipt} -\includegraphics[width=\textwidth]{02-donate} - -\subsection{Get donation statement for taxes after tax period} -\includegraphics[width=\textwidth]{03-donation-statement} - -\newpage -\section{Protocol Detail} - -\subsection{Key generation and initial setup} -\subsubsection{Initial Donau setup} -\begin{enumerate} - \item The Donau generates a public key $D^{pub}$ and private key $D^{priv}$ for EdDSA signing. - - \item The Donau generates the \emph{donation unit keys} consisting of $K_x^{pub}$ and $K_x^{priv}$ where $x$ is the associated value. -\end{enumerate} - -\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. - - \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} - - -\subsection{Continuously during tax period: get donation receipts} -\subsubsection{Overview} - - -\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.} - - \item The donor generates as many \emph{unique donor identifiers} as there are terms in the calculated sum. - \emph{Example: In our example, there will be 3 unique donor identifiers: one per donation unit, so one for the value 4, one for the value 2, one for the value 1}.\footnote{If one donation unit is present more than once in the sum, then there is more than one unique donor identifier required for said donation unit. This depends upon the offered donation units.} - \begin{align} - 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 - \end{align} - - \item The donor blinds the \emph{unique donor identifiers} using a \textbf{different} blinding factor $b$ for every \emph{unique donor identifier}.\\ - \emph{Example:} - \begin{align} - \overline u_1 :&= blind (u_1, b_1, K_1^{pub}) \\ - \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 \\ - \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 - \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} - -\subsubsection{Charity sends signed $BKP$'s to Donau} -\begin{enumerate} - \item The charity verifies that the amount requested (based on the $h(K_x^{pub})$) for signing is lower or equal to the effective amount of the donation. - - \item The charity signs (using EdDSA) a structure containing all unsigned $BKP$'s coming from the donor. - - \begin{align} - \sigma_c = sign(\vec{\mu}, C^{priv}) - \end{align} - - \item The charity sends this structure $\vec{\mu}$ and the signature $\sigma_c$ to the Donau. -\end{enumerate} - -\subsubsection{Donau sends back the blind signed $UDI$'s to charity} -\begin{enumerate} - \item The Donau: - \begin{enumerate} - \item verifies the signature $\sigma_c$ on the structure. - - \begin{align} - verify(\vec{\mu},\sigma_c, C^{pub}) - \end{align} - - \item increments the current amount of donations received per year of the charity. This value is increased by the total amount of the $BUDI$'s, if the increment does not exceed the annual limit. - - \item blind signs all the $blinded$ $UDI$'s, the $BUDI$'s, using the \emph{donation unit private keys} $K_x^{priv}$ matching the public keys $h(K^{pub})$ used in the $BKP$'s. - - \begin{align} - \overline{\beta_1} = blind\_sign(\overline u_1, K_1^{priv}) \\ - \overline{\beta_2} = blind\_sign(\overline u_2, K_2^{priv}) \\ - \overline{\beta_3} = blind\_sign(\overline u_3, K_4^{priv}) - \end{align} - - \item sends back all created blind signatures - $\overline{\beta_1}, \overline{\beta_2}, \overline{\beta_3}$ to the charity. - \end{enumerate} - - \item The charity forwards the blind signatures to the donor. - - \item The donor verifies the signatures. - - \begin{align} - verify\_blind(u_1,\overline{\beta_1}, K_1^{pub}) \\ - verify\_blind(u_2,\overline{\beta_2}, K_2^{pub}) \\ - verify\_blind(u_3,\overline{\beta_3}, K_4^{pub}) - \end{align} - - \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, 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 \\ - r_2 &= \langle UDI_2, \beta_2, h(K_2^{pub}) - \rangle \\ - r_3 &= \langle UDI_3, \beta_3, h(K_4^{pub}) \rangle - \end{align} -\end{enumerate} - -\subsection{After effective tax period: get tax statement for period from Donau} - -\subsubsection{Donor sends the \emph{Donation receipts} to the Donau to get the \emph{Donation Statement}.} -\begin{enumerate} - \item The donor sends the collection of all \emph{donation receipts} $r_1, r_2, r_3$ to the Donau. This happens manually once per period.\\\ - It is not done continuously to obtain \emph{unlinkability} between the \textbf{issuance} of the donation receipts (which happens upon donation) and their \textbf{submission} for the \emph{donation statement}. - \item For each \emph{donation receipt} the Donau: - \begin{itemize} - \item checks that $K_x^{pub}$ is known. - - \item verifies that the signature $\beta$ is correct using the corresponding public key $K_x^{pub}$. - - \item verifies that the \emph{donor identifier} is the same as in other \emph{donation receipts}.\footnote{With multiple wallets each wallet must simply obtain a separate \emph{donation statement}!} - - \item verifies that the $\texttt{nonce}$ is unique and was not used before by the donor for the corresponding year. - \end{itemize} - - \item The Donau signs over the total \texttt{amount}, - \texttt{year} and \emph{donor identifier} and sends the signature and the total amount so far back to the donor. This results in a final signature called the \textbf{\emph{Donation Statement signature}}. - - \begin{align} - \sigma_s = sign(\langle i, \texttt{amount}_{Total}, \texttt{year}) \rangle, D^{priv}) - \end{align} -\end{enumerate} - -\subsubsection{Donor sends the QR Code to a validator (tax office)} -\begin{enumerate} - \item The donor generates a QR code which contains the following: - \begin{align} - \texttt{QR} = \langle \texttt{taxid}, \texttt{salt}, \texttt{year}, \texttt{amount}, \text{$\sigma_s$} \rangle - \end{align} - - \item The validator scans the QR code and verifies the signature $\sigma_s$. - - \begin{align} - verify(\langle i, \texttt{amount}_{Total}, \texttt{year}) \rangle,\sigma_s, D^{pub}) - \end{align} -\end{enumerate} - diff --git a/doc/bachelor_thesis/content/methods.tex b/doc/bachelor_thesis/content/methods.tex deleted file mode 100644 index 841e67b..0000000 --- a/doc/bachelor_thesis/content/methods.tex +++ /dev/null @@ -1,2 +0,0 @@ -\section{Methods} -What did you do? – a section which details how the research was performed. It typically features a description of the participants/subjects that were involved, the study design, the materials that were used, and the study procedure. If there were multiple experiments, then each experiment may require a separate Methods section. A rule of thumb is that the Methods section should be sufficiently detailed for another researcher to duplicate your research. diff --git a/doc/bachelor_thesis/content/results.tex b/doc/bachelor_thesis/content/results.tex deleted file mode 100644 index f9a51f4..0000000 --- a/doc/bachelor_thesis/content/results.tex +++ /dev/null @@ -1,2 +0,0 @@ -\section{Results} -What did you find? – a section which describes the data that was collected and the results of any statistical tests that were performed. It may also be prefaced by a description of the analysis procedure that was used. If there were multiple experiments, then each experiment may require a separate Results section. diff --git a/doc/bachelor_thesis/diagrams/00-overview.drawio b/doc/bachelor_thesis/diagrams/00-overview.drawio deleted file mode 100644 index eed8888..0000000 --- a/doc/bachelor_thesis/diagrams/00-overview.drawio +++ /dev/null @@ -1,113 +0,0 @@ -<mxfile host="Electron" modified="2023-10-09T10:20:15.216Z" agent="Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) draw.io/22.0.2 Chrome/114.0.5735.289 Electron/25.8.4 Safari/537.36" etag="CmJ2KfCnykEhxYLA5XA6" version="22.0.2" type="device"> - <diagram name="Page-1" id="14ZIEaCrJvZK9EeKxkln"> - <mxGraphModel dx="794" dy="1238" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="850" pageHeight="1100" math="0" shadow="0"> - <root> - <mxCell id="0" /> - <mxCell id="1" parent="0" /> - <mxCell id="PeqiyIPKsWgejE-jhFCT-1" value="donor" style="ellipse;whiteSpace=wrap;html=1;fontSize=16;" parent="1" vertex="1"> - <mxGeometry x="110" y="160" width="120" height="80" as="geometry" /> - </mxCell> - <mxCell id="PeqiyIPKsWgejE-jhFCT-2" value="charity" style="ellipse;whiteSpace=wrap;html=1;fontSize=16;" parent="1" vertex="1"> - <mxGeometry x="610" y="160" width="120" height="80" as="geometry" /> - </mxCell> - <mxCell id="PeqiyIPKsWgejE-jhFCT-3" value="DONAU" style="ellipse;whiteSpace=wrap;html=1;fontSize=16;" parent="1" vertex="1"> - <mxGeometry x="365" y="295" width="120" height="80" as="geometry" /> - </mxCell> - <mxCell id="PeqiyIPKsWgejE-jhFCT-4" value="validator<br style="font-size: 16px;">(tax office)" style="ellipse;whiteSpace=wrap;html=1;fontSize=16;" parent="1" vertex="1"> - <mxGeometry x="365" y="412" width="120" height="80" as="geometry" /> - </mxCell> - <mxCell id="PeqiyIPKsWgejE-jhFCT-7" value="" style="endArrow=classic;html=1;rounded=0;sourcePerimeterSpacing=10;targetPerimeterSpacing=10;startSize=0;" parent="1" edge="1" target="PeqiyIPKsWgejE-jhFCT-3" source="PeqiyIPKsWgejE-jhFCT-1"> - <mxGeometry width="50" height="50" relative="1" as="geometry"> - <mxPoint x="240" y="220" as="sourcePoint" /> - <mxPoint x="410" y="260" as="targetPoint" /> - </mxGeometry> - </mxCell> - <mxCell id="-sgfXUvIWXVv4-Q9ZXnx-2" value="<font style="font-size: 12px;"><b>2.1</b> donation receipts,<br>year<br></font>" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];rotation=30;" vertex="1" connectable="0" parent="PeqiyIPKsWgejE-jhFCT-7"> - <mxGeometry x="0.3668" relative="1" as="geometry"> - <mxPoint x="-5" y="-22" as="offset" /> - </mxGeometry> - </mxCell> - <mxCell id="PeqiyIPKsWgejE-jhFCT-13" value="" style="endArrow=classic;html=1;rounded=0;sourcePerimeterSpacing=10;targetPerimeterSpacing=10;" parent="1" edge="1" target="PeqiyIPKsWgejE-jhFCT-2" source="PeqiyIPKsWgejE-jhFCT-1"> - <mxGeometry width="50" height="50" relative="1" as="geometry"> - <mxPoint x="221" y="179" as="sourcePoint" /> - <mxPoint x="611.0000000000014" y="179" as="targetPoint" /> - </mxGeometry> - </mxCell> - <mxCell id="KFT5oE16Zw0vZIVpkbdU-6" value="<font style="font-size: 12px;"><b style="border-color: var(--border-color); background-color: rgb(251, 251, 251);">1.1</b>&nbsp;donate: pay (with Taler), BDIDs</font>" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" parent="PeqiyIPKsWgejE-jhFCT-13" vertex="1" connectable="0"> - <mxGeometry x="0.3657" y="4" relative="1" as="geometry"> - <mxPoint x="-49" y="-8" as="offset" /> - </mxGeometry> - </mxCell> - <mxCell id="PeqiyIPKsWgejE-jhFCT-16" value="" style="endArrow=classic;html=1;rounded=0;sourcePerimeterSpacing=10;targetPerimeterSpacing=10;exitX=-0.003;exitY=0.631;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0.963;entryY=0.652;entryDx=0;entryDy=0;entryPerimeter=0;" parent="1" edge="1" target="PeqiyIPKsWgejE-jhFCT-1" source="PeqiyIPKsWgejE-jhFCT-2"> - <mxGeometry width="50" height="50" relative="1" as="geometry"> - <mxPoint x="600.0000000000014" y="189" as="sourcePoint" /> - <mxPoint x="240.0000000000001" y="189" as="targetPoint" /> - </mxGeometry> - </mxCell> - <mxCell id="KFT5oE16Zw0vZIVpkbdU-5" value="<font style="font-size: 12px;"><b style="border-color: var(--border-color); background-color: rgb(251, 251, 251);">1.3</b>&nbsp;blind signatures</font>" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" parent="PeqiyIPKsWgejE-jhFCT-16" vertex="1" connectable="0"> - <mxGeometry x="-0.1886" y="3" relative="1" as="geometry"> - <mxPoint x="-24" y="9" as="offset" /> - </mxGeometry> - </mxCell> - <mxCell id="PeqiyIPKsWgejE-jhFCT-19" value="" style="endArrow=open;html=1;rounded=0;dashed=1;dashPattern=1 4;strokeColor=default;endFill=0;edgeStyle=orthogonalEdgeStyle;exitX=0.025;exitY=0.421;exitDx=0;exitDy=0;entryX=0.282;entryY=1.027;entryDx=0;entryDy=0;entryPerimeter=0;exitPerimeter=0;" parent="1" edge="1" target="PeqiyIPKsWgejE-jhFCT-1" source="PeqiyIPKsWgejE-jhFCT-4"> - <mxGeometry width="50" height="50" relative="1" as="geometry"> - <mxPoint x="365" y="447.2" as="sourcePoint" /> - <mxPoint x="146" y="250" as="targetPoint" /> - </mxGeometry> - </mxCell> - <mxCell id="-sgfXUvIWXVv4-Q9ZXnx-10" value="<font style="font-size: 12px;">final tax assessment, <br>out of scope of Taler/Donau</font>" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];rotation=0;" vertex="1" connectable="0" parent="PeqiyIPKsWgejE-jhFCT-19"> - <mxGeometry x="-0.6785" relative="1" as="geometry"> - <mxPoint x="-44" y="20" as="offset" /> - </mxGeometry> - </mxCell> - <mxCell id="PeqiyIPKsWgejE-jhFCT-28" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.983;exitY=0.34;exitDx=0;exitDy=0;targetPerimeterSpacing=200;sourcePerimeterSpacing=20;endSize=6;exitPerimeter=0;entryX=0.213;entryY=0.975;entryDx=0;entryDy=0;entryPerimeter=0;" parent="1" edge="1" target="PeqiyIPKsWgejE-jhFCT-2" source="PeqiyIPKsWgejE-jhFCT-3"> - <mxGeometry width="50" height="50" relative="1" as="geometry"> - <mxPoint x="498" y="307" as="sourcePoint" /> - <mxPoint x="645" y="231" as="targetPoint" /> - </mxGeometry> - </mxCell> - <mxCell id="KFT5oE16Zw0vZIVpkbdU-4" value="<font style="font-size: 12px;"><b style="">1.3</b>&nbsp;blind signatures</font>" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];rotation=331;fontSize=12;" parent="PeqiyIPKsWgejE-jhFCT-28" vertex="1" connectable="0"> - <mxGeometry x="-0.4576" y="7" relative="1" as="geometry"> - <mxPoint x="45" y="-4" as="offset" /> - </mxGeometry> - </mxCell> - <mxCell id="-sgfXUvIWXVv4-Q9ZXnx-14" value="" style="endArrow=classic;html=1;rounded=0;sourcePerimeterSpacing=0;targetPerimeterSpacing=10;startSize=0;exitX=0;exitY=0.5;exitDx=0;exitDy=0;entryX=0.75;entryY=0.988;entryDx=0;entryDy=0;entryPerimeter=0;" edge="1" parent="1" source="PeqiyIPKsWgejE-jhFCT-3" target="PeqiyIPKsWgejE-jhFCT-1"> - <mxGeometry width="50" height="50" relative="1" as="geometry"> - <mxPoint x="360" y="330" as="sourcePoint" /> - <mxPoint x="234" y="242" as="targetPoint" /> - </mxGeometry> - </mxCell> - <mxCell id="-sgfXUvIWXVv4-Q9ZXnx-15" value="<font style="font-size: 12px;"><b>2.2</b>&nbsp;donation statement,<br>total<br></font>" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];rotation=30;" vertex="1" connectable="0" parent="-sgfXUvIWXVv4-Q9ZXnx-14"> - <mxGeometry x="0.3668" relative="1" as="geometry"> - <mxPoint x="32" y="40" as="offset" /> - </mxGeometry> - </mxCell> - <mxCell id="-sgfXUvIWXVv4-Q9ZXnx-16" value="" style="endArrow=classic;html=1;rounded=0;targetPerimeterSpacing=20;sourcePerimeterSpacing=20;endSize=6;" edge="1" parent="1" source="PeqiyIPKsWgejE-jhFCT-2" target="PeqiyIPKsWgejE-jhFCT-3"> - <mxGeometry width="50" height="50" relative="1" as="geometry"> - <mxPoint x="605.5255797046889" y="276.52062969973167" as="sourcePoint" /> - <mxPoint x="489.4705450312747" y="340.4754139623585" as="targetPoint" /> - </mxGeometry> - </mxCell> - <mxCell id="-sgfXUvIWXVv4-Q9ZXnx-17" value="<font style="font-size: 12px;"><b style="">1.2</b>&nbsp;signed BDID array</font>" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];rotation=331;fontSize=12;" vertex="1" connectable="0" parent="-sgfXUvIWXVv4-Q9ZXnx-16"> - <mxGeometry x="-0.4576" y="7" relative="1" as="geometry"> - <mxPoint x="-37" y="-2" as="offset" /> - </mxGeometry> - </mxCell> - <mxCell id="-sgfXUvIWXVv4-Q9ZXnx-27" value="" style="endArrow=classic;html=1;rounded=0;sourcePerimeterSpacing=10;targetPerimeterSpacing=10;startSize=0;edgeStyle=orthogonalEdgeStyle;" edge="1" parent="1" source="PeqiyIPKsWgejE-jhFCT-1" target="PeqiyIPKsWgejE-jhFCT-4"> - <mxGeometry width="50" height="50" relative="1" as="geometry"> - <mxPoint x="236" y="240" as="sourcePoint" /> - <mxPoint x="379" y="315" as="targetPoint" /> - <Array as="points"> - <mxPoint x="170" y="430" /> - </Array> - </mxGeometry> - </mxCell> - <mxCell id="-sgfXUvIWXVv4-Q9ZXnx-28" value="<font style="font-size: 12px;"><b>3 </b>donation receipts, year<br></font>" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];rotation=0;" vertex="1" connectable="0" parent="-sgfXUvIWXVv4-Q9ZXnx-27"> - <mxGeometry x="0.3668" relative="1" as="geometry"> - <mxPoint x="24" y="-16" as="offset" /> - </mxGeometry> - </mxCell> - </root> - </mxGraphModel> - </diagram> -</mxfile> diff --git a/doc/bachelor_thesis/diagrams/00-overview.png b/doc/bachelor_thesis/diagrams/00-overview.png Binary files differdeleted file mode 100644 index 634d738..0000000 --- a/doc/bachelor_thesis/diagrams/00-overview.png +++ /dev/null diff --git a/doc/bachelor_thesis/diagrams/01-setup-keys.plantuml b/doc/bachelor_thesis/diagrams/01-setup-keys.plantuml deleted file mode 100644 index 6e5489e..0000000 --- a/doc/bachelor_thesis/diagrams/01-setup-keys.plantuml +++ /dev/null @@ -1,25 +0,0 @@ -@startuml -left to right direction - -' scale elements so that latex becomes proportionally smaller -skinparam CardFontSize 20 -skinparam ArrowThickness 2 - -note as leg -<latex>$\overline{b} = blinded ...$</latex> -<latex>$\mu = \langle \overline{b}, H(K^{pub}_x) \rangle$</latex> -<latex>$\overline{\beta} = \text{blind signature}$</latex> -end note - -card Donor as donor -card Charity as charity -card Donau as donau - -donor --> charity : <latex>$\text{donation money} + \vec{\mu}$</latex> -charity --> donau : <latex>$\vec{\mu}_s$</latex> - -donau --> charity : <latex>$\overline{\beta}_1,..., \overline{\beta}_n$</latex> -charity --> donor : <latex>$\overline{\beta}_1,..., \overline{\beta}_n$</latex> - - -@enduml diff --git a/doc/bachelor_thesis/diagrams/02-donate-light.plantuml b/doc/bachelor_thesis/diagrams/02-donate-light.plantuml deleted file mode 100644 index a7d0718..0000000 --- a/doc/bachelor_thesis/diagrams/02-donate-light.plantuml +++ /dev/null @@ -1,24 +0,0 @@ -@startuml -'left to right direction - -' scale elements so that latex becomes proportionally smaller -skinparam CardFontSize 25 -skinparam ArrowThickness 2 -' rectangular shaped arrow lines -skinparam linetype ortho - -card Donor as donor -card Charity as charity -card Donau as donau - -donor "<latex>$\text{1. donation money,}$\\$\text{\bigl[ \bigr] \langle}\text{blinded(donor id + nonce),} K_x^{pub} \rangle$</latex>" -> charity -charity "<latex>$\text{ 2.}$\\$\text{ \bigl[ \bigr] \langle}\text{blinded(donor id + nonce),} K_x^{pub} \rangle$\\$\text{ charity signature}$</latex>" --> donau - -donau --> charity : <latex>$\text{3. \bigl[ \bigr] blind signatures^*}$</latex> -charity --> donor : <latex>$\text{4. \bigl[ \bigr] blind signatures^*}$</latex> - -note as D #white -<latex>$\text{* array of blind signatures,}$\\$\text{one per blinded(donor id+nonce)}$</latex> -end note - -@enduml diff --git a/doc/bachelor_thesis/diagrams/02-donate-light.png b/doc/bachelor_thesis/diagrams/02-donate-light.png Binary files differdeleted file mode 100644 index 6e2d373..0000000 --- a/doc/bachelor_thesis/diagrams/02-donate-light.png +++ /dev/null diff --git a/doc/bachelor_thesis/diagrams/02-donate.plantuml b/doc/bachelor_thesis/diagrams/02-donate.plantuml deleted file mode 100644 index 26b5ed0..0000000 --- a/doc/bachelor_thesis/diagrams/02-donate.plantuml +++ /dev/null @@ -1,26 +0,0 @@ -@startuml -'left to right direction - -' scale elements so that latex becomes proportionally smaller -skinparam CardFontSize 25 -skinparam ArrowThickness 2 -' rectangular shaped arrow lines -skinparam linetype ortho - -card Donor as donor -card Charity as charity -card Donau as donau - -donor "<latex>$\text{ 1. }\vec\mu,$\\$\text{ donation money}$</latex>" -> charity -charity "<latex>$\text{2. }\sigma_c\text{ }$$</latex>" -> donau - -donau --> charity : <latex>$\text{3. }\overline\beta_1, ..., \overline\beta_n$</latex> -charity --> donor : <latex>$\text{4. }\overline\beta_1, ..., \overline\beta_n$</latex> - -note as leg #white -<latex>$\vec{u} = \text{blinded unique donor identifiers}$</latex> -<latex>$\mu = \langle \overline{u}, H(K^{pub}_x) \rangle$</latex> -<latex>$\sigma_c = \text{sign(\vec{\mu}, C^{priv})}$</latex> -<latex>$\overline{\beta} = \text{blind signature}$</latex> -end note -@enduml diff --git a/doc/bachelor_thesis/diagrams/02-donate.png b/doc/bachelor_thesis/diagrams/02-donate.png Binary files differdeleted file mode 100644 index 8d6292f..0000000 --- a/doc/bachelor_thesis/diagrams/02-donate.png +++ /dev/null diff --git a/doc/bachelor_thesis/diagrams/03-donation-statement-light.plantuml b/doc/bachelor_thesis/diagrams/03-donation-statement-light.plantuml deleted file mode 100644 index 0515715..0000000 --- a/doc/bachelor_thesis/diagrams/03-donation-statement-light.plantuml +++ /dev/null @@ -1,22 +0,0 @@ -@startuml -'left to right direction - -' scale elements so that latex becomes proportionally smaller -skinparam CardFontSize 25 -skinparam ArrowThickness 2 -' rectangular shaped arrow lines -skinparam linetype ortho - -card "Validator(Tax office)" as validator -card Donor as donor -card Donau as donau - -donor "<latex>$\text{ 1. donation receipts, year}$</latex>" -> donau -donau --> donor : <latex>$\text{2. signed donation statement,}$\\$\text{total for year}$</latex> -donor -> validator : <latex>$\text{3. donation statement, year}$</latex> - -'note as D -'<latex>$\text{* array of blind signatures, one per blinded(donor id+nonce)}$</latex> -'end note - -@enduml diff --git a/doc/bachelor_thesis/diagrams/03-donation-statement-light.png b/doc/bachelor_thesis/diagrams/03-donation-statement-light.png Binary files differdeleted file mode 100644 index 116cbd4..0000000 --- a/doc/bachelor_thesis/diagrams/03-donation-statement-light.png +++ /dev/null diff --git a/doc/bachelor_thesis/diagrams/03-donation-statement.plantuml b/doc/bachelor_thesis/diagrams/03-donation-statement.plantuml deleted file mode 100644 index 0756fac..0000000 --- a/doc/bachelor_thesis/diagrams/03-donation-statement.plantuml +++ /dev/null @@ -1,26 +0,0 @@ -@startuml -'left to right direction - -' scale elements so that latex becomes proportionally smaller -skinparam CardFontSize 25 -skinparam ArrowThickness 2 -' rectangular shaped arrow lines -skinparam linetype ortho - -card "Validator(Tax office)" as validator -card Donor as donor -card Donau as donau - -donor "<latex>$\text{ 1. }\vec{r}\text{, year}$</latex>" -> donau -donau --> donor : <latex>$\text{2. }\sigma_s$, \texttt{amount}_{Total}</latex> -donor -> validator : <latex>$\text{3. }QR$</latex> - -note as leg #white -<latex>\vec{r} = \text{donation receipts}</latex> -<latex>$s = \text{random salt}$</latex> -<latex>$i := H(\texttt{taxid}, s)$</latex> -<latex>\sigma_s = sign(\langle i, \texttt{amount}_{Total}, \texttt{year}) \rangle, D^{priv})</latex> -<latex>\texttt{QR} = \langle \texttt{taxid}, \texttt{salt}, \texttt{year}, \texttt{amount}, \text{$\sigma_s$} \rangle</latex> -end note - -@enduml diff --git a/doc/bachelor_thesis/diagrams/03-donation-statement.png b/doc/bachelor_thesis/diagrams/03-donation-statement.png Binary files differdeleted file mode 100644 index 5cc1946..0000000 --- a/doc/bachelor_thesis/diagrams/03-donation-statement.png +++ /dev/null diff --git a/doc/bachelor_thesis/donau-thesis.pdf b/doc/bachelor_thesis/donau-thesis.pdf Binary files differdeleted file mode 100644 index 72fea1a..0000000 --- a/doc/bachelor_thesis/donau-thesis.pdf +++ /dev/null diff --git a/doc/bachelor_thesis/donau-thesis.tex b/doc/bachelor_thesis/donau-thesis.tex deleted file mode 100644 index 95b23e9..0000000 --- a/doc/bachelor_thesis/donau-thesis.tex +++ /dev/null @@ -1,196 +0,0 @@ -%============================ MAIN DOCUMENT ================================ -% define document class -\PassOptionsToPackage{table}{xcolor} -\documentclass[ - a4paper, - BCOR=15mm, % Binding correction - oneside, -% openright, -% headings=openright, - bibliography=totoc, % If enabled add bibliography to TOC - listof=totoc, % If enabled add lists to TOC - monolingual, -% bilingual, - invert-title, -]{bfhthesis} - -\LoadBFHModule{listings,terminal,boxes} -%--------------------------------------------------------------------------- -% Documents paths -%--------------------------------------------------------------------------- -\makeatletter -\def\input@path{{content/}} -%or: \def\input@path{{/path/to/folder/}{/path/to/other/folder/}} -\makeatother -%----------------- Base packages -------------------------------------- -% Include Packages -\usepackage[french,ngerman,main=english]{babel} % https://www.namsu.de/Extra/pakete/Babel.html - -\usepackage{amsmath} % various features to facilitate writing math formulas -\usepackage{amsthm} % enhanced version of latex's newtheorem -\usepackage{amsfonts} % set of miscellaneous TeX fonts that augment the standard CM -\usepackage{amssymb} % mathematical special characters - -\usepackage{siunitx} - -\usepackage{graphicx} % integration of images -\usepackage{float} % floating objects - -\usepackage{caption} % for captions of figures and tables -\usepackage{subcaption} % for subcaptions in subfigures -\usepackage{cite} % use bibtex -\usepackage{wrapfig} - -\usepackage{exscale} % mathematical size corresponds to textsize -\usepackage{multirow} % multirow emables combining rows in tables -\usepackage{multicol} - -\usepackage{longtable} - -\usepackage{parskip} - -%--------------------------------------------------------------------------- -% Graphics paths -%--------------------------------------------------------------------------- -\graphicspath{{pictures/}{figures/}{diagrams/}} -%--------------------------------------------------------------------------- -% Blind text -> for dummy text -%--------------------------------------------------------------------------- -\usepackage{blindtext} -\usepackage{letltxmacro} -\LetLtxMacro{\blindtextblindtext}{\blindtext} - -\RenewDocumentCommand{\blindtext}{O{\value{blindtext}}}{ - \begingroup\color{BFH-Gray}\blindtextblindtext[#1]\endgroup -} -%--------------------------------------------------------------------------- -% Glossary Package -%--------------------------------------------------------------------------- -% the glossaries package uses makeindex -% if you use TeXnicCenter do the following steps: -% - Goto "Ausgabeprofile definieren" (ctrl + F7) -% - Select the profile "LaTeX => PDF" -% - Add in register "Nachbearbeitung" a new "Postprozessoren" point named Glossar -% - Select makeindex.exe in the field "Anwendung" ( ..\MiKTeX x.x\miktex\bin\makeindex.exe ) -% - Add this [ -s "%tm.ist" -t "%tmx.glg" -o "%tm.gls" "%tm.glo" ] in the field "Argumente" -% -% for futher informations go to http://ewus.de/tipp-1029.html -%--------------------------------------------------------------------------- -\usepackage[nonumberlist]{glossaries-extra} -\makeglossaries -\input{content/glossary} -%--------------------------------------------------------------------------- -% Makeindex Package -%--------------------------------------------------------------------------- -\usepackage{makeidx} -\makeindex -%\usepackage{imakeidx} % To produce index -%\makeindex[columns=2,intoc] % Index-Initialisation -%\makeindex[columns=3,columnseprule,columnsep,intoc] -%--------------------------------------------------------------------------- -% Hyperref Package (Create links in a pdf) -%--------------------------------------------------------------------------- -\usepackage[ - ,bookmarks - ,plainpages=false - ,pdfpagelabels - ,pdfusetitle - ,backref = {false} % No index backreference - ,colorlinks = {true} % Color links in a PDF - ,hypertexnames = {true} % no failures "same page(i)" - ,bookmarksopen = {true} % opens the bar on the left side - ,bookmarksopenlevel = {0} % depth of opened bookmarks - ,linkcolor=. - ,filecolor=. - ,urlcolor=. - ,citecolor=. -]{hyperref} -%--------------------------------------------------------------------------- - -%% %% Customize Footer and Headers in Document -%% \KOMAoptions{headsepline,plainheadsepline,footsepline,plainfootsepline}% -%% \setkomafont{headsepline}{\color{BFH-DarkBlue}}% BFH-DarkBlue required bfhcolors -%% \setkomafont{footsepline}{\color{BFH-DarkBlue}}% -%% \lehead*{lehead} % the * character does replace the header on the first chapter page as well -%% \cehead*{cehead} -%% \rehead*{rehead} -%% \lohead*{lohead} -%% \cohead*{cohead} -%% \rohead*{rohead} - -%% \lefoot*{lefoot} -%% \cefoot*{cefoot} -%% \refoot*{refoot} -%% \lofoot*{lofoot} -%% \cofoot*{cofoot} -%% \rofoot*{rofoot} -%--------------------------------------------------------------------------- -\begin{document} - -%------------ START FRONT PART ------------ -\frontmatter - -\title{DONAU} -\subtitle{Tax-deductable Donations for GNU Taler} -\author{Johannes Casaburi \and Lukas Matyja} -\institution{Bern University of Applied Sciences} -\department{Technik und Informatik} -\institute{Mikro- und Medizintechnik} -\version{1.0} -\titlegraphic*{\includegraphics{somePicture}} -\advisor{Prof. Dr. Christian Grothoff} -\coadvisor{Prof. Dr. Emmanuel Benoist} -\degreeprogram{Bachelor of Science in Computer Science} -\setupSignature{ - L. Matyja={\includegraphics[width=.5\linewidth]{sig_muster}}, - J. Casaburi={\includegraphics[width=.5\linewidth]{sig_example}} -} - - -%---------------- BFH tile page ----------------------------------------- -\maketitle -%------------ ABSTRACT ---------------- -\addchap{Abstract} -\input{content/abstract} - -%------------ TABLEOFCONTENTS ---------------- -\tableofcontents - -%------------ START MAIN PART ------------ -\mainmatter - -\chapter{Introduction} -\input{content/introduction} - -\chapter{Protocol} -\input{content/definitions.tex} -\input{content/main.tex} - -%------------ Authorship declaration translated to main language ------------ -\declarationOfAuthorship - -%----------- Bibliography ---------------- -%\clearpage -\bibliographystyle{unsrt} -\bibliography{project} % the project.bib file gets loaded - -%------------ List of Figures ------------ -\listoffigures - -%------------ List of Tables ------------- -\listoftables - -%------------ List of Listings ----------- -\lstlistoflistings - -%------------ Glossary ------------------- -\printglossary - -%------------ Index ---------------------- -%\clearpage -\printindex -%------------ Appendix ---------------- -\appendix -\chapter{First Appendix Chapter} - -\end{document} diff --git a/doc/bachelor_thesis/figures/.gitkeep b/doc/bachelor_thesis/figures/.gitkeep deleted file mode 100644 index e69de29..0000000 --- a/doc/bachelor_thesis/figures/.gitkeep +++ /dev/null diff --git a/doc/bachelor_thesis/figures/expl_bode.pdf b/doc/bachelor_thesis/figures/expl_bode.pdf Binary files differdeleted file mode 100644 index 6d7ad02..0000000 --- a/doc/bachelor_thesis/figures/expl_bode.pdf +++ /dev/null diff --git a/doc/bachelor_thesis/listings/.gitkeep b/doc/bachelor_thesis/listings/.gitkeep deleted file mode 100644 index e69de29..0000000 --- a/doc/bachelor_thesis/listings/.gitkeep +++ /dev/null diff --git a/doc/bachelor_thesis/listings/expl_hello.c b/doc/bachelor_thesis/listings/expl_hello.c deleted file mode 100644 index 5f8d931..0000000 --- a/doc/bachelor_thesis/listings/expl_hello.c +++ /dev/null @@ -1,9 +0,0 @@ -#include <stdio.h> -#include <stdlib.h> - -int -main (/* int argc, char **argv */) -{ - printf ("Hello World!\n"); - return EXIT_SUCCESS; -} diff --git a/doc/bachelor_thesis/pictures/.gitkeep b/doc/bachelor_thesis/pictures/.gitkeep deleted file mode 100644 index e69de29..0000000 --- a/doc/bachelor_thesis/pictures/.gitkeep +++ /dev/null diff --git a/doc/bachelor_thesis/pictures/bg-masthead.jpg b/doc/bachelor_thesis/pictures/bg-masthead.jpg Binary files differdeleted file mode 100644 index b7b0a4d..0000000 --- a/doc/bachelor_thesis/pictures/bg-masthead.jpg +++ /dev/null diff --git a/doc/bachelor_thesis/pictures/placeholder.jpg b/doc/bachelor_thesis/pictures/placeholder.jpg Binary files differdeleted file mode 100644 index 8b9d471..0000000 --- a/doc/bachelor_thesis/pictures/placeholder.jpg +++ /dev/null diff --git a/doc/bachelor_thesis/pictures/sig_example.png b/doc/bachelor_thesis/pictures/sig_example.png Binary files differdeleted file mode 100644 index 6fab963..0000000 --- a/doc/bachelor_thesis/pictures/sig_example.png +++ /dev/null diff --git a/doc/bachelor_thesis/pictures/sig_muster.png b/doc/bachelor_thesis/pictures/sig_muster.png Binary files differdeleted file mode 100644 index 72dd8a4..0000000 --- a/doc/bachelor_thesis/pictures/sig_muster.png +++ /dev/null diff --git a/doc/bachelor_thesis/pictures/somePicture.jpg b/doc/bachelor_thesis/pictures/somePicture.jpg Binary files differdeleted file mode 100644 index a7b5574..0000000 --- a/doc/bachelor_thesis/pictures/somePicture.jpg +++ /dev/null diff --git a/doc/bachelor_thesis/project.bib b/doc/bachelor_thesis/project.bib deleted file mode 100644 index 230984e..0000000 --- a/doc/bachelor_thesis/project.bib +++ /dev/null @@ -1,25 +0,0 @@ -@article{einstein, - author = "Albert Einstein", - title = "{Zur Elektrodynamik bewegter K{\"o}rper}. ({German}) - [{On} the electrodynamics of moving bodies]", - journal = "Annalen der Physik", - volume = "322", - number = "10", - pages = "891--921", - year = "1905", - DOI = "http://dx.doi.org/10.1002/andp.19053221004" -} - -@book{latexcompanion, - author = "Michel Goossens and Frank Mittelbach and Alexander Samarin", - title = "The \LaTeX\ Companion", - year = "1993", - publisher = "Addison-Wesley", - address = "Reading, Massachusetts" -} - -@misc{knuthwebsite, - author = "Donald Knuth", - title = "Knuth: Computers and Typesetting", - url = "http://www-cs-faculty.stanford.edu/\~{}uno/abcde.html" -}
\ No newline at end of file diff --git a/doc/protocol/diagrams/00-overview.drawio b/doc/protocol/diagrams/00-overview.drawio deleted file mode 100644 index eed8888..0000000 --- a/doc/protocol/diagrams/00-overview.drawio +++ /dev/null @@ -1,113 +0,0 @@ -<mxfile host="Electron" modified="2023-10-09T10:20:15.216Z" agent="Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) draw.io/22.0.2 Chrome/114.0.5735.289 Electron/25.8.4 Safari/537.36" etag="CmJ2KfCnykEhxYLA5XA6" version="22.0.2" type="device"> - <diagram name="Page-1" id="14ZIEaCrJvZK9EeKxkln"> - <mxGraphModel dx="794" dy="1238" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="850" pageHeight="1100" math="0" shadow="0"> - <root> - <mxCell id="0" /> - <mxCell id="1" parent="0" /> - <mxCell id="PeqiyIPKsWgejE-jhFCT-1" value="donor" style="ellipse;whiteSpace=wrap;html=1;fontSize=16;" parent="1" vertex="1"> - <mxGeometry x="110" y="160" width="120" height="80" as="geometry" /> - </mxCell> - <mxCell id="PeqiyIPKsWgejE-jhFCT-2" value="charity" style="ellipse;whiteSpace=wrap;html=1;fontSize=16;" parent="1" vertex="1"> - <mxGeometry x="610" y="160" width="120" height="80" as="geometry" /> - </mxCell> - <mxCell id="PeqiyIPKsWgejE-jhFCT-3" value="DONAU" style="ellipse;whiteSpace=wrap;html=1;fontSize=16;" parent="1" vertex="1"> - <mxGeometry x="365" y="295" width="120" height="80" as="geometry" /> - </mxCell> - <mxCell id="PeqiyIPKsWgejE-jhFCT-4" value="validator<br style="font-size: 16px;">(tax office)" style="ellipse;whiteSpace=wrap;html=1;fontSize=16;" parent="1" vertex="1"> - <mxGeometry x="365" y="412" width="120" height="80" as="geometry" /> - </mxCell> - <mxCell id="PeqiyIPKsWgejE-jhFCT-7" value="" style="endArrow=classic;html=1;rounded=0;sourcePerimeterSpacing=10;targetPerimeterSpacing=10;startSize=0;" parent="1" edge="1" target="PeqiyIPKsWgejE-jhFCT-3" source="PeqiyIPKsWgejE-jhFCT-1"> - <mxGeometry width="50" height="50" relative="1" as="geometry"> - <mxPoint x="240" y="220" as="sourcePoint" /> - <mxPoint x="410" y="260" as="targetPoint" /> - </mxGeometry> - </mxCell> - <mxCell id="-sgfXUvIWXVv4-Q9ZXnx-2" value="<font style="font-size: 12px;"><b>2.1</b> donation receipts,<br>year<br></font>" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];rotation=30;" vertex="1" connectable="0" parent="PeqiyIPKsWgejE-jhFCT-7"> - <mxGeometry x="0.3668" relative="1" as="geometry"> - <mxPoint x="-5" y="-22" as="offset" /> - </mxGeometry> - </mxCell> - <mxCell id="PeqiyIPKsWgejE-jhFCT-13" value="" style="endArrow=classic;html=1;rounded=0;sourcePerimeterSpacing=10;targetPerimeterSpacing=10;" parent="1" edge="1" target="PeqiyIPKsWgejE-jhFCT-2" source="PeqiyIPKsWgejE-jhFCT-1"> - <mxGeometry width="50" height="50" relative="1" as="geometry"> - <mxPoint x="221" y="179" as="sourcePoint" /> - <mxPoint x="611.0000000000014" y="179" as="targetPoint" /> - </mxGeometry> - </mxCell> - <mxCell id="KFT5oE16Zw0vZIVpkbdU-6" value="<font style="font-size: 12px;"><b style="border-color: var(--border-color); background-color: rgb(251, 251, 251);">1.1</b>&nbsp;donate: pay (with Taler), BDIDs</font>" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" parent="PeqiyIPKsWgejE-jhFCT-13" vertex="1" connectable="0"> - <mxGeometry x="0.3657" y="4" relative="1" as="geometry"> - <mxPoint x="-49" y="-8" as="offset" /> - </mxGeometry> - </mxCell> - <mxCell id="PeqiyIPKsWgejE-jhFCT-16" value="" style="endArrow=classic;html=1;rounded=0;sourcePerimeterSpacing=10;targetPerimeterSpacing=10;exitX=-0.003;exitY=0.631;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0.963;entryY=0.652;entryDx=0;entryDy=0;entryPerimeter=0;" parent="1" edge="1" target="PeqiyIPKsWgejE-jhFCT-1" source="PeqiyIPKsWgejE-jhFCT-2"> - <mxGeometry width="50" height="50" relative="1" as="geometry"> - <mxPoint x="600.0000000000014" y="189" as="sourcePoint" /> - <mxPoint x="240.0000000000001" y="189" as="targetPoint" /> - </mxGeometry> - </mxCell> - <mxCell id="KFT5oE16Zw0vZIVpkbdU-5" value="<font style="font-size: 12px;"><b style="border-color: var(--border-color); background-color: rgb(251, 251, 251);">1.3</b>&nbsp;blind signatures</font>" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" parent="PeqiyIPKsWgejE-jhFCT-16" vertex="1" connectable="0"> - <mxGeometry x="-0.1886" y="3" relative="1" as="geometry"> - <mxPoint x="-24" y="9" as="offset" /> - </mxGeometry> - </mxCell> - <mxCell id="PeqiyIPKsWgejE-jhFCT-19" value="" style="endArrow=open;html=1;rounded=0;dashed=1;dashPattern=1 4;strokeColor=default;endFill=0;edgeStyle=orthogonalEdgeStyle;exitX=0.025;exitY=0.421;exitDx=0;exitDy=0;entryX=0.282;entryY=1.027;entryDx=0;entryDy=0;entryPerimeter=0;exitPerimeter=0;" parent="1" edge="1" target="PeqiyIPKsWgejE-jhFCT-1" source="PeqiyIPKsWgejE-jhFCT-4"> - <mxGeometry width="50" height="50" relative="1" as="geometry"> - <mxPoint x="365" y="447.2" as="sourcePoint" /> - <mxPoint x="146" y="250" as="targetPoint" /> - </mxGeometry> - </mxCell> - <mxCell id="-sgfXUvIWXVv4-Q9ZXnx-10" value="<font style="font-size: 12px;">final tax assessment, <br>out of scope of Taler/Donau</font>" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];rotation=0;" vertex="1" connectable="0" parent="PeqiyIPKsWgejE-jhFCT-19"> - <mxGeometry x="-0.6785" relative="1" as="geometry"> - <mxPoint x="-44" y="20" as="offset" /> - </mxGeometry> - </mxCell> - <mxCell id="PeqiyIPKsWgejE-jhFCT-28" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.983;exitY=0.34;exitDx=0;exitDy=0;targetPerimeterSpacing=200;sourcePerimeterSpacing=20;endSize=6;exitPerimeter=0;entryX=0.213;entryY=0.975;entryDx=0;entryDy=0;entryPerimeter=0;" parent="1" edge="1" target="PeqiyIPKsWgejE-jhFCT-2" source="PeqiyIPKsWgejE-jhFCT-3"> - <mxGeometry width="50" height="50" relative="1" as="geometry"> - <mxPoint x="498" y="307" as="sourcePoint" /> - <mxPoint x="645" y="231" as="targetPoint" /> - </mxGeometry> - </mxCell> - <mxCell id="KFT5oE16Zw0vZIVpkbdU-4" value="<font style="font-size: 12px;"><b style="">1.3</b>&nbsp;blind signatures</font>" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];rotation=331;fontSize=12;" parent="PeqiyIPKsWgejE-jhFCT-28" vertex="1" connectable="0"> - <mxGeometry x="-0.4576" y="7" relative="1" as="geometry"> - <mxPoint x="45" y="-4" as="offset" /> - </mxGeometry> - </mxCell> - <mxCell id="-sgfXUvIWXVv4-Q9ZXnx-14" value="" style="endArrow=classic;html=1;rounded=0;sourcePerimeterSpacing=0;targetPerimeterSpacing=10;startSize=0;exitX=0;exitY=0.5;exitDx=0;exitDy=0;entryX=0.75;entryY=0.988;entryDx=0;entryDy=0;entryPerimeter=0;" edge="1" parent="1" source="PeqiyIPKsWgejE-jhFCT-3" target="PeqiyIPKsWgejE-jhFCT-1"> - <mxGeometry width="50" height="50" relative="1" as="geometry"> - <mxPoint x="360" y="330" as="sourcePoint" /> - <mxPoint x="234" y="242" as="targetPoint" /> - </mxGeometry> - </mxCell> - <mxCell id="-sgfXUvIWXVv4-Q9ZXnx-15" value="<font style="font-size: 12px;"><b>2.2</b>&nbsp;donation statement,<br>total<br></font>" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];rotation=30;" vertex="1" connectable="0" parent="-sgfXUvIWXVv4-Q9ZXnx-14"> - <mxGeometry x="0.3668" relative="1" as="geometry"> - <mxPoint x="32" y="40" as="offset" /> - </mxGeometry> - </mxCell> - <mxCell id="-sgfXUvIWXVv4-Q9ZXnx-16" value="" style="endArrow=classic;html=1;rounded=0;targetPerimeterSpacing=20;sourcePerimeterSpacing=20;endSize=6;" edge="1" parent="1" source="PeqiyIPKsWgejE-jhFCT-2" target="PeqiyIPKsWgejE-jhFCT-3"> - <mxGeometry width="50" height="50" relative="1" as="geometry"> - <mxPoint x="605.5255797046889" y="276.52062969973167" as="sourcePoint" /> - <mxPoint x="489.4705450312747" y="340.4754139623585" as="targetPoint" /> - </mxGeometry> - </mxCell> - <mxCell id="-sgfXUvIWXVv4-Q9ZXnx-17" value="<font style="font-size: 12px;"><b style="">1.2</b>&nbsp;signed BDID array</font>" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];rotation=331;fontSize=12;" vertex="1" connectable="0" parent="-sgfXUvIWXVv4-Q9ZXnx-16"> - <mxGeometry x="-0.4576" y="7" relative="1" as="geometry"> - <mxPoint x="-37" y="-2" as="offset" /> - </mxGeometry> - </mxCell> - <mxCell id="-sgfXUvIWXVv4-Q9ZXnx-27" value="" style="endArrow=classic;html=1;rounded=0;sourcePerimeterSpacing=10;targetPerimeterSpacing=10;startSize=0;edgeStyle=orthogonalEdgeStyle;" edge="1" parent="1" source="PeqiyIPKsWgejE-jhFCT-1" target="PeqiyIPKsWgejE-jhFCT-4"> - <mxGeometry width="50" height="50" relative="1" as="geometry"> - <mxPoint x="236" y="240" as="sourcePoint" /> - <mxPoint x="379" y="315" as="targetPoint" /> - <Array as="points"> - <mxPoint x="170" y="430" /> - </Array> - </mxGeometry> - </mxCell> - <mxCell id="-sgfXUvIWXVv4-Q9ZXnx-28" value="<font style="font-size: 12px;"><b>3 </b>donation receipts, year<br></font>" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];rotation=0;" vertex="1" connectable="0" parent="-sgfXUvIWXVv4-Q9ZXnx-27"> - <mxGeometry x="0.3668" relative="1" as="geometry"> - <mxPoint x="24" y="-16" as="offset" /> - </mxGeometry> - </mxCell> - </root> - </mxGraphModel> - </diagram> -</mxfile> diff --git a/doc/protocol/diagrams/00-overview.png b/doc/protocol/diagrams/00-overview.png Binary files differdeleted file mode 100644 index 634d738..0000000 --- a/doc/protocol/diagrams/00-overview.png +++ /dev/null diff --git a/doc/protocol/diagrams/01-setup-keys.plantuml b/doc/protocol/diagrams/01-setup-keys.plantuml deleted file mode 100644 index 6e5489e..0000000 --- a/doc/protocol/diagrams/01-setup-keys.plantuml +++ /dev/null @@ -1,25 +0,0 @@ -@startuml -left to right direction - -' scale elements so that latex becomes proportionally smaller -skinparam CardFontSize 20 -skinparam ArrowThickness 2 - -note as leg -<latex>$\overline{b} = blinded ...$</latex> -<latex>$\mu = \langle \overline{b}, H(K^{pub}_x) \rangle$</latex> -<latex>$\overline{\beta} = \text{blind signature}$</latex> -end note - -card Donor as donor -card Charity as charity -card Donau as donau - -donor --> charity : <latex>$\text{donation money} + \vec{\mu}$</latex> -charity --> donau : <latex>$\vec{\mu}_s$</latex> - -donau --> charity : <latex>$\overline{\beta}_1,..., \overline{\beta}_n$</latex> -charity --> donor : <latex>$\overline{\beta}_1,..., \overline{\beta}_n$</latex> - - -@enduml diff --git a/doc/protocol/diagrams/02-donate-light.plantuml b/doc/protocol/diagrams/02-donate-light.plantuml deleted file mode 100644 index a7d0718..0000000 --- a/doc/protocol/diagrams/02-donate-light.plantuml +++ /dev/null @@ -1,24 +0,0 @@ -@startuml -'left to right direction - -' scale elements so that latex becomes proportionally smaller -skinparam CardFontSize 25 -skinparam ArrowThickness 2 -' rectangular shaped arrow lines -skinparam linetype ortho - -card Donor as donor -card Charity as charity -card Donau as donau - -donor "<latex>$\text{1. donation money,}$\\$\text{\bigl[ \bigr] \langle}\text{blinded(donor id + nonce),} K_x^{pub} \rangle$</latex>" -> charity -charity "<latex>$\text{ 2.}$\\$\text{ \bigl[ \bigr] \langle}\text{blinded(donor id + nonce),} K_x^{pub} \rangle$\\$\text{ charity signature}$</latex>" --> donau - -donau --> charity : <latex>$\text{3. \bigl[ \bigr] blind signatures^*}$</latex> -charity --> donor : <latex>$\text{4. \bigl[ \bigr] blind signatures^*}$</latex> - -note as D #white -<latex>$\text{* array of blind signatures,}$\\$\text{one per blinded(donor id+nonce)}$</latex> -end note - -@enduml diff --git a/doc/protocol/diagrams/02-donate-light.png b/doc/protocol/diagrams/02-donate-light.png Binary files differdeleted file mode 100644 index 6e2d373..0000000 --- a/doc/protocol/diagrams/02-donate-light.png +++ /dev/null diff --git a/doc/protocol/diagrams/02-donate.plantuml b/doc/protocol/diagrams/02-donate.plantuml deleted file mode 100644 index 26b5ed0..0000000 --- a/doc/protocol/diagrams/02-donate.plantuml +++ /dev/null @@ -1,26 +0,0 @@ -@startuml -'left to right direction - -' scale elements so that latex becomes proportionally smaller -skinparam CardFontSize 25 -skinparam ArrowThickness 2 -' rectangular shaped arrow lines -skinparam linetype ortho - -card Donor as donor -card Charity as charity -card Donau as donau - -donor "<latex>$\text{ 1. }\vec\mu,$\\$\text{ donation money}$</latex>" -> charity -charity "<latex>$\text{2. }\sigma_c\text{ }$$</latex>" -> donau - -donau --> charity : <latex>$\text{3. }\overline\beta_1, ..., \overline\beta_n$</latex> -charity --> donor : <latex>$\text{4. }\overline\beta_1, ..., \overline\beta_n$</latex> - -note as leg #white -<latex>$\vec{u} = \text{blinded unique donor identifiers}$</latex> -<latex>$\mu = \langle \overline{u}, H(K^{pub}_x) \rangle$</latex> -<latex>$\sigma_c = \text{sign(\vec{\mu}, C^{priv})}$</latex> -<latex>$\overline{\beta} = \text{blind signature}$</latex> -end note -@enduml diff --git a/doc/protocol/diagrams/02-donate.png b/doc/protocol/diagrams/02-donate.png Binary files differdeleted file mode 100644 index 8d6292f..0000000 --- a/doc/protocol/diagrams/02-donate.png +++ /dev/null diff --git a/doc/protocol/diagrams/03-donation-statement-light.plantuml b/doc/protocol/diagrams/03-donation-statement-light.plantuml deleted file mode 100644 index 0515715..0000000 --- a/doc/protocol/diagrams/03-donation-statement-light.plantuml +++ /dev/null @@ -1,22 +0,0 @@ -@startuml -'left to right direction - -' scale elements so that latex becomes proportionally smaller -skinparam CardFontSize 25 -skinparam ArrowThickness 2 -' rectangular shaped arrow lines -skinparam linetype ortho - -card "Validator(Tax office)" as validator -card Donor as donor -card Donau as donau - -donor "<latex>$\text{ 1. donation receipts, year}$</latex>" -> donau -donau --> donor : <latex>$\text{2. signed donation statement,}$\\$\text{total for year}$</latex> -donor -> validator : <latex>$\text{3. donation statement, year}$</latex> - -'note as D -'<latex>$\text{* array of blind signatures, one per blinded(donor id+nonce)}$</latex> -'end note - -@enduml diff --git a/doc/protocol/diagrams/03-donation-statement-light.png b/doc/protocol/diagrams/03-donation-statement-light.png Binary files differdeleted file mode 100644 index 116cbd4..0000000 --- a/doc/protocol/diagrams/03-donation-statement-light.png +++ /dev/null diff --git a/doc/protocol/diagrams/03-donation-statement.plantuml b/doc/protocol/diagrams/03-donation-statement.plantuml deleted file mode 100644 index 0756fac..0000000 --- a/doc/protocol/diagrams/03-donation-statement.plantuml +++ /dev/null @@ -1,26 +0,0 @@ -@startuml -'left to right direction - -' scale elements so that latex becomes proportionally smaller -skinparam CardFontSize 25 -skinparam ArrowThickness 2 -' rectangular shaped arrow lines -skinparam linetype ortho - -card "Validator(Tax office)" as validator -card Donor as donor -card Donau as donau - -donor "<latex>$\text{ 1. }\vec{r}\text{, year}$</latex>" -> donau -donau --> donor : <latex>$\text{2. }\sigma_s$, \texttt{amount}_{Total}</latex> -donor -> validator : <latex>$\text{3. }QR$</latex> - -note as leg #white -<latex>\vec{r} = \text{donation receipts}</latex> -<latex>$s = \text{random salt}$</latex> -<latex>$i := H(\texttt{taxid}, s)$</latex> -<latex>\sigma_s = sign(\langle i, \texttt{amount}_{Total}, \texttt{year}) \rangle, D^{priv})</latex> -<latex>\texttt{QR} = \langle \texttt{taxid}, \texttt{salt}, \texttt{year}, \texttt{amount}, \text{$\sigma_s$} \rangle</latex> -end note - -@enduml diff --git a/doc/protocol/diagrams/03-donation-statement.png b/doc/protocol/diagrams/03-donation-statement.png Binary files differdeleted file mode 100644 index 5cc1946..0000000 --- a/doc/protocol/diagrams/03-donation-statement.png +++ /dev/null diff --git a/doc/thesis/.gitignore b/doc/thesis/.gitignore new file mode 100644 index 0000000..295f5a2 --- /dev/null +++ b/doc/thesis/.gitignore @@ -0,0 +1,303 @@ +## Core latex/pdflatex auxiliary files: +*.aux +*.lof +*.log +*.lot +*.fls +*.out +*.toc +*.fmt +*.fot +*.cb +*.cb2 +.*.lb + +## Intermediate documents: +*.dvi +*.xdv +*-converted-to.* +# these rules might exclude image files for figures etc. +# *.ps +# *.eps +# *.pdf + +## Generated if empty string is given at "Please type another file name for output:" +.pdf + +## Bibliography auxiliary files (bibtex/biblatex/biber): +*.bbl +*.bcf +*.blg +*-blx.aux +*-blx.bib +*.run.xml + +## Build tool auxiliary files: +*.fdb_latexmk +*.synctex +*.synctex(busy) +*.synctex.gz +*.synctex.gz(busy) +*.pdfsync + +## Build tool directories for auxiliary files +# latexrun +latex.out/ + +## Auxiliary and intermediate files from other packages: +# algorithms +*.alg +*.loa + +# achemso +acs-*.bib + +# amsthm +*.thm + +# beamer +*.nav +*.pre +*.snm +*.vrb + +# changes +*.soc + +# comment +*.cut + +# cprotect +*.cpt + +# elsarticle (documentclass of Elsevier journals) +*.spl + +# endnotes +*.ent + +# fixme +*.lox + +# feynmf/feynmp +*.mf +*.mp +*.t[1-9] +*.t[1-9][0-9] +*.tfm + +#(r)(e)ledmac/(r)(e)ledpar +*.end +*.?end +*.[1-9] +*.[1-9][0-9] +*.[1-9][0-9][0-9] +*.[1-9]R +*.[1-9][0-9]R +*.[1-9][0-9][0-9]R +*.eledsec[1-9] +*.eledsec[1-9]R +*.eledsec[1-9][0-9] +*.eledsec[1-9][0-9]R +*.eledsec[1-9][0-9][0-9] +*.eledsec[1-9][0-9][0-9]R + +# glossaries +*.acn +*.acr +*.glg +*.glo +*.gls +*.glsdefs +*.lzo +*.lzs +*.slg +*.slo +*.sls + +# uncomment this for glossaries-extra (will ignore makeindex's style files!) +# *.ist + +# gnuplot +*.gnuplot +*.table + +# gnuplottex +*-gnuplottex-* + +# gregoriotex +*.gaux +*.glog +*.gtex + +# htlatex +*.4ct +*.4tc +*.idv +*.lg +*.trc +*.xref + +# hyperref +*.brf + +# knitr +*-concordance.tex +# TODO Uncomment the next line if you use knitr and want to ignore its generated tikz files +# *.tikz +*-tikzDictionary + +# listings +*.lol + +# luatexja-ruby +*.ltjruby + +# makeidx +*.idx +*.ilg +*.ind + +# minitoc +*.maf +*.mlf +*.mlt +*.mtc[0-9]* +*.slf[0-9]* +*.slt[0-9]* +*.stc[0-9]* + +# minted +_minted* +*.pyg + +# morewrites +*.mw + +# newpax +*.newpax + +# nomencl +*.nlg +*.nlo +*.nls + +# pax +*.pax + +# pdfpcnotes +*.pdfpc + +# sagetex +*.sagetex.sage +*.sagetex.py +*.sagetex.scmd + +# scrwfile +*.wrt + +# svg +svg-inkscape/ + +# sympy +*.sout +*.sympy +sympy-plots-for-*.tex/ + +# pdfcomment +*.upa +*.upb + +# pythontex +*.pytxcode +pythontex-files-*/ + +# tcolorbox +*.listing + +# thmtools +*.loe + +# TikZ & PGF +*.dpth +*.md5 +*.auxlock + +# titletoc +*.ptc + +# todonotes +*.tdo + +# vhistory +*.hst +*.ver + +# easy-todo +*.lod + +# xcolor +*.xcp + +# xmpincl +*.xmpi + +# xindy +*.xdy + +# xypic precompiled matrices and outlines +*.xyc +*.xyd + +# endfloat +*.ttt +*.fff + +# Latexian +TSWLatexianTemp* + +## Editors: +# WinEdt +*.bak +*.sav + +# Texpad +.texpadtmp + +# LyX +*.lyx~ + +# Kile +*.backup + +# gummi +.*.swp + +# KBibTeX +*~[0-9]* + +# TeXnicCenter +*.tps + +# auto folder when using emacs and auctex +./auto/* +*.el + +# expex forward references with \gathertags +*-tags.tex + +# standalone packages +*.sta + +# Makeindex log files +*.lpz + +# xwatermark package +*.xwm + +# REVTeX puts footnotes in the bibliography by default, unless the nofootinbib +# option is specified. Footnotes are the stored in a file with suffix Notes.bib. +# Uncomment the next line to have this generated file ignored. +#*Notes.bib + +.DS_Store diff --git a/doc/thesis/bibliography.bib b/doc/thesis/bibliography.bib new file mode 100644 index 0000000..4bb4acc --- /dev/null +++ b/doc/thesis/bibliography.bib @@ -0,0 +1,9 @@ +% Source: http://tug.ctan.org/tex-archive/macros/latex/contrib/aguplus/sample.bib +@ARTICLE{smit54, + AUTHOR = {J. G. Smith and H. K. Weston}, + TITLE = {Nothing Particular in this Year's History}, + YEAR = {1954}, + JOURNAL = {J. Geophys. Res.}, + VOLUME = {2}, + PAGES = {14-15} +} diff --git a/doc/bachelor_thesis/content/abstract.tex b/doc/thesis/chapters/intro/abstract.tex index 5ab5276..228ac9a 100644 --- a/doc/bachelor_thesis/content/abstract.tex +++ b/doc/thesis/chapters/intro/abstract.tex @@ -1,7 +1,7 @@ -This bachelor thesis describes and implements a theoretical contcept of a donation authority system. The donation authority or in short Donau is privacy friendly and free software. It examines the usability by asking a tax authority about their current donation system and obtaining their opinion on the Donau project. - -Donau is a GNU Taler project. It depends on the code of the GNU Taler environment, but is completely independent of the Taler payment system. +\begin{abstract} +This bachelor thesis describes and implements a theoretical contcept of a donation authority system. The donation authority or in short Donau is privacy friendly and free software. It examines the usability by asking a tax authority about their current donation system and obtaining their opinion on the Donau project. Donau is a GNU Taler project. It depends on the code of the GNU Taler environment, but is completely independent of the Taler payment system. The Donau environment includes three stakeholder. Donors, charities and of course the tax authority. The centerpiece, the Donau, would be operated by the tax authority itself. The Donau issues donation receipts for the Donor via charity and validates the receipts from the donor. Issuance by the authority prevents possible donation receipt forgeries. The automation of the donation receipt validation process would also allow the donor's various donation receipts to be combined into one. Donation data is often sensitive data. Therefore, in order to protect the donor, the system is designed to collect and store as little data as possible and to anonymize the data where possible. results... +\end{abstract} diff --git a/doc/bachelor_thesis/content/introduction.tex b/doc/thesis/chapters/intro/introduction.tex index 7b2cc86..3b1b884 100644 --- a/doc/bachelor_thesis/content/introduction.tex +++ b/doc/thesis/chapters/intro/introduction.tex @@ -9,4 +9,3 @@ their tax. This can be done by reusing cryptography present in Taler. A great part of the project will be specifying the details, as well as implementing the Donau (Donation authority). Furthermore, the Taler merchant part and the wallet will have to be developed/adapted. Optionally, a small Android donation verification app will also be provided. - diff --git a/doc/protocol/definitions.tex b/doc/thesis/chapters/protocol/definitions.tex index 517710c..517710c 100644 --- a/doc/protocol/definitions.tex +++ b/doc/thesis/chapters/protocol/definitions.tex diff --git a/doc/protocol/main.tex b/doc/thesis/chapters/protocol/details.tex index 7e3fe3a..33ebf82 100644 --- a/doc/protocol/main.tex +++ b/doc/thesis/chapters/protocol/details.tex @@ -1,43 +1,3 @@ -\documentclass{article} - -\usepackage[english]{babel} -\usepackage[utf8]{inputenc} -\usepackage{amsmath,amssymb} -\usepackage{parskip} -\usepackage{graphicx} - -\graphicspath{ {./diagrams/} } - -% Margins -\usepackage[top=3cm, left=3cm, right=3cm, bottom=3cm]{geometry} -% Colour table cells -\usepackage[table]{xcolor} -% diagram packages -\usepackage{tikz, pgfplots} -\usetikzlibrary{positioning} - -\title{Donau Protocol Overview} -\author{Johannes Casaburi \and Pius Loosli \and Lukas Matyja} -\date{\today} - -\begin{document} -\maketitle - -\input{definitions.tex} - -% \newpage -% FIXME -% \section{Overview} -% \subsection{Donation: spend and get donation receipt} -% \includegraphics[width=\textwidth]{02-donate} -% -% \subsection{Get donation statement for taxes after tax period} -% \includegraphics[width=\textwidth]{03-donation-statement} - - -%\input{diagrams.tex} - -\newpage \section{Protocol Detail} \subsection{Key generation and initial setup} @@ -215,6 +175,3 @@ \end{align*} \end{enumerate} - -\end{document} - diff --git a/doc/protocol/main.pdf b/doc/thesis/chapters/protocol/protocol.pdf Binary files differindex 91e815f..f5ccb1a 100644 --- a/doc/protocol/main.pdf +++ b/doc/thesis/chapters/protocol/protocol.pdf diff --git a/doc/thesis/chapters/protocol/protocol.tex b/doc/thesis/chapters/protocol/protocol.tex new file mode 100644 index 0000000..a0a561e --- /dev/null +++ b/doc/thesis/chapters/protocol/protocol.tex @@ -0,0 +1,33 @@ +\documentclass{article} + +\usepackage[english]{babel} +\usepackage[utf8]{inputenc} +\usepackage{amsmath,amssymb} +\usepackage{parskip} +\usepackage{graphicx} + +\graphicspath{ {./diagrams/} } + +% Margins +\usepackage[top=3cm, left=3cm, right=3cm, bottom=3cm]{geometry} +% Colour table cells +\usepackage[table]{xcolor} +% diagram packages +\usepackage{tikz, pgfplots} +\usetikzlibrary{positioning} + +\title{Donau Protocol Overview} +\author{Johannes Casaburi \and Pius Loosli \and Lukas Matyja} +\date{\today} + +\begin{document} +\maketitle + +\input{definitions.tex} + +\newpage + +\input{details.tex} + +\end{document} + diff --git a/doc/bachelor_thesis/content/.gitkeep b/doc/thesis/images/.gitkeep index e69de29..e69de29 100644 --- a/doc/bachelor_thesis/content/.gitkeep +++ b/doc/thesis/images/.gitkeep diff --git a/doc/thesis/settings/settings.tex b/doc/thesis/settings/settings.tex new file mode 100644 index 0000000..c6c3e64 --- /dev/null +++ b/doc/thesis/settings/settings.tex @@ -0,0 +1,75 @@ +\usepackage[utf8]{inputenc} +\usepackage{amsmath} +\usepackage{amsfonts} +\usepackage{amssymb} +\usepackage{graphicx} +\usepackage[final]{pdfpages} +\usepackage{stmaryrd} +\usepackage{listings} +\usepackage[hidelinks]{hyperref} +\usepackage[english]{babel} +\usepackage{color} +\usepackage{fancyhdr} +\usepackage{xcolor} +\usepackage{url} +\usepackage{sectsty} +\usepackage{etoolbox} +\usepackage{tikz} + +% Abstract +\patchcmd{\abstract}{\null\vfil}{}{}{} + +% Graphics and images +\graphicspath{{./images/}} + +% Set headers to sans serif +\allsectionsfont{\sffamily} + +% Defining colors for syntax highlighting +\definecolor{commentsColor}{rgb}{0.497495, 0.497587, 0.497464} +\definecolor{keywordsColor}{rgb}{0.000000, 0.000000, 0.635294} +\definecolor{stringColor}{rgb}{0.558215, 0.000000, 0.135316} + +\lstset{aboveskip=20pt,belowskip=20pt} + +% Source: https://denbeke.be/blog/programming/syntax-highlighting-in-latex/ +\lstset{ + backgroundcolor=\color{white}, + basicstyle=\ttfamily\small, + breakatwhitespace=false, + breaklines=true, + captionpos=b, + commentstyle=\color{commentsColor}\textit, + deletekeywords={...}, + escapeinside={\%*}{*)}, + extendedchars=true, + frame=tb, + keepspaces=true, + keywordstyle=\color{keywordsColor}\bfseries, + %language=Python, + otherkeywords={*,...}, + %numbers=left, + numbersep=5pt, + numberstyle=\tiny\color{commentsColor}, + rulecolor=\color{black}, + showspaces=false, + showstringspaces=false, + showtabs=false, + stepnumber=1, + stringstyle=\color{stringColor}, + tabsize=2, + title=\lstname, + columns=fixed +} + +% Bibliography +\bibliographystyle{unsrturl} + +% Pagestyle +\pagestyle{fancy} + +% Hyperlinks +\hypersetup{ + colorlinks=true, + allcolors=black +} diff --git a/doc/thesis/thesis.pdf b/doc/thesis/thesis.pdf Binary files differnew file mode 100644 index 0000000..8908f2c --- /dev/null +++ b/doc/thesis/thesis.pdf diff --git a/doc/thesis/thesis.tex b/doc/thesis/thesis.tex new file mode 100644 index 0000000..e5b24b1 --- /dev/null +++ b/doc/thesis/thesis.tex @@ -0,0 +1,28 @@ +\documentclass[11pt,a4paper]{report} + +\include{settings/settings} + +\begin{document} + +\title{\Huge\textsf{\textbf{DONAU}}\\ +\vspace{30px} +\large{Tax-deductable Donations for GNU Taler}} +\author{Johannes Casaburi \and Lukas Matyja} + +\maketitle + +\include{chapters/intro/abstract} + +\tableofcontents + +\chapter{Introduction} +\include{chapters/intro/introduction} + +\chapter{Protocol} +\include{chapters/protocol/definitions} +\include{chapters/protocol/details} + +\bibliography{bibliography} +\addcontentsline{toc}{chapter}{Bibliography} + +\end{document} |
