如果一个交互式证明协议满足（ ）、（ ）和（ ），就称此协议为一个零知识交互式证明协议。