GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-30 13:57:20 +03:00
Code Issues Projects Releases Wiki Activity

Fix typo in definition of distributed property of gf28DotProduct

Browse Source 
Closes #762
This commit is contained in:
Brett Boston 2020-06-18 17:37:17 -07:00
parent c53f3cf172
commit 8b6581f263
3 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
docs/Cryptol.pdf
View File

Binary file not shown.

BIN
docs/ProgrammingCryptol.pdf
View File

Binary file not shown.

2
docs/ProgrammingCryptol/aes/AES.tex
View File

@ -699,7 +699,7 @@ such that {\tt gf28DotProduct} returns the dot-product of two length $n$ vectors
addition:
\begin{eqnarray*}
a \cdot b &=& b \cdot a \\
a \cdot (b + c) &=& a\cdot b + a\cdot b
a \cdot (b + c) &=& a\cdot b + a\cdot c
\end{eqnarray*}
Addition over vectors is defined element-wise. Prove the commutativity
property for vectors of length 10. Distributivity will take much