Implementação da função de hash sha512. Implementation of the hash function sha512.