commit dbc14fc9dc2bb4f6c90fb2194725c5639a3edf47
parent bf8002012cf4d7835663d16fdd3517908fe2e671
Author: Jeffrey Burdges <burdges@gnunet.org>
Date: Sat, 5 Aug 2017 15:56:37 +0200
Equation variable choices
Diffstat:
3 files changed, 20 insertions(+), 19 deletions(-)
diff --git a/presentations/comprehensive/dh.pdf b/presentations/comprehensive/dh.pdf
Binary files differ.
diff --git a/presentations/comprehensive/dh.svg b/presentations/comprehensive/dh.svg
@@ -134,7 +134,7 @@
y="408.54025"
x="428.83801"
id="tspan4185"
- sodipodi:role="line">D</tspan></text>
+ sodipodi:role="line">C</tspan></text>
<text
sodipodi:linespacing="125%"
id="text4199"
@@ -145,7 +145,7 @@
y="409.40958"
x="452.52808"
id="tspan4201"
- sodipodi:role="line">H</tspan></text>
+ sodipodi:role="line">T</tspan></text>
</g>
</g>
</svg>
diff --git a/presentations/comprehensive/main.tex b/presentations/comprehensive/main.tex
@@ -525,9 +525,9 @@ But of course we use modern instantiations.
\begin{minipage}{6cm}
\begin{enumerate}
\item Obtain public key $(e,n)$
- \item Compute $m := FDH(C)$, $m < n$.
+ \item Compute $f := FDH(C)$, $f < n$.
\item Pick blinding factor $b \in \mathbb Z_n$
- \item Transmit $m' := m b^e \mod n$
+ \item Transmit $f' := f b^e \mod n$
\end{enumerate}
\end{minipage}
\begin{minipage}{6cm}
@@ -535,14 +535,14 @@ But of course we use modern instantiations.
\tikzstyle{def} = [node distance= 2em and 0.5em, inner sep=0em, outer sep=.3em];
\node (origin) at (0,0) {\includegraphics[width=0.2\textwidth]{dice.pdf}};
\node (b) [def, draw=none, below = of origin] at (0,-0.2) {$b$};
- \node (blinded) [def, draw=none, below right=of m]{\includegraphics[width=0.2\textwidth]{blinded.pdf}};
+ \node (blinded) [def, draw=none, below right=of b]{\includegraphics[width=0.2\textwidth]{blinded.pdf}};
\node (planchet) [def, draw=none, above right=of blinded]{\includegraphics[width=0.15\textwidth]{planchet.pdf}};
\node (exchange) [node distance=4em and 0.5em, draw, below =of blinded]{Exchange};
\tikzstyle{C} = [color=black, line width=1pt]
- \draw [<-, C] (m) -- (origin) node [midway, above, sloped] (TextNode) {};
+ \draw [<-, C] (b) -- (origin) node [midway, above, sloped] (TextNode) {};
\draw [<-, C] (blinded) -- (planchet) node [midway, above, sloped] (TextNode) {};
- \draw [<-, C] (blinded) -- (m) node [midway, above, sloped] (TextNode) {};
+ \draw [<-, C] (blinded) -- (b) node [midway, above, sloped] (TextNode) {};
\draw [<-, C] (exchange) -- (blinded) node [midway, above, sloped] (TextNode) {{\small transmit}};
\end{tikzpicture}
\end{minipage}
@@ -552,8 +552,8 @@ But of course we use modern instantiations.
\begin{frame}{Exchange: Blind sign (RSA)}
\begin{minipage}{6cm}
\begin{enumerate}
- \item Receive $m'$.
- \item Compute $s' := m'^d \mod n$.
+ \item Receive $f'$.
+ \item Compute $s' := f'^d \mod n$.
\item Send signature $s'$.
\end{enumerate}
\end{minipage}
@@ -578,7 +578,8 @@ But of course we use modern instantiations.
\begin{minipage}{6cm}
\begin{enumerate}
\item Receive $s'$.
- \item Compute $s := s' b^{-1} \mod n$.
+ \item Compute $s := s' b^{-1} \mod n$ % \\
+ % ($(f')^d = (f b^e)^d = f^d b$).
\end{enumerate}
\end{minipage}
\begin{minipage}{6cm}
@@ -761,22 +762,22 @@ But of course we use modern instantiations.
\begin{frame}{Diffie-Hellman (ECDH)}
\begin{minipage}{8cm}
\begin{enumerate}
- \item Create private keys $d,h \mod o$
- \item Define $D = dG$
- \item Define $H = hG$
- \item Compute $DH := d(hD) = h(dH)$
+ \item Create private keys $c,t \mod o$
+ \item Define $C = cG$
+ \item Define $T = tG$
+ \item Compute DH \\ $cT = c(tG) = t(cG) = tC$
\end{enumerate}
\end{minipage}
\begin{minipage}{6cm}
\begin{tikzpicture}
\tikzstyle{def} = [node distance= 2em and 0.5em, inner sep=0em, outer sep=.3em];
- \node (h) [def, draw=none] at (0,0) {$h$};
- \node (dh) [def, draw=none, below left=of b]{\includegraphics[width=0.2\textwidth]{dh.pdf}};
- \node (d) [def, draw=none, above left= of dh] {$d$};
+ \node (t) [def, draw=none] at (0,0) {$t$};
+ \node (ct) [def, draw=none, below left=of b]{\includegraphics[width=0.2\textwidth]{dh.pdf}};
+ \node (c) [def, draw=none, above left= of ct] {$c$};
\tikzstyle{C} = [color=black, line width=1pt]
- \draw [<-, C] (dh) -- (d) node [midway, above, sloped] (TextNode) {};
- \draw [<-, C] (dh) -- (h) node [midway, above, sloped] (TextNode) {};
+ \draw [<-, C] (ct) -- (c) node [midway, above, sloped] (TextNode) {};
+ \draw [<-, C] (ct) -- (t) node [midway, above, sloped] (TextNode) {};
\end{tikzpicture}
\end{minipage}
\end{frame}
