GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-11 07:00:49 +03:00
Code Issues Projects Releases Wiki Activity

Add necessary type arguments to scytale example.

Browse Source
This commit is contained in:
Thomas M. DuBuisson 2016-07-05 15:07:14 -07:00
parent 78cacc4d3e
commit 8485f28a6b
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
docs/ProgrammingCryptol/classic/Classic.tex
View File

@ -704,7 +704,7 @@ has {\tt diameter} characters in it. Here is Cryptol in action,
encrypting the message {\tt ATTACKATDAWN}:
\begin{Verbatim}
Cryptol> :set ascii=on
Cryptol> scytale "ATTACKATDAWN"
Cryptol> scytale `{diameter=3} "ATTACKATDAWN"
"ACDTKATAWATN"
\end{Verbatim}
Decryption is essentially the same process, except we have to {\tt
@ -724,7 +724,7 @@ precisely the same, except for the signature on {\tt msg'}! When
viewed as a matrix, the types precisely tell which transposition we
want at each step. We have:
\begin{Verbatim}
Cryptol> dScytale "ACDTKATAWATN"
Cryptol> dScytale `{diameter=3} "ACDTKATAWATN"
"ATTACKATDAWN"
\end{Verbatim}