> А вот в низкое качество реализаций я легко верю, нет культуры.

Что же делать с культурой? Математик, по совместительству умеющий кодить, публикует эталонную реализацию, к которой основное требование - изложить на понятном для программистов языке. Каждый может её посмотреть, а не просто верить.

Вот, например:

#if defined(__i386) || defined(__i386__) || defined(__x86_64) || defined(__x86_64__)
#  define c2l(c,l)    ((l)=*((const unsigned int *)(c)), (c)+=4)
#  define l2c(l,c)    (*((unsigned int *)(c))=(l), (c)+=4)
#else

Как видно, даже обошлось без злой шутки с bswap, которую программисты слепо накопировали из референса AES в свои оптимизированные варианты.

Но здесь и своих вариантов не было, программисты копировали всё сплошным текстом, а потом чему-то удивляются.