filecoin一种分布式文件存储网络

）（1）数据（2矿工通过提供获取代 ），（DSN种抽象概念（第2节。之后Filecoin协议作为一种受激励，可审计和可验证的DSN建构（在第4节。，新的证明：我们提出两个新的证明（在第3节（）证明（prof-o-reicaio）允许提供商证明数据已被到其自己的唯一物理器。执行唯一的物理副使验证能够检证明者会将多数副本重复据同一空中;prof-fstoage（时空证明）允许提供者证明他们在一段特定时间内了这些数据。可验证市场：请求和检索请求作为订单在Filecoin网络运行的两个分散可市场和检索市场，在市场中矿工和客户可以分别提交请求和检索请求。Filecoin协议是一个分布式网络结构，构建在一个具有原生代币的上。存FilecoinDSN分别通过两个可验证市场处理和检索请求：市场和检索市场。市场由FilecoinProof-of-Spacetime和Proof-of-Replication，以保证矿工们正确他们承诺的数据。最后，矿工们可以参与底层中新区块的创建。矿工对下一个区块的与Filecoin122DSN第3节中，我们激励，定义并提出了Filecoin中使用的Proof-of-Replication和Proof-of-Spacetime协议以验证数据来保障已的持续进行第4节描述了FilecoinDSN场的概念，以及它们的实施，包括市场和检索市场。第6节激励和描述了使用“Proof-of-Spacetime协定”来演示和评估矿工对网络的贡献，这对扩展和分配区块是必要的。第7节简要描述了Filecoin中的智能合同。我们在第8节讨论未来的工作。Filecoin协议草案在分类帐L中的每个时期检查所有是否有2t中引入的每个新订单将O添加到市场的订单簿如果O是投标：锁定如果O是请求：锁定如果O是：运行Put3.对于市场订单簿中的每个检查O（或取消从订单簿中删除返回未使用的AllocTable释放如果O是请运行如果有一个文件，惩罚M的质押抵押单并将返回给客通过通过Manage.PledgeSector提出新的保Put.AddOrder在每个时期通过Put.MatchOrders从Manage.ProveSector中产生新的证如果有时间发布证明（每个Δ证明周期提交给从客户端C接收文件ObidOdeal并签名并发送给将该部分在扇区通过Put.AddOrders提交新的通过Put.MatchOrders发送文件给匹配的矿工Get.AddOrders通过Get.MatchOrders与M当收到来自CC从矿工M收到Odeal时Put.AddOrders提交到从检索矿工M（pi）M1Filecoin图2Filecoin协议的图示，显示客户和矿工互动的概述。和检索市场分别在块状上方和下前，客户必须锁定用于小额的。我们介绍了分散网络（DSN）方案的概念。DSN将多个独立提供商提供的存储整合在一起，并且自我协调，以向客户端提供数据和数据检索。协调是分散的，不DSN可以采用不同的协调策略，包括拜占庭协议，gossip协议或CRDT，这取决于系统的要求。后来在第4节中，我们提供了一个FilecoinDSN的结构。定义 Get（key）→data：客户端执行Get协议以检索当前使用key的数据Manage（：商提供的服务并修复可能的故障。管理协议由提供商经常与客户端或审计师一起运行DSN方案Ⅱ必须保证数据完整性和可检索性，并且能够以下各节中定义的管理和管理故障定义为由管理协议参与者引起的拜占庭故障。DSN管理协议的容错。管理错误的容错假设可能会影响系统的活动和安全。例如，考虑DSN方案Ⅱ，其中“管理协议”要求拜占庭协议（BA）审核提供商。在果BA在n个结点数下，总共f个故障节点，那么我们的DSN可以f<n/2个故障节点。在这些假设的情况下，审计可能会受到影响。故障定义为拜占庭故障客户端检索数据即矿工丢失其文件组件，检索矿工停止提供服务如果导致其输入数据在m个独立的提供程（总共n个）m取决于协议实现;协议设计人员可以修改f和m，或者给用户留下选择，将Put（data）扩展为Put（data，f，m。在一次Get操作中，如果故障供应商数量少于f个，则获取数据的执行成功。例如考虑一种简单的方案其中Put协议被设计为使得每个提供商所有数据。在该方案中，mnfm-1fm-1？不，可以使用擦除编码来设计一些方案，其中每个提供商数据的特定部分，使得m个提供者中的x需要检索数据;在这种情况下，f=m-x。DSNFilecoinDSN该属性要求，没有一个有界的对抗A可以说服客户端在Get2.2DSNPutkdAdrdr,在对执行标识符k执行Get操作结束时f=d。2.3DSNkeyPut数据，客户机检索数据时存在一个对密钥key的成功Get操作。DSNFilecoinDSN定义2.4 如果：对于每个成功的Put，DSN方案Ⅱ是可公开验证的，提供商的网络可以生成当前正在数据的证明必须说服任何有效的验证者它只知道密钥，无法数据。定义2.5 确实在适当的持续时间。定义2.6 的，或者因行为不当而受到惩罚，使得提供商的主要策略是数据。证明（Proof-of-Replication）和时空证明（Proof-of-（PoSJuanBenet.IPFS-ContentAddressed,Versioned,P2PFile GiuseppeAteniese,RandalBurns,RezaCurtmola,JosephHerring,LeaKissner,ZacharyPeterson,andDawnSong.Provabledatapossessionatuntrustedstores.InProceedingsofthe14thACMconferenceonComputerandcommunicationssecurity,pages598–609.Acm,AriJuelsandBurtonSKaliskiJr.Pors:Proofsofretrievabilityforlargefiles.InProceedingsofthe14thACMconferenceonComputerandcommunicationssecurity,pages584–597.Acm,2007.HovavShachamandBrentWaters.Compactproofsofretrievability.InInternationalConferenceontheTheoryandApplicationofCryptologyandInformationSecurity,pages90–107.Springer,2008.ProtocolLabs.TechnicalReport:Proof-of-Replication.RosarioGennaro,CraigGentry,BryanParno,andMarianaRaykova.Quadraticspanprogramsandsuccinctnizkswithoutpcps.InAnnualInternationalConferenceontheTheoryandApplicationsofCryptographicTechniques,pages626–645.Springer,2013.NirBitansky,AlessandroChiesa,andYuvalIshai.Succinctnon-inctiveargumentsvialinearinter-activeproofs.Springer,2013.EliBen-Sasson,AlessandroChiesa,DanielGenkin,EranTromer,andMadarsVirza.Snarksforc:Verifyingprogramexecutionssuccinctlyandinzeroknowledge.InAdvancesinCryptology–CRYPTO2013,pages90–108.Springer,2013.EliBen-Sasson,IddoBentov,AlessandroChiesa,ArielGabizon,DanielGenkin,MatanHamilis,EvgenyaPergament,MichaelRiabzev,MarkSilberstein,EranTromer,etal.Computationalintegritywithapublicrandomstringfromquasi-linearpcps.InAnnualInternationalConferenceontheTheoryandApplicationsofCryptographicTechniques,pages551–579.Springer,2017.HenningPagniaandFelixCG¨artner.Ontheimpossibilityoffairexchangewithoutatrustedthirdparty.Technicalreport,TechnicalReportTUD-BS-1999-02,DarmstadtUniversityofTechnology,DepartmentofComputerScience,Darmstadt,Germany,1999.JosephPoonandThaddeusDryja.Thebitcoinlightningnetwork:Scalableoff-chaininstantpayments.AndrewMiller,IddoBentov,RanjitKumaresan,andPatrickMcCorry.Sprites:Paymentchannelsthatgofasterthanlightning.arXivpreprintarXiv:1702.05812,2017.ProtocolLabs.TechnicalReport:PowerFaultTolerance.2017.[14]ProtocolLabs.TechnicalReport:ExpectedConsensus.2017.IddoBentov,CharlesLee,AlexMizrahi,andMeniRosenfeld.Proofofactivity:Extendingbitcoin’sproofofworkviaproofofstake[extended ]y.ACMSIGMETRICSPerformanceEvaluationReview,42(3):34–37,2014.IddoBentov,RafaelPass,andElaineShi.Snowwhite:Provablysecureproofsofstake.SilvioMicali.Algorand:Theefficientanddemocraticledger.arXivpreprintarXiv:1607.01341,2016.VitalikButerin.Ethereum<>,April2014.URLSatoshiNakamoto.Bitcoin:Apeer-to-peerele