ஆப்டிமிஸ்டிக் ரோலப்கள்

ஆப்டிமிஸ்டிக் ரோலப்கள் (Optimistic rollups) என்பவை எத்தேரியத்தின் அடிப்படை லேயரின் (base layer) செயலாக்கத் திறனை (throughput) நீட்டிக்க வடிவமைக்கப்பட்ட லேயர் 2 (L2) நெறிமுறைகள் ஆகும். அவை ஆஃப்செயினில் (offchain) பரிவர்த்தனைகளைச் செயலாக்குவதன் மூலம் பிரதான Ethereum செயினில் கணக்கீட்டைக் குறைக்கின்றன, இது செயலாக்க வேகத்தில் குறிப்பிடத்தக்க மேம்பாடுகளை வழங்குகிறது. sidechains போன்ற பிற அளவிடுதல் தீர்வுகளைப் போலல்லாமல், ஆப்டிமிஸ்டிக் ரோலப்கள் பரிவர்த்தனை முடிவுகளை ஆன்செயினில் (onchain) வெளியிடுவதன் மூலம் மெயின்நெட்டிலிருந்து (Mainnet) பாதுகாப்பைப் பெறுகின்றன, அல்லது plasma chains போலல்லாமல், அவை மோசடி சான்றுகளுடன் (fraud proofs) எத்தேரியத்தில் பரிவர்த்தனைகளைச் சரிபார்க்கின்றன, ஆனால் பரிவர்த்தனை தரவை வேறு எங்கும் சேமிக்கின்றன.

எத்தேரியத்தைப் பயன்படுத்துவதில் கணக்கீடு என்பது மெதுவான, விலையுயர்ந்த பகுதியாக இருப்பதால், ஆப்டிமிஸ்டிக் ரோலப்கள் அளவிடுதலில் 10-100 மடங்கு மேம்பாடுகளை வழங்க முடியும். ஆப்டிமிஸ்டிக் ரோலப்கள் எத்தேரியத்தில் பரிவர்த்தனைகளை calldata ஆக அல்லது blobs இல் எழுதுகின்றன, இது பயனர்களுக்கான கேஸ் (gas) செலவுகளைக் குறைக்கிறது.

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

நீங்கள் Ethereum scaling மற்றும் layer 2 பற்றிய எங்கள் பக்கங்களைப் படித்துப் புரிந்துகொண்டிருக்க வேண்டும்.

ஆப்டிமிஸ்டிக் ரோலப் என்றால் என்ன?

ஆப்டிமிஸ்டிக் ரோலப் என்பது எத்தேரியத்தை அளவிடுவதற்கான ஒரு அணுகுமுறையாகும், இது கணக்கீடு மற்றும் நிலை சேமிப்பகத்தை (state storage) ஆஃப்செயினுக்கு நகர்த்துவதை உள்ளடக்கியது. ஆப்டிமிஸ்டிக் ரோலப்கள் எத்தேரியத்திற்கு வெளியே பரிவர்த்தனைகளைச் செயல்படுத்துகின்றன, ஆனால் பரிவர்த்தனை தரவை மெயின்நெட்டில் calldata ஆக அல்லது blobs இல் இடுகையிடுகின்றன.

ஆப்டிமிஸ்டிக் ரோலப் ஆபரேட்டர்கள் எத்தேரியத்தில் சமர்ப்பிப்பதற்கு முன்பு பல ஆஃப்செயின் பரிவர்த்தனைகளை பெரிய தொகுப்புகளாக (batches) ஒன்றாக இணைக்கின்றனர். இந்த அணுகுமுறை ஒவ்வொரு தொகுப்பிலும் உள்ள பல பரிவர்த்தனைகளில் நிலையான செலவுகளைப் பரப்ப உதவுகிறது, இது இறுதிப் பயனர்களுக்கான கட்டணங்களைக் குறைக்கிறது. எத்தேரியத்தில் இடுகையிடப்படும் தரவின் அளவைக் குறைக்க ஆப்டிமிஸ்டிக் ரோலப்கள் சுருக்க நுட்பங்களையும் (compression techniques) பயன்படுத்துகின்றன.

ஆப்டிமிஸ்டிக் ரோலப்கள் "நம்பிக்கையானவை" (optimistic) என்று கருதப்படுகின்றன, ஏனெனில் அவை ஆஃப்செயின் பரிவர்த்தனைகள் செல்லுபடியாகும் என்று கருதுகின்றன மற்றும் ஆன்செயினில் இடுகையிடப்பட்ட பரிவர்த்தனை தொகுப்புகளுக்கான செல்லுபடியாகும் சான்றுகளை (proofs of validity) வெளியிடுவதில்லை. இது ஆஃப்செயின் பரிவர்த்தனைகளுக்கான கிரிப்டோகிராஃபிக் ஐ வெளியிடும் zero-knowledge rollups இலிருந்து ஆப்டிமிஸ்டிக் ரோலப்களைப் பிரிக்கிறது.

பரிவர்த்தனைகள் சரியாகக் கணக்கிடப்படாத நிகழ்வுகளைக் கண்டறிய ஆப்டிமிஸ்டிக் ரோலப்கள் மோசடி-நிரூபிக்கும் திட்டத்தை (fraud-proving scheme) நம்பியுள்ளன. எத்தேரியத்தில் ஒரு ரோலப் தொகுப்பு சமர்ப்பிக்கப்பட்ட பிறகு, ஒரு கால அவகாசம் (சவால் காலம் என்று அழைக்கப்படுகிறது) உள்ளது, அந்த நேரத்தில் எவரும் ஐக் கணக்கிடுவதன் மூலம் ரோலப் பரிவர்த்தனையின் முடிவுகளை சவால் செய்யலாம்.

மோசடி சான்று வெற்றியடைந்தால், ரோலப் நெறிமுறை பரிவர்த்தனை(களை) மீண்டும் செயல்படுத்துகிறது மற்றும் அதற்கேற்ப ரோலப்பின் நிலையைப் புதுப்பிக்கிறது. வெற்றிகரமான மோசடி சான்றின் மற்றொரு விளைவு என்னவென்றால், தவறாகச் செயல்படுத்தப்பட்ட பரிவர்த்தனையை ஒரு பிளாக்கில் சேர்ப்பதற்குப் பொறுப்பான சீக்வென்சர் (sequencer) அபராதத்தைப் பெறுகிறார்.

சவால் காலம் முடிவடைந்த பிறகு ரோலப் தொகுப்பு சவால் செய்யப்படாமல் இருந்தால் (அதாவது, அனைத்து பரிவர்த்தனைகளும் சரியாகச் செயல்படுத்தப்பட்டால்), அது செல்லுபடியாகும் என்று கருதப்பட்டு எத்தேரியத்தில் ஏற்றுக்கொள்ளப்படும். மற்றவர்கள் உறுதிப்படுத்தப்படாத ரோலப் பிளாக்கில் தொடர்ந்து உருவாக்கலாம், ஆனால் ஒரு நிபந்தனையுடன்: முன்பு வெளியிடப்பட்ட தவறாகச் செயல்படுத்தப்பட்ட பரிவர்த்தனையின் அடிப்படையில் இருந்தால் பரிவர்த்தனை முடிவுகள் மாற்றியமைக்கப்படும்.

ஆப்டிமிஸ்டிக் ரோலப்கள் எத்தேரியத்துடன் எவ்வாறு தொடர்பு கொள்கின்றன?

ஆப்டிமிஸ்டிக் ரோலப்கள் என்பவை எத்தேரியத்தின் மேல் செயல்பட உருவாக்கப்பட்ட offchain scaling solutions ஆகும். ஒவ்வொரு ஆப்டிமிஸ்டிக் ரோலப்பும் எத்தேரியம் நெட்வொர்க்கில் பயன்படுத்தப்படும் ஸ்மார்ட் ஒப்பந்தங்களின் தொகுப்பால் நிர்வகிக்கப்படுகிறது. ஆப்டிமிஸ்டிக் ரோலப்கள் பிரதான எத்தேரியம் செயினுக்கு வெளியே பரிவர்த்தனைகளைச் செயலாக்குகின்றன, ஆனால் ஆஃப்செயின் பரிவர்த்தனைகளை (தொகுப்புகளாக) ஆன்செயின் ரோலப் ஒப்பந்தத்தில் இடுகையிடுகின்றன. எத்தேரியம் பிளாக்செயினைப் போலவே, இந்தப் பரிவர்த்தனைப் பதிவும் மாற்ற முடியாதது மற்றும் "ஆப்டிமிஸ்டிக் ரோலப் செயினை" உருவாக்குகிறது.

