|
|
[原创]《中华单位论》证明P=NP的问题易如反掌!
引:[原创]《中华单位论》证明P=NP的问题易如反掌! @ 基础数学
7条回复 - 发帖时间: 2011年8月5日
* 贴子主题: [原创]《中华单位论》证明P=NP的问题易如反掌!... 因为《中华单位论》已经证明了若干P=NP的问题!"3 B/kK> 数学中国 -- ...
bbs.mathchina.com/cgi-bin/topic.cgi?forum ... 2011-8-6 - 百度快照
引知:
《中国科学(E辑:信息科学)》 2007年12期
NP问题的3轮零知识证明系统的存在性
李红达 李宝
【摘要】:研究NP问题的3轮零知识证明的存在性.O.Goldreich与H.Krawczyk在1996年证明BBP以外的语言不存在(欺骗概率可忽略的)3轮黑箱模拟零知识协议,但是否存在3轮非黑箱模拟零知识证明仍然是一个尚未解决的问题.采用一种新的交互证明模式,在标准的DDH假设下,对图的3着色问题构造了一个3轮零知识证明.由于对零知识性的证明采用了一种特殊的方法,文中的协议实际上是非黑箱模拟意义下的零知识证明,从而证明了在DDH假设下,所有的NP语言都有3轮零知识证明系统.
【作者单位】: 中国科学院研究生院信息安全国家重点实验室 中国科学院研究生院信息安全国家重点实验室
【关键词】: 交互证明 零知识证明 非黑箱模拟 DDH假设 知识证明系统 验证者 存在性 证明者 零知识协议 多项式时间算法
【基金】:国家自然科学基金资助项目(批准号:60573052,90304013)
【分类号】:TP182
【正文快照】:
1引言零知识证明(zero-knowledge proof)是一个双方协议,它首先由Goldwasser等提出[1].零知识证明要求证明者可以向验证者证明一个命题,同时不向验证者泄露除这个命题真假以外的任何知识.现在,零知识证明是密码学中的核心内容之一,特别是在Goldreich等人[2]证明了任何NP成员
下载全文 更多同类文献
CAJ格式全文
PDF格式全文
(如何获取全文? 欢迎:购买知网充值卡、在线咨询)
CAJViewer阅读器支持CAJ、PDF文件格式,AdobeReader仅支持PDF格式
二〇一一年八月六日星期六
|
|