Use 256-bit versions of sha3