通信人家园

标题: 清华大学团队成功自主研发零知识证明SOC芯片,什么是零知识证明?  [查看完整版帖子] [打印本页]

时间:  2024-2-6 08:24
作者: bluesky1055     标题: 清华大学团队成功自主研发零知识证明SOC芯片,什么是零知识证明?

近日,由清华大学交叉信息研究院知识成果转化的初创企业——深圳市智芯华玺信息技术有限公司(Accseal Ltd.)研制的零知识证明(ZKP)SOC芯片(Accseal LEO chip)一次流片成功,拥有完全自主知识产权,打破了业内无ZKP加速芯片的局面,提高了ZKP的计算效率并大大降低了成本,为ZKP的广泛应用和数字经济的发展提供了底层算力支撑。那什么是零知识证明呢?【来自百度百科】

零知识证明(Zero—Knowledge Proof),是指一种密码学工具,允许互不信任的通信双方之间证明某个命题的有效性,同时不泄露任何额外信息。 [5]

零知识证明是由S.Goldwasser、S.Micali及C.Rackoff在20世纪80年代初提出的。它指的是证明者能够在不向验证者提供任何有用的信息的情况下,使验证者相信某个论断是正确的。零知识证明实质上是一种涉及两方或更多方的协议,即两方或更多方完成一项任务所需采取的一系列步骤。证明者向验证者证明并使其相信自己知道或拥有某一消息,但证明过程不能向验证者泄漏任何关于被证明消息的信息。大量事实证明,零知识证明在密码学中非常有用。如果能够将零知识证明用于验证,将可以有效解决许多问题。

2023年11月,中国科学家实现基于器件无关量子随机数信标的零知识证明。 [5]

顾名思义,零知识证明就是既能充分证明自己是某种权益的合法拥有者,又不把有关的信息泄露出去——即给外界的“知识”为“零”。其实,零知识证明并不是什么新东西,早在16世纪的文艺复兴时期,意大利有两位数学家为竞争一元三次方程求根公式发现者的桂冠,就采用了零知识证明的方法。当时,数学家塔尔塔里雅和菲奥都宣称自己掌握了这个求根公式,为了证明自己没有说谎,又不把公式的具体内容公布出来(可能在当时数学公式也是一种技术秘密),他们摆开了擂台:双方各出30个一元三次方程给对方解,谁能全部解出,就说明谁掌握了这个公式。比赛结果显示,塔尔塔里雅解出了菲奥出的全部30个方程,而菲奥一个也解不出。于是人们相信塔尔塔里雅是一元三次方程求根公式的真正发现者,虽然当时除了塔尔塔里雅外,谁也不知道这个公式到底是个什么样子。从这个故事,我们可以初步了解零知识证明的概念。 [1]

个人觉得这主要通过通信交互协议,创造可信标识。
时间:  2024-2-6 08:37
作者: xhy133

学习了
时间:  2024-2-6 18:49
作者: bluealbum

看样子老铁买了不少




通信人家园 (https://test.txrjy.com/) Powered by C114