Goldwasser,S。;米卡利,S。;拉科夫,C。 交互式证明系统的知识复杂性。 (英语) Zbl 0900.94025号 程序。第17届ACM交响乐团。计算理论,STOC’85,291-304(1985)。 引言部分:在本文的第一部分中,我们介绍了一种新的理论证明过程,即一种有效传递证明的新方法。任何这种方法都直接或间接地意味着证明的定义。我们的“证明”本质上是概率的…我们的证明是交互式的。为了有效地验证陈述的正确性,证据的“接受者”必须主动提出问题,并从“证明人”那里获得答案。在论文的第二部分,我们解决了以下问题:证明一个定理\(T\)应该交流多少知识?我们给出了知识的计算复杂性度量,并度量了证明中包含的额外知识量。我们建议根据必须发布的额外知识量对语言进行分类,以证明其成员资格。特别有趣的是,在这种情况下,额外的知识本质上是0,并且我们证明可以交互地证明一个数是释放0额外知识的二次非剩余模。这是令人惊讶的,因为在没有给出(m)的因式分解的情况下,还没有确定二次剩余模的有效算法。此外,该问题的所有已知NP证明都展示了(m)的素因式分解。这表明,在证明过程中增加交互作用可能会减少为了证明定理而必须交流的知识量。请参阅中的日志版本评论Zbl 0677.68062号。 引用于9评论引用于172文件 MSC公司: 94A60型 密码学 68吨15 定理证明(演绎、解析等)(MSC2010) 2015年第68季度 复杂性类(层次结构、复杂性类之间的关系等) 引文:Zbl 0677.68062号 PDF格式BibTeX公司 XML格式引用 \textit{S.Goldwasser}等人,in:程序。第17届ACM交响乐团。计算理论,STOC’85。291--304(1985;Zbl 0900.94025) 全文: 内政部 链接