GRANDPA

GHOST-based Recursive ANcestor Deriving Prefix Agreement

A hatékonyság és rugalmasság érdekében tervezett GRANDPA egy aszinkron konszenzusréteg a véglegességhez, amely lehetővé teszi a véglegesség struktúrájának granuláris ellenőrzését, miközben képes kezelni a hálózati partíciókat a konzisztencia romlása nélkül. A GHOST (Greedy Heaviest Observed Subtree) mint a villaválasztások navigálására szolgáló modul segítségével a hálózat egyetlen történelmi állapotra garantálhatja a konszolidációt.

Mi a véglegesség

A véglegesség olyan tulajdonság, amely garantálja, hogy egy tranzakció (vagy tranzakciócsoport) visszafordíthatatlanná vált. A véglegesség lehet abszolút vagy valószínűségi. Az abszolút véglegesség technológiai biztosítékkal (determinisztikus) rendelkezik, míg a valószínűségi véglegesség gazdaságilag biztosított.

A POW rendszerekben, mint például a Bitcoin, a véglegesség valószínűségi jellegű, ami azt jelenti, hogy egy tranzakciót soha nem tekintenek igazán visszafordíthatatlannak; blokk újraszervezések vagy visszaállítások elméletileg bármikor és bármilyen mélységben megtörténhetnek; így a valószínűségi környezetekben a véglegesség a tranzakciók gazdasági súlya alapján jön létre. Itt a felek feltételezik, hogy az újonnan érkező tranzakciós blokkok idővel erőforrásokat fognak igénybe venni. Egy bizonyos ponton az erőforrások gazdasági költsége elegendő ahhoz, hogy egy támadó ne legyen érdekelve az eredeti tranzakció blokkján túli visszavonásban.

A spektrum másik végén találhatók a POS rendszerek, amelyek túlnyomórészt az abszolút véglegességet használják. Itt a véglegesség egy a konszenzus folyamatokba beépített paraméterré válik; amint egy bizonyos küszöbérték teljesül (ez lehet tranzakciószám, blokk előrehaladás, vagy bármilyen más tetszőleges mérték, mint például az idő), a rendszer ezt az állapotváltozatot kezdi használni referenciapontként; ami azt jelenti, hogy ha egy tranzakció érkezik, amely nem egyezik az legfrissebb véglegesített állapottal, vagy ha a validátorok alternatív történeti készletet próbálnak előterjeszteni, a rendszer nem fogadja el azt.

Véglegesség az ATLETA-ban

Az életképességi garanciák, az aszinkron szavazók cseréje, a halálos zárlatmentesség és a megbízható tartalék mechanizmus révén az ATLETA a GRANDPA-t vagy a GHOST-alapú Rekurzív Ős Származtatási Előtag Megállapodást (Recursive ANcestor Deriving Prefix Agreement) fogja használni a véglegesítési eszközként.

Kezdetben az ATLETA azonnali, blokkonkénti véglegesítést fog implementálni. Bár ez a döntés biztonsági szempontból előnyös (minimalizálja a MEV felületet), ez a teljesítmény rovására megy és visszatartja az önálló validátor üzemeltetőket. A jövőben nem kizárt, hogy az üzemeltetési igények megváltoznak és a kormányzó közösség úgy dönt, hogy ezt módosítja. A GRANDPA választásával lehetséges lesz az ad hoc véglegesítési paraméter beállítása.