ஜீரோ-நாலேஜ் ரோலப்கள்

ஜீரோ-நாலேஜ் ரோலப்கள் (ZK-rollups) என்பவை லேயர் 2 அளவிடுதல் தீர்வுகள் ஆகும், இவை கணக்கீடு மற்றும் நிலை-சேமிப்பகத்தை ஆஃப்செயினுக்கு மாற்றுவதன் மூலம் Ethereum மெயின்நெட்டில் செயல்திறனை அதிகரிக்கின்றன. ZK-ரோலப்கள் ஆயிரக்கணக்கான பரிவர்த்தனைகளை ஒரு தொகுப்பாகச் செயல்படுத்தி, பின்னர் சில குறைந்தபட்ச சுருக்கத் தரவை மட்டுமே மெயின்நெட்டில் பதிவேற்ற முடியும். இந்த சுருக்கத் தரவு Ethereum நிலையில் செய்யப்பட வேண்டிய மாற்றங்களையும், அந்த மாற்றங்கள் சரியானவை என்பதற்கான சில கிரிப்டோகிராஃபிக் சான்றுகளையும் வரையறுக்கிறது.

முன்தேவைகள்

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

ஜீரோ-நாலேஜ் ரோலப்கள் என்றால் என்ன?

ஜீரோ-நாலேஜ் ரோலப்கள் (ZK-rollups) பரிவர்த்தனைகளை ஆஃப்செயினில் செயல்படுத்தப்படும் தொகுப்புகளாக (அல்லது 'ரோல் அப்') இணைக்கின்றன. ஆஃப்செயின் கணக்கீடு பிளாக்செயினில் பதிவேற்றப்பட வேண்டிய தரவின் அளவைக் குறைக்கிறது. ZK-ரோலப் ஆபரேட்டர்கள் ஒவ்வொரு பரிவர்த்தனையையும் தனித்தனியாக அனுப்புவதற்குப் பதிலாக, ஒரு தொகுப்பில் உள்ள அனைத்து பரிவர்த்தனைகளையும் பிரதிநிதித்துவப்படுத்தத் தேவையான மாற்றங்களின் சுருக்கத்தை சமர்ப்பிக்கின்றனர். அவர்கள் தங்கள் மாற்றங்களின் சரியான தன்மையை நிரூபிக்க உருவாக்குகிறார்கள்.

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

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

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

ZK-ரோலப்கள் Ethereum உடன் எவ்வாறு தொடர்பு கொள்கின்றன?

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

ZK-ரோலப்பின் முக்கிய கட்டமைப்பு பின்வரும் கூறுகளைக் கொண்டுள்ளது:

1. ஆன்செயின் ஒப்பந்தங்கள்: குறிப்பிட்டுள்ளபடி, ZK-ரோலப் நெறிமுறை Ethereum இல் இயங்கும் ஸ்மார்ட் ஒப்பந்தங்களால் கட்டுப்படுத்தப்படுகிறது. ரோலப் பிளாக்குகளைச் சேமிக்கும், டெபாசிட்டுகளைக் கண்காணிக்கும் மற்றும் நிலை புதுப்பிப்புகளைக் கண்காணிக்கும் முக்கிய ஒப்பந்தம் இதில் அடங்கும். மற்றொரு ஆன்செயின் ஒப்பந்தம் (சரிபார்ப்பு ஒப்பந்தம்) பிளாக் தயாரிப்பாளர்களால் சமர்ப்பிக்கப்பட்ட ஜீரோ-நாலேஜ் சான்றுகளைச் சரிபார்க்கிறது. இதனால், Ethereum ZK-ரோலப்பிற்கான அடிப்படை லேயர் அல்லது "லேயர் 1" ஆக செயல்படுகிறது.

2. ஆஃப்செயின் விர்ச்சுவல் மெஷின் (VM): ZK-ரோலப் நெறிமுறை Ethereum இல் இருந்தாலும், பரிவர்த்தனை செயலாக்கம் மற்றும் நிலை சேமிப்பகம் EVM இலிருந்து சுயாதீனமான ஒரு தனி விர்ச்சுவல் மெஷினில் நிகழ்கின்றன. இந்த ஆஃப்செயின் VM ஆனது ZK-ரோலப்பில் உள்ள பரிவர்த்தனைகளுக்கான செயலாக்க சூழலாகும், மேலும் இது ZK-ரோலப் நெறிமுறைக்கான இரண்டாம் நிலை லேயர் அல்லது "லேயர் 2" ஆக செயல்படுகிறது. Ethereum மெயின்நெட்டில் சரிபார்க்கப்பட்ட செல்லுபடியாகும் சான்றுகள் ஆஃப்செயின் VM இல் நிலை மாற்றங்களின் சரியான தன்மைக்கு உத்தரவாதம் அளிக்கின்றன.

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

