Mi az Ethereum Casper Protokoll?

Sokak számára ismerős lehet a proof of stake vagy az Ethereum Casper Protokoll, főleg ha érdekel az Ethereum vagy általában a kriptovaluta. Lehetetlen elmenekülni ezek elől a fogalmak elől, hiszen mindenhol ott vannak. A legtöbb kriptovaluta, beleértve a Bitcoin-t, a Proof of Work-ön alapszik. A Proof of Work, mint folyamat a következő lépéseket tartalmazza: A bányászok kriptográfiai rejtvényeket oldanak meg egy blokk „bányászatáért”, amelyet hozzá kell adni a blokklánchoz.

Ez a folyamat rengeteg energiát és komoly számításokat igényel. A rejtvényeket oly módon tervezték, hogy megnehezítsék a dolgot és adóztassák a rendszert. Amikor egy bányász megoldja a rejtvényt, ellenőrzés céljából bemutatják a blokkot a hálózatnak. Annak ellenőrzése, hogy a blokk a lánchoz tartozik-e rendkívül egyszerű. Ez lényegében a Proof of Work. A rejtvény megoldása nehéz, de ellenőrizni kell, hogy a megoldás valóban helyes-e vagy sem. Ezt a rendszert használta a Bitcoin és az Ethereum (eddig). Vannak azonban alapvető hibák a rendszerben.

A Proof of Work problémája

Mint kiderült, nagyon sok probléma merül fel a Proof of Work-kel kapcsolatban. Mindenekelőtt a PoW nem egy hatékony folyamat, mivel a hozzá szükséges energia nagy mennyiségű. Azoknak az embereknek és szervezeteknek, akik megengedhetik maguknak a gyorsabb és erősebb ASIC-eket, általában jobb esélyük van a bányászatra, mint a többieknek. Ennek eredményeként a Bitcoin nem olyan decentralizált, mint szeretne lenni. A Proof of Stake az egész bányászati folyamatot virtuálissá teszi, és a bányászokat hitelesítőkkel helyettesíti. A folyamat így fog működni: A hitelesítőknek az érméjük egy részét letétbe kell helyezniük, ezt követően megkezdik a blokkok érvényesítését. Ez azt jelenti, hogy amikor felfedeznek egy blokkot, amelyet szerintük hozzá lehet adni a lánchoz, akkor tudják érvényesíteni, ha fogadást kötnek rá. Ha a blokkot csatolják a lánchoz, akkor az érvényesítők a fogadásaikkal arányos jutalmat kapnak.

A váltás mindig tervben volt

Az Ethereum fejlesztői végig azt tervezték, hogy végül továbblépnek a Proof of Stake-re, ez mindig is a tervben volt. Mielőtt viszont ezt megtennék, meg kell vizsgálniuk a Proof of Stake egyik legnagyobb hibáját. Képzeld el a következő szituációt: van egy fő kék láncunk és egy piros lánc, amely az ágakat a fő lánctól elkülöníti.

Tegyük fel, hogy Anett, egy rosszindulatú bányász ki akarja aknázni a piros láncot. Még ha a teljes hash teljesítményét is ebbe fekteti, nem fog más bányász csatlakozni hozzá az új láncban. Mindenki továbbra is folytatja a bányászatot a kék láncon, mert a hosszabb lánc nyereségesebb és kockázatmentesebb. Ne feledd, hogy a PoW rendkívül drága az erőforrásokat tekintve. Nincs értelme egy bányásznak annyi erőforrást pazarolni egy blokkra, amelyet a hálózat egyébként elutasít. Ezért a láncszakadások elkerülhetők a Proof of Work-ben, mivel a támadónak sok pénzt kellene elpazarolnia.

A PoS behozatalakor azonban a dolgok kissé eltérnek. Ha hitelesítő vagy, akkor egyszerűen beteheted a pénzt mind a piros, mind a kék láncba, anélkül, hogy félni kéne a következményektől. Nem számít, mi történik, mindig nyersz, és semmit sem veszíthetsz, annak ellenére, hogy milyen rosszindulatúak a tetteid.

Casper protokoll

A Casper az a POS-protokoll, amelyet az Ethereum választott. Míg egy egész csapat dolgozott annak létrehozásán, sokan Vlad Zamfirot tartják a Casper protokoll arcának. Tehát miben különbözik a Casper a többi Proof of Stake protokolltól? A Casper olyan eljárást hajt végre, amelynek során megbüntethetik az összes rosszindulatú elemet. A Casper alatt működő POS így működne: a hitelesítők Etherük egy részét letétbe helyezik. Ezt követően megkezdik az érvényesítést. Ha a blokkot csatolják, akkor a hitelesítők jutalmat kapnak. Ha azonban egy érvényesítő rosszindulatúan cselekszik, akkor azonnal megállítják őket, és minden letétbe helyezett pénzük megsemmisül. Mint láthatod, a Casper-t úgy tervezték, hogy bizalom nélküli rendszerben működjön. Bárki, aki rosszindulatú, azonnal büntetésre kerül az által, hogy megsemmisítik a pénzét. Ebben különbözik a legtöbb POS-protokolltól. A rosszindulatú személyeknek el kell veszíteniük valamit, így lehetetlen, hogy megússzák.

Az Ethereum Casper Protokoll máshol is büntet

