theory for compiling keccak permutation in the logic