Similarly to the existing literature on the complexity of Nash equilibrium (see e.g., [1]}, [2]}, [3]}) in general games (i.e., not potential games), instead of writing the potential \(\phi \)  in the utility we introduce circuit players that implement the circuit gates and are responsible for computing \(\phi \) .
