rename tweetnacl hash as sha512