Skip to main content
 首页 » IPFS

ipfs科学家

2021年04月22日13

IPFS太空竞赛全总结矿商宣传的三个指标,你有被坑吗?

实际上,这就是我们将来想要的索引。大约是0.002。这实际上是完全错误的。我再说一遍。这次,矿工测试每个人都没有认真对待这一障碍。因此,一个相对较好的指标是可以将每个存储T划分多少个奖励硬币。然后,根据当前公告,Vulcan率先发布公告,每个存储T可分为0.65。

文件币

。他是最透明的人,也是第一个宣布总分的人,因此他有分母,并且分子基本上是在没有发布的情况下出现的,总共有170,000

文件币

新基建分布式存储峰会,我们为你整理了些干货

著名经济学家,数字资产研究所学术和技术委员会主席朱家明指出,在过去的十年中,存储经历了从传统和传统的分散式存储到集中式和集中式云存储,再到集中式云存储。进行分布式存储两次转换。分布式存储具有两个主要特征,一是基于区块链。二是奖励机制和溢出效应。分布式存储具有两个变量,总供应量和总需求量。这两个变量相互检查和平衡,最终达到平衡点。他说,数据,计算能力和存储是三个不可分割的要素。在分布式存储中,供应是指存储容量,需求是对大数据的存储需求。如何实现供需总量的平衡还处于初期阶段。但是可以肯定的是,这只是时间问题,因为大数据分布式存储需求的不断扩展将促进并刺激整个存储容量系统的扩展,而整个存储系统的扩展又将刺激整个存储系统的扩展。大数据存储需求。相信在不久的将来,将建立分布式存储的总供应量和总需求量的动态平衡模型。

IPFS&Filecoin-如何使用零知识证明Zk-SNARK的

星际云存储CTO Mason Zk-SNARK是在加密领域使用的零知识证明协议。它是协议的首字母缩写,表示零知识的简洁明了的非交互性知识论证。该证明最早是在1980年代后期开发和引入的,现在已广泛用于区块链系统中。

Zk-SNARK在区块链领域有两个主要用途:1.为了验证整个链的可信度,区块链网络随着时间的推移逐渐增长,例如比特币迅速达到1T容量,每次添加节点时,大数据块必须同步,这会占用带宽并浪费存储空间,从而限制了区块链的广泛应用。

用外行的话来说,Zk-SNARK很好地解决了这个问题:您无需在自己面前移动大象,只需要黑白照片即可验证其可信度。例如,即将到来的Dfinity(ICP)和Mina区块链网络使用Zk-SNARK协议来证明其可信度验证节点,以维护固定的44k和20k验证块数据。链数据。

2.区块链账户的隐私和安全性在2010年代初,比特币用户认为他们的交易是匿名的,因为他们的离线私钥与用户的公钥无关。但是到本世纪末,数据科学家,黑客和执法人员的共同努力不仅使识别和跟踪交易变得相对容易,而且可以将多个匿名交易的数据定位到一个人。

Zk-SNARK可以很好地解决隐私和安全问题。 Zcash系统使用该技术为用户提供虚拟资产交易的隐私和安全支持。

Zk-SNARK证明协议的数学模型非常复杂。这只是一个简短的介绍:(1)生成可信设置(2)计算见证人(3)生成证明(4)验证并证明Filecoin网络如何使用Zk- SNARK证明协议如何?

Filecoin项目包含三个部分:1.区块链部分-实现与区块链相关的逻辑(共识算法,P2P,块管理,VM虚拟机等)。与区块链相关的数据存储在IPFS上。这部分是通过Go语言实现的。

2.防锈零件部件的扇区存储和验证。那就是FPS(文件货币证明子系统)。这部分是通过Rust语言实现的。

3. Bellman零知识证明(Zk-SNARK)证明系统,主要基于BLS12_381椭圆曲线,实现了Groth16零知识证明系统。这部分是通过Rust语言实现的。 Zcash也正在使用中。

Zk-SNARK主要用于Filecoin的扇区包装和扇区认证。

部门的概念相对简单。任何了解硬盘结构的人都知道,硬盘的最小存储单元称为“扇区”。但是在Filecoin网络系统中,该扇区是32G或64G。它对系统扇区使用堆栈式DRG(深度鲁棒图)数据处理算法,在一定程度上处理存储的数据,以证明存储服务器确实存储了一些数据,而不是伪造(攻击)。

扇区封装和提交到网络已经经历了三个过程:1.扇区生成---见证计算:为原始数据,标签和编码计算而构造的默克尔树(Merkel Tree)。

核心代码在rust-fil-proofs / storage-proofs-porep中。

2.生成的扇区证明:生成扇区后,有必要“证明”已处理的数据。毕竟,大象不会被提交到区块链。使用堆叠式DRG数据处理算法进行分区。通过Bellman的零知识证明库,并使用Groth16算法进行数据处理证明。

堆叠DRG中需要大量sha256计算,这需要很长时间,并且可以通过某些方法进行优化,例如使用asm组件的优化版本。

3.链上证明---证明:提交到链上的数据包括默克尔树根的哈希计算结果和证明数据---复制证明(PoRep),链上的验证矿工将验证提交的证据是否正确。

验证过程是RUST-FIL-PROOF模块调用Bellman库以验证零知识证明是否正确。验证过程相对较快,大约需要几毫秒。具体代码在filecoin-ffi / proofs.go文件的VerifySeal函数中。

Filecoin使用扇区封装进行挖掘。主网络扇区有32G和64G两个扇区大小可供选择。每次封装扇区时,哈希计算结果和证明数据(即消息)将被提交到主网络。一次性加油费,相同的256T封装,选择64G扇区可以比32G扇区减少一半的加油费,但是经过测试后根据您自己的硬件选择合理的扇区大小。

Filecoin网络已根据现场进行了技术调整和升级至Zk-SNARK,严格来说,应将其称为Zk-STARK。 Filecoin通过该协议完美地创建了区块链在存储市场中的应用。显然,Zk-SNARK协议具有巨大的潜力,并且可能成为被广泛使用的开创性方法。

注1:Zk-STARK和Zk-SNARK之间的区别Zk-STARK是Zk-SNARK协议的替代版本,被认为是该技术的更快,更方便的实现。但更重要的是,Zk-STARK不需要初始的受信任设置(因此,字母“ T”代表透明性)。

从技术上讲,Zk-STARK不需要初始化受信任的设置,因为它们依赖于通过散列函数冲突实现的更为简化的对称加密方法。这种方法还消除了Zk-SNARK的数论假设,这些假设在计算上很昂贵,并且在理论上易受量子计算机的攻击。

Zk-STARK可以提供更方便,更快速的实现的主要原因之一是,证明方与验证方之间的通信量相对于任何计算增量都保持恒定。相反,在Zk-SNARK中,所需的计算越多,各方必须来回发送消息的次数就越多。因此,Zk-SNARK的整体数据大小远大于Zk-STARK证明中的数据大小。

报告/反馈

微信
登录
用户名
密码
注册
用户名
密码
确认密码
昵称
邮箱
QQ
找回密码
用户名
邮箱
※ 重置链接将发送到邮箱