X-Git-Url: https://git.distorted.org.uk/~mdw/doc/wrestlers/blobdiff_plain/dff0fad2fb0c4edacbe668fdd72030e7e8ac5db7..d8139f2c31e93c80a17e6edf2b19b9344ab18b56:/wr-main.tex diff --git a/wr-main.tex b/wr-main.tex index 185bc37..3df0e46 100644 --- 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}