ஆப்டிமிஸ்டிக் ரோலப்பின் கட்டமைப்பு பின்வரும் பகுதிகளைக் கொண்டுள்ளது:

ஆன்செயின் ஒப்பந்தங்கள் (Onchain contracts): ஆப்டிமிஸ்டிக் ரோலப்பின் செயல்பாடு எத்தேரியத்தில் இயங்கும் ஸ்மார்ட் ஒப்பந்தங்களால் கட்டுப்படுத்தப்படுகிறது. ரோலப் பிளாக்குகளைச் சேமிக்கும், ரோலப்பில் நிலை புதுப்பிப்புகளைக் கண்காணிக்கும் மற்றும் பயனர் வைப்புகளைக் கண்காணிக்கும் ஒப்பந்தங்கள் இதில் அடங்கும். இந்த அர்த்தத்தில், எத்தேரியம் ஆப்டிமிஸ்டிக் ரோலப்களுக்கான அடிப்படை லேயர் அல்லது "லேயர் 1" ஆகச் செயல்படுகிறது.

ஆஃப்செயின் மெய்நிகர் இயந்திரம் (Offchain VM): ஆப்டிமிஸ்டிக் ரோலப் நெறிமுறையை நிர்வகிக்கும் ஒப்பந்தங்கள் எத்தேரியத்தில் இயங்கினாலும், ரோலப் நெறிமுறையானது Ethereum Virtual Machine இலிருந்து தனித்தனியாக மற்றொரு மெய்நிகர் இயந்திரத்தில் கணக்கீடு மற்றும் நிலை சேமிப்பகத்தைச் செய்கிறது. ஆஃப்செயின் VM இல் தான் பயன்பாடுகள் வாழ்கின்றன மற்றும் நிலை மாற்றங்கள் செயல்படுத்தப்படுகின்றன; இது ஆப்டிமிஸ்டிக் ரோலப்பிற்கான மேல் லேயர் அல்லது "லேயர் 2" ஆகச் செயல்படுகிறது.

ஆப்டிமிஸ்டிக் ரோலப்கள் EVM க்காக எழுதப்பட்ட அல்லது தொகுக்கப்பட்ட நிரல்களை இயக்க வடிவமைக்கப்பட்டுள்ளதால், ஆஃப்செயின் VM பல EVM வடிவமைப்பு விவரக்குறிப்புகளை உள்ளடக்கியுள்ளது. கூடுதலாக, ஆன்செயினில் கணக்கிடப்பட்ட மோசடி சான்றுகள் ஆஃப்செயின் VM இல் கணக்கிடப்பட்ட நிலை மாற்றங்களின் செல்லுபடியை எத்தேரியம் நெட்வொர்க் செயல்படுத்த அனுமதிக்கின்றன.

ஆப்டிமிஸ்டிக் ரோலப்கள் 'கலப்பின அளவிடுதல் தீர்வுகள்' (hybrid scaling solutions) என்று விவரிக்கப்படுகின்றன, ஏனெனில் அவை தனித்தனி நெறிமுறைகளாக இருந்தாலும், அவற்றின் பாதுகாப்பு பண்புகள் எத்தேரியத்திலிருந்து பெறப்படுகின்றன. மற்றவற்றுடன், ரோலப்பின் ஆஃப்செயின் கணக்கீட்டின் சரியான தன்மையையும் கணக்கீட்டின் பின்னணியில் உள்ள தரவின் கிடைக்கும் தன்மையையும் எத்தேரியம் உத்தரவாதம் செய்கிறது. இது பாதுகாப்பிற்காக எத்தேரியத்தை நம்பியிருக்காத தூய ஆஃப்செயின் அளவிடுதல் நெறிமுறைகளை விட (எ.கா., sidechains) ஆப்டிமிஸ்டிக் ரோலப்களைப் பாதுகாப்பானதாக்குகிறது.

ஆப்டிமிஸ்டிக் ரோலப்கள் பின்வருவனவற்றிற்கு பிரதான எத்தேரியம் நெறிமுறையை நம்பியுள்ளன:

தரவு கிடைக்கும் தன்மை

குறிப்பிட்டுள்ளபடி, ஆப்டிமிஸ்டிக் ரோலப்கள் பரிவர்த்தனை தரவை எத்தேரியத்தில் calldata ஆக அல்லது blobs இல் இடுகையிடுகின்றன. ரோலப் செயினின் செயலாக்கம் சமர்ப்பிக்கப்பட்ட பரிவர்த்தனைகளை அடிப்படையாகக் கொண்டிருப்பதால், எத்தேரியத்தின் அடிப்படை லேயரில் தொகுக்கப்பட்ட இந்தத் தகவலைப் பயன்படுத்தி எவரும் ரோலப்பின் நிலையைச் செயல்படுத்தலாம் மற்றும் நிலை மாற்றங்களின் சரியான தன்மையைச் சரிபார்க்கலாம்.

Data availability முக்கியமானது, ஏனெனில் நிலை தரவை அணுகாமல், தவறான ரோலப் செயல்பாடுகளை எதிர்த்து சவால் செய்பவர்களால் மோசடி சான்றுகளை உருவாக்க முடியாது. எத்தேரியம் தரவு கிடைக்கும் தன்மையை வழங்குவதால், ரோலப் ஆபரேட்டர்கள் தீங்கிழைக்கும் செயல்களிலிருந்து (எ.கா., தவறான பிளாக்குகளைச் சமர்ப்பித்தல்) தப்பிப்பதற்கான ஆபத்து குறைக்கப்படுகிறது.

தணிக்கை எதிர்ப்பு

ஆப்டிமிஸ்டிக் ரோலப்கள் தணிக்கை எதிர்ப்பிற்காக (censorship resistance) எத்தேரியத்தையும் நம்பியுள்ளன. ஒரு ஆப்டிமிஸ்டிக் ரோலப்பில் ஒரு மையப்படுத்தப்பட்ட நிறுவனம் (ஆபரேட்டர்) பரிவர்த்தனைகளைச் செயலாக்குவதற்கும் ரோலப் பிளாக்குகளை எத்தேரியத்தில் சமர்ப்பிப்பதற்கும் பொறுப்பாகும். இது சில தாக்கங்களைக் கொண்டுள்ளது:

• ரோலப் ஆபரேட்டர்கள் முழுமையாக ஆஃப்லைனில் செல்வதன் மூலமாகவோ அல்லது குறிப்பிட்ட பரிவர்த்தனைகளை உள்ளடக்கிய பிளாக்குகளை உருவாக்க மறுப்பதன் மூலமாகவோ பயனர்களைத் தணிக்கை செய்யலாம்.

• உரிமையின் மெர்க்கல் சான்றுகளுக்கு (Merkle proofs) தேவையான நிலை தரவை நிறுத்தி வைப்பதன் மூலம் ரோலப் ஒப்பந்தத்தில் டெபாசிட் செய்யப்பட்ட நிதியை பயனர்கள் திரும்பப் பெறுவதை ரோலப் ஆபரேட்டர்கள் தடுக்கலாம். நிலை தரவை நிறுத்தி வைப்பது பயனர்களிடமிருந்து ரோலப்பின் நிலையை மறைக்கலாம் மற்றும் அவர்கள் ரோலப்புடன் தொடர்புகொள்வதைத் தடுக்கலாம்.

எத்தேரியத்தில் நிலை புதுப்பிப்புகளுடன் தொடர்புடைய தரவை வெளியிட ஆபரேட்டர்களைக் கட்டாயப்படுத்துவதன் மூலம் ஆப்டிமிஸ்டிக் ரோலப்கள் இந்தச் சிக்கலைத் தீர்க்கின்றன. ரோலப் தரவை ஆன்செயினில் வெளியிடுவது பின்வரும் நன்மைகளைக் கொண்டுள்ளது:

• ஒரு ஆப்டிமிஸ்டிக் ரோலப் ஆபரேட்டர் ஆஃப்லைனில் சென்றால் அல்லது பரிவர்த்தனை தொகுப்புகளை உருவாக்குவதை நிறுத்தினால், மற்றொரு நோடு (node) ரோலப்பின் கடைசி நிலையை மீண்டும் உருவாக்க மற்றும் பிளாக் உற்பத்தியைத் தொடர கிடைக்கக்கூடிய தரவைப் பயன்படுத்தலாம்.

• பயனர்கள் நிதியின் உரிமையை நிரூபிக்கும் மெர்க்கல் சான்றுகளை உருவாக்க பரிவர்த்தனை தரவைப் பயன்படுத்தலாம் மற்றும் ரோலப்பிலிருந்து தங்கள் சொத்துக்களைத் திரும்பப் பெறலாம்.