ZK-ரோலப்கள் பின்வருவனவற்றிற்கு முக்கிய Ethereum நெறிமுறையை நம்பியுள்ளன:

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

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

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

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

பரிவர்த்தனை இறுதிநிலை

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

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

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

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

ZK-ரோலப்கள் எவ்வாறு செயல்படுகின்றன?

பரிவர்த்தனைகள்

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

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

ZK-ரோலப்கள் Ethereum இல் பரிவர்த்தனை தரவை எவ்வாறு வெளியிடுகின்றன

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

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

நிலை கடப்பாடுகள்

L2 கணக்குகள் மற்றும் இருப்புகளை உள்ளடக்கிய ZK-ரோலப்பின் நிலை, ஒரு மெர்க்கல் ட்ரீ (Merkle tree) ஆகக் குறிக்கப்படுகிறது. மெர்க்கல் ட்ரீயின் ரூட்டின் (மெர்க்கல் ரூட்) கிரிப்டோகிராஃபிக் ஹாஷ் ஆன்செயின் ஒப்பந்தத்தில் சேமிக்கப்படுகிறது, இது ZK-ரோலப்பின் நிலையில் ஏற்படும் மாற்றங்களைக் கண்காணிக்க ரோலப் நெறிமுறையை அனுமதிக்கிறது.

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

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

செல்லுபடியாகும் சான்றுகள்

ZK-ரோலப் ஆபரேட்டர் L1 ஒப்பந்தத்தில் சமர்ப்பிக்கும் புதிய நிலை ரூட் என்பது ரோலப்பின் நிலைக்கான புதுப்பிப்புகளின் விளைவாகும். ஆலிஸ் பாப்பிற்கு 10 டோக்கன்களை அனுப்புகிறார் என்று வைத்துக்கொள்வோம், ஆபரேட்டர் ஆலிஸின் இருப்பை 10 குறைத்து, பாப்பின் இருப்பை 10 அதிகரிக்கிறார். ஆபரேட்டர் பின்னர் புதுப்பிக்கப்பட்ட கணக்கு தரவை ஹாஷ் செய்கிறார், ரோலப்பின் மெர்க்கல் ட்ரீயை மீண்டும் உருவாக்குகிறார், மேலும் புதிய மெர்க்கல் ரூட்டை ஆன்செயின் ஒப்பந்தத்தில் சமர்ப்பிக்கிறார்.

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

செல்லுபடியாகும் சான்றுகள் ஒரு அறிக்கையை வெளிப்படுத்தாமலேயே அதன் சரியான தன்மையை நிரூபிக்க தரப்பினரை அனுமதிக்கின்றன—எனவே, அவை ஜீரோ-நாலேஜ் சான்றுகள் என்றும் அழைக்கப்படுகின்றன. Ethereum இல் பரிவர்த்தனைகளை மீண்டும் செயல்படுத்தாமல் ஆஃப்செயின் நிலை மாற்றங்களின் சரியான தன்மையை உறுதிப்படுத்த ZK-ரோலப்கள் செல்லுபடியாகும் சான்றுகளைப் பயன்படுத்துகின்றன. இந்தச் சான்றுகள் ZK-SNARK (opens in a new tab) (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) அல்லது ZK-STARK (opens in a new tab) (Zero-Knowledge Scalable Transparent Argument of Knowledge) வடிவத்தில் வரலாம்.

ஒவ்வொரு சான்று வகையும் தனித்துவமான அம்சங்களைக் கொண்டிருந்தாலும், SNARKகள் மற்றும் STARKகள் இரண்டும் ZK-ரோலப்களில் ஆஃப்செயின் கணக்கீட்டின் ஒருமைப்பாட்டைச் சான்றளிக்க உதவுகின்றன.

ZK-SNARKs

