注册
关闭
区块链智慧谷

区块链智慧谷

发布于 2周前 阅读数 9967

协议实验室:星际文件系统已成为最大的零知识证明(zk-SNARK)网络

协议实验室:星际文件系统已成为最大的零知识证明(zk-SNARK)网络

7月14日,协议实验室发布最新博文宣布目前星际文件系统已成为最大的零知识证明(zk-SNARK)网络。

据官方数据显示,目前星际文件系统网络每日会运行 6 至 7 百万次零知识证明,每一个零知识证明中包含了超过 1 亿个约束电路证明。目前 Filecoin 网络的可信配置已支持最高 128M 大小的电路证明,单个证明最大已超过 100M,而 Zcash 最高仅支持 2M。此外,目前 Filecoin 实现了通过 SnarkPack 将 10 个零知识证明捆绑至单次证明中,并正在研究零知识证明聚合以实现将数千个零知识证明聚合至单次证明中。

今天,我们很高兴地宣布为 World minisite 推出 zk-SNARK。在过去两年中,CryptoComputeLab 和 CryptoNetLab(协议实验室研究开发实验室中的两个)一直致力于将 zk-SNARKs 引入世界和星际文件系统网络。虽然这段旅程还远未结束,但请看一看他们今天的位置。

World minisite(世界迷你站点)的 zk-SNARK 展示了星际文件系统是迄今为止部署的最大的 zk-SNARK 网络,同时强调了一些关键改进,这些改进使星际文件系统能够扩展到这个级别。

zk-SNARKs是一种密码技术,它允许证明者有效地说服验证者证明者知道某些信息,而无需透露信息本身。此属性可在区块链设置中实现安全和私密的交互。今天星际文件系统所依赖的主要属性是它们的效率,因为zk-SNARK 使我们能够在比其他方式更少的空间内证明存储的有效性。

星际文件系统允许存储提供者通过可证明地存储客户数据来赢得区块奖励,从而避免了浪费的工作证明,尽管这需要大量的证明。我们需要复制证明,以确保存储提供者存储声称数据的唯一副本 – 以及时空证明,以确保他们随着时间的推移持续维护复制数据的可访问副本。

当社区开始构建星际文件系统时,没有先例可以保护像最初设想的那样大的网络所需的证明量。因此,在网络启动之前的开发过程中,我们先后克服了障碍,使 zk-SNARK 的使用变得切实可行;自启动以来,实验室继续进行新的研究以进一步提高性能,因此今天的星际文件系统证明占据了前沿研究和边界推动工程的交叉点。

有关更多详细信息并了解有关我们的 SNARK 如何堆叠的更多信息:

https://research.protocol.ai/sites/snarks/

补充阅读:

什么是零知识证明?

零知识证明(Zero—Knowledge Proof),是由S.Goldwasser、S.Micali及C.Rackoff在20世纪80年代初提出的。它早于区块链诞生,但由于区块链,它被大家所熟知。它指的是证明者能够在不向验证者提供任何有用的信息的情况下,使验证者相信某个论断是正确的。零知识证明可以分为交互式和非交互式两种。

交互式

零知识证明协议的基础是交互式的。它要求验证者不断对证明者所拥有的“知识”进行一系列提问。证明者通过回答一系列问题,让验证者相信证明者的确知道这些“知识”。然而,这种简单的方法并不能使人相信证明者和验证者都是真实的,两者可以提前串通,以便证明者可以在不知道答案的情况下依然通过验证。

非交互式

非交互式零知识证明不需要交互过程,避免了串通的可能性,但是可能需要额外的机器和程序来确定实验的顺序。 

为什么区块链中要用到零知识证明? 

在现在的时代,个人的身份与很多信息进行了关联,你的手机号,身份证号,银行卡号等等都绑定在一起,只要知道你的手机号,就可以通过关联信息获取到你的姓名,出生年月等等信息,可所谓“牵一发而动全身”。在区块链的世界中,用地址来表示交易双方,这样达到了匿名的作用。

然而,链上的信息虽然是匿名的,但是通过链上信息绑定的链下信息,像很多交易所都绑定了链上地址与链下的银行账户、支付宝,使得可以很方便的追溯真实世界的交易双方,使得匿名性荡然无存。那么,有没有一种方法,能够在隐藏发送方、接受方以及交易金额等其他细节的情况下,保证交易有效呢?答案就是:零知识证明。

  • 0
区块链智慧谷
区块链智慧谷

0 条评论