2011年4月22日,DCS中心博士后黄桂芳做了题目为“零知识协议与承诺方案”的学术报告。
零知识证明与承诺方案是两类基本的密码协议,尤其零知识证明对密码学与计算机科学都产生着深远的影响。通俗地讲,零知识证明是指这样一个两方的交互协议:一方面,通过交互,证明者能够证明某个语言的成员归属关系;另一方面,在交互完成之后,除了所证明断言的有效性之外,验证者没有得到任何超出其自身计算能力的信息。在报告中,黄桂芳博士首先介绍了零知识证明的直观定义与其形式化定义,并且从概念上介绍了平时我们所说的“零知识协议”的一个精确分类。之后,介绍了零知识协议的合成方面的一些研究现状,并且介绍了零知识协议的几种变体。由于零知识在某些合成下会出现一些负面结果,这使得研究者们转而去探究既能适应实际需要又能克服这些负面结果的协议。零知识协议的各种变体应蕴而生。最后,黄桂芳博士详细介绍了零知识协议和承诺方案在非延展性质方面的研究现状。由于非延展零知识、非延展承诺方案与非延展证据不可区分是相互紧密关联的,所以对非延展证据不可区分的相关研究进展和待解决的问题也进行了介绍。

|