共識(shí)算法與共識(shí)安全

錄共識(shí)算法介紹 6介紹 6T類共識(shí)算法 6經(jīng)典拜占庭共識(shí) 9開放BT類共識(shí) 17共識(shí)算法安全性分析 36安全建模 36分析方法 39攻擊方法 41共識(shí)算法安全測試方法和標(biāo)準(zhǔn) 48共識(shí)算法安全理論分析和模擬 48共識(shí)算法安全理論分析 48安全性與惡意攻擊類型 49應(yīng)對(duì)策略 50共識(shí)算法安全模擬 51共識(shí)算法安全滲透測試和代碼安全審查 55安全指標(biāo) 55滲透測試 57滲透測試工具和代碼安全審計(jì) 58共識(shí)算法安全hecLst 59共識(shí)算法安全案例分析 624.151%攻擊 62DDoS攻擊 63BGP劫持攻擊 64共識(shí)算法安全的最佳實(shí)踐 64超級(jí)賬本的共識(shí)算法安全最佳實(shí)踐 64以太坊共識(shí)算法安全最佳實(shí)踐 66參考文獻(xiàn) 69共識(shí)算法介紹紹研某rsa式icr在5了P能存[rcreer在8了P，，sstcaialt性attnlrae[。Per在3年[rk在8模[esie在2出[。，系T,rashatlrae意,zatieatlrae,是esie在2模[隨一。T法T，此T法的T有as的at交aseit）reaseiaKfa。as法as由esieart在0[，ie了P在asas法：段求。求rae”且n接息ac”,,)或(ac”,^,)。于n。息^。段求號(hào)n值v請(qǐng)求ace”,)。n。v。ace”,)于n否。段段回(acct”,)。到ace”,)值學(xué)送ei”)。到(ece”)值。Paos意as、為as得as僅。T法為as3年aro和strt為aft新[：題aft解aftaft：eerelci出ee；gelci；fe證aft；Meesipce：。間aftaft用stglar，由ear從ear向le有3eaeaae和le圖2：2RAFT流，aft在atea個(gè)。識(shí)系）點(diǎn)））如teret延；，。為reeet-ased是rased，代。T對(duì)T，。reetasedT議reetasedT相要，aft性iee要f+1對(duì)f。T議T是asro和isv在9[，級(jí)??2數(shù)T到as。Tieess&aft()/3，有n/()/3。Tiew操點(diǎn)p=vd|，圖3為5：QT

3PBFT程端c點(diǎn)p<T,,t,c中o，tcT容要()。-PE號(hào)號(hào)n對(duì)<<,,,>,>本中vdm。PE點(diǎn)i的E他<,,,,i中,,,m述-Ei錄RE和E息到lg于iwae。OMIT到E點(diǎn)i了f1的E<MMT,,,,i消中,,,i述E錄MMT，于Vewae的E消到lg。PY到MMT點(diǎn)i了f1的MMT端作<,,t,c,i,r>中r果到f+1的Y端的MT到lg。者時(shí)節(jié)起Vewae。在iwae一的lg最在ey，求如0是ecit。T行P點(diǎn)。in議ain是Vneese在4[與T其較ain比zza。ig議ig是erai在0[]傳點(diǎn)ig模astMesletM用T行。eyerTeyaerT是Mler在6[絡(luò)步T于TeyaerT網(wǎng)。eyaerT都合i，用elaercaC而成n的nn節(jié)納f中firyzatereet，scrsnse。受PeyaerT識(shí)。tsftsf是in在9[tff的T了(通。tsf了tsf把T段recitcit及ece。tfff在tff節(jié)導(dǎo)。tsf，并了(其它T。iT為aekME為iaiaT在tf的引。iaT在f+1，是有f+1，ia御f花。iaT間的arilcry，iaT夠。iraT于tff式tfaiedtf式tff本tfasctf一lrT員做共識(shí)節(jié)點(diǎn)，以后逐漸的將共識(shí)節(jié)點(diǎn)對(duì)外開放，并基于libra穩(wěn)定幣的多少選擇共識(shí)節(jié)點(diǎn)，成S。lrT個(gè)eer選。識(shí)節(jié)過+f忍點(diǎn)起。lrT在tf的aceaeriaT投iaT皮。lrT用st在iaT持iraiaT展心tffiraT安了iraT功。)iaT確。iaT了一。，iaT最數(shù)F對(duì)。iaT的為。：iaT了ctr子組中tioctr(由構(gòu)ltrltre書：Maer使。taeter。lcte數(shù)。etresr如reseress、rest。aceaer是。aftles，則—地。近，。uoumbsedFT協(xié)議rm投[。。，rm理ei。/U議/Uer/ae是lMalk在5于rm議[結(jié)()/5。Q議Qridrlg在6[合了/U和T()/3/的對(duì)T發(fā)明f1，似T過和T。rm議rm是erai在0于rm[，要+1有rm和/U執(zhí)他T更和/U。yzzva議zza是ta在7[要f+1對(duì)f節(jié)zza，的3可而同然?3。ram在7出zza[在8修[。eo議在zzanh在9議e[協(xié)將zza略?；诎菡纪ユi的共識(shí)協(xié)議用O達(dá)。ercs在0的zzx[加權(quán)幅議。，arark[re[、iig[T[低。其它共識(shí)協(xié)議ass了ley[協(xié)較ard將T與G了asrah[，到ssip。放T識(shí)8rffW,算[境識(shí)rffte,rffac,ae共rdss。PoW類共識(shí)由rk在3題[9年Jassnamack在7提在2的asa[，與rkasahrk的更而ascash在對(duì)Wasah。識(shí)心節(jié)求ash如：；級(jí)；；；用；并。在0區(qū)過本，確。Garay在5了icnacerc[的T票itintelescarlitinacercl：nrfiew多k應(yīng)T面reeet；ainai意k例應(yīng)T里ality；ainr個(gè)teslt到應(yīng)T的leess。T為0<））獎(jiǎng)使于。4ot意liy了T[]，S圖4是T了5。ic-GitiG是al在6的[itiG是laer，塊Ky及Mcro圖5Ky生約0旦Ky區(qū)有Mcro個(gè)eyMcro的的Mrro成ey分的Mco。5Bitoi-G意在McroMco為的Ky個(gè)Ky的ico將ico續(xù)的圖6。6Bitin-G型Mcro，意，icG交inrasat，酬的。rts利為ass在7了rtais[。圖7rtaisrt生常水。7Fuitais意過的私rtis。rtain的rt生rts的礦。ecreecre是lisy在6[，ecre鏈圖ecre塊圖8。8Ste意為ete于ece求。fxfx由egi在8于G[解于Gfx先后。同ecrefxarteefeeee有圖9：照Titai；c排定ech的ech樞；據(jù)asefre同eh序MX

9oflx意agen對(duì)W[播Max個(gè)rse交（cimrecimcim工塊。用Max是Max的塊得Max夠。PoS類共識(shí)W為amM-cac[。，個(gè)S解了W，。eerineecn由Kg在2[。eecn是W與SW，S量eecn運(yùn)。但eecn狀，。serGaserG由tein和rifth在7于S[目的Wstatilt。aserG計(jì)到T的T了T添。在asrG的tsh高如eciecitre點(diǎn)i與T。的了使aserG的行此aserGttigMeas錯(cuò)。aserG從W到，有asrC到S。witewWte由etv在6于S[類wWtetre的ah，wWe，外taet正wWte與rica[水產(chǎn)。wWteseeye設(shè)，。rsKaias在7議rs[證rs的Srs假行ctsig及。rs的ec個(gè)ech個(gè)s個(gè)slt該sltrrs個(gè)ech個(gè)ech當(dāng)前ech的ech個(gè)eh個(gè)該ech該ech不個(gè)eh的ctsigch每個(gè)st該ech與?=??,ρ,?中eρ該echj第j個(gè)sl。rs個(gè)st的ese交才rs者。的rrs在ech個(gè)ech或S；）aid在8了rsras[。rsrasV數(shù)數(shù)VF低，數(shù)以ras始rrs個(gè)slt有過ras原時(shí)rs的slt。aetser對(duì)rsras了wWte對(duì)了rseess[擾S擊raettc于Craerkrseess保了ras里VF到ras的VF像W個(gè)slt里rrseeis則escairl，點(diǎn)eci確tta。Krr在9了rsrsis[的S入Ks及eriatefardsecreecti，atetacsrsrsis與rseess。PoSpe類共識(shí)c決W的間rst挖鏈。ercinPracon是Mer等人在214年提出的共識(shí)協(xié)議[4，Pracon本質(zhì)上仍是一個(gè)PoW共識(shí)協(xié)議，不過為了使挖礦變得有“價(jià)值”，Peracon會(huì)強(qiáng)制礦工存儲(chǔ)一部分?jǐn)?shù)據(jù)，并在出塊時(shí)向其它節(jié)點(diǎn)證明一直存儲(chǔ)著該數(shù)據(jù)，否則將無法出塊。citacit由ak在5[acit詳了ce題riig和iigltileca解同eracinaeit”。acit純時(shí)量。acit出cale對(duì)質(zhì)。于aeit具ainaialerigttc了aeit算cinaiy比aeit促。ia管aeit算canaiy決calerigatasramen，的ia制rffacedie[。量U算結(jié)同aeit對(duì)cale塊給VFF相個(gè)VF成VF器。ia了caeerigata覆要U擊。iecniecn是eet在8[與iaeit資。iecnecedsesiecn一：中H為ahLtrt第t全?第t工i<?? ?：。此iecn在t。iecn，。證Ciecn復(fù)rffelictrffacetie證。礦證沒制用erfe在t。poofoflpsdtie硬在ereeratth者片telX機(jī)X等他Xag在7源esrcffcetMM議[在W議U可算。混合共識(shí)機(jī)制：單一委員會(huì)識(shí)制用W或S會(huì)。識(shí)個(gè)系。：，過W或S力。的T會(huì)。客。/s成，手S本。置。eerss這ecer在6議eeess[致法T與W以。圖0eres后的ainreeetAainreeet行T確員但eeess機(jī)送g線這。10Pnus意yznzin是Kias在6[的zcin將W與T的時(shí)zcin小T的。zin了itiGKlc塊Mcc先zin小4者8口同itiG微zcin圖1。11Boin意的Tzin聯(lián)caaelecieii將T了()規(guī)zin發(fā)。lala由ram在6于W和T[]。于eeess及zila的la力過/3。解W的W委該。la了as組c,e,v)，按cev：c節(jié)(,e,)(c+,,)，；e個(gè)W到(,e,)(,e+,，到W。v數(shù)(c,e,)=(c,e)+vdn(,e,)(c,e,v+)。的T進(jìn)領(lǐng)。yrdsess識(shí)ridsess由ass在7[識(shí)ridsesu或活rdsss速及。在irdsess為sala條W最行aiT。rdsss了zin鏈過/過/。relaeela是ass在8[的的TVewae的Werla，層W。eela過W過S過W進(jìn)到W的n過S金擇n與swie。過/戶成過4領(lǐng)作eare標(biāo)。如ellraacin標(biāo)發(fā)含k限，。系。eela了/2層T了/2。ldlrad是ild在7lrad將SV密。的S一過VF節(jié)????,1,?1 ≤1?????????,1,?1 ≤?????中H???_?1第r1?????第rk鑰k選lee的leer共的lee。法識(shí)radsessCiryzatiereet，lrad用C過AA過/3快個(gè)3有/3。lradlrad本?；旌瞎沧R(shí)機(jī)制：多委員會(huì)提如iO）如ascile舉,方如ile如aisa）過W如TO。IOTO是u在6TO把的ar過W成W到拜以O(shè)吐。TO，身有c前c明證應(yīng)達(dá)c員。為/少c3有c委。行T交的，行T將。找W，行T。然O，。ileriler是risKias在8[與TO了O御略W來。圖2ieer每。iler用ad配。12nildr意iler與zin為n于V領(lǐng)法ad數(shù)r數(shù)r自行zix，zix于zcin。ra[]了iler，。iceaisae由lassam在7[aisae能aedzatieticitCC是Tticit）。行T在（raccet（reart）接（ace息（art圖3。iin

13hanpe意aiain是aai在8[aiain步納3aican段staigasessaecfratnas。在aiain并efeeeitee委使aiain信。aiain個(gè)ec個(gè)eh，個(gè)r個(gè)ech段前eh行。找W委W個(gè)ech的W通edcol界。行Gisreameeatnrc。aiain網(wǎng)但aiain采。其它于rfX有rfrrfer、rfatrtytelrsessrc，ertedzatiereeet，A別[。共識(shí)算法安全性分析模安全屬性：reee/ite/Itrt某；erii；li在aftiee這另eslec多少。tgsstcWeksstc/etlsstc共是法實(shí)。[：nrf定數(shù)k們0到k；ainal的0意k續(xù)數(shù)；ainrt輪r>r0點(diǎn)P第r出為第r+s鏈足2?1≥??中0s；aies）；radeci；(esseess)與。treelfsstc刻s在rs后t。網(wǎng)絡(luò)模型ttital）eeteerifs節(jié)別elaeMsseraisi在送，。種：crsew的絡(luò)一。（eicyetwr，參。（riycrsetwr網(wǎng)部。scrsetw，。啟動(dòng)模式（Stupssumptions）動(dòng)oetlctateetratetaeet）[。以狀有態(tài)1,…?ni員i。安全性假設(shè)性fatTeetcecrttaaleci手。erectecittsialeci性。腐化模型rrt），別taicri-Milyri手aierrt[。夠一間t的tt-運(yùn)型。法經(jīng)典分布式理論isech和atrsn在5便，為P[P共。0年7的rcreer在MC出P2的ethilert和acych了P猜PP一sseailii區(qū)attnlrae。中致仍分為P的P由P般。，rtcett了E[做etalysstc，達(dá)。協(xié)議分析方法是ilatasedrch與aeBasedrcilaiasedrach實(shí)aeBasedrch程歸。ilatBasedrch有rseartyarimieralsalty及l(fā)cxilatiirseartyarim由lech在6[到認(rèn)。ierslsalt由aeti在1[，C安C在C架是C不在C是C后[。是rstaryarim及ieralsalt。區(qū)塊鏈建模aray在5了icnacerc[的nreiainaltanritinacercl隨的Teestail以erisec）公iees）本析于icnacerl。7年aay對(duì)itinacercl[整nrfainalt行此Kaias和aaias足ainaiy與cinrth具iees[。在7afelass以[區(qū)打括rrs和TY型。法有被：女巫攻擊（Sbilttk)點(diǎn)，的T識(shí)存于/ce高。自私挖礦（SlishMining）是al在4對(duì)W[觀工al挖，。分長惡。圖4當(dāng)過3。14意aak在6tr策高trtearktraltr。arsen[el了[，y考為[。W以W對(duì)at在6了erl[時(shí)程ass了rta[平ag整[。長程攻擊（ongngettk）gaettc明程主稱歷。辨于W但遇但不于W于S乎。ilettc擊seirrrttaelei。用。擊密KEligrtraMigeci。攻ieesseilttc節(jié)自支主擊。iiultyRisingttkifilyaiigttck由ack在3[許以的要?？梢荒?。無利益攻擊（othingtSke）于S攻是于S無時(shí)無于ce。進(jìn)lai。權(quán)利壓迫攻擊（indingttk）點(diǎn)于ae節(jié)選。隔0一0斷ash。雙花攻擊（oubleSpndingttks）：acettc向ieyttc，%ttc力過。系。交易拒絕攻擊（nsationdnilttks）raacineilttcs壞制P，。無法同步攻擊（snhroniztionttks）擊于Wae于T點(diǎn)步。日蝕攻擊（lipsettk）clse者將到clse對(duì)絕及D。clse由較。clse效cie個(gè)。S攻擊S于/S，絕。的S。動(dòng)S這。過過P絡(luò)載。動(dòng)S來放結(jié)能。行S，。2.3.1151攻擊了于W節(jié)絡(luò)，都在S。制制/3結(jié)。賄賂攻擊他以握施。歷史多數(shù)攻擊（PstMjoityttks）己。于S間。PijkingP用P塊個(gè)受P。Ppsilon攻擊+sln給工得P給1為投給1得sln者給1給，了。冷啟動(dòng)攻擊S于S啟容。幣齡累積攻擊對(duì)S和S每越到，。預(yù)計(jì)算攻擊當(dāng)S挖。藏塊攻擊（lokithholdingttk）礦礦，收。共識(shí)算法安全測試方法和標(biāo)準(zhǔn)展碼。擬識(shí)。共識(shí)算法安全理論分析，eau[[][安[：綴，。?(?。含。。。共eau列：待其時(shí)數(shù)就。使。為M隨更起S過。造些S通利些S導(dǎo)有。安全性與惡意攻擊類型塊即改。在2.3已介紹.應(yīng)對(duì)策略：。戶在一的識(shí)。。信//MS。的P信。。法戶投對(duì)惡。法識(shí)全算。共識(shí)算法安全模擬過1為。擬如asro真將T[對(duì)T。KiegT擬T程[該MC括5復(fù)，且了f和到+1新TC有11和6者消表越達(dá)。ai對(duì)T[對(duì)間：不；；；。響T與節(jié)數(shù)段兩為T息。alaai型er[估T間了T：。。。一。端的：。對(duì)T慮于T沒。擬來erais過M[MP控策為M先描MP和根少發(fā)MP行。在MP：率?。。?∈0,?果?=。數(shù)?。數(shù)?。到因，率產(chǎn)。?誠?險(xiǎn)。用MP?<?,,,?>SAPRM示MP：，。。?>??+1果?。而。。?>??>。為?,?,??,??????和：?>?，?,??1,?,·為?,?,?,???。數(shù)，??1,?,?,·為?,?,??,???。在。味。態(tài)0,00,???為1,0,,???態(tài)為0,1,,???持0,0,,。外.ag對(duì)MP[將MP，入中。查安全指標(biāo)安.ag[：塊力力??：??=mnlim?，?∞????=1?。??。礦：??=inlimΣ? ，??∞Σ?Σ?Σ?Σ??值1?共。塊。?后?=6商將??：????,?,????,?,??= ?+1?)??, ?≥??+1?????=0服，Σ??分：?,,???=maxlimΣ?Σ???，?∞ ???擊。審，那擊(eaherforkngaack,懲性叉審鏈的易補(bǔ)來，與成叉種空投盈無，與止絡(luò)與在塊中行易作關(guān)這的擊量要比51%擊先，為并需大數(shù)算來一網(wǎng)參者入名當(dāng)中該始中并損佳代：??=maxlimΣ? ，?∞Σ?Σ?Σ???=0。，。滲透測試“”全經(jīng)幫現(xiàn)T：數(shù)公。//性是。輸賴P被oS必。I試I證I。試測對(duì)I階些I。試能。試試效缺。測時(shí)要：具足略易試過I試點(diǎn)。滲透測試工具和代碼安全審計(jì)重：rfe架rferfe能用rfe用Jaacit和liy自：產(chǎn)程架信arkark測的I并。s由tn?；驒z。，段的0成修。即并。全hckst含1和2合1和2方：下3：過，。止。始。過MP者，件發(fā)MP，。下4：塊法。除的。的。，抗?？傻膃cli[]攻擊類型攻擊對(duì)象攻擊手段影響51擊oW當(dāng)攻擊者能夠控制區(qū)塊鏈中超過50％的能力oS（如挖掘能力或驗(yàn)證能力）時(shí)，他/她就能夠DoS進(jìn)惡意動(dòng)例如重支或止其節(jié)點(diǎn)接其誠交。不算法攻行為有所同，5的擊是可免。叉擊oWoS一或多節(jié)通過制全特百分以上算力/數(shù)字資產(chǎn)，利用這些算力/數(shù)字資產(chǎn)隱秘篡改分叉后攻擊者賬戶數(shù)據(jù)，實(shí)計(jì)新區(qū)（擊區(qū)），造塊鏈叉，現(xiàn)雙重支付，可并攻擊塊到一長度后所有點(diǎn)釋致上錄回，使點(diǎn)棄區(qū)塊（達(dá)月）巫擊oW攻者生大攻擊點(diǎn)并可多的攻擊實(shí)現(xiàn)攻擊者對(duì)區(qū)oSDoS節(jié)植入絡(luò)，在擊期，些被為女巫點(diǎn)的擊點(diǎn)將傳播擊的塊導(dǎo)致?lián)羲銦o接于1塊鏈網(wǎng)絡(luò)的高制權(quán)賂擊oS攻者購商或者務(wù)，戶始等區(qū)塊以小于貨物或者鏈絡(luò)確交，此攻擊開在網(wǎng)中首服務(wù)費(fèi)用的成本次稱，目相對(duì)長的包本次易的利主進(jìn)行勵(lì)當(dāng)主足夠時(shí)攻擊開始放更大獎(jiǎng)，獎(jiǎng)那些包此次易的鏈中挖礦的礦工。一旦確認(rèn)達(dá)成后，放棄獎(jiǎng)。物手同放攻者中鏈。預(yù)計(jì)算擊oS將一時(shí)段計(jì)算的新塊留不開，到到二新塊同公布攻擊者所在分為長鏈bl攻擊oWoS攻者嘗通在區(qū)鏈中建多欺性身份控制等絡(luò)。些身似是唯的用使攻擊者對(duì)網(wǎng)絡(luò)有不成比例的控DoS戶節(jié)點(diǎn)實(shí)上是攻擊控的。些身制權(quán)或包圍誠實(shí)份于獲投權(quán)，止驗(yàn)權(quán)甚至區(qū)塊的節(jié)點(diǎn)，并試圖的交絡(luò)傳假息。影響到達(dá)該節(jié)點(diǎn)的信息，然后逐影分帳?；〒鬿WoS當(dāng)個(gè)人試次在塊鏈花特定額的錢時(shí)，就會(huì)發(fā)生雙重支出攻擊6。當(dāng)攻擊者試形成欺詐分支，響易DoS圖建一正交易包含一區(qū)塊，然后一段間，創(chuàng)一個(gè)詐沖突易并其到個(gè)的叉詐區(qū)中共識(shí)算法的安全性測試步驟：：應(yīng)保證來自于系統(tǒng)正常運(yùn)行節(jié)點(diǎn)的請(qǐng)求能在規(guī)定時(shí)間內(nèi)達(dá)成一致的、正確的共識(shí)最終夠系接并理需測是能出確果；應(yīng)保證任意不超過理論值的節(jié)點(diǎn)數(shù)故障不會(huì)影響整個(gè)系統(tǒng)正常工作，需要測評(píng)誠實(shí)的點(diǎn)否對(duì)同請(qǐng)做明且致判；應(yīng)保證驗(yàn)證規(guī)則滿足概然性與統(tǒng)一性，如共識(shí)機(jī)制中包含驗(yàn)證過程，需要測評(píng)每一參節(jié)是具獨(dú)判能；應(yīng)保證共識(shí)方案的發(fā)布需伴隨清晰的應(yīng)用場景和規(guī)模參數(shù)，便于對(duì)機(jī)制的安全適配范進(jìn)規(guī)化校，要評(píng)共機(jī)是能防雙支、巫擊。應(yīng)保證在理論值范圍內(nèi)的惡意節(jié)點(diǎn)對(duì)系統(tǒng)發(fā)出偽造、重復(fù)的惡意請(qǐng)求時(shí)，系統(tǒng)能夠做正的應(yīng)保一性。共識(shí)算法安全案例分析分的。：415%擊3年6幣eaecn遇攻值8eaecn算4年7池asO過%離于06年8ce”個(gè)rtn和i值5rts的Ktn算到在8年4和5Vre次，了0ere用5在5種用Vre攻8年5過取值0在6是McecasVre和iecnas需。在9年1C了值0美。見：進(jìn)；的過般一；；過總；；部于；過。oS擊S的7年6所ifex了S的1月1過5值78年6到0交了M更在9年1了8年1，過動(dòng)S，8年7戲D客S得4內(nèi)D少后D待5最級(jí)S0年2所itiex和Kx輪OS。：；行S絡(luò)；行S。范S機(jī)。P擊在過去的幾年中，托管采礦池或加密貨幣交易所的自治系統(tǒng)都遭受了BGP劫持攻擊。4P要P的P，些P括anViitalceaeaeeb和la的了08年4包MteWaetm了P源Wb用用終了0。類。共識(shí)算法安全的最佳實(shí)踐算實(shí)等。踐erler級(jí)理提。ereerarc。識(shí)對(duì)erlerarc。ereeraic于eeer的aceKfa是arc0將6的T為為arc拜。arc：序(cie/或先節(jié)，用(seetstemaice對(duì)是書。。排(rrgeric)算順和的。交先過VC過MC。VVlainstemaicV指。MMliVerincrecytl段行示。復(fù)是。arc用o用Carc般：交過VC的C估。交arc道含。ssp如T和T，達(dá)在aa段以是sip間是sipssp于C的將S。ssp。(eigseice原些。踐的W專計(jì)來太了W是aerasito，是aerasito對(duì)aer-asto了tsh是tre0在tre0用Stsh礦是C從U型了O。的W試c該ce坊的tash解ce該：ee；出MB存cace的該cace。據(jù)cce成B的aasaast由cae的代6儲(chǔ)cae和aas。數(shù)在G和e一個(gè)G置取A和A素’過A和A另置B和’代4出8希試。ace和aaset隔0而cace小B和aaset小B擇B的cace大用C而MB較選擇B的aaset算隔0是。的Treeyeaiestseere，T間為5是0的W網(wǎng)。了TT中7而入T可識(shí)。VVM編言ltyliy類Jacrit用VM以行VM整。有4是W是S為aseS決W缺等S是H機(jī)，以此aser為，相。參考文獻(xiàn)cherMJ,nchN,PeronM.Ipobiyofdrbedcoenusihoealyproce[J.JoralofeAM(JM),195,3(2):37382.Gbert,nchN.Breer'scojecreadeeasbyofcote,aaabe,paro-oerateberces[J].AcmgactNes,202,3(2):5159.BeOrM.Aoheradataeofreecoce(EendedAbrac)opeeyanchroosareeetproco[]ProceegsofeecodanalAMpoumonPrcpesofdrbedcopig.193:2730.Dork,nchN,oceer.osesusnepreeceofpaalnchro[J].JoralofeAM(JM),198,352):28323.eseapor,obertE.osa,adMarall.Peae.TeBzaieGeerasPobe.AMTra.Prra.ang.s.,4()3240,192.aport.Tepareparae[M]Cocurrec:eWosofeseapor.209:27-31.OgaroD,OseroutJ.Teratcoesusaorh[J].205.atroM,ikovB.PraccalBzaiealtoerace[]OSDI.199,99(99):13186.Vaneese,cnederFB.hanepcaonoruppogHghTrogputadAalab[C]ODI.204,4(–10).Gerraoi,KezevcN,QeaV,eta.rechgb[].200.?zuMT,Vadrez.Prcpesofdrbeddaabaeses[M].Egeoodff:PreceHa,199.AbdEMaekM,GagerG,GoodonG,eta.al-caabeBzanneau-oeraterces[J].AMIGOPSOperagseseve,205,395):5974.olngJ,MersD,ikovB,eta.HQrepcao:AbrdqormprocolorBzaieautoerace[]Proceedsofe7hpoumonOperagsesdenadpeenaon.206:17190.Gerraoi,Ke?ei?N,QuaV,eta.Teext70BTproco[]Proceegsofe5hEropeancofereceonopuerses.200:36376.Koa,lsi,DanM,eta.zzva:pecaiebzaieautoerace[]Proceedsofe-firtAMIGOPSpoumonOperagsesprcpe.207:4558.AbraamI,GeaG,MahiD,eta.eiigastpraccalbzaieautoerace[J].arXvpreptarX17120167,207.GeaGG,AbraamI,Groan,eta.BT:acaabeaddecerazedrtfrarucure[]201949hAnualIEEEIIPernaonalcofereceondepedabesesadeors(DN).IEEE,209:56580.ghA,osecaP,KzneovP,eta.eno:EenalyostetBzate-autToerace[]NSDI.209,9:16184.roghBzaieocg[]2010IEEEIIPIeraonaloferenceonDepedabeses&Neors(DN).IEEE,200:36372.A.een,E.Wo,.Av,M.Dai,adM.Marce,“MangBzatealtToeratsesToeraeBzateal,”p.AQ.J.Mod.oreni.,209.Y.Air,B.oa,J.Krch,adJ.ane,“Pre:Bzaterepcaonnderaac,”IEEETra.Depedabeecr.opu.,201.G..Veroee,M.orrea,A.N.Bean,ad..ug,“pnoe’shees?Bzateautoeraceihapnngprar,”nPoceedsofeIEEEpoumoneabeDrbuedses,209.P..Abn,.BenMohar,adV.Qea,“BT:edndatbzateautoerace,”nPrceeds—IeratoalofereceonDrbuedopungses,203.Pas,hiE.Teeepyodelofcoenu[C]IernaoalofereceoneTeoryadAppcaonofrpooyadIforaonecrt.prger,ha,207:38409.Bard.Teirdsasgraphcoesusaorh:ar,as,bzateautoerace[J].ird,Ic.TecncaleportWILD-T2016,206,1.aoh,Naaoo."Bco:Apeeropeereecroccahse."onued1.212(208):28.Dork,NaorM.Prcgaprcengorcobangjka[C]AnualIeratoalrpooyoference.prger,Be,Hedeber,192:13147.JaobonM,Jes.Prosoforkadbreadpddgproco[M]ecureforaoneork.prger,Boo,MA,199:25272.Back.Hahcahadealofercecotereaure[J].202.oponkyY,oharA.ecreg-raeraactonprcengnbco[]IneraioaloferenceonancalrporapyadDaaecr.prger,Ber,Hedeber,205:50527.EalI,GecerAE,rerEG,eta.Bco-g:Acaabeboccanproco[]13h{UENIX}poumoneorkedsesdenadpeenaon({NDI}16).206:45-59.Pas,hiE.rchan:Aarboccan[]ProceedsofeAMpoumonPrcpesofDrbuedopung.217:31324.oponkyY,ewebergY,ohar.PETE:AatadcaaberpocurrecyProco[].ICRrpo.ePrtArc.,206,206:119.i,iP,houD,eta.cangakaoocoenusoosandsofraactosperecod[J].arXvpreptarX1805.087,208.hang,PeeelB.aydonecoonercs:Eaatgpro-o-orkcoenusproco'ecr[]/2019IEEEpoumonecrtyadPacy(P).IEEE,209:15192.Profofake[One],aaabe:p/e.bcon.ikProofofake,prl11,208.Kng,Nadal.Pco:Peeropeercrpocurrecyihproof-ake[J].ef-pbsedpaer,Agu,202,19:1.BernV,GrfhV.apereredynatyade[J].arXvprertarX1710.043,207.BeovI,Pas,hiE.owWe:PrabyecreProsofake[J.ICRrpo.ePtArc.,206,206:91.KaiasA,uselA,DadB,eta.Oroboo:Aproabyecureproof-akeboccanproco[]AnualIeratoalrpooyoferece.prer,ha,207:35388.DadB,Ga?i,KaiasA,eta.Oroborosprao:nadape-secre,eisnchroospro-o-taeboccan[]AnnualIeratoalofereceoneTeoryadAppcaosofrpograpcTecnqes.prger,ha,208:6698.Badecher,Ga?iP,KaiasA,eta.Oroborosenes:opoabepro-o-akeboccansihdaicaaabi[C]Procedgsofe208AMIGACoferenceonopueradounicaosecrt.218:91930.KerberT,KaasA,KoessM,eta.Oroborscrpnos:Prac-preerngpro-o-ake[]2019IEEEpoumonecrtyadPracy(P).IEEE,209:15174.GarayJ,Kaias,eonardosN.Tebconbacboeproco:nassadappcao[C]AnualIeraioaloferenceoneTeoryadAppcaosofrpograpcTecnqes.prger,Ber,Hedeber,205:28310.Mer,JesA,hiE,eta.Peracon:eprpongbconorkordaapreerao[C]2014IEEEpoumonecrtyadPac.IEEE,204:45490.Park,PerzakK,Kon,eta.pacen:ArpocurrecyBaedonProsofpace[J.ICRrpo.ePtArc.,205,205:52.oenB,PerzakK.Tecaeorkboccan[J].209.BeetJ,GrecoN.econ:Adecerazedoraeeork[J].Proc.ab,208:136.hang,EalI,Ecra,eta.{EM}:eourceeffcentnngorboccan[C]26h{UENIX}ecrtypom({UENIX}ecry17).207:1471444.Decer,edelJ,Waeofer.Bconeesrogcotec[]Proceedsofe17hIeratoaloferenceonDrbuedopungadNeorng.206:110.KoasEK,JoaocP,GayN,eta.Ehacngbconecuryadperoraceihrogcosencyacoecenng[]25h{enx}ecurypoum({en}ecrty16).206:27296.AbraamI,MahiD,NaakK,eta.oda:Aboccanprocolbaedonrecogurabebzatecoesu[J].arXvpreptarX1612.091,206.Pas,hiE.Hbrdcoenu:Eicetcoenusneperiioessode[]31tIeratoalpoumonDrbedopung(DIC217).cossDasu-Lebnz-enrumuerIforak,207.Pas,hiE.Tuderea:Boccansihopscsantcofraio[]AnnalIeratoaloferenceoneTeoryadAppcaosofrpograpcTecnqes.prger,ha,208:333.GadY,Heo,Mcai,eta.Agorad:cangbzateareeesorcrpocrreces[]Proceedsofe26hpoumonOperagsesPrcpe.207:5168.uu,NaraananV,heng,eta.Aecreardgprocoloropenboccans[]Proceegsofe206CMIGACofereceonopueradounicaosecrt.216:1730.Koor-KoasE,JoaocP,Gaser,eta.Onedger:Aecure,cae-o,decerazedederaardg[]/2018IEEEpomonecryadPracy(P).IEEE,208:58-59.chnderP,JdaerA,iterN,eta.Hdrand:Praccalcotnousdribtedradones[J].200.A-BaamM,onoA,Bao,eta.anspace:Aardedartcoracspaor[J].arXvpreptarX17080378,207.aaniM,MoaediM,akovaM.apdcan:cagboccanaulhard[C]Proceegsofe208AMIGACoferenceonopteradounicaosecrt.218:93948.Mer,XaY,roanK,eta.TeoeybaderofBTproco[]Proceegsofe206AMIGACoferenceonopueradouncatosecr.206:3142.YnM,MahiD,eerMK,eta.Hoff:Btcoenustheartyadrepovene[C]Proceegsofe209AMpoumonrcpesofDrbtedopung.219:34356.MazeresD.Teearcoenusproco:Aederaedodelorerne-evelcoenu[J].earDeeopetondao,205,32.劉懿中,劉建偉,張宗洋,等.區(qū)塊鏈共識(shí)機(jī)制研究綜述[].密碼學(xué)報(bào),209,6():39432.GarayJ,Kaias.o:Acoenusaonoyneboccanera[]rpograper’TrackateAoference.prger,ha,200:28318.PrcetD.Bae:Anacdaer