wildkeccak optimizations