filecoin技术架构分析之二filecoin通用语言理解

1、目录 2 filecoin通用语言理解o 2.1为什么要把filecoin通用语言单独列为一讲o 2.2存储证明2.2.1 为什么使用存储证明2.2.2 复制证明2.2.3 时空证明o 2.3预期共识2.3.1 基础前提2.3.2 使用power达成共识2.3.3 选举方案o 2.4 filecoin智能合约2.4.1 文件合约2.4.2 智能合约2.4.3 与其他系统的兼容o 2.5交易市场2.4.1 存储市场2.4.2 检索市场o 2.6 filecoin 节点2.1 为什么要把filecoin 通用语言单独列为一讲笔者认为一位优秀的软件从业人员，必须具备两种必备能力o 架构设计能力o 架

2、构剖析能力这两者是相辅相成的，架构设计师所设计之架构不可能超过自己的认知范畴，故架构设计师必须有效高效地拓展自己的技术认知视图，以适应当代软件架构高速发展的现实。 而拓展的途径，一方面就是相关理论体系的快速学习跟进； 另一方面，就是实战，对有显著价值的优秀软件项目进行架构剖析。有理论、有实战方是王道。理解具体架构的通用语言就是分析他人架构设计思维的一条捷径。理解具体技术架构的通用语言是分析架构的一条捷径o 通用语言是架构设计人员为实现某个具体技术架构，所高度抽象出来的名词或者称谓，通过理解通用语言， 可以快速理解架构设计人员的思维和设计目 的。o 与读书方法类似（薄读-厚读再薄读），理解通用语

3、言就是第一次的薄读 过程，非常重要。对业务的理解是非常有必要的，所以在 第一讲中,笔者铺垫了巾lecoin的 一些基本概念，任何架构的设计不能脱离业务而行，业务驱动开发仍是非常实用的架构模式；filecoin技术架构从业务来划分，可划分为两个大的 范畴。o分布式存储解决方案存储矿工检索矿工存储客户端检索客户端o 区块链项目filecoin 公链filecoin actors 智能合约filecoin核心通用业务组件组件名称目的DSN保障数据安全、包括故障容错、数据完整性、数据可恢复等新型存储证明证明矿工按照协议规范存储了客户指定的数据，数据有效性可验证市场对矿工与客户组成的交易市场进行了建模，

4、保证交易的有效性 有效工作量证明出块的共识机制，很重要，做到激励兼容下面各节将会对filecoin技术架构中的核心通用语言进行解释。2.2 存储证明Proof-of-Storage包含复制证明（PoR和时空证明（PoSt）,其作用主要有两点：证明矿工做了有效存储竞争区块打包出块，获取区块奖励2.2.1 为什么使用存储证明相对于 PoW(Proof-of-Work)或者 PoCo PoW耗能严重；PoC以空间换时间，同样存在耗能严重问题o 而filecoin网络的耗能必须远低于类似比特币的PoW,参见第一讲filecoin的对标对象，filecoin必须实现以更低的成对去应对商业竞争，同时提供相

5、 同级别的安全性，以及文件存储的效用o 存储证明需要做要与实体经济挂钩，减少无谓浪费相对于 PoS(Proof-of-Stake)o Proof-of-Storage在定向领域（分布式存储）以更简单方式，协调激励，并驱 使矿工以有竞争力的价格提供真实的新存储，它促使矿工积极保证filecoin网络的效用o 当然Proof-of-Stake是区块链领域的热点研究问题Proof-of-Storage阻止网络攻击攻击类型说明女巫攻击Sybilattack作恶节点创造多个女巫身份，谎称存储了多个副本外包攻击outsourcingattacks作恶节点快速从其他节点获取内容，谎称他们存储了比他们实际存储

6、更多的内容生成攻击generationattacks作恶节点宣称将要存 储超过其实际容量的 内容但并未存储内容, 以此增加出块的概率阻止攻击原理每个节点的副本都是有签名的，想通过 复制证明，就相当于真实做了有效存储针对外包攻击，从其他节点获取的整个 过程，满足不了证明人随机挑战的要 求，依然需要重新生成副本（重新seal 需要时间），从而阻止外包攻击宣称无用，存储证明一定要确认密封动 作并能应对随机挑战才能OK如果重新 密封就来不及证明，每次挑战是有时间 要求的2.2.2 复制证明2.2.2.1 基础复制证明本质上可以理解为一种零知识证明，既然是零知识证明，我们在后面需要 理解filecoin

7、复制证明的题目和答案zk-SNARKzero knowledge Succinct Non-interactive ARgumenOf Knowledgezero knowledge :零知识，即在证明的过程中不透露任何内情 succinct :简洁的，主要是指验证过程不涉及大量数据传输以及验 证算法简单non-interactive :无交互。 生成证明的方法在 filecoin架构中称之为seal密封密封过程是需要时间的，Seal过程串行加密的过程，无法并行操 作，seal密封过程是有意设计慢的，主要目的是为了防攻击。2.2.2.2 filecoin 复制证明的题目和答案公开的信息o 矿工

