COI:金色观察 | 证明系统让Filecoin与众不同

文章来源于Filecoin项目博客，讲述Filecoin系统中支持共识出块的证明是如何计划和设计的。Filecoin是存储网络和激励，激励获取需要提供存储能力和计算能力，所以要给节点矿工符合逻辑和安全的设计，才会出现证明系统。

就像其他大型技术创新一样，区块链是我们已经使用和信任数十年的几种成熟技术的结合。“共识机制”自1970年开始研究并在1990年代发展起来，本是一种与垃圾邮件作斗争的工具，它使分布式系统中的用户可以达成协议。

区块链使用不同的系统来保持共识。例如，比特币的工作量证明共识机制要求矿工相互竞争，以解决计算量大的数学问题，以便验证两个交换比特币的人之间的付款。解决这些问题需要大量的电力。这就是为什么您听到有关比特币网络每年使用的电力比整个瑞士都要多的原因。

Filecoin建立在空间证明的变体上。它也与权益证明有关，因为权益不是以Token作为抵押，而是以经证明的存储形式确定，确定了矿工开采区块的概率。在构建去中心化存储网络时，我们着手构建证明结构，在该结构中，通过产生的社会性操作来达成数据存储的共识。随着testnet的推出，我们将推出一套新的基于存储的证明系统，以达到去中心化的共识。

金色晨讯 | 11月30日隔夜重要动态一览:21:00-7:00关键词：阿联酋、古根汉姆、CME、巨鲸

1. 阿联酋、沙特阿拉伯央行发布CBDC项目Aber试验报告;

2. 证券日报：顶层设计已基本完备 数字货币正加速推进；

3. 古根汉姆投资灰度比特币信托引发期权市场大量买入活动;

4. 数据：CME持仓量超过25比特币的大型交易员在2020年翻倍;

5. Bitfly：目前以太坊节点多于比特币节点；

6. 观点：以太坊0阶段顺利完成，市场回升符合预期;

7. 匿名巨鲸以14.83美元的费用转移22816枚比特币，价值3.86亿美元;

8. Stellar提醒用户警惕网络钓鱼。[2020/11/30 22:31:54]

2017年宣布Filecoin时，我们开始着手创建一个基于强大的分散市场的去中心化存储网络。为了形成这个市场，分化市场功能并激励早期矿工参与，我们创建了一个加密代币，这是Filecoin共识的副产品。该Token是在有效的工作基础上生成的，即有效的复制证明和时空证明。

PL的Juan Benet在最近对Zero Knowledge播客的一次采访中分享了Filecoin证明构建的历史。以下是该采访的节选：

金色晚报 | 10月17日晚间重要动态一览:12:00-21:00关键词：Medalla、门罗币、BTC锚定币、数字人民币

1. 门罗币官方：网络升级成功CLSAG签名方案完成部署。

2. 数据：当前BTC锚定币总发行量达14.25万枚。

3. 波卡创始人：交易化存储变更等是Web3.0技术栈中仍然缺失的部分

4. 或因Zinken引关注Medalla参与率骤降 ETH开发者称与协议本身无关。

5. bZx回应用户挖矿奖励结果有差异 称计算方式可更改问题不大。

6. 王永利：数字人民币替代现金只能是第一步。

7. 中国外汇投资研究院院长：数字人民币不能代替人民币国际化。

8. OKEx矿池算力24小时跌逾60% 或受OKEx暂停提币事件影响。[2020/10/17]

Filecoin以多种不同方式推动了区块链的前沿进步。复制证明最终是一个证明系统，用于验证存储矿工是否确实拥有他们正在存储的内容且没有作弊。在这些系统中，这是一个非常棘手的问题：如何向网络证明您确实在存储某些东西，而不是撒谎？

Filecoin也在尝试解决其他有趣的问题，包括更高吞吐量的共识以及Filecoin使用的互操作性以及内容可寻址的链式数据结构。但是，归根结底，这是要利用地球上所有未使用的存储并进行组织激励，以建立最大，最强大的计算存储网络并降低该存储的价格。

金色午报 | 9月9日午间重要动态一览:7:00-12:00关键词：央行数字货币、Tether、DeFi项目、EMD

1.EOS DeFi挖矿项目EMD疑似跑路。

2.SBF：SUSHI所有迁移测试均已通过。

3.过去一周六个头部DeFi项目市值缩水一半。

4.联想将在区块链等方面支持厦门智慧政务发展。\t

5.MakerDAO新增USDT和PAX作为Dai抵押品。

6.Compound提交新提案022以提高市场借贷上限。

7.四大行深圳分行：部分员工已收到数字货币邀请码参与内测。

