Gasper

Gasper என்பது Casper the Friendly Finality Gadget (Casper-FFG) மற்றும் LMD-GHOST fork choice algorithm இன் கலவையாகும். இவை இணைந்து proof-of-stake எத்தீரியத்தை பாதுகாக்கும் ஒப்புதலுக்கான முறையை உருவாக்குகின்றன. Casper என்பது குறிப்பிட்ட பிளாக்குகளை "இறுதியான" என மேம்படுத்தும் முறையாகும், இதன் மூலம் புதிய நுழைவாளர்கள் அவர்கள் canonical சங்கத்தை ஒத்திசைத்து இருப்பதில் நம்பிக்கையுடன் இருக்கலாம். Fork choice algorithm சேர்க்கப்பட்ட வாக்களிப்புகளைப் பயன்படுத்தி, பிளாக்கில் பிரிவுகள்உருவாகும்போதுு சரியான ஒன்றைப்எளிதாகத் தேர்வுு செய்ய முடியும் என்பதை உறுதிப்படுத்துகிறது.

கவனத்திற்கு Gasper-இல் சேர்ப்பதற்காக Casper-FFG-இன் அசல் வரையறை சற்றே புதுப்பிக்கப்பட்டது. இந்தப் பக்கம், புதுப்பிக்கப்பட்ட பதிப்பை நாங்கள் பரிசீலிக்கிறோம்.

முன்நிபந்தனைகள்

இந்த உள்ளடக்கத்தைப் புரிந்துகொள்ள, பங்கிற்கான சான்று பற்றிய அறிமுகப் பக்கத்தைப் படிப்பது அவசியமாகும்.

Gasper-இன் பங்கு

Gasper என்பது proof-of-stake பிளாக்கை மேல் அமையப் பெறுகிறது, இதில் நொடுகள் எதியை ஒரு பாதுகாப்பு வைபாகமாக வழங்குகின்றன, இது அவர்கள் மந்தமாகவோ அல்லது போலியானதாகவோ செயல்பட்டால் அழிக்கப்படும். Gasper என்பது வரையலர்களுக்குக் கெடுதல் மற்றும் பணி வழங்கல், எ cuales பிளாக்குகளை ஏற்க மற்றும் மறுக்க, மற்றும் பிளாக்கின் எந்தfork இல் கட்டமைக்க வேண்டுமென்ற அனைத்தும் நிர்ணயிக்கும் முறையாகும்.

இறுதியானது என்ன?

இறுதியானது என்பது சில பிளாக்குகளின் தன்மையாகும், இது அவை மாறவில்லையெனக் கூறுவதற்கு, முக்கிய ஒப்புதலின் தோல்வி ஏற்பட்டது மற்றும் ஒரு கொள்ளையாளர் மொத்தமாகப் பந்தயமாக வைக்கப்பட்ட எதியில் 1/3 ஐ அழித்துவிட்டால் மட்டுமே மாறக்கூடியது. இறுதியான பிளாக்குகள் பிளாக்கின் குறித்த தகவலாகக் கருதப்படலாம். ஒரு பிளாக் இறுதியானதாக இருக்க, அது இரண்டு கட்டமைப்புப் படிகள் வழியாகச் செல்கிறது:

மொத்தமாகப் பந்தயமாக வைக்கப்பட்ட எதியின் இரண்டு-மூன்றாம் பங்கு அந்தப் பிளாக்கின் canonical சங்கத்தில் சேர்க்கப்படும் வகையில் வாக்களிக்க வேண்டும். இந்த நிபந்தனை "justified" என மேம்படுத்துகிறது. Justified பிளாக்குகள் மாற முடியாதவை என்பதே இல்லை, ஆனால் குறிப்பிட்ட நிபந்தனைகளில் மாறக்கூடியது.
Justified பிளாக்கின் மேலே மற்றொரு பிளாக் justified என்ற நிலையை அடைந்தால், அது "finalized" ஆக மேம்படுத்தப்படுகிறது. ஒரு பிளாக்கைப் இறுதியாகச் செய்யுவது அந்தப் பிளாக்கைப் canonical சங்கத்தில் சேர்க்கக்கூடிய உறுதி ஆகும். இதை மாற்ற முடியாது, வேறுஎந்தத் தாக்குதலாளரும்் மில்லியன் எதிகளை (மில்லியன் $USD) அழிக்க வேண்டியதாகும்.