8、的节点公钥、密封公钥、存储公钥、原始 Data哈希、该矿工存储的副 本根哈希隐含因素理解：o 特有节点的副本哈希是由哪些哈希组成（DAG）,任意挑战者或者攻击者是不知情的o 挑战随机参数，通过CRH防碰撞的哈希散列Collision-resistant hashing）生成哈希之后传递给证明者，作用是确定特定的叶子节点的哈希，比如让证明者自行计算离H（c）最近的叶子节点哈希。复制证明的题目与答案o 挑战参数：副本哈希 rt,挑战随机参数 c -> H（c）o 证明者输入（题目）：H（c）（每一次挑战都会变）隐含信息比喻：该叶子节点是与H（c）最近的节点o 证明者输出（答案）：H（c）对应

9、的叶子节点 一一> rt的路径（攻击者是很难反推的）2.2.3 时空证明时空证明可以理解为矿工持续性地生成复制证明o 挑战者输入一个随机参数c,后面的随机参数由证明者基于上一个的挑战答案去生成。（不用与挑战者持续交互）o 下图中变量i会轮询生成新的时间变量产生随机挑战。Ugun-己：tyuHtraticitiiW mmh喟lyii嗯uf PoSl Prove ahg-irijg thrprool touwi time.post.png2.3预期共识2.3.1基础前提 filecoin基于存储证明（有效存储量）来作为矿工在整个网络中的powerpower 属性说明公开1某一时刻，整个网络存

10、储总量是公开的2单个矿工某一时刻，有效存储总量是公开的可公开验证的对于每个存储任务，矿工都需要生成”时空证明“，证明持续提供服务。通过读取区块链，任何人都可以验证矿工的power声明是否是正确的。power 属性说明变化在任意时间点，矿工都可以通过增加新增扇区和扇区补充的抵押来增 加新的存储。这样矿工就能变更他们能提供的power。2.3.2使用power达成共识 目的：每一轮选举一个(或多个) 分配的存储成比例矿工，使得赢得选举的概率与每个矿工 filecoin 预期共识(Expected Consensus,EC)o 预期共识的基本直觉是确定性的，不可预测的o 预期的期望是每个周期内当选的

11、Leader是1，但一些周期内可能有 0个或者许多的Leader。o 在每个周期，每个区块链被延伸一个或多个区块o 区块线性扩展，但是数据结构是DAGo EC是一个概率共识，每个周期都使得比前面的区块更加确定，最终达到了 足够的确定性2.3.3选举方案预期共识通过选举方案产生丸«£| rand3sle. pngEC Election号国邮性 Minor at cpu<H： tPnoveElect（r. t ?： ）L Compute< & on success, output =（匕旷）、 olhcriis& am put ±N ot

12、vtork node on rfreivii：）； ei bloc± ppoch fVer的Eta（玳HMD T _L|TL Cboek if TTj h a valid ®即iMwnur Mit &iid r2. Check, if is the power Som .Mt at time t3 T1型 if Mi m eloctcid k4r 汽（后）/2上 < 5a7 on sucocBs. output " otherwise out put LFigure 13: Leader Electiuiu in the Expected Const

13、snsus protocolsiepng选举方案说明属性八W每个参与者每次选举只有一次试验，因为签名是确定性的，而且 t和rand(t)是固定的。随机值rand(t)在时刻t之前是未知的保密由于有能力的攻击者不拥有Mi用来计算签名的秘钥公开当选Leaded Lt可以通过给出t, rand(t) , H(i)/2L ,来说服一个可验 有效的验证者。鉴于前面的观点(复制证明与时间证明)，有能力的攻击证者在不拥有获胜秘密秘钥的情况下不能生成证明。2.4 filecoin 智能合约2.4.1 文件合约允许用户对他们提供的存储服务进行条件编程，会形成一个多样化 市场。 承包矿工：客户可以提前指定矿工提供

14、服务而不参与市场 付款策略：客户可以为矿工设计不同的奖励策略，例如合约可以给矿工支付随着时 间的推移越来高的费用 票务服务：合约可以允许矿工存放token和用于代表用户的存储/检索的支付 更复杂的操作：客户可以创建合约来运行数据更新2.4.2 智能合约用户可以将程序关联到其他系统(如以太坊)的交易上，他们不直 接依赖存储的使用。2.4.3 与其他系统的兼容规格支持跨链交互，以便能将filecoin存储带入其他基于区块链的平台，同时也将其他平台的功能带入filecoin 。2.5 交易市场* 存储需求和供给组成了两个Filecoin市场：存储市场和检索市场。这两个市场是两个去中心化交易所，简而言

15、之，客户和矿工们通过向各自的市场提交订单来设定他 们请求服务或者提供服务的订单的价格。交易所为客户和矿工们提供了一种方式来查看匹配出价并执行订单。如果服务请求被成功满足，通过运行管理协议，网络保 证了矿工得到报酬，客户将被收取费用。可以类比为淘宝商城2.5.1 存储市场 交易数据会上链，包含于区块之中。 本质上也属于巾lecoin智能合约中的文件合约。 20190214上线的开发网络已支持2.5.2 检索市场交易数据不会上链，属于 offchain的方式。本质上也属于filecoin智能合约中的文件合约。2.6 filecoin 节点 filecoin节点相关o node id 表示 filecoin 网络节点o account id并表示账号，默认与钱包地址一致o wallet addr表示钱包地址o miner id表示矿工 idncHde aka daemon ak