FIL:零知识证明如何与Filecoin网络结合

最近，Protocol Labs研究团队发布了zk-SNARKs for the World site网站。这个网站介绍了目前在Filecoin网络上整合零知识证明密码学所完成的工作。这些努力已持续三年，已让Filecoin成为目前最大的zk-SNARK部署网络，并且每天生成了600万到700万个零知识证明。

zk-SNARKs对Filecoin网络的价值

为了让Filecoin网络上的存储提供者继续为用户提供服务（并在过程中赚取回报），他们必须定期证明自己在链上持续存储其所承诺存储的数据。将他们放在零知识证明的关系中理解的话，这些存储提供者就成为了证明者（provers）。

基于零知识的隐私协议 Elusiv 已在 Solana 上线主网:3月9日消息，基于零知识且合规的隐私协议 Elusiv 已在 Solana 上线主网，允许用户发送隐私交易。此外，Elusiv 与 Solana Pay 兼容，并支持 SOL 和 SPL 代币。基本合规性功能包括所有权证明和创建查看密钥的能力，使用户可以根据需要控制他们共享的交易信息。

据悉，Elusiv 旨在为用户和商家提供隐私保护，同时通过低交易合规解决方案保持安全。此外，Elusiv 可使标准交易隐私化，同时允许用户选择要公开的交易。Elusiv 于 2022 年 11 月完成 350 万美元融资，Big Brain Holdings、Jump Crypto、Solana Ventures 等参投。[2023/3/9 12:52:17]

这个公式的另一边就是全节点，他们负责为整个Filecoin网络维护共识。这些节点希望确保数据被存储、维护和保管好，而没有疏忽或损坏。这些参与方—— 验证者（verifiers）必须能确保存储提供者对数据被妥善存储所给出的证明是真实的。这要求在数据易手时，存储提供者和节点之间有一种形式的通讯。

加密卫星公司Cryptosat和DoraHacks在国际空间站完成零知识证明实验:1月12日消息，加密卫星开发商 Cryptosat 和全球黑客马拉松组织者 DoraHacks 合作，在国际空间站 (ISS) 上进行了第一个在太空中发射零知识 (ZK) 证明系统的成功实验。DoraHacks 和 Cryptosat 表示，在国际空间站上进行的实验证明了基于卫星的计算环境能够执行使用 ZK 证明协议所需的部分可信设置过程。 Cryptosat 称，ZK 证明实验的成功是证明空间计算环境有效性的重要一步，Cryptosat 正在寻求将一组立方体卫星送入轨道并建立其卫星群。[2023/1/13 11:09:04]

对每一个区块来说，这个过程是（将是）对资源要求很高的。今天，个体的存储提供者为验证存储所需要证明的数据是海量的，而且随着时间推移只会增加。Filecoin网络的区块时间是30秒，为了维持这个区块时间并允许可扩展的方法，网络需要一个能提供快速、高效和健壮的验证过程的解决方案。

Polygon开源零知识证明系统Plonky2:8月16日消息，Polygon宣布开源零知识证明系统Plonky2，另外，STARK证明器Starky也是开源的。Plonky2由Polygon于今年1月份公布，Plonky2是一种递归SNARK，并且与以太坊原生兼容，结合了PLONK和FRI，具有快速证明和无可信设置。[2022/8/16 12:28:58]

了解zk-SNARKs

对Filecoin网络来说，zk-SNARKs提升了网络可扩展性和效率，这是通过极大地降低各方验证存储的时间来实现的。这对维持Filecoin的30秒区块时间很重要。

门罗币开始审核零知识证明系统Bulletproofs+代码:1月19日消息，门罗币官方宣布，已正式开始对零知识证明系统Bulletproofs+代码进行审核，将于30天内发布报告。此前消息，零知识证明系统Bulletproofs+代码获准可在门罗币协议中使用。随后官方计划筹集90.3 XMR以进行零知识证明系统Bulletproofs+审计。[2021/1/19 16:29:47]

对存储提供者来说，zk-SNARKs降低了他们证明存储所需要传输的数据量，从而降低了在网络上提供其服务的成本。

zk-SNARKs实践

为了在Filecoin上验证存储，会涉及到两个证明：_复制证明——Proof of Replication (PoRep)和时空证明——Proof of Spacetime (PoSt)。在复制证明中，存储提供者需证明他们正存储一份数据或信息的独特副本。复制证明只会发生一次，这是在用户和存储提供者达成最初存储交易提议且数据首次被存储提供者存储时发生的。每一个被链上记录的复制证明包括了10个独立的的SNARKs证明，它们一起证明了该过程是通过概率挑战（probabilistic challenges）而正确完成的。

另一方面，时空证明用于证明存储提供者随着时间推移依然持续存储原始的数据，而没有被操纵或损坏。当一个存储提供者刚开始同意为用户存储数据时，他们必须以FIL的方式投入质押品。如果存储提供者在这个协议中间的任何时点无法提供时空证明，他们会被惩罚并可能损失部分或所有的FIL抵押品。

在 证明者（prover）和验证者（verifier）的链上互动中，它们同意数据已被正确地存储和维护，那么这就是一个证明（proof）。如前所述如果缺乏让这些证明足够小和高效的解决方案，它们就会占据大量的网络带宽并为存储提供者和矿工带来很高的运作成本。不过如果通过使用zk-SNARKs来生成证明，那么所生成的证明就会很小，验证过程也会非常快（因此就很便宜了）。例如，通常要占据几百kb来验证的证明可以使用zk-SNARKs来压缩到192字节。前面已经提到过，每一个复制证明包括了10个SNARKs，这就意味着它只会占据1920字节（10*192字节）。

zk在Filecoin的过去和未来

从10月份的发布开始，Filecoin网络对zk-SNARKs的使用就已经上线了。故事是这样的：零知识证明长期是Filecoin网络的一部分，也会继续被证明是网络未来演变的关键一环。随着越来越多的数据在Filecoin上被存储、维护和访问，生态系统需要继续提供高效、划算和安全的验证解决方案。零知识证明是Filecoin网络的游戏规则改变者，将复杂的验证流程的大小降低到原始体积的一小部分，而没有影响安全性、可信性或信心。

Protocol Labs研究团队已长期投入了Filecoin网络上的零知识证明工作。他们的努力已为网络提供了关键的效率解决方案。随着新的验证系统的出现，团队会继续为未来的Filecoin网络实施最有效率的解决方案。

请访问zk-SNARKs for the World site网站并深入了解Filecoin上的零知识证明。

标签：FILECOINOINLECFilecoin币下载EUROe Stablecoincoinex交易所怎么把钱弄出来Electronero

AVAX热门资讯