Skip to content

Commit

Permalink
Corrects typo in ElGamal Signatures
Browse files Browse the repository at this point in the history
This completes the `overview` slides (part of #5).  This version took

    45 + 50 + 45 + 55 minutes

to complete.
  • Loading branch information
dbosk committed Apr 1, 2016
1 parent 2c579ba commit 886a383
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions overview/overview-content.tex
Original file line number Diff line number Diff line change
Expand Up @@ -746,14 +746,14 @@ \subsection{Digital Signatures}
\begin{itemize}
\item \framebox{Alice} chooses random \(0 < y < |\Z_p^*|\) and computes
\(r = g^y\in \Z_p^*\).
\item She computes \framebox{\(s = (h(m) - xr)\pmod{|\Z_p^*|}\).}
\item She computes \framebox{\(s = (h(m) - xr) y^{-1} \pmod{|\Z_p^*|}\).}
\item She sends \((r, s)\) to Bob.
\end{itemize}
Verification:
\begin{itemize}
\item \framebox{Bob checks if \(g^{h(m)} \stackrel{?}{=}_{\Z_p^*} (g^x)^r
r^s\)}\( =_{\Z_p^*}
(g^x)^{g^y} (g^y)^{h(m) - xg^y} =_{\Z_p^*}
(g^x)^{g^y} (g^y)^{(h(m) - xg^y)y^{-1}} =_{\Z_p^*}
g^{xg^y + h(m) - xg^y}\)
\end{itemize}
\end{definition}
Expand Down

0 comments on commit 886a383

Please sign in to comment.