இந்தப் பிளாக்கின் மேம்பாடுகள் ஒவ்வொரு ஸ்லாட்டிலும் நடக்கவில்லை. பதிலாக, எட்டாவது எல்லைகளில் உள்ள பிளாக்குகள் மட்டுமே justified மற்றும் finalized ஆக இருக்க முடியும். இந்தப் பிளாக்குகள் "checkpoints" என அழைக்கப்படுகின்றன. மேம்பாடு checkpoints இன் தம்பதிகளைப் பரிசீலிக்கிறது. சமீபத்தியதல்லாத சோதனைச் சாவடியை இறுதிசெய்யப்பட்டதாகவும், மிகச் சமீபத்திய தொகுதியை நியாயப்படுத்தப்பட்டதாகவும் மேம்படுத்துவதற்கு, இரண்டு அடுத்தடுத்த சோதனைச் சாவடிகளுக்கு இடையில் ஒரு "பெரும்பான்மை இணைப்பு" இருக்க வேண்டும் (அதாவது, சோதனைச்சாவடி B என்பது சோதனைச்சாவடி A-இன் சரியான வழித்தோன்றல் என்று மொத்தமாகப் பணையம் வைக்கப்பட்ட ஈதரில் மூன்றில் இரண்டு பங்கு வாக்களிக்க வேண்டும்).

இறுதியானது என்பது ஒரு பிளாக்கு canonical என்பதற்கு இரண்டு-மூன்றாம் பகுதியின் ஒப்புதலுக்கு தேவைப்படுவதைப் பார்க்கும்போது, ஒரு தாக்குதலாளி மாற்று இறுதியாகச் செய்யப்பட்டது என்று சங்கத்தை உருவாக்க முடியாது:

மொத்த பந்தயமாக வைக்கப்பட்ட எதியின் இரண்டு-மூன்றாம் பங்கு மொத்தமாகக் காண்பிக்க வேண்டும்.
மொத்த பந்தயமாக வைக்கப்பட்ட எதியின் குறைந்தது ஒரு-மூன்றாம் பங்கு அழிக்கப்பட வேண்டும்.

முதலாவது நிபந்தனை, ஒரு சங்கத்தை இறுதியானதாகச் செய்ய இரண்டு-மூன்றாம் பங்கு தேவைப்படுகிறது என்பதால் தோன்றுகிறது. இரண்டாவது நிபந்தனை, இரண்டு-மூன்றாம் பங்கு மொத்தமாக வாக்களிக்கின்றனர் எனில், ஒரு-மூன்றாம் பங்கு இரண்டிலும் வாக்களிக்க வேண்டியிருக்கும் என்பதால் தோன்றுகிறது. Double-voting என்பது ஒரு slashing நிலைமை ஆகும், இது அதிகபட்சமாகத் தண்டிக்கப்படும், மேலும் மொத்த பந்தயமாக வைக்கப்பட்ட எதியின் ஒரு-மூன்றாம் பங்கு அழிக்கப்படும். மே 2022ன் நிலவரப்படி, இது ஒரு தாக்குதலாளி சுமார் $10 பில்லியன் மதிப்புள்ள எதிகளை எரிக்க வேண்டும் என்று குறிக்கிறது. Gasper-இல் தொகுதிகளை நியாயப்படுத்தி இறுதிசெய்யும் நெறிமுறையானது Casper the Friendly Finality Gadget (Casper-FFG)opens in a new tab-இன் சற்றே மாற்றியமைக்கப்பட்ட வடிவமாகும்.

ஊக்கத்தொகைகள் மற்றும் குறைத்தல்

Validators எஞ்சியவுடன் நியாயமாகப் பிளாக்குகளை முன்மொழிந்து சரிபார்ப்பதற்காக rewarded ஆகின்றனர். Ether rewarded செய்யப்படுகிறது மற்றும் அவர்களின் பந்தயத்தில் சேர்க்கப்படுகிறது. மறுபுறம், validators க்கு அழைப்பு வந்தபோது செயல் செய்யத் தவறினால், இந்த rewards இல் இருந்து தவறுவார்கள், மேலும் சில சமயங்களில் அவர்களின் தற்போதைய பந்தயத்தின் ஒரு சிறிய பகுதியை இழக்கிறார்கள். எனினும், இணையதளத்தில் இல்லாததற்கான தண்டனைகள் சிறியவையாக உள்ளன மற்றும் பெரும்பாலான சந்தர்ப்பங்களில் rewards இழப்பதற்கான வாய்ப்பு செலவுகளைக் குறிக்கின்றன. இருப்பினும், சில validator நடவடிக்கைகளைத் தவறுதலாகச் செய்வது மிகவும் கடினமாகும், மேலும் சில தீய நோக்கத்தைக் குறிக்கின்றன, உதாரணமாக ஒரே slot க்காகப் பல பிளாக்குகளை முன்மொழிதல், ஒரே slot க்காகப் பல பிளாக்குகளுக்கு attesting செய்தல் அல்லது முந்தைய checkpoint votes க்கான முரண்பாடுகள். இவை" slashable" behaviors ஆகும், அவற்றுக்குக் கடுமையான தண்டனைகள் வழங்கப்படுகின்றன—slashing என்பது validator இன் பங்கியின் ஒரு பகுதி அழிக்கப்படுவதையும் validator ஐ validators குழுவிலிருந்து நீக்கப்படுவதையும் குறிக்கிறது. இந்த செயல்முறை 36 நாட்கள் ஆகும். முதல் நாளில், அதிகபட்சமாக 1 ETH வரை தொடக்க தண்டனை உண்டு. பின்னர் slashed validator இன் ether மெல்ல மெல்ல வெளியேறும் காலகட்டத்திற்குள் உடைந்து போகிறது, ஆனால் 18 ஆம் நாளில், அவர்கள் ஒரு" correlation penalty" ஐப் பெறுகிறார்கள், இது அதே நேரத்தில் மேலும் பல validators slashed செய்யப்படும்போது அதிகமாக இருக்கும். அதிகபட்ச தண்டனை முழு பங்கியாகும். இந்த rewards மற்றும் தண்டனைகள் நேர்மையான validators ஐ ஊக்குவிக்கவும், மற்றும் நெட்வொர்க்கிற்கான தாக்குதல்களைக் குறைக்கவும் உருவாக்கப்பட்டுள்ளன.