• பயனர்கள் தங்கள் பரிவர்த்தனைகளை சீக்வென்சருக்குப் பதிலாக L1 இல் சமர்ப்பிக்கலாம், இந்நிலையில் செல்லுபடியாகும் பிளாக்குகளைத் தொடர்ந்து உருவாக்க சீக்வென்சர் ஒரு குறிப்பிட்ட கால வரம்பிற்குள் பரிவர்த்தனையைச் சேர்க்க வேண்டும்.

செட்டில்மென்ட்

ஆப்டிமிஸ்டிக் ரோலப்களின் சூழலில் எத்தேரியம் வகிக்கும் மற்றொரு பங்கு செட்டில்மென்ட் லேயர் (settlement layer) ஆகும். ஒரு செட்டில்மென்ட் லேயர் முழு பிளாக்செயின் சுற்றுச்சூழல் அமைப்பையும் தொகுக்கிறது, பாதுகாப்பை நிறுவுகிறது மற்றும் நடுவர் தேவைப்படும் மற்றொரு செயினில் (இந்த விஷயத்தில் ஆப்டிமிஸ்டிக் ரோலப்கள்) தகராறு ஏற்பட்டால் புறநிலை இறுதித்தன்மையை (objective finality) வழங்குகிறது.

எத்தேரியம் மெயின்நெட் ஆப்டிமிஸ்டிக் ரோலப்களுக்கு மோசடி சான்றுகளைச் சரிபார்க்கவும் தகராறுகளைத் தீர்க்கவும் ஒரு மையத்தை வழங்குகிறது. மேலும், ரோலப்பில் நடத்தப்படும் பரிவர்த்தனைகள் எத்தேரியத்தில் ரோலப் பிளாக் ஏற்றுக்கொள்ளப்பட்ட பிறகு மட்டுமே இறுதியானவை. ஒரு ரோலப் பரிவர்த்தனை எத்தேரியத்தின் அடிப்படை லேயரில் உறுதியளிக்கப்பட்டவுடன், அதைத் திரும்பப் பெற முடியாது (செயின் மறுசீரமைப்பின் மிகவும் சாத்தியமில்லாத நிகழ்வைத் தவிர).

ஆப்டிமிஸ்டிக் ரோலப்கள் எவ்வாறு செயல்படுகின்றன?

பரிவர்த்தனை செயலாக்கம் மற்றும் ஒருங்கிணைப்பு

பயனர்கள் பரிவர்த்தனைகளை "ஆபரேட்டர்களிடம்" சமர்ப்பிக்கிறார்கள், அவை ஆப்டிமிஸ்டிக் ரோலப்பில் பரிவர்த்தனைகளைச் செயலாக்குவதற்குப் பொறுப்பான நோடுகள் ஆகும். "வேலிடேட்டர்" (validator) அல்லது "அக்ரிகேட்டர்" (aggregator) என்றும் அழைக்கப்படும் ஆபரேட்டர், பரிவர்த்தனைகளை ஒருங்கிணைக்கிறார், அடிப்படைத் தரவைச் சுருக்குகிறார் மற்றும் எத்தேரியத்தில் பிளாக்கை வெளியிடுகிறார்.

யார் வேண்டுமானாலும் வேலிடேட்டராக மாறலாம் என்றாலும், ஆப்டிமிஸ்டிக் ரோலப் வேலிடேட்டர்கள் பிளாக்குகளை உருவாக்குவதற்கு முன்பு ஒரு proof-of-stake system ஐப் போலவே ஒரு பிணைப்பை (bond) வழங்க வேண்டும். வேலிடேட்டர் தவறான பிளாக்கை இடுகையிட்டால் அல்லது பழைய ஆனால் தவறான பிளாக்கில் உருவாக்கினால் (அவர்களின் பிளாக் செல்லுபடியாகும் என்றாலும்) இந்தப் பிணைப்பு குறைக்கப்படலாம் (slashed). இந்த வழியில் ஆப்டிமிஸ்டிக் ரோலப்கள் வேலிடேட்டர்கள் நேர்மையாகச் செயல்படுவதை உறுதிசெய்ய கிரிப்டோபொருளாதார ஊக்கத்தொகைகளைப் பயன்படுத்துகின்றன.

ஆப்டிமிஸ்டிக் ரோலப் செயினில் உள்ள பிற வேலிடேட்டர்கள் ரோலப்பின் நிலையின் நகலைப் பயன்படுத்தி சமர்ப்பிக்கப்பட்ட பரிவர்த்தனைகளைச் செயல்படுத்துவார்கள் என்று எதிர்பார்க்கப்படுகிறது. ஒரு வேலிடேட்டரின் இறுதி நிலை ஆபரேட்டரின் முன்மொழியப்பட்ட நிலையிலிருந்து வேறுபட்டால், அவர்கள் ஒரு சவாலைத் தொடங்கி மோசடி சான்றைக் கணக்கிடலாம்.

சில ஆப்டிமிஸ்டிக் ரோலப்கள் அனுமதியற்ற வேலிடேட்டர் அமைப்பைக் கைவிட்டு, செயினைச் செயல்படுத்த ஒற்றை "சீக்வென்சரை" பயன்படுத்தலாம். ஒரு வேலிடேட்டரைப் போலவே, சீக்வென்சர் பரிவர்த்தனைகளைச் செயலாக்குகிறது, ரோலப் பிளாக்குகளை உருவாக்குகிறது மற்றும் ரோலப் பரிவர்த்தனைகளை L1 செயினுக்கு (எத்தேரியம்) சமர்ப்பிக்கிறது.

பரிவர்த்தனைகளின் வரிசைப்படுத்தலில் அதிகக் கட்டுப்பாட்டைக் கொண்டிருப்பதால் சீக்வென்சர் வழக்கமான ரோலப் ஆபரேட்டரிடமிருந்து வேறுபட்டவர். மேலும், சீக்வென்சர் ரோலப் செயினுக்கு முன்னுரிமை அணுகலைக் கொண்டுள்ளார் மற்றும் ஆன்செயின் ஒப்பந்தத்திற்குப் பரிவர்த்தனைகளைச் சமர்ப்பிக்க அங்கீகரிக்கப்பட்ட ஒரே நிறுவனம் ஆவார். சீக்வென்சர் அல்லாத நோடுகள் அல்லது வழக்கமான பயனர்களிடமிருந்து வரும் பரிவர்த்தனைகள் சீக்வென்சர் அவற்றை ஒரு புதிய தொகுப்பில் சேர்க்கும் வரை தனி இன்பாக்ஸில் வரிசைப்படுத்தப்படும்.

எத்தேரியத்தில் ரோலப் பிளாக்குகளைச் சமர்ப்பித்தல்

குறிப்பிட்டுள்ளபடி, ஆப்டிமிஸ்டிக் ரோலப்பின் ஆபரேட்டர் ஆஃப்செயின் பரிவர்த்தனைகளை ஒரு தொகுப்பாக இணைத்து நோட்டரைசேஷனுக்காக (notarization) எத்தேரியத்திற்கு அனுப்புகிறார். இந்தச் செயல்முறை பரிவர்த்தனை தொடர்பான தரவைச் சுருக்குவதையும் எத்தேரியத்தில் calldata ஆக அல்லது blobs இல் வெளியிடுவதையும் உள்ளடக்கியது.

calldata என்பது ஸ்மார்ட் ஒப்பந்தத்தில் மாற்ற முடியாத, நிலையற்ற பகுதியாகும், இது பெரும்பாலும் memory ஐப் போலவே செயல்படுகிறது. பிளாக்செயினின் history logs (opens in a new tab) இன் ஒரு பகுதியாக calldata ஆன்செயினில் தொடர்ந்தாலும், அது எத்தேரியத்தின் நிலையின் ஒரு பகுதியாகச் சேமிக்கப்படுவதில்லை. calldata எத்தேரியத்தின் நிலையின் எந்தப் பகுதியையும் தொடாததால், ஆன்செயினில் தரவைச் சேமிப்பதற்கான நிலையை விட இது மலிவானது.

செயல்படுத்தும் நேரத்தில் ஸ்மார்ட் ஒப்பந்தச் செயல்பாட்டிற்கு வாதங்களை (arguments) அனுப்ப Solidity இல் calldata முக்கியச்சொல் பயன்படுத்தப்படுகிறது. calldata ஒரு பரிவர்த்தனையின் போது அழைக்கப்படும் செயல்பாட்டை அடையாளம் காட்டுகிறது மற்றும் தன்னிச்சையான பைட் வரிசையின் வடிவத்தில் செயல்பாட்டிற்கான உள்ளீடுகளை வைத்திருக்கிறது.

