slides

1 files changed, 111 insertions, 9 deletions

diff --git a/presentation/slides.tex b/presentation/slides.tex
index 9d6e16e..d5ebbff 100644
--- a/presentation/slides.tex
+++ b/presentation/slides.tex
@@ -63,6 +63,14 @@
 \usepackage{graphicx} % Allows including images
 \usepackage{booktabs} % Allows the use of \toprule, \midrule and \bottomrule in tables
 
+\usepackage{eurosym}
+
+\usepackage{tikz}
+\usetikzlibrary{shapes,arrows}
+\usetikzlibrary{positioning}
+\usetikzlibrary{calc}
+
+
 \newcounter{sauvegardeenumi}
 \newcommand{\saveEnumCounter}{\setcounter{sauvegardeenumi}{\theenumi}}
 \newcommand{\continueEnumCounter}{\setcounter{enumi}{\thesauvegardeenumi}}
@@ -98,10 +106,8 @@ Inria \\ % Your institution for the title page
 \titlepage % Print the title page as the first slide
 \end{frame}
 
+\section{Introduction and Motivation}
 
-\begin{frame}
-\frametitle{How do Payments work today?}
-\end{frame}
 
 %--------------------
 
@@ -117,27 +123,86 @@ Can/should we have a payment system for the internet?
 \end{block}
 \end{frame}
 
+%--------------------
+
+\begin{frame}
+\frametitle{Contributions}
+Income-transparent online e-cash
+
+Byzantine Set-Union Consensus
+\end{frame}
 
 %--------------------
 
 \begin{frame}
 \frametitle{Design Goals}
+% say:  design goals are entirely objective
 Not all payment systems have the same requirements.  We want ours to
-\begin{enumerate}
+\begin{enumerate}[<+- | alert@+>]
   \item \ldots be implemented as free software.
+  \item \ldots protect the privacy of buyers.
+  \item \ldots enable the state to tax income and crack down on illegal business
+    activities.
+  \item \ldots prevent payment fraud.
+  \item \ldots only disclose the minimal amount of information necessary.
+  \item \ldots be useable.
+  \item \ldots be efficient.
+  \item \ldots avoid single points of failure.
+  \item \ldots foster competition.
 \end{enumerate}
+\pause $\Rightarrow$ The GNU Taler system is an effort to implement this system.
 \end{frame}
 
-%--------------------
+%----------------------------
 
 \begin{frame}
-\frametitle{Contributions}
-Income-transparent online e-cash
+\frametitle{Architecture of Payment Systems}
+Payment systems complex (tech) stacks.
+\end{frame}
 
-Byzantine Set-Union Consensus
+
+%----------------------------
+
+\begin{frame}
+\frametitle{Taler Overview}
+\begin{center}
+\begin{tikzpicture}
+ \tikzstyle{def} = [node distance= 5em and 6.5em, inner sep=1em, outer sep=.3em];
+ \node (origin) at (0,0) {};
+ \node (exchange) [def,above=of origin,draw]{Exchange};
+ \node (customer) [def, draw, below left=of origin] {Customer};
+ \node (merchant) [def, draw, below right=of origin] {Merchant};
+ \node (auditor) [def, draw, above right=of origin]{Auditor};
+
+ \tikzstyle{C} = [color=black, line width=1pt]
+
+ \draw [<-, C] (customer) -- (exchange) node [midway, above, sloped] (TextNode) {withdraw coins};
+ \draw [<-, C] (exchange) -- (merchant) node [midway, above, sloped] (TextNode) {deposit coins};
+ \draw [<-, C] (merchant) -- (customer) node [midway, above, sloped] (TextNode) {spend coins};
+ \draw [<-, C] (exchange) -- (auditor) node [midway, above, sloped] (TextNode) {verify};
+
+\end{tikzpicture}
+\end{center}
 \end{frame}
 
-%---------------------
+
+%----------------------------
+
+\begin{frame}{Taxability}
+  We say Taler is taxable because:
+  \begin{itemize}
+  \item Merchant's income is visible from deposits.
+  \item Hash of contract is part of deposit data.
+  \item State can trace income and enforce taxation.
+  \end{itemize}\pause
+  Limitations:
+  \begin{itemize}
+  \item withdraw loophole
+  \item {\em sharing} coins among family and friends
+  \end{itemize}
+\end{frame}
+
+%----------------------------
 
 
 \begin{frame}
@@ -147,6 +212,12 @@ Technically Obvious, but makes you think about what goes wrong,
 \end{frame}
 
 \begin{frame}
+\frametitle{Compromise Scenarios}
+\end{frame}
+
+%----------------------------
+
+\begin{frame}
 \frametitle{Security Properties}
 Other systems don't focus that much on aborts.  Something goes wrong, then what do you do?
 
@@ -157,6 +228,7 @@ Most work focuses on offline e-cash.
 No considerations of practical compromise.
 \end{frame}
 
+%----------------------------
 
 \begin{frame}
 \frametitle{Security Properties (cont'd)}
@@ -171,6 +243,9 @@ No considerations of practical compromise.
   \end{block}
 \end{frame}
 
+
+%----------------------------
+
 \begin{frame}
 \frametitle{Security Properties (cont'd)}
   \begin{block}{Conservation}
@@ -184,6 +259,25 @@ No considerations of practical compromise.
   \end{block}
 \end{frame}
 
+%----------------------------
+
+\section{Byzantine Set Consensus}
+
+\frame{\tableofcontents[currentsection]}
+
+\begin{frame}
+  \frametitle{Byzantine Consensus}
+\end{frame}
+
+\begin{frame}
+  \frametitle{Byzantine Consensus Over (Super-)Sets}
+\end{frame}
+
+%----------------------------
+
+\begin{frame}
+\end{frame}
+
 \begin{frame}
 \frametitle{Future Academic Work}
   \begin{itemize}
@@ -200,6 +294,14 @@ No considerations of practical compromise.
   \end{itemize}
 \end{frame}
 
+\begin{frame}
+\frametitle{Publications}
+\end{frame}
+
+\begin{frame}
+  \frametitle{Bibliography (Tiny Selection)}
+\end{frame}
+
 %------------------------------------------------
 
 %\begin{frame}