Minor tidyings for first ePrint submission.

[doc/wrestlers] / wr-main.tex

diff --git a/wr-main.tex b/wr-main.tex
index 185bc37..3df0e46 100644 (file)
--- a/wr-main.tex
+++ b/wr-main.tex
@@ -88,13 +88,13 @@
     & $r \getsr \Nupto{q}$; \\
     & $R \gets r P$; \\
     & $Y \gets r A$; \\
-    & $h \gets H(\cookie{check}, R, Y)$; \\
+    & $h \gets H(\cookie{check}, Y)$; \\
     & \\
     \send{<-}{(R, h)}
     $Y \gets a R$; \\
     \\
     \diff \textbf{Check} $q R = 0$; \\
-    \textbf{Check} $h = H(\cookie{check}, R, Y)$ \\
+    \textbf{Check} $h = H(\cookie{check}, Y)$ \\
     \send{->}{Y}
     & \textbf{Check} $Y$
   \end{protocol}