The Knowledge Complexity of Interactive Proof System