mkp224o/ed25519/amd64-51-30k/crypto_hash_sha512.h