火星链 火星链
Ctrl+D收藏火星链
首页 > ADA > 正文

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

作者:

时间:1900/1/1 0:00:00

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

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

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

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

分析 | 金色盘面:数字货币若无实质性利好刺激 短期内牛市难言:金色盘面综合分析:6月以来市场出现了比较大的反弹行情,但很多小市值标的缩水严重,据分析其原因在于,全球数字货币总市值自2017年底以来总体呈下降趋势,但在前几次反弹中市值也有同步上升,此次反弹市值变化并不明显。此次除了比特币反弹效果明显,其他标的表现较差,多数持续新低,原因在于缺乏增量资金入场,因此在比特币走强的同时,出现了虹吸现象,导致缺乏价值的标的持续被资金抛弃。如果数字货币交易没有实质性利好刺激,短期内牛市难言。[2018/8/17]

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

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

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

分析 | 金色盘面:BTC 夜间回落 6200再次获得支撑:金色盘面综合分析:BTC夜间回落,跌破短期的上升趋势,在6200美元左右再次获得支撑,若能在此位置企稳,则有望再次上攻6400美元。山寨币呈两极分化状态,一部分山寨币依旧处于下跌状态,另一部分山寨币已经出现了超跌反弹的迹象,说明市场情绪尚未统一。恐慌情绪正在逐渐减弱,BTC若能突破6600美元至6800美元的重压力区间,将会给市场带来更大的信心。[2018/8/17]

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

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

金色财经独家分析 中国的区块链产业在区块链技术上确实领先:金色财经独家分析,美国《福布斯》商业杂志网站近日发布《中国的区块链已经实现突破性领先》一文。之前《金融时报》就报道称,2017年向世界知识产权组织(WIPO)提交在2017年全球申请的406项区块链相关专利中,超过半数来自中国。据了解,中国共申请了225项区块链相关专利,居于其后的是美国(91项)和澳大利亚(13项),这个数据是美国数量的2.5倍。区块链技术相关专利申请的国家中,中国排名第一。专利提交上面的优势似乎也预示着国内区块链产业的发展势头。[2018/5/7]

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

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

金色财经现场报道 上海自贸区金融研究室刘斌:区块链在金融领域有助于欺诈识别和风险防范:金色财经现场报道,在今天举办的2018金融科技上海峰会暨区块链世界论坛上,中国(上海)自贸区研究院金融研究室主任刘斌在演讲中指出:“在金融领域,区块链可以起到欺诈识别和风险防范、消除双重记账,或处理来自同一事故的多重索赔、通过数字证书创建所有权,减少伪造。”[2018/4/19]

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

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

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

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

金色财经现场报道 量子比特币创始人张建国:区块链目前最大的困难在技术研发上:金色财经现场报道,在4月3日举办的2018年世界区块链峰会现场,量子比特币创始人张建国表示:“区块链目前最大的困难还是在于技术研发上。区块链技术其实是一次历史性的颠覆,是一次科技革命的颠覆。那么我们回看互联网这么多年,从一开始简单的一个网页,那时候我们还用网页三剑客来做网页,到后来的web 2.0,到今天我们可使用的一些很成熟的模板,我们一分钟建站,很快。圈内技术也是在不断迭代开发,从最先的比特币的应用,到我们真正实现商用,我觉得这个最大的难点就是技术上的突破。随着三年五年甚至十年的发展,我们的技术不断创新、不断研发,我相信未来一段时间,区块链技术肯定是能够实现商用的级别的,主要在技术上要多下功夫”[2018/4/3]

有多种方法可以执行此操作,但是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是一个开放的网络,我们已经看到其他网络开始增加对它的支持,这也真的很酷。出于这个原因,它意味着要成为分离层。”

标签:区块链ECOINFILEOIN区块链dapp开发一个多少钱Kronecoinfilecoin币价格今日coinw币赢官网安全吗

ADA热门资讯
CFT:金融壹账通发布上市后首份财报:平安集团营收贡献有增无减

据IPO早知道消息,2月19日,面向金融机构输出解决方案的平安集团旗下的独角兽公司金融壹账通(NYSE:OCFT)正式发布上市以来的首份年度报告.

1900/1/1 0:00:00
RAD:V神最新讲话谈论DeFi、ETH 2.0及以太坊社区

以太坊联合创始人 V 神(Vitalik Buterin)周六(2 月 15 日)在美国科罗拉多州举办的年度区块链黑客马拉松会议 ETHDenver 上发表讲话.

1900/1/1 0:00:00
以太坊:金色观察 | 大国雄起:德国欲打造加密货币之都

德国最近通过的一项法律似乎引发了市场热潮,一份当地报纸称,已有40家持牌银行申请提供加密托管和服务.

1900/1/1 0:00:00
SDT:多头再次被打住 ETH多头趋势更强

金色财经行情播报丨BTC小幅震荡多头发力仍需蓄势:据火币行情显示,今日上午9时,BTC小幅拉升平台突破,中午时又做回踩,整体保持小幅震荡平台整理.

1900/1/1 0:00:00
数字资产:疫情启示录:现代化的脆弱与现代性的反思

2月14日,数字资产研究院、苇草智酷和零壹财经·零壹智库联合举办了以“现代化的脆弱和现代性的反思”为主题的线上沙龙活动.

1900/1/1 0:00:00
比特币:到2023年 加密货币总市值可以达到10万亿美元吗?

最受欢迎的YouTube加密货币分析师Benjamin Cowen 在他的最新视频中一直在讨论加密货币总市值的对数回归,根据他的分析认为,在下一次牛市中.

1900/1/1 0:00:00