8.纽约总检察长办公室要求Tether和Bitfinex立即提交美元储备说明文件。

9.北京市丰台区常务副区长：丽泽金融商务区将持续聚焦数字货币技术研发。

10.美众议院将于9月10日举行《美国竞争法案》听证会或增强区块链等领域竞争力。[2020/9/9]

Filecoin的复制证明既是存储证明，又是空间证明，两者有细微的差异（稍后说明）。在Filecoin中，数据单位存储在所谓的扇区中。您可以通过缓慢的编码过程将特定数据密封在磁盘上的某个扇区中，然后将其证明提交给区块链。盖章是花费在该特定证明上的大量工作。为了无法伪造这样的证明，必须使用客户端存储在Filecoin上的原始数据才能完成特定工作，这与比特币工作量证明中的数字哈希不同。

金色晨讯丨3月24日隔夜重要动态一览:21：00-7：00关键字：经济萎缩、加密局、数字美元

1.CME比特币期货3月合约收涨1.49%。

2.国际货币基金组织：预计2020年全球经济将出现萎缩。

3.美国CFTC就与新冠病相关的加密局发出警告。

4.深圳商报：人工智能与区块链或是在线教育的“解药”。

5.数字山东2020行动方案出炉，将编制区块链专项规划。

6.丝绸之路创始人RossUlbricht的赦免请愿书签名已超27.5万。

7.美国民主党经济刺激草案提议创建“数字美元”。

8.报告：约九分之一的印尼人拥有加密货币。

9.比特币夜间宽幅震荡，最低跌至6226.28美元，最高涨至6496.50美元。[2020/3/24]

证明系统是一种加密协议，其中有一个证明者和一个验证者，证明者将向验证者证明某些内容。例如，在工作量证明中，证明者已经完成了一些工作，或者花费了一些计算周期。典型的例子是比特币哈希。另一个示例是可验证延迟功能（VDF），可以证明我已经按顺序付出了一定数量的计算，表示我已经等待了一定时间。

存储证明是简单的证明系统，可以证明我拥有一些数据。数据所有权证明的一个例子是：我可以向您证明我有数据X，或者不透露数据X，或者如果数据有多少GB，则更为简洁。然后是可检索性证明，我不仅要证明我有X，也可以使用这些证明来重建X。

金色午报 | 1月23日午间重要动态一览:7:00-12:00关键词：日本央行、欧洲央行、世界经济论坛、Telegram、闪电网络、XRP、苹果

1. 日本央行和欧洲央行将就民间企业发行的数字货币进行共同研究。

2. 世界经济论坛开发创建CBDC政策制定者工具包。

3. 印度央行律师：禁止银行处理加密交易是为了确保银行系统不受影响。

4. Telegram首席执行官反驳SEC观点 称代币销售并非出于筹资需要。

5. 闪电网络启动lnd v0.9-beta版本升级。

6. 2019年Q4 XRP市场报告：总销售额1308万美元 环比减少超80%。

7. 苹果放弃为iPhone用户提供iCloud加密备份的计划。

8. BTC现报8591美元，近24小时下跌1.16%，市值为1557.10美元。[2020/1/23]

空间证明是另一种类型的组，在这些组中，我可以向您保证我要花费一定数量的存储空间。如果我承诺存储1 GB，并且生成一个随机GB，那么可以向您证明我正在存储该随机GB，而不存储其他东西。这样就可以将存储空间用作工作量证明。

有趣的部分是将空间证明与普通的数据所有权证明相结合，在此我希望X有用，而不仅仅是随机字符串。困难的部分是创建空间证明，该证明也用于存储有用的数据。这就是复制证明作为Filecoin网络的加密协议中的基础原语。

发明了其他存储证明系统来创建更好的信任的云服务，因为它们可以向您证明它们正在备份您的数据，但是它们在信任是契约性的常规集中式云环境中完全没有使用。

而现在，他们正在整个下放空间中使用，因为这是我们使用的激励结构，以保证东西不具法律效力的协议。我们还使用SNARK来证明一些实际的复制证明，这些证明会产生大量输出。我们想对这些复制证明进行很多挑战，但是要汇总它们，以便它们可以以非常小巧的方式进入链中。

有多种方法可以执行此操作，但是SNARK是执行此操作的好方法，它们为您提供了一种方法来证明您已正确完成了证明，然后您可以将SNARK证明放在链上。然后，各方现在可以验证一些输入本身以及实际的SNARK证明，并知道证明已正确生成。

在复制证明中，我们获取大量的源数据（如32GB），并应用非常慢的编码，从而在节点可能为32字节段的层中生成这些类似于格子的图形。有一个连续的过程将继续产生一个图，并为每个节点依次散列。由于哈希函数，它必须一个接一个地完成。