செயலற்ற தன்மை கசிவு

Gasper பாதுகாப்புடன் மட்டுமல்லாமல் "அதிக சாத்தியமான நேர்மையை" வழங்குகிறது. இது இரண்டு-மூன்றாம் பங்கின் மொத்தம் staked ether உண்மையாக வாக்களிக்கும் மற்றும் protocol ஐப் பின்பற்றும் வரை, நெட்வொர்க் எந்த மற்ற செயல்பாடுகளுக்கும் (எடுத்துக்காட்டாகத் தாக்குதல்கள், நிலைமையில்லாத பிரச்சினைகள் அல்லது slashing) பின்பற்றாமல் finalize செய்ய முடியும் என்று கூறுகிறது. வேறு சொற்களில், மொத்தம் staked ether இன் ஒரு மூன்றாம் பகுதி எவ்விதமாகவும் அசல் செய்யப்படாத பட்சத்தில், நெட்வொர்க் finalize செய்ய முடியாது. Gasper இல், "அணைகலா விகிதம்" என்ற மேலதிக பாதுகாப்பு சுவர் உள்ளது. இந்த முறைமை நெட்வொர்க் நான்கு எபொக் கள் விடுவித்துவிட்டுவிட்டால் செயல்படுகிறது. பெரும்பான்மையான நெட்வொர்க் செய்யாத validators இன் பங்கு மெல்ல மெல்ல அழிக்கப்படுகிறது, ஆனால் பெரும்பான்மையான validators இரண்டு-மூன்றாம் பங்கு மீண்டும் பெறும் வரை, liveness failures மிகுந்த காலம் தாங்காது என்பதை உறுதி செய்யும்.

ஃபோர்க் தேர்வு

Casper-FFG-இன் அசல் வரையறையில் ஒரு பிரிதல் தேர்வு நெறிமுறை சேர்க்கப்பட்டுள்ளது, அது இந்த விதியை விதித்தது: தொடக்கத் தொகுதியிலிருந்து மிகப்பெரிய தூரம் என உயரம் வரையறுக்கப்பட்டுள்ள நிலையில், மிக உயரமான, நியாயப்படுத்தப்பட்ட சோதனைச் சாவடியைக் கொண்ட சங்கிலியைப் பின்தொடரவும். Gasper இல், முதன்மை முற்போக்கு விதி புதிய மற்றும் மேம்பட்ட LMD-GHOST என்ற முற்போக்கு தேர்வு அலகுமூலம் அகற்றப்பட்டுள்ளது. வழக்கமான நிலைமைகளில், முற்போக்கு தேர்வு விதி தேவையில்லை - ஒவ்வொரு slot க்கும் ஒரு ஒரே block proposer உள்ளார், மற்றும் நேர்மையான validators அதை ஆதரிக்கின்றனர். ஆனால், பெரிய நெட்வொர்க் அசங்கநிலை அல்லது ஒரு மோசமான block proposer பல்வேறு கண்ணோட்டங்களை வழங்கும்போது, முற்போக்கு தேர்வு அலகு தேவையானது. அப்படி நிலைகள் உருவாகும்போது, முற்போக்கு தேர்வு அலகு சரியான சங்கரத்தை பாதுகாக்க முக்கியமான பாதுகாப்பாக இருக்கும்.

LMD-GHOST என்ற பெயர் "சமீபத்திய செய்திகள் அடிப்படையிலான greedy heaviest observed sub-tree" என்பதை குறிக்கிறது. இது attestations இன் மிகுந்த சேர்க்கை மசிவு கொண்ட சங்கரத்தை canonical என்று தேர்வு செய்யும் அலகு (greedy heaviest subtree) மற்றும் ஒரே validator இல் இருந்து பல செய்திகள் பெறப்பட்டால, சீராகச் சமீபத்தியய செய்தியை மட்டும் கருத்தில் கொள்ளும் (latest-message driven) என வரையறுக்கப்படுகிறது. மிகுந்த பாகத்தை canonical chain இல் சேர்க்கும் முன், ஒவ்வொரு validator இலும் இந்த விதியைப் பயன்படுத்தி ஒவ்வொரு பாகத்தையும் மதிப்பீடு செய்கின்றனர்.