ZK-SNARK நெறிமுறை செயல்பட, ஒரு பொதுவான குறிப்பு சரத்தை (Common Reference String - CRS) உருவாக்குவது அவசியம்: CRS செல்லுபடியாகும் சான்றுகளை நிரூபிக்கவும் சரிபார்க்கவும் பொது அளவுருக்களை வழங்குகிறது. நிரூபிக்கும் அமைப்பின் பாதுகாப்பு CRS அமைப்பைப் பொறுத்தது; பொது அளவுருக்களை உருவாக்கப் பயன்படுத்தப்படும் தகவல்கள் தீங்கிழைக்கும் நடிகர்களின் வசம் சிக்கினால், அவர்களால் தவறான செல்லுபடியாகும் சான்றுகளை உருவாக்க முடியும்.

சில ZK-ரோலப்கள் ZK-SNARK சர்க்யூட்டிற்கான பொது அளவுருக்களை உருவாக்க, நம்பகமான நபர்களை உள்ளடக்கிய மல்டி-பார்ட்டி கம்ப்யூட்டேஷன் செரிமனி (MPC) (opens in a new tab) ஐப் பயன்படுத்தி இந்தச் சிக்கலைத் தீர்க்க முயற்சிக்கின்றன. ஒவ்வொரு தரப்பினரும் CRS ஐ உருவாக்க சில சீரற்ற தன்மையை ("நச்சு கழிவு" என்று அழைக்கப்படுகிறது) பங்களிக்கிறார்கள், அதை அவர்கள் உடனடியாக அழிக்க வேண்டும்.

நம்பகமான அமைப்புகள் பயன்படுத்தப்படுகின்றன, ஏனெனில் அவை CRS அமைப்பின் பாதுகாப்பை அதிகரிக்கின்றன. ஒரு நேர்மையான பங்கேற்பாளர் தங்கள் உள்ளீட்டை அழிக்கும் வரை, ZK-SNARK அமைப்பின் பாதுகாப்பு உத்தரவாதம் அளிக்கப்படுகிறது. இருப்பினும், இந்த அணுகுமுறைக்கு சம்பந்தப்பட்டவர்கள் தங்களின் மாதிரி சீரற்ற தன்மையை நீக்குவார்கள் மற்றும் அமைப்பின் பாதுகாப்பு உத்தரவாதங்களை குறைமதிப்பிற்கு உட்படுத்த மாட்டார்கள் என்று நம்புவது அவசியமாகும்.

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

ZK-STARKs

ZK-SNARKகளைப் போலவே, ZK-STARKகளும் உள்ளீடுகளை வெளிப்படுத்தாமல் ஆஃப்செயின் கணக்கீட்டின் செல்லுபடியாகும் தன்மையை நிரூபிக்கின்றன. இருப்பினும், ZK-STARKகள் அவற்றின் அளவிடுதல் மற்றும் வெளிப்படைத்தன்மை காரணமாக ZK-SNARKகளின் மேம்பாடாகக் கருதப்படுகின்றன.

ZK-STARKகள் 'வெளிப்படையானவை', ஏனெனில் அவை பொதுவான குறிப்பு சரத்தின் (CRS) நம்பகமான அமைப்பு இல்லாமல் செயல்பட முடியும். அதற்குப் பதிலாக, சான்றுகளை உருவாக்குவதற்கும் சரிபார்ப்பதற்குமான அளவுருக்களை அமைக்க ZK-STARKகள் பொதுவில் சரிபார்க்கக்கூடிய சீரற்ற தன்மையை நம்பியுள்ளன.

ZK-STARKகள் அதிக அளவிடுதலையும் வழங்குகின்றன, ஏனெனில் செல்லுபடியாகும் சான்றுகளை நிரூபிக்கவும் சரிபார்க்கவும் தேவைப்படும் நேரம் அடிப்படை கணக்கீட்டின் சிக்கலான தன்மைக்கு ஏற்ப குவாசிலினியராக (quasilinearly) அதிகரிக்கிறது. ZK-SNARKகளுடன், நிரூபிக்கும் மற்றும் சரிபார்க்கும் நேரங்கள் அடிப்படை கணக்கீட்டின் அளவிற்கு ஏற்ப நேரியல் (linearly) அளவில் அளவிடப்படுகின்றன. இதன் பொருள், பெரிய தரவுத்தொகுப்புகள் சம்பந்தப்பட்டிருக்கும் போது நிரூபிக்கவும் சரிபார்க்கவும் ZK-SNARKகளை விட ZK-STARKகளுக்கு குறைந்த நேரமே தேவைப்படுகிறது, இது அதிக அளவு பயன்பாடுகளுக்கு அவற்றை பயனுள்ளதாக்குகிறது.

