X-Git-Url: https://git.distorted.org.uk/~mdw/doc/wrestlers/blobdiff_plain/ffedfecd0ecbfb00ea2e1f6bc0b9a9a2e290124c..dad405cb7669a3d72ebfa63d4ed514626a2984e6:/wrestlers.tex

diff --git a/wrestlers.tex b/wrestlers.tex
index 10d363d..4705316 100644
--- a/wrestlers.tex
+++ b/wrestlers.tex
@@ -201,7 +201,6 @@
 \fi
 
 %%%--------------------------------------------------------------------------
-
 \section{Introduction}
 
 This paper proposes protocols for \emph{identification} and
@@ -448,7 +447,6 @@ various theorems stated here.
 \fi
 
 %%%--------------------------------------------------------------------------
-
 \section{Preliminaries}
 \label{sec:prelim}
 
@@ -1307,7 +1305,6 @@ case.
 \fi
 
 %%%--------------------------------------------------------------------------
-
 \section{A zero-knowledge identification scheme}
 \label{sec:zk-ident}
 
@@ -2024,7 +2021,6 @@ as efficient and is based on much more conservative assumptions.
 \fi
 
 %%%--------------------------------------------------------------------------
-
 \section{A simple key-exchange protocol}
 \label{sec:kx}
 
@@ -3085,7 +3081,6 @@ We offer a sketch proof of this claim in appendix~\ref{sec:sc-proof}.
 \fi
 
 %%%--------------------------------------------------------------------------
-
 \section{Conclusions}
 \label{sec:conc}
 
@@ -3096,7 +3091,6 @@ Finally, we have shown how to modify the key-exchange protocol for practical
 use, and proven that this modification is still secure.
 
 %%%--------------------------------------------------------------------------
-
 \section{Acknowledgements}
 
 The Wrestlers Protocol is named after the Wrestlers pub in Cambridge where
@@ -3107,7 +3101,6 @@ Clive Jones and I worked out the initial design.
 \bibliography{mdw-crypto}
 
 %%%--------------------------------------------------------------------------
-
 \ifshort\def\next{\end{document}}\expandafter\next\fi
 \appendix
 \section{Proofs}
