Implementação inicial da função de hash sha512, está com um bug. Initial implementation of the hash function sha512, it has a bug.