ஆப்டிமிஸ்டிக் ரோலப்களின் சூழலில், சுருக்கப்பட்ட பரிவர்த்தனை தரவை ஆன்செயின் ஒப்பந்தத்திற்கு அனுப்ப calldata பயன்படுத்தப்படுகிறது. ரோலப் ஒப்பந்தத்தில் தேவையான செயல்பாட்டை அழைப்பதன் மூலமும் சுருக்கப்பட்ட தரவைச் செயல்பாட்டு வாதங்களாக அனுப்புவதன் மூலமும் ரோலப் ஆபரேட்டர் ஒரு புதிய தொகுப்பைச் சேர்க்கிறார். ரோலப்களுக்கு ஏற்படும் பெரும்பாலான செலவுகள் ஆன்செயினில் தரவைச் சேமிப்பதிலிருந்து வருவதால் calldata ஐப் பயன்படுத்துவது பயனர் கட்டணங்களைக் குறைக்கிறது.

இந்தக் கருத்து எவ்வாறு செயல்படுகிறது என்பதைக் காட்ட ரோலப் தொகுப்பு சமர்ப்பிப்பின் an example (opens in a new tab) இங்கே உள்ளது. சீக்வென்சர் appendSequencerBatch() முறையை அழைத்தார் மற்றும் calldata ஐப் பயன்படுத்தி சுருக்கப்பட்ட பரிவர்த்தனை தரவை உள்ளீடுகளாக அனுப்பினார்.

சில ரோலப்கள் இப்போது எத்தேரியத்தில் பரிவர்த்தனைகளின் தொகுப்புகளை இடுகையிட blobs ஐப் பயன்படுத்துகின்றன.

Blobs மாற்ற முடியாதவை மற்றும் நிலையற்றவை (calldata ஐப் போலவே) ஆனால் ~18 நாட்களுக்குப் பிறகு வரலாற்றிலிருந்து கத்தரிக்கப்படுகின்றன (pruned). blobs பற்றிய கூடுதல் தகவலுக்கு, Danksharding ஐப் பார்க்கவும்.

நிலை கடமைகள் (State commitments)

எந்த நேரத்திலும், ஆப்டிமிஸ்டிக் ரோலப்பின் நிலை (கணக்குகள், நிலுவைகள், ஒப்பந்தக் குறியீடு போன்றவை) "நிலை மரம்" (state tree) எனப்படும் Merkle tree ஆக ஒழுங்கமைக்கப்படுகிறது. ரோலப்பின் சமீபத்திய நிலையைக் குறிக்கும் இந்த மெர்க்கல் மரத்தின் வேர் (நிலை வேர்), ஹாஷ் செய்யப்பட்டு ரோலப் ஒப்பந்தத்தில் சேமிக்கப்படுகிறது. செயினில் உள்ள ஒவ்வொரு நிலை மாற்றமும் ஒரு புதிய ரோலப் நிலையை உருவாக்குகிறது, புதிய நிலை வேரைக் கணக்கிடுவதன் மூலம் ஆபரேட்டர் அதற்கு உறுதியளிக்கிறார்.

தொகுப்புகளை இடுகையிடும்போது ஆபரேட்டர் பழைய நிலை வேர்கள் மற்றும் புதிய நிலை வேர்கள் இரண்டையும் சமர்ப்பிக்க வேண்டும். பழைய நிலை வேர் ஆன்செயின் ஒப்பந்தத்தில் உள்ள தற்போதைய நிலை வேருடன் பொருந்தினால், பிந்தையது நிராகரிக்கப்பட்டு புதிய நிலை வேரால் மாற்றப்படும்.

பரிவர்த்தனை தொகுப்பிற்கான மெர்க்கல் வேரையும் ரோலப் ஆபரேட்டர் உறுதியளிக்க வேண்டும். Merkle proof ஐ வழங்குவதன் மூலம் தொகுப்பில் (L1 இல்) ஒரு பரிவர்த்தனை சேர்க்கப்பட்டுள்ளதை எவரும் நிரூபிக்க இது அனுமதிக்கிறது.

ஆப்டிமிஸ்டிக் ரோலப்பில் நிலை மாற்றங்களின் சரியான தன்மையை நிரூபிக்க நிலை கடமைகள், குறிப்பாக நிலை வேர்கள் அவசியம். ரோலப் ஒப்பந்தம் ஆபரேட்டர்களிடமிருந்து புதிய நிலை வேர்களை இடுகையிட்ட உடனேயே ஏற்றுக்கொள்கிறது, ஆனால் ரோலப்பை அதன் சரியான நிலைக்கு மீட்டெடுக்க தவறான நிலை வேர்களைப் பின்னர் நீக்கலாம்.

மோசடி நிரூபித்தல்

விளக்கியபடி, செல்லுபடியாகும் சான்றுகளை வழங்காமல் பிளாக்குகளை வெளியிட ஆப்டிமிஸ்டிக் ரோலப்கள் எவரையும் அனுமதிக்கின்றன. இருப்பினும், செயின் பாதுகாப்பாக இருப்பதை உறுதிசெய்ய, ஆப்டிமிஸ்டிக் ரோலப்கள் ஒரு கால அவகாசத்தைக் குறிப்பிடுகின்றன, அந்த நேரத்தில் எவரும் நிலை மாற்றத்தை எதிர்த்து வாதிடலாம். எனவே, ரோலப் பிளாக்குகள் "வலியுறுத்தல்கள்" (assertions) என்று அழைக்கப்படுகின்றன, ஏனெனில் அவற்றின் செல்லுபடியை எவரும் எதிர்த்து வாதிடலாம்.

யாராவது ஒரு வலியுறுத்தலை எதிர்த்து வாதிட்டால், ரோலப் நெறிமுறை மோசடி சான்று கணக்கீட்டைத் தொடங்கும். ஒவ்வொரு வகையான மோசடி சான்றும் ஊடாடக்கூடியது—மற்றொரு நபர் அதை சவால் செய்வதற்கு முன்பு யாராவது ஒரு வலியுறுத்தலை இடுகையிட வேண்டும். மோசடி சான்றைக் கணக்கிட எத்தனை சுற்றுகள் ஊடாடல் தேவை என்பதில் வேறுபாடு உள்ளது.

தவறான வலியுறுத்தல்களைக் கண்டறிய ஒற்றைச் சுற்று ஊடாடும் நிரூபிக்கும் திட்டங்கள் (Single-round interactive proving schemes) L1 இல் சர்ச்சைக்குரிய பரிவர்த்தனைகளை மீண்டும் இயக்குகின்றன. ரோலப் நெறிமுறை ஒரு சரிபார்ப்பு ஒப்பந்தத்தைப் பயன்படுத்தி L1 (எத்தேரியம்) இல் சர்ச்சைக்குரிய பரிவர்த்தனையின் மறு-செயலாக்கத்தைப் பின்பற்றுகிறது, கணக்கிடப்பட்ட நிலை வேர் சவாலில் யார் வெற்றி பெறுகிறார்கள் என்பதைத் தீர்மானிக்கிறது. ரோலப்பின் சரியான நிலை பற்றிய சவாலரின் கூற்று சரியாக இருந்தால், ஆபரேட்டரின் பிணைப்பு குறைக்கப்பட்டு அபராதம் விதிக்கப்படும்.

இருப்பினும், மோசடியைக் கண்டறிய L1 இல் பரிவர்த்தனைகளை மீண்டும் செயல்படுத்துவதற்குத் தனிப்பட்ட பரிவர்த்தனைகளுக்கான நிலை கடமைகளை வெளியிட வேண்டும் மற்றும் ரோலப்கள் ஆன்செயினில் வெளியிட வேண்டிய தரவை அதிகரிக்கிறது. பரிவர்த்தனைகளை மீண்டும் இயக்குவது குறிப்பிடத்தக்க கேஸ் செலவுகளையும் ஏற்படுத்துகிறது. இந்தக் காரணங்களுக்காக, ஆப்டிமிஸ்டிக் ரோலப்கள் பல-சுற்று ஊடாடும் நிரூபித்தலுக்கு (multi-round interactive proving) மாறுகின்றன, இது அதே நோக்கத்தை (அதாவது, தவறான ரோலப் செயல்பாடுகளைக் கண்டறிதல்) அதிக செயல்திறனுடன் அடைகிறது.

பல-சுற்று ஊடாடும் நிரூபித்தல்

