清华大学团队成功自主研发零常识证明SOC芯片,什么是零常识证明？

bluesky1055

近日，由清华大学交叉信息研究院常识成果转化的初创企业——深圳市智芯华玺信息技术有限企业(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]

个人觉得这主要通过通信交互协议，创造可信标识。