@nickpsecurity will like that the routines are built in Ada.
Yeah, I remember reading these thinking, “Both a safe language and detailed explanations. Great write-up!” I can’t vet the crypto itself but good presentation. He showed up on Schneier’s blog with us talking security and LISP machines once. He’s, uh, kind of an uncompromising haha. Really interesting fella, though. :) He also did a TRNG.
Far as Ada-like crypto, Rod Chapman’s SPARKSkein project ported the reference implementation of C to SPARK Ada. That caught an error in it immediately that nobody had noticed. More Ada and SPARK cryptosystems anyone? ;)