最近，ProtocolLabs研究团队发布了zk-SNARKsfortheWorldsite网站。这个网站介绍了目前在Filecoin网络上整合零知识证明密码学所完成的工作。这些努力已持续三年，已让Filecoin成为目前最大的zk-SNARK部署网络，并且每天生成了600万到700万个零知识证明
zk-SNARKs对Filecoin网络的价值
为了让Filecoin网络上的存储提供者继续为用户提供服务，他们必须定期证明自己在链上持续存储其所承诺存储的数据。将他们放在零知识证明的关系中理解的话，这些存储提供者就成为了证明者。
黄立成累积84枚Azuki成为该NFT第二大持有者:金色财经报道，据Lookonchain监测，过去24小时内，黄立成地址machibigbrother.eth累积了84枚Azuki，成为Azuki第二大持有者。他花费646枚ETH买入108枚Azuki，买入均价为5.98枚ETH；以133.5枚ETH价格卖出24枚Azuki，平均售价为5.56枚ETH。[2023/7/3 22:14:54]
这个公式的另一边就是全节点，他们负责为整个Filecoin网络维护共识。这些节点希望确保数据被存储、维护和保管好，而没有疏忽或损坏。这些参与方——验证者必须能确保存储提供者对数据被妥善存储所给出的证明是真实的。这要求在数据易手时，存储提供者和节点之间有一种形式的通讯。
14个Miladys卖家在Milady共花费不超过1.74ETH，获利91ETH:金色财经报道，区块链分析公司Nansen发推称，在Elon Musk发推之前，Miladys的地板价为3.43ETH，但在Elon发推之后，成交量猛增，Miladys的地板价升至5.3ETH，目前最低价跌已至3.83ETH。地址0x13...0f9在底部买入13枚均价在3.58ETH，卖出10枚均价在3.874ETH，剩余3枚发送到另一个地址之后便增加了交易量，包括以每枚5.11ETH的价格购买14个MiladyBlur亏本出售或借给其他人。有14个Miladys的卖家在Milady共花费不超过1.74ETH，目前已售出94%的藏品，获得了91ETH收益。[2023/5/19 15:13:15]
对每一个区块来说，这个过程是对资源要求很高的。今天，个体的存储提供者为验证存储所需要证明的数据是海量的，而且随着时间推移只会增加。Filecoin网络的区块时间是30秒，为了维持这个区块时间并允许可扩展的方法，网络需要一个能提供快速、高效和健壮的验证过程的解决方案。
Ripple合作伙伴Airwallex与墨尔本大学达成合作拟投资超300万澳元:金色财经报道，据Ripple合作伙伴Airwallex空中云汇官方消息，该公司已与墨尔本大学达成重要合作伙伴关系，据悉这项合作为期三年（2022-2025），Airwallex空中云汇共计将投资300多万澳元，旨在促进科技专业学生接触行业，增加就业机遇，壮大澳大利亚未来科技人才储备。当前，科技人才的短缺持续着影响澳大利亚企业。根据澳大利亚科学技术委员会的预测，澳大利亚在2030年前仍需新增65.3万科技工作岗位，以助力该国经济增长。[2022/11/1 12:03:31]
了解zk-SNARKs
欧洲央行行长：预计将在未来几次会议上进一步提高利率:10月14日消息，欧洲央行行长拉加德表示，欧元区的通货膨胀率过高，且很可能在很长一段时间内都将高于欧洲央行的目标，因此欧洲央行管理委员会预计将在未来几次会议上进一步提高利率。（金十）[2022/10/14 14:28:04]
对Filecoin网络来说，zk-SNARKs提升了网络可扩展性和效率，这是通过极大地降低各方验证存储的时间来实现的。这对维持Filecoin的30秒区块时间很重要。对存储提供者来说，zk-SNARKs降低了他们证明存储所需要传输的数据量，从而降低了在网络上提供其服务的成本。
zk-SNARKs实践
为了在Filecoin上验证存储，会涉及到两个证明：复制证明和时空证明。在复制证明中，存储提供者需证明他们正存储一份数据或信息的独特副本。复制证明只会发生一次，这是在用户和存储提供者达成最初存储交易提议且数据首次被存储提供者存储时发生的。每一个被链上记录的复制证明包括了10个独立的的SNARKs证明，它们一起证明了该过程是通过概率挑战而正确完成的。
另一方面，时空证明用于证明存储提供者随着时间推移依然持续存储原始的数据，而没有被操纵或损坏。当一个存储提供者刚开始同意为用户存储数据时，他们必须以FIL的方式投入质押品。如果存储提供者在这个协议中间的任何时点无法提供时空证明，他们会被惩罚并可能损失部分或所有的FIL抵押品。
在证明者和验证者的链上互动中，他们同意数据已被正确地存储和维护，那么这就是一个证明。如前所述如果缺乏让这些证明足够小和高效的解决方案，它们就会占据大量的网络带宽并为存储提供者和节点带来很高的运作成本。不过如果通过使用zk-SNARKs来生成证明，那么所生成的证明就会很小，验证过程也会非常快。例如，通常要占据几百kb来验证的证明可以使用zk-SNARKs来压缩到192字节。前面已经提到过，每一个复制证明包括了10个SNARKs，这就意味着它只会占据1920字节。
在Filecoin的过去和未来
?
从10月份的发布开始，Filecoin网络对zk-SNARKs的使用就已经上线了。故事是这样的：零知识证明长期是Filecoin网络的一部分，也会继续被证明是网络未来演变的关键一环。随着越来越多的数据在Filecoin上被存储、维护和访问，生态系统需要继续提供高效、划算和安全的验证解决方案。零知识证明是Filecoin网络的游戏规则改变者，将复杂的验证流程的大小降低到原始体积的一小部分，而没有影响安全性、可信性或信心。
ProtocolLabs研究团队已长期投入了Filecoin网络上的零知识证明工作。他们的努力已为网络提供了关键的效率解决方案。随着新的验证系统的出现，团队会继续为未来的Filecoin网络实施最有效率的解决方案。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。