pub fn digest_of(state: [b64; 8]) -> [b64; 4]
The digest from a finished SHA-512 state H0..H7 (big-endian words): bytes 0..28 as little-endian words, bytes 28..32 zero.
H0..H7