பல-சுற்று ஊடாடும் நிரூபித்தல் என்பது L1 சரிபார்ப்பு ஒப்பந்தத்தால் மேற்பார்வையிடப்படும் வலியுறுத்துபவர் (asserter) மற்றும் சவாலர் (challenger) இடையேயான முன்னும் பின்னுமான நெறிமுறையை உள்ளடக்கியது, இது இறுதியில் பொய் சொல்லும் தரப்பினரைத் தீர்மானிக்கிறது. L2 நோடு ஒரு வலியுறுத்தலை சவால் செய்த பிறகு, வலியுறுத்துபவர் சர்ச்சைக்குரிய வலியுறுத்தலை இரண்டு சமப் பகுதிகளாகப் பிரிக்க வேண்டும். இந்த விஷயத்தில் ஒவ்வொரு தனிப்பட்ட வலியுறுத்தலும் மற்றொன்றைப் போலவே பல கணக்கீட்டுப் படிகளைக் கொண்டிருக்கும்.

சவாலர் எந்த வலியுறுத்தலை சவால் செய்ய விரும்புகிறார் என்பதைத் தேர்ந்தெடுப்பார். பிரிக்கும் செயல்முறை ("இருசமக்கூறிடல் நெறிமுறை" (bisection protocol) என்று அழைக்கப்படுகிறது) இரு தரப்பினரும் செயலாக்கத்தின் ஒற்றைப் படி பற்றிய வலியுறுத்தலை எதிர்த்து வாதிடும் வரை தொடர்கிறது. இந்த கட்டத்தில், மோசடியான தரப்பினரைப் பிடிக்க அறிவுறுத்தலை (மற்றும் அதன் முடிவை) மதிப்பீடு செய்வதன் மூலம் L1 ஒப்பந்தம் தகராறைத் தீர்க்கும்.

சர்ச்சைக்குரிய ஒற்றைப் படிக் கணக்கீட்டின் செல்லுபடியைச் சரிபார்க்கும் "ஒரு-படி சான்றை" (one-step proof) வலியுறுத்துபவர் வழங்க வேண்டும். வலியுறுத்துபவர் ஒரு-படி சான்றை வழங்கத் தவறினால், அல்லது L1 சரிபார்ப்பவர் சான்று தவறானது என்று கருதினால், அவர்கள் சவாலை இழக்கிறார்கள்.

இந்த வகையான மோசடி சான்று பற்றிய சில குறிப்புகள்:

1. பல-சுற்று ஊடாடும் மோசடி நிரூபித்தல் திறமையானதாகக் கருதப்படுகிறது, ஏனெனில் இது தகராறு நடுவர் மன்றத்தில் L1 செயின் செய்ய வேண்டிய வேலையைக் குறைக்கிறது. முழுப் பரிவர்த்தனையையும் மீண்டும் இயக்குவதற்குப் பதிலாக, L1 செயின் ரோலப்பின் செயலாக்கத்தில் ஒரு படியை மட்டுமே மீண்டும் செயல்படுத்த வேண்டும்.

2. இருசமக்கூறிடல் நெறிமுறைகள் ஆன்செயினில் இடுகையிடப்படும் தரவின் அளவைக் குறைக்கின்றன (ஒவ்வொரு பரிவர்த்தனைக்கும் நிலை கடமைகளை வெளியிடத் தேவையில்லை). மேலும், ஆப்டிமிஸ்டிக் ரோலப் பரிவர்த்தனைகள் எத்தேரியத்தின் கேஸ் வரம்பால் கட்டுப்படுத்தப்படவில்லை. மாறாக, பரிவர்த்தனைகளை மீண்டும் செயல்படுத்தும் ஆப்டிமிஸ்டிக் ரோலப்கள் ஒரு எத்தேரியம் பரிவர்த்தனைக்குள் அதன் செயலாக்கத்தைப் பின்பற்ற L2 பரிவர்த்தனை குறைந்த கேஸ் வரம்பைக் கொண்டிருப்பதை உறுதிசெய்ய வேண்டும்.

3. தீங்கிழைக்கும் வலியுறுத்துபவரின் பிணைப்பின் ஒரு பகுதி சவாலருக்கு வழங்கப்படுகிறது, மற்ற பகுதி எரிக்கப்படுகிறது. எரிப்பது வேலிடேட்டர்களிடையே கூட்டுச்சதியைத் தடுக்கிறது; இரண்டு வேலிடேட்டர்கள் போலி சவால்களைத் தொடங்க கூட்டுச் சேர்ந்தால், அவர்கள் முழுப் பங்கிலும் கணிசமான பகுதியை இழப்பார்கள்.

4. பல-சுற்று ஊடாடும் நிரூபித்தலுக்கு இரு தரப்பினரும் (வலியுறுத்துபவர் மற்றும் சவாலர்) குறிப்பிட்ட கால அவகாசத்திற்குள் நகர்வுகளைச் செய்ய வேண்டும். காலக்கெடு முடிவதற்குள் செயல்படத் தவறினால், தவறிய தரப்பினர் சவாலை இழக்க நேரிடும்.

ஆப்டிமிஸ்டிக் ரோலப்களுக்கு மோசடி சான்றுகள் ஏன் முக்கியம்

மோசடி சான்றுகள் முக்கியமானவை, ஏனெனில் அவை ஆப்டிமிஸ்டிக் ரோலப்களில் நம்பிக்கையற்ற இறுதித்தன்மையை (trustless finality) எளிதாக்குகின்றன. நம்பிக்கையற்ற இறுதித்தன்மை என்பது ஆப்டிமிஸ்டிக் ரோலப்களின் ஒரு பண்பாகும், இது ஒரு பரிவர்த்தனை—அது செல்லுபடியாகும் வரை—இறுதியில் உறுதிப்படுத்தப்படும் என்று உத்தரவாதம் அளிக்கிறது.

தீங்கிழைக்கும் நோடுகள் தவறான சவால்களைத் தொடங்குவதன் மூலம் செல்லுபடியாகும் ரோலப் பிளாக்கின் உறுதிப்படுத்தலைத் தாமதப்படுத்த முயற்சி செய்யலாம். இருப்பினும், மோசடி சான்றுகள் இறுதியில் ரோலப் பிளாக்கின் செல்லுபடியை நிரூபித்து அது உறுதிப்படுத்தப்படக் காரணமாகும்.

இது ஆப்டிமிஸ்டிக் ரோலப்களின் மற்றொரு பாதுகாப்புப் பண்புடனும் தொடர்புடையது: செயினின் செல்லுபடியானது ஒரு நேர்மையான நோடின் இருப்பை நம்பியுள்ளது. நேர்மையான நோடு செல்லுபடியாகும் வலியுறுத்தல்களை இடுகையிடுவதன் மூலமாகவோ அல்லது தவறான வலியுறுத்தல்களை எதிர்த்து வாதிடுவதன் மூலமாகவோ செயினைச் சரியாக முன்னேற்ற முடியும். எதுவாக இருந்தாலும், நேர்மையான நோடுடன் தகராறுகளில் ஈடுபடும் தீங்கிழைக்கும் நோடுகள் மோசடி நிரூபிக்கும் செயல்பாட்டின் போது தங்கள் பங்குகளை இழக்கும்.

L1/L2 இயங்குதன்மை (interoperability)

ஆப்டிமிஸ்டிக் ரோலப்கள் எத்தேரியம் மெயின்நெட் உடனான இயங்குதன்மைக்காக வடிவமைக்கப்பட்டுள்ளன மற்றும் L1 மற்றும் L2 இடையே செய்திகள் மற்றும் தன்னிச்சையான தரவை அனுப்ப பயனர்களை அனுமதிக்கின்றன. அவை EVM உடனும் இணக்கமாக உள்ளன, எனவே நீங்கள் ஏற்கனவே உள்ள dapps ஐ ஆப்டிமிஸ்டிக் ரோலப்களுக்கு மாற்றலாம் அல்லது எத்தேரியம் மேம்பாட்டுக் கருவிகளைப் பயன்படுத்தி புதிய டாப்களை (dapps) உருவாக்கலாம்.

1. சொத்து நகர்வு

ரோலப்பில் நுழைதல்

