零知识证明是加密世界中出现的一项新技术。
zkp有潜力解决当今互联网上最棘手的安全问题。
虚假信息、深度造假、欺诈、隐私是ZKP一家名为Toposware的初创公司正在努力解决的问题。
“我认为我们正处于改变世界的风口浪尖,”投资者克拉克·戈雷斯塔尼(Clark Golestani)在谈到一项名为零知识证明(Zero Knowledge Proofs)的技术时说。“这是一种真正改变所有企业和政府的方式。我从来没有像现在这样对任何事情充满热情。”
戈雷斯塔尼在制药巨头默克公司担任了24年的首席信息官,五年前成为一名风险投资者。他是一家名为Toposware的初创公司的投资者和董事会成员,该公司希望将ZKP安全性嵌入到客户的日常互联网使用中。事实上,Golestani兴奋地告诉我——Toposware的首席执行官Theo Gauthier也是如此——Toposware的另一位投资者是Taher Elgamal,他在20世纪90年代曾是网景通信公司的首席科学家,并发明了互联网最早的安全协议之一——安全套接字层。
本文仅对Business Insider订阅者开放。成为业内人士,现在就开始阅读。有账户吗?.
他们并不是唯一对zkp感到兴奋的人。安德森·霍洛维茨(Andreessen Horowitz)加密货币投资者迈克尔·布劳(Michael Blau)最近将这项技术比作魔术师的把戏。布劳9月份在一篇关于这项技术的博客文章中写道:“零知识证明(zero-knowledge proofs,简称ZKPs)是一个类似科幻小说的进步领域,它是一种加密工具,可以解决web3中的两个关键挑战:可扩展性和隐私性。”“把zkp想象成一个伟大的魔术。”
什么是零知识证明?
自1985年以来,zkp作为一种加密数学理论一直存在,但直到最近三四年,这一理论才被初创公司转化为技术,主要是关于加密区块链网络,或所谓的web3。然而,Toposware也计划提供一项服务,允许公司在常规的旧互联网上使用这项技术。
zkp允许一方验证信息的准确性,同时不泄露信息本身。相反,他们会验证有关信息的其他相关事实。
除非你擅长数学,否则大多数理解zkp的人通常会用类比来描述它们(尽管这里有许多深入研究细节的学术论文之一的链接)。
Toposware使用了两个并排放置的球的类比。在不指定球的颜色的情况下,每次球的位置被切换时,都可以100%准确地验证它们是不同的颜色。这证明了在其他方面相同的球是不同的颜色,即使颜色本身没有显示出来。
或者,正如布劳所描述的那样,有人可以通过成功地表演魔术来证明他们知道魔术的秘密,而不分享它是如何完成的。
这将如何改变互联网
Gauthier和Golestani描述了zkp潜在的广泛影响,比如打击虚假信息。错误的信息不可能伪装成事实,也不可能被误认为是真实的,因为zkp会发现它们是假的。例如,斯坦福大学的研究人员正在研究这个问题。
zkp还可用于检测金融应用中的欺诈行为;创建审计跟踪;在隐私用例中;并在不共享模型本身的情况下验证正在使用特定的人工智能模型,ZKP专家说。
Toposware正致力于将这项技术转化为一种互联网协议,这种协议在后台运行速度非常快,不会减慢速度。
Toposware正在开发一种云服务,即所谓的“结算层”,公司可以将其ZKP服务添加到他们的网络中。Gauthier说,如果量子计算机变得足够可靠,ZKP应该是它们的理想用例,尽管今天的ZKP协议是在今天的传统计算机上完成的。
Toposware是在该地区工作的几十家初创公司之一。例如,PortalGate正在使用ZKP进行加密资产交易;Ingonyama正在为ZKPs生产芯片。
Toposware于去年11月融资500万美元,它可能是在将受加密货币爱好者欢迎的引人注目的web3技术转变为企业可用的实用技术方面走得最远的初创公司之一。
这家初创公司有大约20名员工,并与全球的学术机构建立了合作关系。该议定书本身“实际上是与法国原子能委员会(CEA)共同设计的。我们与欧洲各地的机构以及美国的一些机构都有合作关系。”