在区块链领域，匿名性和隐私性是人们最关注的方向之一。而在各种提供隐私性的加密技术中，zk-SNARKs最为重要，它是目前区块链领先的强大隐私工具，而Filecoin部署的zk-SNARKs网络是目前最大的。
它究竟是什么？即使你完全是一个技术小白，今天这篇文章也能让你对它有基础的了解。
zk-SNARKs是一种加密技术，即“零知识简洁非交互知识论证”的缩写，它允许“证明提供者”以数学方式向“验证者”证明信息的准确性，而不会透露除其真实性和完整性之外的任何内容。
这么说可能还是有些难以理解，1990年，一位密码学家发布了一篇《如何向你的孩子解释零知识协议》的论文，如果你有兴趣，可以点击阅读原文查看完整论文。我们在这里大概来捋一下这篇论文，相信你就会有一个相对清晰的思路。
Filecoin网络目前总质押量约为5582万枚FIL:据IPFS100.com报道，Filfox浏览器数据显示，Filecoin网络当前区块高度为634620，全网有效算力为3.81EiB，总质押量约为5582万枚FIL，活跃矿工数为1765个，每区块奖励为26.5168FIL，近24小时产出量为371906FIL，24小时平均挖矿收益为0.0938FIL/TiB，目前FIL流通量为109369802FIL。目前有效算力排名前三的分别为：f0127595（时空云）以91.66PiB暂居第一，f0135467（RRM-雅典娜）以83.24PiB位居第二，f01248（智合云(ZH)）以75.77PiB位居第三。注：减产倒计时13天。[2021/4/2 19:40:28]
要从阿里巴巴的故事说起。有一天，一位叫阿里巴巴的老人去集市赶集，小偷偷走了他的钱包，阿里巴巴立马去追他，追到一个山洞，进去后发现山洞竟然有两条岔路。
Filecoin社区发起有关延长v1扇区最长使用寿命的社区投票:据Filecoin基金会Medium博客文章，Filecoin社区目前正在考虑改进提案FIP-0014，这将使矿工将任何V1证明扇区的使用寿命延长到最长540天。出于对这些证明的安全性考虑，此前在网络V7升级（2020年11月）中禁止了扩展此类扇区。如果允许将v1扇区的生存期延长到540天以上，则存在安全隐患。该决定还涉及加密经济学方面的问题。Filecoin项目中的许多利益相关者对新的FIP发表了意见。为了确保充分了解社区是否支持新提议的FIP，希望每个社区成员参与社区投票。此次投票将于世界标准时间2021年3月23日16:00（北京时间3月24日0:00）开放，并将一直持续到3月27日16:00（北京时间3月28日0:00）。[2021/3/24 19:11:40]
Ren Protocol已支持Filecoin、DOGE等资产跨链:据官方消息，去中心化资产桥接项目 Ren Protocol 表示已经支持 Filecoin、DigiByte、DOGE 代币跨链。目前，renFIL、renDGB、renDOGE 已上线以太坊网络。[2021/3/3 18:09:54]
上方为山洞的入口
没看见小偷走了哪条路的阿里巴巴只好随机选了左边，发现路是封死的，又去右边那条，竟然也封死了。小偷到底去了哪里？
第二天，小偷拿走了阿里巴巴的菜篮子，他追过去，又遇到同样的情形…这样的情况维持了40天。于是，阿里巴巴决定守在右边通道守株待兔，等了许久终于等到小偷，他看到小偷跑到被封死的路口，小声喊了句咒语“芝麻开门”，被封死的洞口打开了。
小偷进去后，洞口又自动封了起来，原来，说出咒语进入山洞后，左右就能连通起来。不断地尝试后，阿里巴巴为这个洞口更换了新的咒语。相当于洞口被设置了新的密码。
BiKi平台FIL、FIL6 今日涨幅超20%:据BiKi平台行情显示，FIL今日最高涨幅20%，现涨幅18.49%，现报价28.89USDT；FIL6今日最高涨幅31%，现涨幅21.39%，现报价67.773USDT；BiKi平台已支持FIL6杠杆交易，支持3倍做多或做空FIL6。
Filecoin主网将于区块148888正式开启，预计时间为2020年10月15日。BiKi平台将在Filecoin主网正式开启后第一时间上线开放Filecoin (FIL) 交易并开启充值和提币服务。[2020/10/10]
阿里巴巴的故事引起了许多人的好奇，后来，有人真的找到了这个山洞。一位自称是阿里巴巴后人的研究者想证明自己知道这个新咒语，但又不想公开，他要如何做呢？
他带领团队走到那个洞口，自己先念咒语进入山洞，再让人掷硬币替他决定从哪一边出来。也就是说，如果研究者不知道密码，他只会随机进入一个封死的路口，再从那个路口原路返回，不可能做到每次都能和掷硬币的结果相同；只有知道密码打开洞口，才能随意选择出来的方向。实验进行了40次，每次都成功了，研究者也成功证明了自己是知道秘密的人。
58学院直播间：入场Filecoin挖矿 需要注意资产配置和入场时间:今晚，58学院第十期AMA《关于Filecoin，玉玲小姐姐有话说》邀请到了ChainUP VP 金色算力云市场负责人陈玉玲做客直播间。玉玲表示，Filecoin头矿的激励机制十分吸引投资者，在强大的市值预期下，Filecoin头矿挖矿就像比特币早期挖矿一样，早到者利润十分可观。投资者如果长期看好Filecoin，挖矿是一个不错的入场方式。对于个人投资人而言，入场需要考虑资产配置。如果是想要参与到挖头矿，最好的入场时间就是现在。如果是小额投入，可以在Filecoin上线前寻找靠谱的供应商。如果更追求稳健的投资，可以考虑主网上线后再入场也不迟。据悉，58学院直播间本月将主打“女性视角下的区块链”。[2020/8/13]
这个过程被一位摄影师记录下来，授权给了电视台A，电视台B得知这件事之后，找人伪造了一段非常相似的视频。这两段视频同时播出后，谁都无法证明哪个电视台播出的是正确的的。
研究者不可能为了证明电视台A的真实性而当众披露这个秘密，但摄影师确信研究者知道这个秘密，研究者也因此达到了自己最初的目的：在不透露自己秘密的情况下，说服他人完全相信自己是可能的。
这就是零知识证明。它的首批应用之一是Schnorr认证协议，这种数字签名方案可以在加密货币上实施，以使其更加保密，但也有一个很明显的缺点，这些协议是交互式的，证明者和验证者必须相互通行才能完成验证流程，证明者和验证者双方必须同时在线。
1996年，Fiat-Shamir启发式在随机预言机中得出非交互式零知识证明。非交互式即证明者和验证者之间共享的公共参考字符串足以实现计算零知识，而无需交互。经过后来人们不断完善，；零知识证明才演变出今天的分支——zk-SNARKs。
现在，让我们重新拆分一下zk-SNARKs是什么——
zk-Zeroknowledge：零知识，即在证明过程中不透露任何隐私数据。
S-Succinct：简洁的，指在验证过程中不涉及大量数据传输，且验证算法简单。
N-non-interactive：无交互，证明者与验证者之间不需要交互即可实现证明。交互的零知识证明需要摄影师和研究者需要同时在现场，或需要向摄影师发送视频才能验证。但在无交互的零知识证明中，证明者只需要计算一次产生一个证明，所有的验证者都可以验证这个证明。
AR-Argument：论证，讨论这些证明的一种形式主义，因为有一些花哨的密码学和非确定性并不能完全构成传统意义上的这些“形式证明”。
K-Knowledge：知识，指证明者自己实际上拥有证据这一事实，也能够使验证者确信证明者的答案正确。
简单来说，即“一个人知道内情，其他人都可通过简单、易操作的技术，不需要和这个人交流，就可以验证这个人是对的，除此之外一无所知。”
那么，Filecoin是如何使用zk-SNARKs的？
对于要在Filecoin上验证的存储，涉及两个证明：复制证明(PoRep)和时空证明(PoSt)。
在PoRep中，存储提供商证明他们正在存储一段数据或信息的唯一副本。PoRep只发生一次，即客户端和提供者之间的初始存储交易发生、并且数据首次由矿工存储时。每个上链的PoRep都包含10个单独的SNARK，它们共同证明该过程是通过概率挑战正确完成的。
另一方面，PoSt用于证明存储提供商会随着时间的推移继续存储原始数据，在这期间没有被操纵或损坏。当存储提供商首次同意为客户存储数据时，他们必须以FIL作为抵押品。如果在协议期间的任何时候，提供者未能证明PoSt，他们将受到处罚，并且可能会失去所有或部分FIL抵押品。
如果没有使这些证明变得小而高效的解决方案，它们将占用大量的网络带宽，并为存储提供商和矿工带来高昂的运营成本。现在，存储提供商可以使用zk-SNARKs生成证明来降低成本，它生成的证明数据包很小，验证过程也非常快。
通常需要数百KB来验证的证明可以使用zk-SNARK压缩到仅192字节。如上所述，每个PoRep包含10个SNARK，即每个1920字节。这样一来，就能保证Filecoin一直维持30秒的出块时间。
zk-SNARKs是在Filecoin主网上线以来就在使用的的重要工具，它已经构成了Filecoin网络的一部分，并对未来高效、经济、安全的网络发展起着至关重要的作用。它改变了Filecoin网络的游戏规则，将验证过程大幅减少，同时保证了用户对Filecoin网络的信任。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。