ஆப்டிமிஸ்டிக் ரோலப்பைப் பயன்படுத்த, பயனர்கள் ETH, ERC-20 டோக்கன்கள் மற்றும் பிற ஏற்றுக்கொள்ளப்பட்ட சொத்துக்களை L1 இல் உள்ள ரோலப்பின் bridge ஒப்பந்தத்தில் டெபாசிட் செய்கிறார்கள். பிரிட்ஜ் ஒப்பந்தம் பரிவர்த்தனையை L2 க்கு அனுப்பும், அங்கு சமமான அளவு சொத்துக்கள் உருவாக்கப்பட்டு (minted) ஆப்டிமிஸ்டிக் ரோலப்பில் பயனர் தேர்ந்தெடுத்த முகவரிக்கு அனுப்பப்படும்.

பயனர் உருவாக்கிய பரிவர்த்தனைகள் (L1 > L2 டெபாசிட் போன்றவை) பொதுவாக சீக்வென்சர் அவற்றை ரோலப் ஒப்பந்தத்தில் மீண்டும் சமர்ப்பிக்கும் வரை வரிசைப்படுத்தப்படும். இருப்பினும், தணிக்கை எதிர்ப்பைப் பாதுகாக்க, அனுமதிக்கப்பட்ட அதிகபட்ச நேரத்தைக் கடந்து தாமதமாகியிருந்தால், ஆன்செயின் ரோலப் ஒப்பந்தத்திற்கு நேரடியாகப் பரிவர்த்தனையைச் சமர்ப்பிக்க ஆப்டிமிஸ்டிக் ரோலப்கள் பயனர்களை அனுமதிக்கின்றன.

சீக்வென்சர்கள் பயனர்களைத் தணிக்கை செய்வதைத் தடுக்க சில ஆப்டிமிஸ்டிக் ரோலப்கள் மிகவும் நேரடியான அணுகுமுறையைப் பின்பற்றுகின்றன. இங்கே, ரோலப் செயினில் செயலாக்கப்பட்ட பரிவர்த்தனைகளுக்கு மேலதிகமாக முந்தைய பிளாக்கிலிருந்து (எ.கா., டெபாசிட்டுகள்) L1 ஒப்பந்தத்தில் சமர்ப்பிக்கப்பட்ட அனைத்து பரிவர்த்தனைகளாலும் ஒரு பிளாக் வரையறுக்கப்படுகிறது. ஒரு சீக்வென்சர் L1 பரிவர்த்தனையைப் புறக்கணித்தால், அது (நிரூபிக்கக்கூடிய வகையில்) தவறான நிலை வேரை வெளியிடும்; எனவே, L1 இல் இடுகையிடப்பட்டவுடன் பயனர் உருவாக்கிய செய்திகளை சீக்வென்சர்களால் தாமதப்படுத்த முடியாது.

ரோலப்பிலிருந்து வெளியேறுதல்

மோசடி நிரூபிக்கும் திட்டம் காரணமாக ஆப்டிமிஸ்டிக் ரோலப்பிலிருந்து எத்தேரியத்திற்குத் திரும்பப் பெறுவது மிகவும் கடினம். L1 இல் எஸ்க்ரோ செய்யப்பட்ட நிதியைத் திரும்பப் பெற ஒரு பயனர் L2 > L1 பரிவர்த்தனையைத் தொடங்கினால், அவர்கள் சவால் காலம்—சுமார் ஏழு நாட்கள் நீடிக்கும்—முடிவடையும் வரை காத்திருக்க வேண்டும். ஆயினும்கூட, திரும்பப் பெறும் செயல்முறை மிகவும் நேரடியானது.

L2 ரோலப்பில் திரும்பப் பெறும் கோரிக்கை தொடங்கப்பட்ட பிறகு, பரிவர்த்தனை அடுத்த தொகுப்பில் சேர்க்கப்படும், அதே நேரத்தில் ரோலப்பில் உள்ள பயனரின் சொத்துக்கள் எரிக்கப்படும். எத்தேரியத்தில் தொகுப்பு வெளியிடப்பட்டவுடன், பயனர் பிளாக்கில் தங்கள் வெளியேறும் பரிவர்த்தனை சேர்க்கப்பட்டுள்ளதைச் சரிபார்க்கும் மெர்க்கல் சான்றைக் கணக்கிடலாம். பின்னர் L1 இல் பரிவர்த்தனையை இறுதி செய்வதற்கும் மெயின்நெட்டிற்கு நிதியைத் திரும்பப் பெறுவதற்கும் தாமதக் காலம் முடியும் வரை காத்திருக்க வேண்டும்.

எத்தேரியத்திற்கு நிதியைத் திரும்பப் பெறுவதற்கு முன்பு ஒரு வாரம் காத்திருப்பதைத் தவிர்க்க, ஆப்டிமிஸ்டிக் ரோலப் பயனர்கள் ஒரு நீர்மை வழங்குநரை (liquidity provider - LP) பயன்படுத்தலாம். ஒரு நீர்மை வழங்குநர் நிலுவையில் உள்ள L2 திரும்பப் பெறுதலின் உரிமையை ஏற்றுக்கொள்கிறார் மற்றும் L1 இல் பயனருக்குச் செலுத்துகிறார் (கட்டணத்திற்குப் பதிலாக).

நிதியை வெளியிடுவதற்கு முன்பு நீர்மை வழங்குநர்கள் பயனரின் திரும்பப் பெறும் கோரிக்கையின் செல்லுபடியைச் சரிபார்க்கலாம் (செயினைத் தாங்களே செயல்படுத்துவதன் மூலம்). இந்த வழியில் பரிவர்த்தனை இறுதியில் உறுதிப்படுத்தப்படும் (அதாவது, நம்பிக்கையற்ற இறுதித்தன்மை) என்ற உத்தரவாதம் அவர்களுக்கு உள்ளது.

2. EVM இணக்கத்தன்மை

டெவலப்பர்களுக்கு, ஆப்டிமிஸ்டிக் ரோலப்களின் நன்மை அவற்றின் இணக்கத்தன்மை—அல்லது, இன்னும் சிறப்பாக, சமமான தன்மை—Ethereum Virtual Machine (EVM) உடன் உள்ளது. EVM-இணக்கமான ரோலப்கள் Ethereum Yellow Paper (opens in a new tab) இல் உள்ள விவரக்குறிப்புகளுக்கு இணங்குகின்றன மற்றும் பைட் குறியீடு (bytecode) மட்டத்தில் EVM ஐ ஆதரிக்கின்றன.

ஆப்டிமிஸ்டிக் ரோலப்களில் EVM-இணக்கத்தன்மை பின்வரும் நன்மைகளைக் கொண்டுள்ளது:

i. டெவலப்பர்கள் குறியீட்டுத் தளங்களை (codebases) விரிவாக மாற்றியமைக்காமல் எத்தேரியத்தில் ஏற்கனவே உள்ள ஸ்மார்ட் ஒப்பந்தங்களை ஆப்டிமிஸ்டிக் ரோலப் செயின்களுக்கு மாற்றலாம். L2 இல் எத்தேரியம் ஸ்மார்ட் ஒப்பந்தங்களைப் பயன்படுத்தும்போது இது மேம்பாட்டுக் குழுக்களின் நேரத்தை மிச்சப்படுத்தும்.

ii. ஆப்டிமிஸ்டிக் ரோலப்களைப் பயன்படுத்தும் டெவலப்பர்கள் மற்றும் திட்டக் குழுக்கள் எத்தேரியத்தின் உள்கட்டமைப்பைப் பயன்படுத்திக் கொள்ளலாம். இதில் நிரலாக்க மொழிகள், குறியீட்டு நூலகங்கள், சோதனைக் கருவிகள், கிளையன்ட் மென்பொருள், வரிசைப்படுத்தல் உள்கட்டமைப்பு மற்றும் பல அடங்கும்.

ஏற்கனவே உள்ள கருவிகளைப் பயன்படுத்துவது முக்கியம், ஏனெனில் இந்தக் கருவிகள் பல ஆண்டுகளாக விரிவாகத் தணிக்கை செய்யப்பட்டு, பிழைத்திருத்தம் செய்யப்பட்டு, மேம்படுத்தப்பட்டுள்ளன. எத்தேரியம் டெவலப்பர்கள் முற்றிலும் புதிய மேம்பாட்டு அடுக்கைக் (development stack) கொண்டு எவ்வாறு உருவாக்குவது என்பதைக் கற்றுக்கொள்ள வேண்டிய அவசியத்தையும் இது நீக்குகிறது.

3. கிராஸ்-செயின் ஒப்பந்த அழைப்புகள்

