ZK circuits require every computation inside them to be expressible as arithmetic over a finite field. This means that ZK circuits can only prove computations that reduce to addition and multiplication.
Division, conditionals on private values, and anything involving external data cannot be expressed that way. You can't read from local storage or...