GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-11 22:17:18 +03:00
Code Issues Projects Releases Wiki Activity

Replace usage of zipWith (^) with (^) in a book example.

Browse Source 
Fixes #803.
This commit is contained in:
Brian Huffman 2020-09-22 18:30:23 -07:00
parent f6d9f4b0e9
commit c938793107
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/crashCourse/CrashCourse.tex
View File

@ -3346,8 +3346,8 @@ import Hash::SHA3
hmac : {keySize, msgSize} (fin keySize, fin msgSize) => [keySize] -> [msgSize] -> [512]
hmac k m = sha3 (ko # sha3 (ki # m))
where ko = zipWith (^) kFull (join (repeat 0x5c))
ki = zipWith (^) kFull (join (repeat 0x36))
where ko = kFull ^ join (repeat 0x5c)
ki = kFull ^ join (repeat 0x36)
kFull = if `keySize == blocksize
then take (k#zero)
else sha3 k