Seeing Ghosts: Vitalik Sa wakas ay Pormal na ang Casper Upgrade ng Ethereum

Nagsisimula nang magmukhang multo Casper .

Bagama't maaaring napakaganda nito para maging totoo para sa matagal nang naghihintay Ethereum faithful, kinumpirma ng CoinDesk na ang tagalikha ng network, si Vitalik Buterin, ay nasa proseso na ngayon ng paggawa ng tatlong puting papel na nagpapaliwanag Casper, ang pinaka-inaasahang bersyon ng protocol ng proof-of-stake consensus.

Dahil dito, ang mga papeles ay maaaring magmarka ng isang pangunahing milestone para sa Ethereum dahil doon, habang ang Casper ay matagal nang iminungkahi bilang isang mas mahusay at mas berdeng paraan upang KEEP ang pandaigdigang network na magkasundo tungkol sa kasaysayan ng transaksyon ng blockchain, ang industriya ay naghihintay para sa mga detalye na mailagay sa papel.

Sa halip, ang ideya ay nakulong sa utak ng ilang Ethereum developer, na may mga tagumpay at pag-unlad na nakakalat sa mga online chat group at mga post sa blog sa nakalipas na ilang taon.

Dahil ang proof-of-stake ay itinatayo bilang isang napakahalagang piraso ng Ethereum, kailangang magtiwala ang mga user na mayroon talagang magandang plano ang mga developer na ito.

Dahil dito, isasailalim na ngayon ng mga pormal na white paper ng Buterin ang mga developer ng Ethereum sa peer-review, na maaaring magmarka ng isang malaking hakbang pasulong para sa proyekto na kasalukuyang naghahanda upang mag-upgrade sa Metropolis bago baguhin ang system sa proof-of-stake.

"Sa madaling salita, ang mga disenyo ng Casper ay nagiging mas mahusay sa bawat pag-ulit," ang developer ng Ethereum na si Virgil Griffith, isang kilalang hacker at developer ng Ethereum na kasalukuyang sinusuri ang mga puting papel ni Buterin, sinabi sa CoinDesk.

Ang mga papel ay nagtatago sa mga dokumento sa Ethereum research GitHub sa huling dalawang linggo, kasama sina Buterin at Griffith na gumagawa ng mga update paminsan-minsan.

Gayunpaman, ito ay nagkakahalaga ng pagpuna sa maagang yugto ng kalikasan ng trabaho. Ang mga dokumento, na may mga tandang pananong at ilang "paparating na!" mga bula na nakakalat sa buong lugar, T magiging handa nang hindi bababa sa isang buwan, sabi ni Griffith, idinagdag:

"Ginagawa ko sila habang tina-type ko ito."

Mabagal at matatag

Ang unang papel, "Casper the Friendly Finality Gadget" – isang dula sa 1990s na pelikulang "Casper the Friendly Ghost " – ay nagpapaliwanag kung paano gumagana ang consensus system sa isang mataas na antas.

Kapansin-pansin, inulit ng papel ang isang kamakailang pagbabago sa direksyon para sa Ethereum. Sa halip na lumipat mula sa proof-of-work patungo sa proof-of-stake kaagad, ang plano ay magsisimula nang mabagal sa pamamagitan ng unang paghabi ng dalawa.

Ang papel ay nagpapaliwanag:

"Ang mekanismo ng panukala sa simula ay ang umiiral na Ethereum proof-of-work chain, na ginagawang hybrid PoW/PoS algorithm ang unang bersyon ng Casper na umaasa sa patunay ng trabaho para sa kasiglahan ngunit hindi kaligtasan, ngunit sa mga susunod na bersyon ang mekanismo ng panukala ay maaaring palitan ng iba pa."

Sa pagpapalawak pa, gagamitin ang proof-of-work para i-validate ang karamihan sa mga Ethereum block, ngunit gagamitin ang proof-of-stake bilang isang "checkpoint" para sa bawat ika-100 block, na nagbibigay ng higit pang "finality" sa system, o isang garantiya na ang mga transaksyon ay hindi maaaring gastusin nang higit sa isang beses.

