pub fn value_digest(state: [b64; 8]) -> [b64; 4]
The value digest from a finished SHA-512 state: bytes 0..32 as little-endian words.