Poseidon

$$ \gdef\Zp{ {\mathbb{Z}p} } \gdef\Zbin{ {\mathbb{Z}{2^m} } } \gdef\thin{ {\thinspace} } \gdef\Byte{ {\mathbb{B} } } \gdef\Bit{ {{0, 1} } } \gdef\typecolon{\mathbin{\large :} } \gdef\neg{ {\text{-} } } \gdef\constb{ {\textbf{const } } } \gdef\as{ {\textbf{ as } } } \gdef\msb{ {\textsf{msb} } } \gdef\if{ {\text{if } } } \gdef\ifb{ {\textbf{if } \hspace{1pt} } } \gdef\bi{ {\ \ } } \gdef\FieldBits{ {\text{FieldBits} } } \gdef\SboxBits{ {\text{SboxBits} } } \gdef\RoundConstants{ {\text{RoundConstants} } } \gdef\hso{ {\hspace{1pt} } } \gdef\Function{ {\textbf{Function: } } } \gdef\init{ {\textsf{init} } } \gdef\for{ {\textbf{for } } } \gdef\foreach