SHA3_512_DIGEST_LENGTH
sha3_init(&C->C512, sha3_rate(SHA3_512_DIGEST_LENGTH));
sha3_update(&C->C512, data, len, sha3_rate(SHA3_512_DIGEST_LENGTH));
SHA3_512_Final(uint8_t h[SHA3_512_DIGEST_LENGTH], SHA3_512_CTX *C)
sha3_final(h, SHA3_512_DIGEST_LENGTH, &C->C512,
sha3_rate(SHA3_512_DIGEST_LENGTH));
void SHA3_512_Final(uint8_t[SHA3_512_DIGEST_LENGTH], SHA3_512_CTX *);