By Bitcoin Magazine - 1 year ago - Ħin tal-Qari: 14 minuti
Prova tax-Xogħol Huwa Għan, Prova Ta 'Stake Mhuwiex
Il-mekkaniżmu ta’ kunsens tal-prova tax-xogħol użat fi Bitcoin hija kejl oġġettiv tal-istorja li ma tistax tinbidel fuq il-kapriċċi tal-validaturi.
Alan Szepieniec għandu PhD fil-kriptografija post-quantum minn KU Leuven. Ir-riċerka tiegħu tiffoka fuq il-kriptografija, speċjalment it-tip ta 'kriptografija li hija utli għaliha Bitcoin.
Proof-of-stake huwa mekkaniżmu ta 'kunsens alternattiv propost għall-prova ta' xogħol li Bitcoinmekkaniżmu ta' kunsens juża. Minflok ma teħtieġ il-konsum tal-enerġija, proof-of-stake teħtieġ li minaturi (ġeneralment imsejħa validaturi) ipoġġu assi diġitali f'riskju sabiex jikkontribwixxu għall-proċess ta 'produzzjoni tal-blokki. Staking jinċentivahom biex iġibu ruħhom b'mod onest, sabiex jevitaw li jitilfu s-sehem tagħhom. Fit-teorija, b'validaturi onesti biss, in-netwerk malajr jasal għal kunsens dwar l-ordni tat-tranżazzjonijiet u, għalhekk, dwar liema tranżazzjonijiet huma invalidi double-sends.
Proof-of-stake kien is-suġġett ta' ħafna dibattitu. Ħafna mill-kritiki jiffokaw fuq is-sigurtà: Tnaqqas l-ispiża tal-attakk? Ħafna nies jistqarru wkoll tħassib soċjoloġiku: ċentralizzazzjoni tal-poter, konċentrazzjoni tal-ġid, plutokrazija, eċċ.
F'dan l-artikolu, nagħraf kritika ħafna aktar bażika: Proof-of-stake hija intrinsikament suġġettiva. Il-veduta korretta ta 'blockchain proof-of-stake tiddependi fuq min qed titlob. Bħala riżultat, l-ispiża ta 'attakk ma tistax tiġi kkalkulata f'unitajiet interni għall-blockchain, u b'hekk l-analiżi tas-sigurtà tkun null; id-djun ma jistgħux jiġu saldati bejn partijiet li ma jaqblux diġà dwar liema partijiet terzi huma ta’ min joqgħod fuqhom; u s-soluzzjoni finali tat-tilwim trid tiġi mill-qrati.
B'kuntrast, il-prova tax-xogħol hija mekkaniżmu ta 'kunsens oġġettiv fejn kwalunkwe sett ta' partijiet relatati jew mhux relatati jistgħu jaslu għal qbil dwar liema stat tal-blockchain huwa preċiż. Bħala riżultat, kwalunkwe żewġ atturi ekonomiċi jistgħu jaqblu dwar jekk sarx ħlas, indipendentement mill-qrati jew mill-membri tal-komunità influwenti. Din id-distinzjoni tagħmel il-prova tax-xogħol adattata — u l-prova ta’ interess mhux adattata — bħala mekkaniżmu ta’ kunsens għall-muniti diġitali.
Flus Diġitali U Kunsens
Il-Problema Li Jeħtieġ Issolvi
Waħda mill-aktar operazzjonijiet bażiċi li jwettqu l-kompjuters hija li tikkopja l-informazzjoni. Din l-operazzjoni tħalli l-kopja oriġinali intatta u tipproduċi replika eżatta essenzjalment mingħajr ebda spiża. Il-kompjuters jistgħu jikkopjaw kważi kull ħaġa, sakemm tkun diġitali.
Madankollu, hemm xi affarijiet li jeżistu purament fl-isfera diġitali li ma jistgħux jiġu kkupjati. Affarijiet li huma kemm diġitali kif ukoll skarsi. Din id-deskrizzjoni tapplika għal bitcoin pereżempju, kif ukoll għal assi diġitali oħra bbażati fuq blockchain. Jistgħu jintbagħtu, iżda wara li jintbagħtuhom il-kopja oriġinali tkun marret. Wieħed jista 'ma jaqbilx mar-raġuni għaliex is-suq jitlob dawn l-assi, iżda l-fatt li din id-domanda teżisti jfisser li dawn l-assi diġitali huma utli bħala kontroparti biex jibbilanċjaw l-iskambji. Meta ikkondensat għal kelma waħda: huma flus.
Biex tinkiseb skarsezza diġitali, il-protokoll tal-blockchain jirreplika reġistru fuq netwerk. Ir-reġistru jista’ jiġi aġġornat, iżda biss bi tranżazzjonijiet fejn is-sidien tal-fondi minfuqa jaqblu; is-somma netta hija żero; u l-outputs huma pożittivi.
Kwalunkwe aġġornament invalidu jiġi rrifjutat. Sakemm ikun hemm kunsens dwar l-istat tar-reġistru fost il-parteċipanti kollha fil-protokoll, l-iskarsezza diġitali hija garantita.
Jirriżulta li l-kisba ta' kunsens hija biċċa xogħol diffiċli. Kundizzjonijiet imperfetti tan-netwerk jiġġeneraw fehmiet distinti tal-istorja. Il-pakketti jintefgħu jew jitwasslu barra mill-ordni. In-nuqqas ta' qbil huwa endemiku għan-netwerks.
Ir-Regola tal-Għażla tal-Furketta
Blockchains jindirizzaw din il-problema b'żewġ modi. L-ewwel, huma jinfurzaw ordni kompluta fuq it-tranżazzjonijiet kollha, li jiġġenera siġra ta 'fehmiet alternattivi tal-istorja. It-tieni, huma jiddefinixxu l-kanon għall-istorja, flimkien ma 'regola tal-għażla tal-furketta li tagħżel il-fergħa kanonika mis-siġra tal-istorja.
Huwa faċli li tinkiseb il-kanonika minn awtoritajiet ta' fiduċja jew, skont xi wħud, minn skema ta' votazzjoni diġitali appoġġjata minn skema ta' identità taċ-ċittadin. Madankollu, l-awtoritajiet fdati huma toqob tas-sigurtà, u li tiddependi fuq il-gvern biex jipprovdi servizzi ta 'identifikazzjoni ta' fiduċja ssir għodda tal-politika aktar milli waħda li hija indipendenti minnha. Barra minn hekk, iż-żewġ soluzzjonijiet jassumu qbil dwar l-identitajiet u l-affidabbiltà ta’ partijiet terzi. Irridu nnaqqsu s-suppożizzjonijiet tal-fiduċja; idealment għandna soluzzjoni li toħroġ għal kollox mill-matematika.
Soluzzjoni biex tiġi deċiża l-kanoniċità li tirriżulta kompletament mill-matematika tiġġenera l-proprjetà notevoli li t-tweġiba hija indipendenti minn min jikkalkulaha. Dan huwa s-sens li fih mekkaniżmu ta' kunsens jista' jkun oġġettiv. Madankollu, hemm twissija waħda importanti: wieħed irid jassumi li l-partijiet kollha jaqblu fuq punt ta 'referenza singulari, bħall-blokk tal-ġenesi jew id-diġestiva tal-hash tagħha. Mekkaniżmu ta' kunsens oġġettiv huwa wieħed li jippermetti lil kwalunkwe parti li testrapola l-ħarsa kanonika tal-istorja minn dan il-punt ta' referenza.
Liema fergħa tas-siġra tintgħażel biex tkun kanonika mhix importanti; li hu importanti hu li l-parteċipanti kollha jkunu jistgħu jaqblu dwar din l-għażla. Barra minn hekk, is-siġra kollha m'hemmx għalfejn tkun rappreżentata b'mod espliċitu fuq xi kompjuter wieħed. Minflok, huwa biżżejjed għal kull nodu li jżomm biss numru żgħir ta 'fergħat. F'dan il-każ ir-regola tal-għażla tal-furketta qatt tittestja biss żewġ fehmiet kandidati tal-istorja fi kwalunkwe ħin. Strettament, il-frażi l-ħarsa kanonika tal-istorja hija qarrieqa: Ħarsa tal-istorja tista’ tkun biss ftit jew wisq kanonika relattiva għal ħarsa oħra. In-nodi jaqtgħu liema fergħa hija l-inqas kanonika u jxerrdu dik li hija l-aktar. Kull meta ħarsa tal-istorja hija estiża b'lott ta 'tranżazzjonijiet ġodda, il-fehma l-ġdida hija aktar kanonika minn dik l-antika.
Sabiex in-netwerk jikkonverġi malajr lejn kunsens dwar il-fehma kanonika tal-istorja, ir-regola tal-għażla tal-furketta teħtieġ li tissodisfa żewġ proprjetajiet. L-ewwel, trid tkun definita sew u evalwabbli b'mod effiċjenti għall-fehmiet ta 'kwalunkwe żewġ pari ta' l-istorja. It-tieni, għandu jkun tranżittiv għal kwalunkwe triplu ta 'fehmiet tal-istorja. Għal dawk li huma matematikament inklinati: ħalli U,V,W ikunu kwalunkwe tliet fehmiet tal-istorja, u ħalli l-infiss "<" jindika r-regola tal-għażla tal-furketta li tiffavorixxi n-naħa tal-lemin fuq ix-xellug.
Imbagħad [jeħtieġu żewġ kundizzjonijiet]:
U
Sabiex ir-reġistru jakkomoda aġġornamenti, il-fehmiet tal-istorja għandhom ikunu estiżi b'mod li jkun kompatibbli mar-regola tal-għażla tal-furketta. Għalhekk, żewġ proprjetajiet oħra huma meħtieġa. L-ewwel, meta tiġi evalwata fuq żewġ fehmiet fejn waħda hija estensjoni tal-oħra, ir-regola tal-għażla tal-furketta għandha dejjem tiffavorixxi l-veduta estiża. It-tieni, l-estensjonijiet ta’ veduta (qabel) kanonika huma aktar probabbli li jkunu kanoniċi minn estensjonijiet ta’ fehmiet mhux kanoniċi. Simbolikament, ħalli "E" tindika estensjoni u "‖" l-operazzjoni li tapplikaha. Imbagħad:
U 0.5L-aħħar proprjetà tinċentiva lill-estensuri onesti biex jiffokaw fuq l-estensjoni tal-fehmiet kanoniċi għall-kuntrarju tal-fehmiet li jafu li mhumiex kanoniċi. Bħala riżultat ta 'dan l-inċentiv, fehmiet distinti tal-istorja li joħorġu minn estensjonijiet onesti iżda kontradittorji fl-istess ħin għandhom it-tendenza li jvarjaw biss fil-pariri tagħhom, fejn huma kkonċernati l-avvenimenti reċenti. Iktar ma jkun irreġistrat avveniment lura, inqas ikun probabbli li jinqaleb mir-riorganizzazzjoni imposta minn ħarsa oħra, aktar kanonika, tal-istorja li tvarja f'punt preċedenti. Minn din il-perspettiva l-ħarsa kanonika tal-istorja hija definita sew f'termini tal-limitu tal-fehmiet tal-istorja li għalihom jikkonverġi n-netwerk.
L-iskwalifika ovvju fil-paragrafu preċedenti huwa l-ħtieġa li l-estensuri jġibu ruħhom b'mod onest. Xi ngħidu dwar extenders diżonesti? Jekk l-avversarju jista 'jikkontrolla l-varjabbli każwali impliċitu fl-espressjoni tal-probabbiltà, allura jista' jfassalha għall-vantaġġ tiegħu u jniedi riorganizzazzjonijiet profondi bi probabbiltà għolja ta 'suċċess. Anke jekk ma jistax jikkontrolla l-varjabbli każwali, iżda jista 'jipproduċi estensjonijiet tal-kandidati bl-irħis, allura jista' jevalwa r-regola tal-għażla tal-furketta lokalment u b'mod indefinit sakemm isib punt ta 'diverġenza bikri flimkien ma' estensjoni li jiġri li tiġġenera aktar kanoniku. fergħa minn kull waħda li tiċċirkola.
Il-biċċa nieqsa tal-puzzle mhix mekkaniżmu li jipprevjeni estensjonijiet diżonesti. F'ambjent ta 'kundizzjonijiet ta' netwerk imperfetti, huwa impossibbli li tiġi delineata mġiba diżonesta. Attakkant jista 'dejjem jinjora messaġġi li ma jogħġbuhx, jew idewmu l-propagazzjoni tagħhom u jsostnu li l-konnessjoni tan-netwerk hija t-tort. Minflok, il-biċċa nieqsa tal-puzzle hija mekkaniżmu li jagħmel riorganizzazzjonijiet profondi aktar għaljin minn dawk baxxi, u aktar għaljin aktar ma jmorru fil-fond.
Prova tax-Xogħol Kumulattiva
Il-mekkaniżmu ta 'kunsens ta' Satoshi Nakamoto jikseb preċiżament dan. Sabiex tipproponi lott ġdid ta 'tranżazzjonijiet (imsejħa blokki), u b'hekk testendi xi fergħa, dawk li jistgħu jkunu estensuri (imsejħa minaturi) għandhom l-ewwel isolvu puzzle komputazzjonali. Dan il-puzzle huwa għali biex issolvi iżda faċli biex tivverifika, u għalhekk jissejjaħ b'mod xieraq proof-of-work. Biss bis-soluzzjoni għal dan il-puzzle huwa l-lott il-ġdid ta 'tranżazzjonijiet (u l-istorja li jimpenja ruħu għaliha) konkorrent validu għal canon. Il-puzzle jiġi b'pum għall-aġġustament tad-diffikultà tiegħu, li huwa awtomatikament imdawwar sabiex jirregolarizza l-ħin mistenni qabel ma tinstab soluzzjoni ġdida, irrispettivament min-numru ta 'parteċipanti jew ir-riżorsi li jiddedikaw għall-problema. Dan il-pum għandu funzjoni sekondarja bħala indikatur imparzjali ta 'sforz ta' soluzzjoni ta 'puzzle f'unità li tkejjel id-diffikultà.
Il-proċess huwa miftuħ għall-parteċipazzjoni ta’ kulħadd. Il-fattur li jillimita mhuwiex l-awtorità jew il-materjal ewlieni kriptografiku jew ir-rekwiżiti tal-ħardwer, pjuttost, il-fattur li jillimita huwa r-riżorsi li wieħed ikun lest li jintefaq sabiex ikollu ċ-ċans li jsib blokka valida. In-natura probabilistika u parallela tal-puzzle tippremja lill-minatur kost-effettiv li jimmassimizza n-numru ta ' komputazzjonijiet għal kull joule, anke bl-ispiża ta 'numru aktar baxx ta' komputazzjonijiet kull sekonda.
Minħabba l-parametru tad-diffikultà fil-mira (il-pum) għal kull blokka, huwa faċli li tiġi kkalkulata stima imparzjali tal-ammont totali ta 'xogħol li tirrappreżenta fergħa partikolari tal-istorja. Ir-regola tal-prova tax-xogħol, l-għażla tal-furketta tiffavorixxi l-fergħa fejn dan in-numru huwa akbar.
Il-minaturi jiġru kontra xulxin biex isibu l-blokk li jmiss. L-ewwel minatur li jsibha u jippropagaha b'suċċess jirbaħ. Jekk wieħed jassumi li l-minaturi mhux qed joqogħdu fuq blokki ġodda validi iżda mhux propagati, meta jirċievu blokka ġdida minn minaturi li qed jikkompetu, jadottawha bħala l-kap il-ġdid tal-fergħa kanonika tal-istorja għax jekk ma jagħmlux dan ipoġġihom fi żvantaġġ. Il-bini fuq blokk li hu magħruf li huwa qadim huwa irrazzjonali għaliex il-minatur irid ilaħħaq mal-bqija tan-netwerk u jsib żewġ blokki ġodda sabiex jirnexxi — biċċa xogħol li hija, bħala medja, id-doppju ta’ jaqilbu għall-fergħa l-ġdida, itwal u testendi dik. Fi blockchain tal-prova tax-xogħol, ir-riorganizzazzjonijiet għandhom tendenza li jkunu iżolati sal-ponta tas-siġra tal-istorja mhux għax il-minaturi huma onesti, iżda minħabba li l-ispiża tal-ġenerazzjoni ta 'riorganizzazzjonijiet tikber mal-fond tar-riorganizzazzjoni. Każ partikolari: skont dan skambju munzell risposta, esklużi frieket wara aġġornamenti tas-softwer, l-itwal furketta fuq il- Bitcoin blockchain kellu tul 4, jew 0.0023% tal-għoli tal-blokk dak iż-żmien.
Is-“Soluzzjoni” ta’ Proof-Of-Stake
Proof-of-stake hija alternattiva proposta għall-prova tax-xogħol li fiha l-ħarsa korretta tal-istorja mhix definita f'termini tal-akbar ammont ta 'xogħol li jintefaq fuq is-soluzzjoni ta' puzzles kriptografiċi, iżda pjuttost definita f'termini ta 'ċwievet pubbliċi ta' speċjali. nodi msejħa validaturi. Speċifikament, validaturi jiffirmaw blokki ġodda. Nodu parteċipanti jivverifika l-ħarsa korretta tal-istorja billi jivverifika l-firem fuq il-blokki kostitwenti.
In-node m'għandux il-mezzi biex jiddistingwi fehmiet validi tal-istorja minn dawk invalidi. Il-punt hu li blokk li jikkompeti huwa biss konkorrent serju għall-ponta tal-fehma korretta tal-istorja jekk ikollu firma ta 'appoġġ (jew ħafna firem ta' appoġġ). Il-validaturi mhux probabbli li jiffirmaw blokki alternattivi minħabba li dik il-firma tagħti prova tal-imġieba malizzjuża tagħhom u tirriżulta fit-telf tas-sehem tagħhom.
Il-proċess huwa miftuħ għall-pubbliku. Kulħadd jista 'jsir validatur billi jpoġġi ċertu ammont ta' munita kripto f'kont depożitu speċjali. Dawn il-flus f'depożitu huma s-"sehem" li huwa mnaqqas jekk il-validatur iġib ruħu ħażin. In-nodi jivverifikaw li l-firem fuq blokki ġodda jaqblu maċ-ċwievet pubbliċi fornuti minn validaturi meta jpoġġu l-ishma tagħhom f'depożitu.
Formalment, fil-blockchains proof-of-stake, id-definizzjoni tal-fehma korretta tal-istorja hija kompletament rikorsisiva. Blokki ġodda huma validi biss jekk ikun fihom il-firem it-tajba. Il-firem huma validi fir-rigward taċ-ċwievet pubbliċi tal-validaturi. Dawn iċ-ċwievet pubbliċi huma determinati minn blokki qodma. Ir-regola tal-għażla tal-furketta mhix definita għal fehmiet li jikkompetu tal-istorja, sakemm iż-żewġ fehmiet ikunu konsistenti waħedhom.
B'kuntrast, il-fehma korretta tal-istorja fil-blockchains tal-prova tax-xogħol hija wkoll definita b'mod rikorsiv, iżda mhux bl-esklużjoni ta 'inputs esterni. Speċifikament, ir-regola tal-għażla tal-furketta fil-prova tax-xogħol tiddependi wkoll fuq ir-randomness li l-unbiasability tagħha hija oġġettivament verifikabbli.
Dan l-input estern huwa d-differenza ewlenija. Fil-prova tax-xogħol, ir-regola tal-għażla tal-furketta hija definita għal kwalunkwe par ta 'fehmiet differenti tal-istorja li jikkompetu, u huwa għalhekk li huwa possibbli li titkellem dwar il-kanon fl-ewwel lok. Fil-prova ta' interess, huwa possibbli biss li tiġi definita l-korrettezza relattiva għal storja preċedenti.
Prova-Of-Stake Huwa Sovvertibbli
Ma jimpurtax għalkemm? Fit-teorija, biex jiġu prodotti żewġ fehmiet konsistenti iżda reċiprokament inkompatibbli tal-istorja, xi mkien irid ikun diżonest, u jekk ġab ruħu b'mod diżonest, huwa possibbli li ssir taf fejn, tipprovaha u tnaqqas is-sehem tiegħu. Peress li l-validatur stabbilit f'dak l-ewwel punt ta' diverġenza mhuwiex ikkontestat, huwa possibbli li tirkupra minn hemm.
Il-problema ta’ dan l-argument hija li ma jqisx iż-żmien. Jekk validatur minn għaxar snin ilu jiffirma doppju blokki konfliġġenti b'mod reċiproku — jiġifieri, jippubblika kontroparti kontradittorja ffirmata ġdida għall-blokk li kien ikkonfermat għaxar snin ilu — allura l-istorja trid terġa' tinkiteb minn dak il-punt 'il quddiem. Is-sehem tal-validatur malizzjuż huwa mnaqqas. It-tranżazzjonijiet li jonfqu l-premjijiet tal-istaking issa huma invalidi, kif ukoll it-tranżazzjonijiet downstream minn hemm. Meta jingħata biżżejjed żmien, il-premjijiet tal-validatur jistgħu jidħlu għal parti kbira tal-ekonomija tal-blockchain. Riċevitur tal-muniti ma jistax ikun ċert li d-dipendenzi kollha se jibqgħu validi fil-futur. M'hemm l-ebda finalità għax mhux aktar diffiċli jew għalja li jiġi organizzat mill-ġdid il-passat imbiegħed mill-passat qrib.
Prova-Of-Skema Hija Suġġettiva
L-uniku mod biex tissolva din il-problema huwa li jiġi ristrett il-fond li fih jiġu ammessi r-riorganizzazzjonijiet. Fehmiet kunfliġġenti ta' l-istorja li l-ewwel punt ta' diverġenza tagħha huwa eqdem minn ċertu limitu ta' età huma injorati. Nodi li huma ppreżentati b'veduta oħra li l-ewwel punt ta 'diverġenza tagħhom huwa eqdem, jirrifjutawha mingħajr ma jittestjaw li huwa korrett. Sakemm xi nodi jkunu ħajjin fi kwalunkwe ħin partikolari allura l-kontinwità hija garantita. Hemm mod wieħed biss li l-blockchain tista' tevolvi jekk ir-riorganizzazzjonijiet fil-fond wisq jiġu preskritti.
Din is-soluzzjoni tagħmel proof-of-stake mekkaniżmu ta’ kunsens suġġettiv. It-tweġiba għall-mistoqsija "x'inhu l-istat attwali tal-blockchain?" jiddependi minn min titlob. Mhux oġġettivament verifikabbli. Attakkant jista 'jipproduċi ħarsa alternattiva ta' l-istorja li hija daqstant awtokonsistenti daqs dik korretta. L-uniku mod kif node jista' jkun jaf liema fehma hija korretta huwa billi tagħżel sett ta' sħabhom u tieħu kelmhom għaliha.
Jista’ jiġi argumentat li dan l-attakk ipotetiku mhuwiex rilevanti jekk l-ispiża biex tiġi prodotta din il-ħarsa alternattiva tal-istorja tkun kbira wisq. Filwaqt li dak il-kontroargument jista 'jkun minnu, l-ispiża hija metrika oġġettiva u għalhekk jekk huwiex veru jiddependi fuq fatturi esterni li mhumiex rappreżentati fuq il-blockchain. Pereżempju, l-attakkant jista’ jitlef l-ishma kollu tiegħu f’ħarsa waħda tal-istorja, iżda ma jimpurtax għax jista’ jiggarantixxi permezz ta’ mezzi legali jew soċjali li l-fehma alternattiva tkun aċċettata. Kwalunkwe analiżi tas-sigurtà jew spiża tal-kalkolu tal-attakk li tiffoka fuq dak li jiġri fuq "il-" blockchain, u ma tqisx id-dinja oġġettiva li tgħix fiha, hija fundamentalment difettuża.
Intern għal cryptocurrency proof-of-stake huwa li mhux biss l-ispiża hija suġġettiva, iżda wkoll il-premju. Għaliex attakkant juża l-attakk tiegħu jekk ir-riżultat aħħari mhuwiex ħlas determinat mekkanikament mill-għerf tiegħu, iżda xandira mit-tim uffiċjali tal-iżviluppaturi tal-munita kriptografika li tispjega għaliex għażlu favur il-fergħa l-oħra? Jista’ jkun hemm ħlasijiet esterni — pereżempju, minn għażliet finanzjarji li jistennew li l-prezz jonqos jew mill-ferħ kbir li jikkawża kaos — iżda l-punt huwa li l-probabbiltà baxxa ta’ ħlasijiet interni timmina l-argument li l-kapitalizzazzjoni tas-suq tal-prova eżistenti kripto-muniti tal-ishma jikkostitwixxu bounty attakk effettiv.
Flus U Oġġettività
Il-flus huma, essenzjalment, l-oġġett li bih jiġi saldat dejn. Is-saldu tad-dejn b'mod effettiv jeħtieġ kunsens fost il-partijiet għall-iskambju - b'mod partikolari, il-munita u l-ammont ta 'flus. Tilwima se twassal għall-perpetwazzjoni ta' talbiet pendenti u rifjut li jsir negozju ripetut fuq termini ugwali jew simili.
Saldu effettiv tad-dejn ma jeħtieġx li d-dinja kollha taqbel dwar it-tip speċifiku ta 'flus. Għalhekk, flus suġġettivi jistgħu jkunu utli fil-bwiet tal-ekonomija dinjija fejn jiġri li jkun hemm kunsens. Madankollu, sabiex titnaqqas id-distakk bejn kwalunkwe żewġ bwiet ta' mikroekonomiji, jew b'mod aktar ġenerali bejn kwalunkwe żewġ persuni fid-dinja, huwa meħtieġ kunsens globali. Mekkaniżmu ta' kunsens oġġettiv jikseb dan; wieħed suġġettiv ma.
Il-kripto-muniti ta’ prova ta’ interess ma jistgħux jipprovdu pedament ġdid għas-sinsla finanzjarja tad-dinja. Id-dinja tikkonsisti fi stati li ma jirrikonoxxux il-qrati ta’ xulxin. Jekk tqum tilwima dwar il-ħarsa korretta tal-istorja, l-uniku rikors huwa l-gwerra.
Fondazzjonijiet li jiżviluppaw u jappoġġaw blockchains proof-of-stake, kif ukoll żviluppaturi freelance li jaħdmu għalihom - u anke influencers li ma jiktbux kodiċi - jesponu lilhom infushom għal responsabbiltà legali talli jagħżlu b'mod arbitrarju veduta sfavorevoli tal-istorja (għall-attur). X'jiġri meta skambju kripto-munita jippermetti irtirar kbir downstream minn depożitu f'kripto-munita proof-of-stake li t-tranżazzjoni tagħha tidher f'fergħa waħda biss ta 'żewġ fehmiet tal-istorja li jikkompetu? L-iskambju jista 'jagħżel il-fehma li tibbenefika l-linja tal-qiegħ tagħhom, iżda jekk il-bqija tal-komunità - imqanqla mill-firem PGP u tweets u postijiet medji tal-fondazzjonijiet, l-iżviluppaturi u l-influwenzaturi - jagħżel il-veduta alternattiva, allura l-iskambju jitħalla fuq il-bażi kont. Huma għandhom kull inċentiv u responsabbiltà fiduċjarja biex jirkupraw it-telf tagħhom mingħand il-persuni responsabbli għalihom.
Fl-aħħar, qorti toħroġ deċiżjoni dwar liema ħarsa tal-istorja hija t-tajba.
konklużjoni
Proponenti tal-provi-of-stake jsostnu li sservi l-istess għan bħall-proof-of-work, iżda mingħajr l-iskart kollu tal-enerġija. Ħafna drabi, l-appoġġ tagħhom jinjora l-kompromessi preżenti fi kwalunkwe dilemma tal-inġinerija. Iva, proof-of-stake telimina n-nefqa tal-enerġija, iżda din l-eliminazzjoni tissagrifika l-oġġettività tal-mekkaniżmu ta 'kunsens li jirriżulta. Dan huwa tajjeb għal sitwazzjonijiet fejn bwiet biss ta 'kunsens lokali huma biżżejjed, iżda dan il-kuntest iqajjem il-mistoqsija: X'inhu l-punt li tiġi eliminata l-awtorità fdata? Għal sinsla finanzjarja globali, mekkaniżmu oġġettiv huwa meħtieġ.
In-natura awtoreferenzjali ta 'prova ta' interess tagħmilha inerenti suġġettiva: Liema ħarsa tal-istorja hija korretta tiddependi fuq min tistaqsi. Il-mistoqsija "il-prova ta' interess hija sigura?" tipprova tnaqqas l-analiżi għal miżura oġġettiva ta’ spiża li ma teżistix. Fi żmien qasir, liema furketta hija korretta tiddependi fuq liema furketta hija popolari fost il-membri tal-komunità influwenti. Fit-tul, il-qrati se jassumu s-setgħa li jiddeċiedu liema furketta hija korretta, u l-bwiet tal-kunsens lokali se jikkoinċidu mal-fruntieri li jimmarkaw it-tmiem tal-ġurisdizzjoni ta 'qorti waħda u l-bidu ta' l-oħra.
L-enerġija minfuqa mill-minaturi fil-blockchains proof-of-work ma tinħelax aktar milli tinħela d-diżil biex iħaddem il-karozzi. Minflok, tiġi skambjata għal każwali kriptografikament verifikabbli u imparzjali. Ma nafux kif niġġeneraw mekkaniżmu ta’ kunsens oġġettiv mingħajr dan l-ingredjent ewlieni.
Dan huwa guest post minn Alan Szepieniec. L-opinjonijiet espressi huma kompletament tagħhom u mhux neċessarjament jirriflettu dawk ta 'BTC Inc. jew Bitcoin Magazine.
Sors oriġinali: Bitcoin Magazine