\newchapter{Cyclic redundancy check}

\leveldown{}

My \MathForProg has a yet another explanation of CRC.

\input{CRC/KLEE/main_EN}
\input{CRC/CBMC/main_EN}
\input{CRC/factor/main_EN}
\input{CRC/cracker/main_EN}
\input{CRC/find_poly/main_EN}

\section{In comparison with other hashing algorithms}

Things are that easy for some other hashing algorithms like \emph{Fletcher checksum},
but not for cryptographically secure ones (like MD5, SHA1, etc), they are protected from such simple cryptoanalysis.
See also: \ref{crypto}.

\levelup{}

