L1 ब्लॉक पडताळणीसाठी zkEVM

zkEVM हे एक तंत्रज्ञान आहे जे इथेरियम ब्लॉक अंमलबजावणीची पडताळणी करण्यासाठी शून्य-ज्ञान पुरावे वापरते. प्रत्येक ला ब्लॉकमधील सर्व व्यवहारांची पुन्हा अंमलबजावणी करण्याची आवश्यकता असण्याऐवजी, एकच विशेष घटक ("सिद्धकर्ता" नावाचा) ब्लॉकची अंमलबजावणी करतो आणि अंमलबजावणी योग्य होती याचा क्रिप्टोग्राफिक पुरावा तयार करतो. कोणताही नोड नंतर या पुराव्याची पडताळणी करू शकतो—ही प्रक्रिया सर्व व्यवहारांची पुन्हा अंमलबजावणी करण्यापेक्षा कितीतरी पटीने स्वस्त आहे.

पुन्हा अंमलबजावणीची समस्या

आज, इथेरियम "N-of-N" पडताळणी मॉडेल वापरते: प्रस्तावित स्थिती बदल योग्य आहेत याची पडताळणी करण्यासाठी प्रत्येक प्रमाणकाने प्रत्येक ब्लॉकमधील प्रत्येक व्यवहाराची स्वतंत्रपणे पुन्हा अंमलबजावणी केली पाहिजे. हा दृष्टिकोन जास्तीत जास्त विश्वासरहित असला तरी, तो एक मूलभूत अडथळा निर्माण करतो.

समस्या अशी आहे की इथेरियमची प्रक्रिया क्षमता सरासरी प्रमाणक काय प्रक्रिया करू शकतो यावर मर्यादित आहे. वाढवल्यास प्रति ब्लॉक अधिक व्यवहारांना अनुमती मिळेल, परंतु यामुळे प्रमाणकांसाठी हार्डवेअर आवश्यकता देखील वाढतील. यामुळे विकेंद्रीकरणाला धोका निर्माण होतो—जर प्रमाणक चालवण्यासाठी महागड्या हार्डवेअरची आवश्यकता असेल, तर नेटवर्क सुरक्षित करण्यात कमी लोक सहभागी होऊ शकतात.

zkEVM या तडजोडीतून बाहेर पडण्याचा मार्ग देते. "प्रत्येकजण पुन्हा अंमलबजावणी करतो" यावरून "एक सिद्ध करतो, प्रत्येकजण पडताळणी करतो" याकडे वळून, इथेरियम प्रमाणक हार्डवेअर आवश्यकता न वाढवता सुरक्षितपणे गॅस मर्यादा वाढवू शकते.

zkEVM L1 पडताळणी कशी कार्य करते

zkEVM पडताळणी ब्लॉक प्रमाणीकरणाला "1-of-N" मॉडेलमध्ये रूपांतरित करते:

1. अंमलबजावणी: सिद्धकर्ता ब्लॉकमधील सर्व व्यवहारांची अंमलबजावणी करतो, प्रत्येक स्थिती बदलाचा मागोवा घेतो
2. सिद्ध करणे: सिद्धकर्ता एक क्रिप्टोग्राफिक पुरावा (SNARK किंवा STARK) तयार करतो जो अंमलबजावणीच्या अचूकतेचे साक्षांकन करतो
3. पडताळणी: प्रमाणक व्यवहारांची पुन्हा अंमलबजावणी करण्याऐवजी पुराव्याची पडताळणी करतात—हे पूर्ण पुन्हा अंमलबजावणी करण्यापेक्षा नाटकीयरित्या स्वस्त आहे

सुरक्षिततेची हमी तीच राहते: जर अंमलबजावणी चुकीची असेल, तर कोणताही वैध पुरावा तयार केला जाऊ शकत नाही. परंतु आता, प्रत्येक नोडने महागडे संगणन करण्याऐवजी, केवळ सिद्धकर्ता ते करतो—आणि पडताळणी इतकी स्वस्त आहे की ती गॅस मर्यादेवर बंधने आणत नाही.

प्रकार 1 zkEVMs

zkEVMs चे इथेरियमसोबतच्या त्यांच्या सुसंगततेवर आधारित प्रकारांमध्ये वर्गीकरण केले जाते:

• प्रकार 1: पूर्णपणे इथेरियम-समतुल्य. EVM मध्ये कोणतेही बदल नाहीत, त्यामुळे कोणताही इथेरियम ब्लॉक जसा आहे तसाच सिद्ध केला जाऊ शकतो
• प्रकार 2-4: सिद्ध करणे सोपे करण्यासाठी EVM वर्तनात बदल करून विविध तडजोडी करतात

L1 पडताळणीसाठी, प्रकार 1 आवश्यक आहे. zkEVM ला कोणताही वैध इथेरियम ब्लॉक सिद्ध करण्यास सक्षम असणे आवश्यक आहे, ज्यामध्ये अपवादात्मक प्रकरणे (edge cases) आणि ऐतिहासिक ब्लॉक्सचा समावेश आहे. इथेरियमच्या अचूक वर्तनापासून कोणतेही विचलन एकमत समस्या निर्माण करेल.

इथेरियम फाउंडेशनचे zkEVM संशोधन प्रकार 1 अंमलबजावणीवर लक्ष केंद्रित करते जे विद्यमान इथेरियम अंमलबजावणीशी पूर्णपणे सुसंगत आहेत.

इथेरियमसाठी फायदे

उच्च प्रक्रिया क्षमता

जेव्हा पडताळणी स्वस्त असते, तेव्हा गॅस मर्यादा सुरक्षितपणे वाढू शकते. हे नेटवर्क क्षमता वाढवते आणि उच्च-मागणीच्या काळात शुल्क स्थिर करण्यास मदत करते. सध्याची गॅस मर्यादा अंशतः प्रमाणक हार्डवेअरद्वारे मर्यादित आहे—zkEVM ही मर्यादा काढून टाकते.

मजबूत विकेंद्रीकरण

zkEVM पडताळणीसह, प्रमाणकांना व्यवहारांची अंमलबजावणी करण्याऐवजी केवळ पुराव्यांची पडताळणी करणे आवश्यक आहे. हे प्रमाणक चालवण्यासाठी हार्डवेअर आवश्यकता नाटकीयरित्या कमी करते, ज्यामुळे अधिक लोकांना नेटवर्क सुरक्षित करण्यात सहभागी होण्यास सक्षम करते. अधिक प्रमाणक विविधता इथेरियमचा सेन्सॉरशिप प्रतिकार आणि लवचिकता मजबूत करते.

लक्षात घ्या की सिद्ध करण्यासाठी स्वतःच महत्त्वपूर्ण संगणकीय संसाधनांची आवश्यकता असते, जी सध्याच्या प्रमाणक हार्डवेअरपेक्षा जास्त असते. तथापि, प्रमाणीकरणाच्या विपरीत, सिद्ध करणे त्याच प्रकारे विकेंद्रित असण्याची आवश्यकता नाही: प्रति ब्लॉक केवळ एका योग्य पुराव्याची आवश्यकता असते आणि कोणीही त्याची त्वरित पडताळणी करू शकतो. सिद्धकर्ता बाजारपेठा, पुरावा एकत्रीकरण आणि हार्डवेअर प्रवेग यावरील संशोधनाचे उद्दिष्ट हे सुनिश्चित करणे आहे की सिद्ध करणे काही मोठ्या ऑपरेटरमध्ये केंद्रित होण्याऐवजी स्पर्धात्मक आणि प्रवेशयोग्य राहील.

अंदाजित अंतिमत्व

ब्लॉकच्या गुंतागुंतीची पर्वा न करता पुरावा पडताळणी स्थिर वेळेत कार्य करते. हे साक्षांकन वेळ अधिक अंदाजित करते आणि जेव्हा प्रमाणक वेळेत जटिल ब्लॉक्सवर प्रक्रिया करण्यासाठी संघर्ष करतात तेव्हा होऊ शकणारे चुकलेले साक्षांकन कमी करते.

रिअल-टाइम सिद्ध करण्याची आव्हाने

zkEVM L1 पडताळणीसाठी मुख्य आव्हान वेग आहे. इथेरियम ब्लॉक्स दर 12 सेकंदांनी तयार केले जातात, याचा अर्थ एकमतासाठी उपयुक्त होण्यासाठी पुरावे समान कालमर्यादेत तयार करणे आवश्यक आहे.

सध्याच्या zkEVM अंमलबजावणीला एकच ब्लॉक सिद्ध करण्यासाठी काही मिनिटे ते तास लागू शकतात. संशोधन याद्वारे ही तफावत दूर करण्यावर लक्ष केंद्रित करते:

• समांतरीकरण (Parallelization): सिद्ध करण्याचे काम अनेक मशिन्सवर वितरित करणे
• विशेष हार्डवेअर: ZK सिद्ध करण्यासाठी ऑप्टिमाइझ केलेले सर्किट्स आणि हार्डवेअर डिझाइन करणे
• अल्गोरिदमिक सुधारणा: अधिक कार्यक्षम पुरावा प्रणाली आणि सर्किट डिझाइन्स
• वाढीव सिद्ध करणे (Incremental proving): व्यवहार अंमलात येत असताना पुरावे तयार करणे, नंतर नाही

सध्याचे संशोधन आणि अंमलबजावणी

इथेरियम फाउंडेशन प्रायव्हसी स्टुअर्ड्स ऑफ इथेरियम (PSE) (opens in a new tab) टीमद्वारे zkEVM संशोधनाला निधी देते. प्रमुख संशोधन ट्रॅकमध्ये हे समाविष्ट आहे:

• रिअल-टाइम सिद्ध करणे: 12-सेकंदांच्या स्लॉट्समध्ये पूर्ण ब्लॉक पुरावे तयार करणे
• क्लायंट एकत्रीकरण: अंमलबजावणी क्लायंट आणि सिद्धकर्ते यांच्यातील इंटरफेस प्रमाणित करणे
• आर्थिक प्रोत्साहन: शाश्वत सिद्धकर्ता बाजारपेठा आणि शुल्क संरचना डिझाइन करणे

अंमलबजावणी स्थिती

इथेरियम ब्लॉक सिद्ध करण्यासाठी अनेक zkVM अंमलबजावणी विकसित आणि तपासल्या जात आहेत:

हे EVM बाइटकोड कार्यान्वित करण्यासाठी RISC-V आधारित व्हर्च्युअल मशिन्स वापरतात, नंतर योग्य अंमलबजावणीचे ZK पुरावे तयार करतात. अद्ययावत चाचणी परिणाम आणि प्रगतीचा मागोवा इथेरियम फाउंडेशनच्या zkVM ट्रॅकर (opens in a new tab) वर घेतला जातो.

zkEVM इतर अपग्रेड्ससोबत कसे बसते

zkEVM L1 पडताळणी इतर अनेक इथेरियम रोडमॅप आयटम्सशी जोडलेली आहे:

• व्हर्कल ट्रीज: अवस्थाहीन पडताळणीसाठी लहान साक्षीदारांना (witnesses) सक्षम करतात, ज्यामुळे सिद्धकर्त्यांना काम करण्यासाठी आवश्यक असलेला डेटा कमी होतो
• अवस्थाहीनता: zkEVM एक प्रमुख सक्षमकर्ता आहे—अंमलबजावणीच्या ZK पुराव्यांसह, नोड्सना ब्लॉक्सची पडताळणी करण्यासाठी पूर्ण स्थितीची आवश्यकता नसते
• प्रस्तावक-निर्माता विभाजन (PBS): ब्लॉक निर्माते संभाव्यतः पुरावा निर्मिती एकत्रित करू शकतात, किंवा एक स्वतंत्र सिद्धकर्ता बाजारपेठ उदयास येऊ शकते
• सिंगल स्लॉट अंतिमत्व: जलद पुरावा निर्मिती क्रिप्टोग्राफिक हमीसह सिंगल-स्लॉट अंतिमत्व सक्षम करू शकते

पुढील वाचन

• zkEVM फाउंडेशन (opens in a new tab) - अधिकृत इथेरियम फाउंडेशन zkEVM संशोधन केंद्र
• Ethproofs (opens in a new tab) - रिअल-टाइममध्ये इथेरियम सिद्ध करण्याच्या शर्यतीचा मागोवा घ्या
• zkevm.fyi (opens in a new tab) - L1 साठी zkEVM वरील तांत्रिक पुस्तक
• PSE zkEVM Specs (opens in a new tab) - तांत्रिक तपशील
• The Verge (opens in a new tab) - पडताळणी सुधारणांचा विटालिकचा आढावा
• EF zkEVM ब्लॉग (opens in a new tab) - EF टीमकडून कामगिरीचे विश्लेषण

पृष्ठ शेवटचे अपडेट: 6 जून, 2026

J

w (opens in a new tab)

योगदानकर्ते पहा