Ang papel ay nagpapatuloy upang masakop ang mga posibleng pag-atake, tulad ng "malayuang pag-atake," na maaaring subukan ng mga validator na gamitin at kung paano nilalayon Casper na malampasan ang mga ito.

Diyablo sa mga detalye

Ang iba pang dalawang papel ay pumunta sa minutiae ng system.

Pinamagatang "Mga Insentibo sa Casper ang Friendly Finality Gadget," angpangalawang papelginalugad ang mga insentibo na napupunta sa paggawa ng system at pagtiyak na T ito magugulo.

Para kay Casper, mayroong dalawang uri ng mga bagay na maaaring magkamali: "Mga pagkakamali sa kaligtasan" ay nangyayari kapag nasira ang mga panuntunan, halimbawa kapag ang dalawang validator ay may mga hindi tugmang estado. Nagaganap ang "liveness faults" kapag huminto ang system, o nabigo na maituloy ang mga transaksyon.

Dahil ang mga user ay kailangang magdeposito ng ilan sa kanilang pera para lumahok bilang mga validator, binabalangkas ng papel na kung susubukan ng mga validator na labag sa mga panuntunan, mananakaw ang system sa kanilang deposito.

Ang ikatlong papel <a href="https://github.com/ethereum/research/blob/master/papers/censorship_rejection/censorship_rejection.pdf">na https://github.com/ Ethereum/research/blob/master/papers/censorship_rejection/censorship_rejection.pdf</a> , "Automated Censorship Attack Rejection," ay nakatutok sa 51-porsiyento na mga pag-atake – ang mga kung saan ang isang minero o mining pool ay nag-iipon ng karamihan ng network upang i-double ang kapangyarihan sa pag-compute, at pagkatapos ay i-twist ang kanilang kapangyarihan sa pag-compute ng network, at i-double ang kanilang kapangyarihan sa pag-compute ng network, at pagkatapos ay i-double ang kanilang kapangyarihan sa pag-compute, at i-double ang sistema sa pag-compute ng network mga transaksyon.

Maraming naisip ang mga developer tungkol sa problemang ito, dahil kung mangyayari man ito, maaari nitong bawasan ang kumpiyansa sa blockchain bilang isang pinagmumulan ng mga lehitimong transaksyon.

Sa papel, sinabi ni Buterin na pinapagaan Casper ang problemang ito, dahil pinaparusahan ng protocol ang mga umaatake sa pamamagitan ng pag-alis ng kanilang mga deposito kung gumawa sila ng mali.

Isa pang diskarte

Kapansin-pansin, gayunpaman, na ang diskarte ni Buterin sa proof-of-stake tulad ng nakabalangkas sa mga puting papel na ito, ay T lamang ang diskarte.

Ang Ethereum Foundation na si Vlad Zamfir, na namumuno sa aktwal na pag-unlad ng Casper, ay nagsabi na plano niyang maglabas ng higit pang mga detalye tungkol sa kanyang bersyon ng Casper bago ang Devcon, ang malaking developer conference ng ethereum sa taglagas.

Sinabi niya sa CoinDesk:

"Ang Vitalik ay higit na hinihimok na ipatupad ang isang bagay sa lalong madaling panahon, samantalang ako ay mas hinihimok na maghanap ng mga theoretically pinakamainam na solusyon kahit na nangangahulugan ito ng ilang mga pagkaantala."

At muli, dahil ang bersyon ni Buterin ay ngayon pa lang nagkakaroon ng squared away sa papel, maaaring ipagpalagay na sa panahon ng proseso ng peer-review, ang mga bagay-bagay ay kailangang higit pang lagyan ng laman.

Gayunpaman, sinimulan na ng mga developer na ipatupad ang unang hakbang ng diskarte sa Casper ni Buterin, na nakatakdang maging live sa ibang pagkakataon pagkatapos ng susunod na malaking upgrade ng ethereum,Metropolis ilulunsad ngayong taglagas.

At kasama nito, hindi malinaw kung ang teorya sa likod Casper ay ganap na mapapaplantsa bago makita ng mga tao ang multo sa totoong buhay.

Multo larawan sa pamamagitan ng Shutterstock