gave up on sha3