ZK-STARKகள் குவாண்டம் கணினிகளுக்கு எதிராகவும் பாதுகாப்பானவை, அதே சமயம் ZK-SNARKகளில் பயன்படுத்தப்படும் எலிப்டிக் கர்வ் கிரிப்டோகிராஃபி (ECC) குவாண்டம் கம்ப்யூட்டிங் தாக்குதல்களுக்கு ஆளாகக்கூடியது என்று பரவலாக நம்பப்படுகிறது. ZK-STARKகளின் குறைபாடு என்னவென்றால், அவை பெரிய சான்று அளவுகளை உருவாக்குகின்றன, அவை Ethereum இல் சரிபார்க்க அதிக செலவாகும்.

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

சான்று உருவாக்கம்

பரிவர்த்தனைகளை ஏற்பதற்கு முன், ஆபரேட்டர் வழக்கமான சோதனைகளைச் செய்வார். இதில் பின்வருவனவற்றை உறுதிப்படுத்துவது அடங்கும்:

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

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

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

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

இந்த மெர்க்கல் ரூட் ZK-ரோலப்பின் நிலையில் உள்ள ஒரே மாற்றத்தைப் பிரதிபலிக்கிறது: அனுப்புநரின் இருப்பு மற்றும் நான்ஸில் ஏற்பட்ட மாற்றம். கணக்கின் இருப்பை நிரூபிக்கப் பயன்படுத்தப்படும் மெர்க்கல் சான்று புதிய நிலை ரூட்டைப் பெறப் பயன்படுத்தப்படுவதால் இது சாத்தியமாகும்.

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

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

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

சான்று சரிபார்ப்பு

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

• முந்தைய-நிலை ரூட் (Pre-state root): ZK-ரோலப்பின் பழைய நிலை ரூட் (அதாவது, தொகுக்கப்பட்ட பரிவர்த்தனைகள் செயல்படுத்தப்படுவதற்கு முன்பு), L2 செயினின் கடைசியாக அறியப்பட்ட செல்லுபடியாகும் நிலையைப் பிரதிபலிக்கிறது.

• பிந்தைய-நிலை ரூட் (Post-state root): ZK-ரோலப்பின் புதிய நிலை ரூட் (அதாவது, தொகுக்கப்பட்ட பரிவர்த்தனைகளைச் செயல்படுத்திய பிறகு), L2 செயினின் புதிய நிலையைப் பிரதிபலிக்கிறது. பிந்தைய-நிலை ரூட் என்பது நிரூபிக்கும் சர்க்யூட்டில் நிலை புதுப்பிப்புகளைப் பயன்படுத்திய பிறகு பெறப்பட்ட இறுதி ரூட் ஆகும்.

• தொகுப்பு ரூட் (Batch root): தொகுப்பின் மெர்க்கல் ரூட், தொகுப்பில் உள்ள பரிவர்த்தனைகளை மெர்க்கலைசிங் (merklizing) செய்வதன் மூலமும் ட்ரீயின் ரூட்டை ஹாஷ் செய்வதன் மூலமும் பெறப்படுகிறது.

• பரிவர்த்தனை உள்ளீடுகள்: சமர்ப்பிக்கப்பட்ட தொகுப்பின் ஒரு பகுதியாகச் செயல்படுத்தப்பட்ட பரிவர்த்தனைகளுடன் தொடர்புடைய தரவு.

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

உள்ளீடுகள் மற்றும் வெளியேற்றங்கள்

L1 செயினில் பயன்படுத்தப்பட்ட ரோலப்பின் ஒப்பந்தத்தில் டோக்கன்களை டெபாசிட் செய்வதன் மூலம் பயனர்கள் ZK-ரோலப்பில் நுழைகிறார்கள். ஆபரேட்டர்கள் மட்டுமே ரோலப் ஒப்பந்தத்தில் பரிவர்த்தனைகளைச் சமர்ப்பிக்க முடியும் என்பதால் இந்த பரிவர்த்தனை வரிசையில் வைக்கப்பட்டுள்ளது.

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

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