பயனர்கள் (வெளிப்புறமாகச் சொந்தமான கணக்குகள்) ரோலப் ஒப்பந்தத்திற்குப் பரிவர்த்தனையைச் சமர்ப்பிப்பதன் மூலமாகவோ அல்லது சீக்வென்சர் அல்லது வேலிடேட்டரை அவர்களுக்காகச் செய்ய வைப்பதன் மூலமாகவோ L2 ஒப்பந்தங்களுடன் தொடர்புகொள்கிறார்கள். L1 மற்றும் L2 இடையே செய்திகளை அனுப்பவும் தரவை அனுப்பவும் பிரிட்ஜிங் ஒப்பந்தங்களைப் பயன்படுத்தி L2 ஒப்பந்தங்களுடன் தொடர்புகொள்ள எத்தேரியத்தில் உள்ள ஒப்பந்தக் கணக்குகளையும் ஆப்டிமிஸ்டிக் ரோலப்கள் அனுமதிக்கின்றன. இதன் பொருள் L2 ஆப்டிமிஸ்டிக் ரோலப்பில் உள்ள ஒப்பந்தங்களுக்குச் சொந்தமான செயல்பாடுகளை அழைக்க எத்தேரியம் மெயின்நெட்டில் L1 ஒப்பந்தத்தை நீங்கள் நிரல் செய்யலாம்.

கிராஸ்-செயின் ஒப்பந்த அழைப்புகள் ஒத்திசைவற்ற முறையில் (asynchronously) நிகழ்கின்றன—அதாவது அழைப்பு முதலில் தொடங்கப்பட்டு, பின்னர் செயல்படுத்தப்படும். இது எத்தேரியத்தில் உள்ள இரண்டு ஒப்பந்தங்களுக்கு இடையிலான அழைப்புகளிலிருந்து வேறுபட்டது, அங்கு அழைப்பு உடனடியாக முடிவுகளைத் தருகிறது.

கிராஸ்-செயின் ஒப்பந்த அழைப்பிற்கு ஒரு எடுத்துக்காட்டு முன்பு விவரிக்கப்பட்ட டோக்கன் டெபாசிட் ஆகும். L1 இல் உள்ள ஒரு ஒப்பந்தம் பயனரின் டோக்கன்களை எஸ்க்ரோ செய்கிறது மற்றும் ரோலப்பில் சமமான அளவு டோக்கன்களை உருவாக்க இணைக்கப்பட்ட L2 ஒப்பந்தத்திற்கு ஒரு செய்தியை அனுப்புகிறது.

கிராஸ்-செயின் செய்தி அழைப்புகள் ஒப்பந்தச் செயலாக்கத்தை ஏற்படுத்துவதால், அனுப்புநர் பொதுவாகக் கணக்கீட்டிற்கான gas costs ஐ ஈடுகட்ட வேண்டும். இலக்குச் செயினில் பரிவர்த்தனை தோல்வியடைவதைத் தடுக்க அதிக கேஸ் வரம்பை அமைப்பது நல்லது. டோக்கன் பிரிட்ஜிங் காட்சி ஒரு நல்ல எடுத்துக்காட்டு; பரிவர்த்தனையின் L1 பக்கம் (டோக்கன்களை டெபாசிட் செய்வது) வேலை செய்தால், ஆனால் L2 பக்கம் (புதிய டோக்கன்களை உருவாக்குவது) குறைந்த கேஸ் காரணமாகத் தோல்வியடைந்தால், டெபாசிட்டை மீட்டெடுக்க முடியாது.

இறுதியாக, ஒப்பந்தங்களுக்கு இடையிலான L2 > L1 செய்தி அழைப்புகள் தாமதங்களைக் கணக்கிட வேண்டும் என்பதை நாம் கவனிக்க வேண்டும் (L1 > L2 அழைப்புகள் பொதுவாகச் சில நிமிடங்களுக்குப் பிறகு செயல்படுத்தப்படும்). ஏனென்றால், ஆப்டிமிஸ்டிக் ரோலப்பிலிருந்து மெயின்நெட்டிற்கு அனுப்பப்படும் செய்திகளை சவால் சாளரம் (challenge window) காலாவதியாகும் வரை செயல்படுத்த முடியாது.

ஆப்டிமிஸ்டிக் ரோலப் கட்டணங்கள் எவ்வாறு செயல்படுகின்றன?

பயனர்கள் ஒரு பரிவர்த்தனைக்கு எவ்வளவு செலுத்துகிறார்கள் என்பதைக் குறிக்க, எத்தேரியத்தைப் போலவே ஆப்டிமிஸ்டிக் ரோலப்களும் கேஸ் கட்டணத் திட்டத்தைப் பயன்படுத்துகின்றன. ஆப்டிமிஸ்டிக் ரோலப்களில் வசூலிக்கப்படும் கட்டணங்கள் பின்வரும் கூறுகளைப் பொறுத்தது:

1. நிலை எழுதுதல் (State write): ஆப்டிமிஸ்டிக் ரோலப்கள் பரிவர்த்தனை தரவு மற்றும் பிளாக் தலைப்புகளை (முந்தைய பிளாக் தலைப்பு ஹாஷ், நிலை வேர், தொகுப்பு வேர் ஆகியவற்றைக் கொண்டது) எத்தேரியத்தில் blob அல்லது "பைனரி பெரிய பொருள்" (binary large object) ஆக வெளியிடுகின்றன. EIP-4844 (opens in a new tab) ஆன்செயினில் தரவைச் சேர்ப்பதற்கான செலவு குறைந்த தீர்வை அறிமுகப்படுத்தியது. blob என்பது ஒரு புதிய பரிவர்த்தனை புலமாகும், இது சுருக்கப்பட்ட நிலை மாற்றத் தரவை எத்தேரியம் L1 இல் இடுகையிட ரோலப்களை அனுமதிக்கிறது. நிரந்தரமாக ஆன்செயினில் இருக்கும் calldata ஐப் போலல்லாமல், blobs குறுகிய காலம் வாழக்கூடியவை மற்றும் 4096 epochs (opens in a new tab) (சுமார் 18 நாட்கள்) க்குப் பிறகு கிளையன்ட்களிடமிருந்து கத்தரிக்கப்படலாம். சுருக்கப்பட்ட பரிவர்த்தனைகளின் தொகுப்புகளை இடுகையிட blobs ஐப் பயன்படுத்துவதன் மூலம், ஆப்டிமிஸ்டிக் ரோலப்கள் L1 இல் பரிவர்த்தனைகளை எழுதுவதற்கான செலவைக் கணிசமாகக் குறைக்கலாம்.

2. பயன்படுத்தப்பட்ட Blob கேஸ்: Blob-சுமந்து செல்லும் பரிவர்த்தனைகள் EIP-1559 (opens in a new tab) ஆல் அறிமுகப்படுத்தப்பட்டதைப் போன்ற ஒரு மாறும் கட்டண வழிமுறையைப் பயன்படுத்துகின்றன. வகை-3 பரிவர்த்தனைகளுக்கான கேஸ் கட்டணம் blobs க்கான அடிப்படைக் கட்டணத்தைக் கணக்கில் எடுத்துக்கொள்கிறது, இது blob-இடத் தேவை மற்றும் அனுப்பப்படும் பரிவர்த்தனையின் blob-இடப் பயன்பாடு ஆகியவற்றின் அடிப்படையில் நெட்வொர்க்கால் தீர்மானிக்கப்படுகிறது.

3. L2 ஆபரேட்டர் கட்டணங்கள்: இது எத்தேரியத்தில் உள்ள கேஸ் கட்டணங்களைப் போலவே, பரிவர்த்தனைகளைச் செயலாக்குவதில் ஏற்படும் கணக்கீட்டுச் செலவுகளுக்கான இழப்பீடாக ரோலப் நோடுகளுக்குச் செலுத்தப்படும் தொகையாகும். L2 கள் அதிகச் செயலாக்கத் திறன்களைக் கொண்டிருப்பதாலும், அதிகக் கட்டணங்களைக் கொண்ட பரிவர்த்தனைகளுக்கு முன்னுரிமை அளிக்க எத்தேரியத்தில் உள்ள வேலிடேட்டர்களைக் கட்டாயப்படுத்தும் நெட்வொர்க் நெரிசல்களை எதிர்கொள்ளாததாலும் ரோலப் நோடுகள் குறைந்த பரிவர்த்தனைக் கட்டணங்களை வசூலிக்கின்றன.

பரிவர்த்தனைகளைத் தொகுத்தல் மற்றும் தரவு வெளியீட்டுச் செலவுகளைக் குறைக்க calldata ஐச் சுருக்குதல் உள்ளிட்ட பயனர்களுக்கான கட்டணங்களைக் குறைக்க ஆப்டிமிஸ்டிக் ரோலப்கள் பல வழிமுறைகளைப் பயன்படுத்துகின்றன. எத்தேரியம் அடிப்படையிலான ஆப்டிமிஸ்டிக் ரோலப்களைப் பயன்படுத்த எவ்வளவு செலவாகும் என்பதற்கான நிகழ்நேரக் கண்ணோட்டத்திற்கு L2 fee tracker (opens in a new tab) ஐ நீங்கள் சரிபார்க்கலாம்.

