博力学术论坛计通学院分论坛|张煌:网络安全之计算复杂度问题和零知识证明
发布时间: 2021-11-09 23:12:04 浏览量:
2021年11月09日晚,登录入口计算机与通信工程学院张煌老师受邀为全院研究生作主题为“网络安全之计算复杂度问题和零知识证明”的学术报告。本次报告会在云塘校区理科楼B-311举行,由院研究生会主席余秋林主持,部分计通学院老师、2020级研究生参加了报告会。
会议开始,由主持人余秋林简单介绍了张煌老师,并对张煌老师的到来表示热烈欢迎。张煌老师也对我院师生的到来表示感谢。随后,他重点从计算复杂度的求解问题、计算复杂度的判定问题、零知识证明等多个方面的内容展开了详细介绍。首先,张煌老师为我们简单介绍了NP问题,并对NP问题进行了举例讲解。随后,张煌老师引入了NP证明系统的概念,多项式时间算法V以s,w∈{0, 1}∗为输入,输出0或者1,此时V称为NP关系R的NP证明系统,且其需要具有完备性和稳固性。他还为我们展现了NP的知识复杂性,介绍了零知识证明的概念并通过一个例子让大家更生动地理解。零知识证明实质上是一种涉及两方或更多方的协议,即两方或更多方完成一项任务所需采取的一系列步骤。零知识证明必须包括两个方面,一方为证明者P,另一方为验证者V。证明者试图向验证者证明某个论断是正确的,或者证明者拥有某个知识,却不向验证者透露任何有用的消息。零知识证明目前在密码学中得到了广泛的应用,尤其是在认证协议、数字签名方面。
张煌老师在作报告的过程中思路清晰,井井有条,整个报告会形象生动,在场的老师和同学也聚精会神,认真听讲,对张煌老师的讲授进行了认真的记录。张煌老师讲授之后也与同学们进行了交流,并对现场同学提出的疑惑耐心地进行了解答。
(图/姚佳艺 文/满家欢 审/易亭亭)