But it's a simplification: One iteration is enough to detect lying.
In a real ZK proof the probability of the prover lying reduces after each iteration but never reached 0.
In a real ZK proof the probability of the prover lying reduces after each iteration but never reached 0.
but your concern is invalid to begin with. nothing in the definition of a zkp requires them to be multi-round interactive. there exist non-interactive zkp.