ஆப்டிமிஸ்டிக் ரோலப்கள் எத்தேரியத்தை எவ்வாறு அளவிடுகின்றன?

விளக்கியபடி, தரவு கிடைக்கும் தன்மைக்கு உத்தரவாதம் அளிக்க ஆப்டிமிஸ்டிக் ரோலப்கள் சுருக்கப்பட்ட பரிவர்த்தனை தரவை எத்தேரியத்தில் வெளியிடுகின்றன. ஆன்செயினில் வெளியிடப்பட்ட தரவைச் சுருக்கும் திறன் ஆப்டிமிஸ்டிக் ரோலப்களுடன் எத்தேரியத்தில் செயலாக்கத் திறனை அளவிடுவதற்கு முக்கியமானது.

பிரதான எத்தேரியம் செயின் பிளாக்குகள் எவ்வளவு தரவை வைத்திருக்க முடியும் என்பதற்கு வரம்புகளை விதிக்கிறது, இது கேஸ் அலகுகளில் குறிப்பிடப்படுகிறது (average block size 15 மில்லியன் கேஸ் ஆகும்). ஒவ்வொரு பரிவர்த்தனையும் எவ்வளவு கேஸைப் பயன்படுத்தலாம் என்பதை இது கட்டுப்படுத்துகிறது என்றாலும், பரிவர்த்தனை தொடர்பான தரவைக் குறைப்பதன் மூலம் ஒரு பிளாக்கிற்குச் செயலாக்கப்படும் பரிவர்த்தனைகளை நாம் அதிகரிக்கலாம்—இது அளவிடுதலை நேரடியாக மேம்படுத்துகிறது.

பரிவர்த்தனை தரவு சுருக்கத்தை அடையவும் TPS விகிதங்களை மேம்படுத்தவும் ஆப்டிமிஸ்டிக் ரோலப்கள் பல நுட்பங்களைப் பயன்படுத்துகின்றன. எடுத்துக்காட்டாக, இந்த article (opens in a new tab) ஒரு அடிப்படைப் பயனர் பரிவர்த்தனை (ஈதரை அனுப்புதல்) மெயின்நெட்டில் உருவாக்கும் தரவையும் அதே பரிவர்த்தனை ரோலப்பில் எவ்வளவு தரவை உருவாக்குகிறது என்பதையும் ஒப்பிடுகிறது:

இந்த புள்ளிவிவரங்களில் சில தோராயமான கணக்கீடுகளைச் செய்வது ஆப்டிமிஸ்டிக் ரோலப் வழங்கும் அளவிடுதல் மேம்பாடுகளைக் காட்ட உதவும்:

1. ஒவ்வொரு பிளாக்கிற்கான இலக்கு அளவு 15 மில்லியன் கேஸ் ஆகும் மற்றும் ஒரு பைட் தரவைச் சரிபார்க்க 16 கேஸ் செலவாகும். சராசரி பிளாக் அளவை 16 கேஸால் வகுத்தால் (15,000,000/16) சராசரி பிளாக் 937,500 பைட்டுகள் தரவை வைத்திருக்க முடியும் என்பதைக் காட்டுகிறது.
2. ஒரு அடிப்படை ரோலப் பரிவர்த்தனை 12 பைட்டுகளைப் பயன்படுத்தினால், சராசரி எத்தேரியம் பிளாக் 78,125 ரோலப் பரிவர்த்தனைகளை (937,500/12) அல்லது 39 ரோலப் தொகுப்புகளை (ஒவ்வொரு தொகுப்பும் சராசரியாக 2,000 பரிவர்த்தனைகளைக் கொண்டிருந்தால்) செயலாக்க முடியும்.
3. எத்தேரியத்தில் ஒவ்வொரு 15 வினாடிகளுக்கும் ஒரு புதிய பிளாக் உருவாக்கப்பட்டால், ரோலப்பின் செயலாக்க வேகம் வினாடிக்குத் தோராயமாக 5,208 பரிவர்த்தனைகளாக இருக்கும். எத்தேரியம் பிளாக் வைத்திருக்கக்கூடிய அடிப்படை ரோலப் பரிவர்த்தனைகளின் எண்ணிக்கையை (78,125) சராசரி பிளாக் நேரத்தால் (15 வினாடிகள்) வகுப்பதன் மூலம் இது செய்யப்படுகிறது.

ஆப்டிமிஸ்டிக் ரோலப் பரிவர்த்தனைகள் எத்தேரியத்தில் ஒரு முழு பிளாக்கையும் கொண்டிருக்க முடியாது என்பதால், இது மிகவும் நம்பிக்கையான மதிப்பீடாகும். இருப்பினும், ஆப்டிமிஸ்டிக் ரோலப்கள் எத்தேரியம் பயனர்களுக்கு எவ்வளவு அளவிடுதல் ஆதாயங்களை வழங்க முடியும் என்பதற்கான தோராயமான யோசனையை இது வழங்க முடியும் (தற்போதைய செயலாக்கங்கள் 2,000 TPS வரை வழங்குகின்றன).

எத்தேரியத்தில் data sharding அறிமுகம் ஆப்டிமிஸ்டிக் ரோலப்களில் அளவிடுதலை மேம்படுத்தும் என்று எதிர்பார்க்கப்படுகிறது. ரோலப் பரிவர்த்தனைகள் ரோலப் அல்லாத பிற பரிவர்த்தனைகளுடன் பிளாக்ஸ்பேஸைப் (blockspace) பகிர வேண்டும் என்பதால், அவற்றின் செயலாக்கத் திறன் பிரதான எத்தேரியம் செயினில் உள்ள தரவு செயலாக்கத் திறனால் வரையறுக்கப்படுகிறது. விலையுயர்ந்த, நிரந்தர CALLDATA க்குப் பதிலாக மலிவான, நிரந்தரமற்ற "blob" சேமிப்பகத்தைப் பயன்படுத்தி, ஒரு பிளாக்கிற்குத் தரவை வெளியிட L2 செயின்களுக்குக் கிடைக்கும் இடத்தை Danksharding அதிகரிக்கும்.

ஆப்டிமிஸ்டிக் ரோலப்களின் நன்மைகள் மற்றும் தீமைகள்

ஆப்டிமிஸ்டிக் ரோலப்களின் காட்சி விளக்கம்

காட்சிகள் மூலம் கற்பவரா? Finematics ஆப்டிமிஸ்டிக் ரோலப்களை விளக்குவதைப் பாருங்கள்:

ஆப்டிமிஸ்டிக் ரோலப்கள் பற்றிய கூடுதல் வாசிப்பு

• ஆப்டிமிஸ்டிக் ரோலப்கள் எவ்வாறு செயல்படுகின்றன (முழுமையான வழிகாட்டி) (opens in a new tab)
• பிளாக்செயின் ரோலப் என்றால் என்ன? ஒரு தொழில்நுட்ப அறிமுகம் (opens in a new tab)
• ஆர்பிட்ரம் (Arbitrum) க்கான அத்தியாவசிய வழிகாட்டி (opens in a new tab)
• எத்தேரியம் ரோலப்களுக்கான நடைமுறை வழிகாட்டி (opens in a new tab)
• எத்தேரியம் L2 களில் மோசடி சான்றுகளின் நிலை (opens in a new tab)
• ஆப்டிமிசத்தின் (Optimism) ரோலப் உண்மையில் எவ்வாறு செயல்படுகிறது? (opens in a new tab)
• OVM ஆழமான பார்வை (opens in a new tab)
• ஆப்டிமிஸ்டிக் மெய்நிகர் இயந்திரம் (Optimistic Virtual Machine) என்றால் என்ன? (opens in a new tab)

பயிற்சிகள்: எத்தேரியத்தில் ஆப்டிமிஸ்டிக் ரோலப்கள் மற்றும் பிரிட்ஜ்கள்

• ஆப்டிமிசம் நிலையான பிரிட்ஜ் ஒப்பந்த ஒத்திகை – L1 மற்றும் L2 இடையே சொத்துக்களை நகர்த்துவதற்கான ஆப்டிமிசம் நிலையான பிரிட்ஜின் சிறுகுறிப்பு செய்யப்பட்ட குறியீட்டு ஒத்திகை.