Computes a SHA3-512 digest.
List<int> sha3_512(List<int> inputBytes) { return _Keccak(576, 1024, inputBytes, 0x06, 512 ~/ 8); }