• பரிவர்த்தனை தொகுப்பில் பர்ன் கணக்கிற்கான பயனரின் பரிவர்த்தனை சேர்க்கப்பட்டுள்ளதை நிரூபிக்கும் மெர்க்கல் சான்று

• பரிவர்த்தனை தரவு

• தொகுப்பு ரூட்

• டெபாசிட் செய்யப்பட்ட நிதியைப் பெற L1 முகவரி

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

ZK-ரோலப்கள் மற்றும் EVM இணக்கத்தன்மை

ஆப்டிமிஸ்டிக் ரோலப்களைப் போலல்லாமல், ZK-ரோலப்கள் Ethereum Virtual Machine (EVM) உடன் எளிதில் இணக்கமாக இல்லை. சர்க்யூட்டுகளில் பொது-நோக்க EVM கணக்கீட்டை நிரூபிப்பது எளிய கணக்கீடுகளை (முன்பு விவரிக்கப்பட்ட டோக்கன் பரிமாற்றம் போன்ற) நிரூபிப்பதை விட மிகவும் கடினமானது மற்றும் வளம்-தீவிரமானது.

இருப்பினும், ஜீரோ-நாலேஜ் தொழில்நுட்பத்தில் ஏற்பட்டுள்ள முன்னேற்றங்கள் (opens in a new tab) EVM கணக்கீட்டை ஜீரோ-நாலேஜ் சான்றுகளில் மூடுவதில் புதிய ஆர்வத்தைத் தூண்டுகின்றன. இந்த முயற்சிகள் நிரல் செயலாக்கத்தின் சரியான தன்மையை திறமையாகச் சரிபார்க்கக்கூடிய ஜீரோ-நாலேஜ் EVM (zkEVM) செயலாக்கத்தை உருவாக்குவதை நோக்கிச் செலுத்தப்படுகின்றன. ஒரு zkEVM சர்க்யூட்டுகளில் நிரூபிப்பதற்கும்/சரிபார்ப்பதற்கும் இருக்கும் EVM ஆப்கோடுகளை மீண்டும் உருவாக்குகிறது, இது ஸ்மார்ட் ஒப்பந்தங்களைச் செயல்படுத்த அனுமதிக்கிறது.

EVM ஐப் போலவே, சில உள்ளீடுகளில் கணக்கீடு செய்யப்பட்ட பிறகு ஒரு zkEVM நிலைகளுக்கு இடையில் மாறுகிறது. வித்தியாசம் என்னவென்றால், நிரலின் செயலாக்கத்தில் ஒவ்வொரு படியின் சரியான தன்மையையும் சரிபார்க்க zkEVM ஜீரோ-நாலேஜ் சான்றுகளையும் உருவாக்குகிறது. செல்லுபடியாகும் சான்றுகள் VM இன் நிலையைத் தொடும் செயல்பாடுகளின் சரியான தன்மையையும் (நினைவகம், ஸ்டாக், சேமிப்பகம்) மற்றும் கணக்கீட்டையும் சரிபார்க்கலாம் (அதாவது, செயல்பாடு சரியான ஆப்கோடுகளை அழைத்து அவற்றைச் சரியாகச் செயல்படுத்தியதா?).

EVM-இணக்கமான ZK-ரோலப்களின் அறிமுகம் டெவலப்பர்கள் ஜீரோ-நாலேஜ் சான்றுகளின் அளவிடுதல் மற்றும் பாதுகாப்பு உத்தரவாதங்களைப் பயன்படுத்த உதவும் என்று எதிர்பார்க்கப்படுகிறது. மிக முக்கியமாக, நேட்டிவ் Ethereum உள்கட்டமைப்புடனான இணக்கத்தன்மை என்பது டெவலப்பர்கள் பழக்கமான (மற்றும் போரில் சோதிக்கப்பட்ட) கருவிகள் மற்றும் மொழிகளைப் பயன்படுத்தி ZK-நட்பு டாப்களை (dapps) உருவாக்க முடியும் என்பதாகும்.

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

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

1. நிலை எழுதுதல் (State write): Ethereum இன் நிலையில் எழுதுவதற்கு (அதாவது, Ethereum பிளாக்செயினில் ஒரு பரிவர்த்தனையைச் சமர்ப்பிப்பதற்கு) ஒரு நிலையான செலவு உள்ளது. ZK-ரோலப்கள் பரிவர்த்தனைகளைத் தொகுப்பதன் மூலமும், பல பயனர்களிடையே நிலையான செலவுகளைப் பரப்புவதன் மூலமும் இந்தச் செலவைக் குறைக்கின்றன.