生成的一种图类型是DRG（Depth-Robust-Graph），它们与这些扩展图连接，并且有一个完整的复杂晶格结构。最后，我们现在已将原始数据编码为所谓的副本，即作为值提交的副本。如果需要，您可以获取相同的源数据并对其进行多次编码，最终会得到多个唯一编码的不同副本。

现在，我们已经完成了这一工作，为了证明我们已经正确完成了此编码，我们可以在SNARK内进行整个编码，这将是非常昂贵的，或者我们可以抽样一些挑战证明我们已经存储了这个。假设我们在整个证明中抽样了1000个随机挑战，然后在SNARK内进行了计算。我们获取源编码的数据，然后对其进行解码，然后证明它一直追溯到我们致力于的根。这就是我们要简洁的证明。因为否则它将是一个32字节的叶子，然后整个Merkle链一直回到根，将是相当大量的数据，然后乘以一千。100s KB或MB产生一个证明。借助SNARK，我们可以将其压缩，我认为它可以压缩到200B或类似的水平。

关于所有这些工作的一个伟大故事就是我们所说的证明过山车曲线。随着时间的流逝，您最终将创建大量不同的构造，而所有这些不同的参数将为所有这些不同的用例提供服务。

与Filecoin中的证明相比，这种参数选择可能是我们花了这么长时间才实现所有这些东西的最大原因。因为您选择一种构造，并且它具有特定的形状并产生特定大小的伪像，也许这很好，然后您调整一些参数，例如，“嘿，也许我们希望扇区稍大一些。” 这使得其他一些参数必须更改。

很快，您就进入了一个非常大的参数空间，其中包含许多不同的变量，您可以在此处调整一件事，而其他许多事情也必须更改。随着一系列算法的优化，进行复杂性管理非常困难。因为很多这样的构造，这些慢速编码，所以您希望足够慢以对证明有用，但又要足够快以至于它不是很昂贵。进行拨号以使其恰到好处是一个非常困难的挑战，然后使用特殊的SNARK结构进行钉牢处理，以确保您可以高效，简洁地完成此操作。

所有这些参数优化都是如此艰巨而又困难，以至于我们实际上不得不编写软件来处理这一问题。我们有一个约束求解器，只是为了能够在选择证明结构和Filecoin中的参数时处理约束优化问题。这样的结果令人惊讶，其他小组现在可以使用它来使他们的生活更轻松，但是我们必须编写此代码。

我们在Github上使用了一个名为Orient的工具，所有工具都是开源的（请参阅Orient和übercalc中Filecoin的参数）。它具有一种特殊的语言，您可以在其中定义特定的算法及其生成的工件，然后将它们与所有这些变量和参数组合成更大的对象。

然后，您可以得出实验结果，例如某些哈希函数需要多长时间，然后将该数据插入某些参数中，并计算出其他一些参数必须是什么。因此，例如，基于此哈希函数以及在SNARK内部或SNARK外部花费的时间，那么您将要使用这种特殊的构造，因为它可以将时间最小化或将链上足迹最小化而所有这些东西都是通过此求解器计算出来的。

由于结构的复杂性，单个基元及其如何编织到链中以及所有脱链协议等方面，现在就制作区块链技术非常困难，因此我们需要此软件帮助我们编写软件。

类似于芯片制造的方式，芯片制造一直很好，直到达到一定的密度，然后他们停止了手动生产芯片的能力。他们必须开始使用软件才能对芯片进行布局。我认为我们已经达到了区块链的目的，在区块链中，我们正在建造的某些建筑中，我们需要软件来帮助我们进行设计。

我认为没有其他网络在使用复制证明，因此创建该字段是我们的优势。所以这是一个与众不同的因素。我们也是唯一具有这种可变的市场结构的公司，该结构旨在根据要价和投标结构进行优化，使矿工和客户能够一起对价格进行推理，然后从中进行交易。我认为，我们也是唯一在有用存储支持下达成共识的公司。对于其他网络，这可能是由空间证明支持的共识，但对我们而言，它很有用。这些是Filecoin的三个最大区别因素。

然后，通过libp2p紧密集成到IPFS中，以及在IPFS上已经有大量使用情况的许多其他事情。将所有数据直接备份到Filecoin将很容易。值得一提的是IPFS是一个开放的网络，我们已经看到其他网络开始增加对它的支持，这也真的很酷。出于这个原因，它意味着要成为分离层。”

标签：COIOINLECFilecoinKuboCoinfeathercoinfilecoin币中文名filecoin币价格查询

SOL热门资讯