Ez nem az egyetlen hely, ahol a Casper bünteti a hitelesítőket. Amint Hudson James és Joris Bontje megjegyzik, a Casper szigorúbb szeretne lenni a hálózati biztonság garantálása érdekében, ideértve a bányászok büntetését is, akik offline állapotban vannak, véletlenül vagy nem. Ez azt jelenti, hogy a hitelesítőknek óvatosan kell eljárniuk a csomópontjuk üzemidejével kapcsolatban. A gondatlanság vagy lustaság miatt elveszítheti letétbe helyezett pénzét. Ez a tulajdonság csökkenti a tranzakciók cenzúráját és az általános elérhetőséget.

A Proof of Work-ben nem számít, hogy a kék láncon vagy a piros láncon bányászik-e. A Casperben azonban, ha egy becsületes hitelesítő a kék láncon bányászik, akkor a fogadásukkal arányos jutalmat kapnak, ám egy rosszindulatú bányász csökkenti letétjét a piros láncra tett fogadások miatt. A Casper nem egy konkrét projekt. Két kutatási projekt összevonása, amelyet jelenleg az Ethereum fejlesztői csapata hajt végre. A két projekt a következő: Casper the Friendly Finality Gadget (FFG) és Casper the Friendly GHOST: Correct-By-Construction (CBC).

Casper FFG

A Casper FFG, más néven a Vitalik’s Casper egy hibrid POW/POS konszenzus mechanizmus. Ez az a Casper verzió, amelyet először fognak megvalósítani. Ez nagyjából úgy van megtervezve, hogy megkönnyítse a PoS-re való áttérést. Úgy tervezték meg, hogy létezik egy PoS protokoll, amely a normál ethash protokollal egy időben üzemeljen. Tehát, amíg a blokkokat továbbra is POW-n keresztül bányásszák, minden 50. blokk POS-ellenőrző pont lesz, ahol a véglegességet a hitelesítők hálózata értékeli.

Mi tehát a véglegesség?

A véglegesség, nagyon egyszerűen fogalmazva, azt jelenti, hogy ha egy konkrét műveletet elvégeztek, azt örökre beírják a történelembe, és semmi nem tudja visszacsinálni ezt a műveletet. Ez különösen fontos a pénzügyekkel foglalkozó területeken. Képzeld el, hogy Anett egy bizonyos összegű vagyonnal rendelkezik az egyik cégnél. A céges folyamatok során vétett hibái miatt nem kellett volna elveszíteni a vagyona tulajdonjogát. Néhányan azt állítják, hogy a Proof of Work az egyetlen módja annak, hogy a véglegesség a blokkláncban megvalósuljon. Ez azonban nem feltétlenül igaz. Az igazság ennél sokkal összetettebb.

Ahogy Vitalik Buterin megjegyzi, a világ egyetlen rendszere sem biztosítja a 100% -os véglegességet. Be lehet törni egy rendszerbe, vagy egy nyilvántartásba, és megváltoztatni a számokat. Ez nagy probléma lehet a központosított intézményekkel. A decentralizált rendszerek esetében ugyanakkor ugyancsak felmerültek hasonló problémák. Valójában, a Bitcoin, a Proof of Work gyermeke legalább háromszor szembesült a véglegesítés kérdésével. Ez a közösség szétszakadásához vezetett, ahol az egyik rész nem volt hajlandó elfogadni egy láncot, amelyet a másik fél elfogadott. Ezt a megosztást 6 órán belül oldották meg.

A három ok

Tehát a kérdés az, hogyan biztosítja a Casper FFG a véglegességet? Vitalik szerint három ok miatt garantálható, hogy a Casper erősebb véglegességet nyújt, mint a PoW.

1. Teljes gazdasági véglegesség. Az érvényesítők 2/3-a maximális páratlan fogadásokat tesz a blokkok véglegesítésére. Ezért nagyon kevés ösztönző van számukra a hálózat megtámadására, mivel veszélyeztetik a saját letéteiket, ha ezt megteszik.

2. Képzeld el, hogy a teljes hálózat három emberből áll: Anett, Laci és Károly. Tegyük fel, hogy Anett és Laci egy állítás mögé helyezik a letétjüket, Laci és Károly pedig egy teljesen ellentmondó állítás mögé. Nem számít, mi történik, vagy Anett, vagy Károly veszít egy jelentős összeget. Tehát, amint láthatod, a hitelesítők nem szándékoznak rosszindulatúan cselekedni mert mindig sok pénzt veszíthetnek.

3. Ha azonban kettős véglegesség fordul elő, akkor van egy készenléti terv. Kettős véglegesség esetén a felhasználók választhatnak, hogy melyik láncra akarnak menni. Bármelyik lánc megszerezheti a többségi szavazatot, és az lesz a domináns lánc. Tehát alapvetően a kettős véglegesség a Casperben egy hard forkba kerülne a visszafordítás helyett.

CBC protokoll

Mi az a CBC protokoll(correct-by-construction)? A CBC protokoll, vagyis Vlad Ethereum Casper protokoll-ja úgy működik, hogy hivatalosan, de csak részben határozod meg te a protokollod. Ezután megadod azokat a tulajdonságokat, amelyeket a protokollnak meg kell határoznia. Végül úgy zárod le a protokollt, hogy az megfeleljen minden olyan tulajdonságnak, amely korábban meg lett határozva. Egyszerűbb szavakkal a protokollt dinamikusan hozod létre.

Érdekelnek a kriptopénzek? Ne maradj le a legérdekesebb infókról, csatlakozz hozzánk a lenti elérhetőségeken!

Kezdőknek	Közösség	Egyéb
Bitcoin Útmutató	Likeolj minket Facebookon!	Legfrissebb Hírek
Ethereum Útmutató	Csatlakozz Discord-on!	Videók
Kripto Szótár	Kövess minket Youtuben is!	Altcoinok