SHA512 returns a bitvector