SHA3_512_CTX
SHA3_512_Init(SHA3_512_CTX *C)
SHA3_512_Update(SHA3_512_CTX *C, const uint8_t *data, size_t len)
SHA3_512_Final(uint8_t h[SHA3_512_DIGEST_LENGTH], SHA3_512_CTX *C)
SHA3_512_CTX *sha3512 = (SHA3_512_CTX *)&sha3;
SHA3_512_CTX ctx;
void SHA3_512_Init(SHA3_512_CTX *);
void SHA3_512_Update(SHA3_512_CTX *, const uint8_t *, size_t);
void SHA3_512_Final(uint8_t[SHA3_512_DIGEST_LENGTH], SHA3_512_CTX *);