NP语言的零知识协议

NP语言的零知识协议（zero knowledge protocol of NP language），计算机科学技术名词，协议如下：给定NP语言 L ，一个交互式协议< P， V>是L 的零知识证明，如果：①完全性：对每一个 x∈L及x∈L 的证据 u ，；②可靠性：如果，那么对每一个证明策略和输入 u ，。