2. தரவு வெளியீடு: ZK-ரோலப்கள் ஒவ்வொரு பரிவர்த்தனைக்குமான நிலை தரவை Ethereum-க்கு calldata ஆக வெளியிடுகின்றன. calldata செலவுகள் தற்போது EIP-1559 (opens in a new tab) ஆல் நிர்வகிக்கப்படுகின்றன, இது பூஜ்ஜியமற்ற பைட்டுகளுக்கு 16 எரிவாயு மற்றும் calldata இன் பூஜ்ஜிய பைட்டுகளுக்கு 4 எரிவாயு செலவைக் குறிப்பிடுகிறது. ஒவ்வொரு பரிவர்த்தனைக்கும் செலுத்தப்படும் செலவு, அதற்காக எவ்வளவு calldata ஆன்செயினில் பதிவேற்றப்பட வேண்டும் என்பதன் மூலம் பாதிக்கப்படுகிறது.

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

4. சான்று உருவாக்கம் மற்றும் சரிபார்ப்பு: ZK-ரோலப் ஆபரேட்டர்கள் பரிவர்த்தனை தொகுப்புகளுக்குச் செல்லுபடியாகும் சான்றுகளை உருவாக்க வேண்டும், இது வளம்-தீவிரமானது. மெயின்நெட்டில் ஜீரோ-நாலேஜ் சான்றுகளைச் சரிபார்ப்பதற்கும் எரிவாயு செலவாகும் (~ 500,000 எரிவாயு).

பரிவர்த்தனைகளைத் தொகுப்பதைத் தவிர, ZK-ரோலப்கள் பரிவர்த்தனை தரவைச் சுருக்குவதன் மூலம் பயனர்களுக்கான கட்டணங்களைக் குறைக்கின்றன. Ethereum ZK-ரோலப்களைப் பயன்படுத்த எவ்வளவு செலவாகும் என்பதற்கான நிகழ்நேர கண்ணோட்டத்தை நீங்கள் பார்க்கலாம் (opens in a new tab).

ZK-ரோலப்கள் Ethereum ஐ எவ்வாறு அளவிடுகின்றன?

பரிவர்த்தனை தரவு சுருக்கம்

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

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

சுழல்நிலை சான்றுகள் (Recursive proofs)

ஜீரோ-நாலேஜ் சான்றுகளின் ஒரு நன்மை என்னவென்றால், சான்றுகள் மற்ற சான்றுகளைச் சரிபார்க்க முடியும். எடுத்துக்காட்டாக, ஒரு ZK-SNARK மற்ற ZK-SNARKகளைச் சரிபார்க்க முடியும். இத்தகைய "சான்றுகளின்-சான்றுகள்" சுழல்நிலை சான்றுகள் என்று அழைக்கப்படுகின்றன மற்றும் ZK-ரோலப்களில் செயல்திறனை வியத்தகு முறையில் அதிகரிக்கின்றன.

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

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

ZK-ரோலப்களின் நன்மைகள் மற்றும் தீமைகள்

ZK-ரோலப்களின் காட்சி விளக்கம்

ZK-ரோலப்களை Finematics விளக்குவதைப் பாருங்கள்:

zkEVM இல் யார் வேலை செய்கிறார்கள்?

zkEVMகளில் வேலை செய்யும் திட்டங்கள் பின்வருமாறு:

• zkEVM (opens in a new tab) - zkEVM என்பது EVM-இணக்கமான ZK-ரோலப் மற்றும் Ethereum பிளாக்குகளுக்கான செல்லுபடியாகும் சான்றுகளை உருவாக்குவதற்கான ஒரு வழிமுறையை உருவாக்க Ethereum அறக்கட்டளையால் நிதியளிக்கப்பட்ட ஒரு திட்டமாகும்.

• Polygon zkEVM (opens in a new tab) - என்பது Ethereum மெயின்நெட்டில் உள்ள ஒரு பரவலாக்கப்பட்ட ZK ரோலப் ஆகும், இது ஜீரோ-நாலேஜ்-சான்று சரிபார்ப்புகளுடன் கூடிய ஸ்மார்ட் ஒப்பந்தங்கள் உட்பட, வெளிப்படையான முறையில் Ethereum பரிவர்த்தனைகளைச் செயல்படுத்தும் ஜீரோ-நாலேஜ் Ethereum Virtual Machine (zkEVM) இல் வேலை செய்கிறது.

