pub fn sha3_512(input: &[u8]) -> [u8; 64]
Compute SHA3-512 over the input and return the 64-byte digest.