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 |
Tetszik a tartalom? Hívj meg minket egy kávéra!
Útmutatóink, tanulmányaink és minden tartalmunk teljesen ingyenes! Affiliatekből és támogatásokból tartjuk fent az oldalt. Ha szeretnél te is hozzájárulni, hogy az oldal továbbra is fennmaradjon és minőségi tartalmat közvetítsen, akkor támogass minket egy kávé árával kriptóban.
