|
|
[原创]《中华单位论》证明P=NP的问题易如反掌!
丁宁;精确零知识证明系统研究[D];上海交通大
学;2009年[br][br]-=-=-=-=- 以下内容由 changbaoyu 在 时添加 -=-=-=-=-
【中文摘要】 零知识证明是当今密码学中一个令人着迷的领域,它在现代密码学中有着极广的应用。零知识证明具有两点看起来相互矛盾的性质,一方面它能使有效的验证者能够接受某个正确论断,另一方面验证者却不能从该证明中学到任何新知识。在传统定义中,零知识性是指多项式时间验证者在交互中的视能在多项式时间内被重构。然而,一些文献指出零知识的这种传统定义是不精确的。最近一些研究者提出一称为精确零知识的新概念,该概念的引入动机是将传统零知识的定义精确化。一个证明称之为是精确零知识的,是指任何验证者在交互中的视都能被模拟器在几乎相同的时间内重构。可见,精确零知识的概念对零知识性的刻画非常得精细。而且,一些研究者们又进一步将这个概念从单机环境下推广至并发环境,提出了精确并发零知识的概念。 在本文中,我们考察了精确零知识研究的以下方面,包括具有良好性质的精确有界并发零知识协议的构造、精确零知识协议的通信复杂性、精确零知识协议的顺序合成以及如何提出新的刻画精确模拟的方法等。在第一个方面,我们试问对于任意NP语言是否能够构造具有较低轮复杂性的精确有界并发零知识协议?对于任意NP语言是否能够构造出精确有界并发零知识证明?在第二个方面,我... |
|