零知识证明:从数学,密码学到金融科技

• 作者: 邓燚 陈宇
• 来源期刊: 中国计算机学会通讯
• 关键词: 零知识证明 证明系统 交互证明
• 年，卷（期）: 2018,（10）
• 所属期刊栏目: 专题
• 页码范围: 20-22
• 页数: 3页
• 语种: 中文

摘要

证明系统概述 无论是从人类历史长河中伟大数学家的故事,还是从个人体验上,我们通常会感觉到给出一个数学定理的证明很难,有时需要漫长的时间和极高的创造力,但验证一个证明是否正确则容易得多,我们只需要相关背景知识便可在短时间内迅速验证. 这一直觉本质上是计算机科学领域著名的NP≠P猜测.如果我们把包含所有具有短证明(其长度不超过定理描述长度的某个多项式)的定理放在一起组成一个集合,这个集合便形成了一个NP完全的语言.NP≠P猜测意味着不存在一个快速的算法来判定一个断言是否为真(即判断是否属于这一集合),我们通常只能在给定其短证明的情形下快速判断某个断言的正确性.我们可以从一个算法的角度来定义一个证明系统,它由一个全能(unbounded)的证明算法P(证明者)和一个多项式时间的验证算法V(验证者)构成.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈宇	中国科学院信息工程研究所	87	614	12.0	20.0
2	邓燚	中国科学院信息工程研究所	1	0	0.0	0.0