Fix implies
Some checks failed
continuous-integration/drone/push Build is failing

This commit is contained in:
Andre Henriques 2023-11-03 13:02:39 +00:00
parent f132feca53
commit 14d21c050b

View File

@ -56,7 +56,7 @@
$$H(m)=E(K, IV \oplus m) = C_1$$ $$H(m)=E(K, IV \oplus m) = C_1$$
$$H(m')=E(K, IV \oplus m') = C_2$$ $$H(m')=E(K, IV \oplus m') = C_2$$
And if there the hashing function was not collision resistant that would imply And if there the hashing function was not collision resistant that would imply
$$C_1=C_2\implies D(C_1)=D(C_2) \impies m=m'$$ $$C_1=C_2\implies D(C_1)=D(C_2) \implies m=m'$$
and since $m !=m'$ the hash function is collision resistant, for messages with 1 block. and since $m !=m'$ the hash function is collision resistant, for messages with 1 block.