NP ¶ IP, but it is non-interactive and deterministic, and completeness and soundness errors are 0. Comments