npに属する各言語がゼロ知識証明を持つことを説明するに際して、ipでは一方向性関数の存在を仮定する必要があったが、mipではそれが不要となる。