• Scroll (opens in a new tab) - Scroll என்பது Ethereum-க்கான நேட்டிவ் zkEVM லேயர் 2 தீர்வை உருவாக்குவதில் பணிபுரியும் ஒரு தொழில்நுட்பம் சார்ந்த நிறுவனமாகும்.

• Taiko (opens in a new tab) - Taiko என்பது ஒரு பரவலாக்கப்பட்ட, Ethereum-க்கு சமமான ZK-ரோலப் ஆகும் (ஒரு Type 1 ZK-EVM (opens in a new tab)).

• ZKsync (opens in a new tab) - ZKsync Era என்பது Matter Labs ஆல் உருவாக்கப்பட்ட EVM-இணக்கமான ZK ரோலப் ஆகும், இது அதன் சொந்த zkEVM ஆல் இயக்கப்படுகிறது.

• Starknet (opens in a new tab) - StarkNet என்பது StarkWare ஆல் உருவாக்கப்பட்ட EVM-இணக்கமான லேயர் 2 அளவிடுதல் தீர்வாகும்.

• Morph (opens in a new tab) - Morph என்பது லேயர் 2 நிலை சவால் சிக்கலைத் தீர்க்க zk-சான்றைப் பயன்படுத்தும் ஒரு கலப்பின ரோலப் அளவிடுதல் தீர்வாகும்.

• Linea (opens in a new tab) - Linea என்பது Consensys ஆல் உருவாக்கப்பட்ட Ethereum-க்கு சமமான zkEVM லேயர் 2 ஆகும், இது Ethereum சுற்றுச்சூழல் அமைப்புடன் முழுமையாகச் சீரமைக்கப்பட்டுள்ளது.

ZK-ரோலப்கள் பற்றிய கூடுதல் வாசிப்பு

• ஜீரோ-நாலேஜ் ரோலப்கள் என்றால் என்ன? (opens in a new tab)
• ஜீரோ-நாலேஜ் ரோலப்கள் என்றால் என்ன? (opens in a new tab)
• Ethereum ரோலப்களுக்கான நடைமுறை வழிகாட்டி (opens in a new tab)
• STARKகள் vs SNARKகள் (opens in a new tab)
• zkEVM என்றால் என்ன? (opens in a new tab)
• ZK-EVM வகைகள்: Ethereum-க்கு சமமான, EVM-க்கு சமமான, Type 1, Type 4 மற்றும் பிற ரகசிய வார்த்தைகள் (opens in a new tab)
• zkEVM அறிமுகம் (opens in a new tab)
• ZK-EVM L2கள் என்றால் என்ன? (opens in a new tab)
• அற்புதமான-zkEVM வளங்கள் (opens in a new tab)
• ZK-SNARKகளின் உள் செயல்பாடு (opens in a new tab)
• SNARKகள் எவ்வாறு சாத்தியமாகும்? (opens in a new tab)

பயிற்சிகள்: Ethereum இல் தனியுரிமை & ஜீரோ-நாலேஜ்

• ரகசிய நிலைக்காக ஜீரோ-நாலேஜைப் பயன்படுத்துதல் – ஆன்-செயினில் ரகசிய விளையாட்டு நிலையைப் பராமரிக்க ZK சான்றுகள் மற்றும் ஆஃப்செயின் சர்வர் கூறுகளை எவ்வாறு பயன்படுத்துவது.
• ஸ்டெல்த் முகவரிகளைப் பயன்படுத்துதல் – கிரிப்டோகிராஃபிக் விசை வழித்தோன்றலைப் பயன்படுத்தி அநாமதேய ETH பரிமாற்றங்களை ERC-5564 ஸ்டெல்த் முகவரிகள் எவ்வாறு செயல்படுத்துகின்றன.
• web2 அங்கீகாரத்திற்காக Ethereum ஐப் பயன்படுத்துதல் – SAML-அடிப்படையிலான web2 அங்கீகார அமைப்புகளுடன் Ethereum வாலட் கையொப்பங்களை எவ்வாறு ஒருங்கிணைப்பது.