एथेरियम स्केलिंग फर्म =शून्य; फाउंडेशन ने सुरक्षा-केंद्रित zkEVM पेश किया

[ad_1]

शून्य-ज्ञान प्रौद्योगिकी फर्म =शून्य; फाउंडेशन ने समान ZK-संचालित एथेरियम स्केलिंग समाधानों में पहचानी गई सुरक्षा चिंताओं को दूर करने के लिए एक नया टाइप-1 शून्य-ज्ञान एथेरियम वर्चुअल मशीन (zkEVM) कंपाइलर विकसित किया है।

कॉइन्टेग्राफ से विशेष रूप से बात करते हुए, =शून्य; फाउंडेशन के सीईओ और सह-संस्थापक मिशा कोमारोव का कहना है कि प्रौद्योगिकी सुरक्षा को प्राथमिकता देती है और उच्च-स्तरीय प्रोग्रामिंग कोड को शून्य-ज्ञान संक्षिप्त गैर-इंटरैक्टिव ज्ञान तर्क (zk-SNARKS) सर्किट में स्वचालित रूप से संकलित करने की अनुमति देती है।

फर्म के zkEVM को इसके साथ संगत होने के लिए डिज़ाइन किया गया है इवमोन, जो एथेरियम के बेस निष्पादन वातावरण का C++ संस्करण है। मुख्य बात यह है कि अनुप्रयोगों के कोड को संसाधित किया जाता है और उसके ईवीएम के समान प्रारूप में एथेरियम को सबमिट किए गए सबूत के रूप में रोल किया जाता है।

संबंधित: एथेरियम एल2 स्टार्कनेट का लक्ष्य अपने स्केलिंग नेटवर्क के मुख्य घटकों को विकेंद्रीकृत करना है

अनुकूलता को बेहतर सुरक्षा और त्वरित कार्यान्वयन सुनिश्चित करने के लिए प्रचारित किया जाता है, यह देखते हुए कि बाइटकोड समान है और लंबे और महंगे कोड ऑडिट की आवश्यकता को हटा देता है। यह दृष्टिकोण एथेरियम वर्चुअल मशीन के साथ सीधे संगत लेनदेन और स्मार्ट अनुबंध भी प्रदान करता है।

2023 में कई हाई-प्रोफाइल zkEVM बाजार में आए हैं। इन लेयर-2 प्रोटोकॉल का उद्देश्य एथेरियम को बड़े लेनदेन भार और स्मार्ट अनुबंध कार्यों को संसाधित करने में मदद करना है। कॉइनटेग्राफ ने इन्हें विस्तार से कवर किया है, जिसमें कंसेंसिस, पॉलीगॉन, स्टार्कवेयर और मैटर लैब्स जैसी कंपनियां विकेंद्रीकृत अनुप्रयोगों, सेवाओं और नेटवर्क उपयोगकर्ताओं को उच्च थ्रूपुट, कम शुल्क क्षमताएं प्रदान करने के लिए जेडके-रोलअप समाधान जारी कर रही हैं।

संबंधित: जैसे ही zkSync ने DappRadar द्वारा प्रबंधित इकोसिस्टम पोर्टल लॉन्च किया, मैटर लैब्स पीछे हट गई

जैसा कि कोमारोव बताते हैं, =शून्य; फाउंडेशन का समाधान अन्य zkEVMs के डिज़ाइन के विपरीत एक स्वचालित कंपाइलर पर निर्भर करता है, जो मैन्युअल रूप से सर्किट को परिभाषित करता है। वह मौजूदा दृष्टिकोणों को “समय-गहन” और “अत्यधिक जटिल” बताते हैं, जिसमें मानवीय त्रुटि उत्पन्न होने का जोखिम भी है।

ये चिंताएँ स्पष्ट थीं खोज मैटर लैब्स के zkSync Era मेननेट में प्रयुक्त ZK-सर्किट में एक साउंडनेस बग। सुरक्षा फर्म चेनलाइट को सितंबर 2023 में भेद्यता की पहचान करने के लिए फर्म से 50,000 यूएसडी कॉइन (यूएसडीसी) का इनाम मिला।

संबंधित: पॉलीगॉन के सह-संस्थापक: ZK-रोलअप पर $1B का दांव सफल रहा

बग ने एक हमलावर को अवैध रूप से निष्पादित ब्लॉकों के लिए सबूत पेश करने की अनुमति दी होगी, जिसे एथेरियम के मेननेट पर स्मार्ट अनुबंध सत्यापनकर्ता ने स्वीकार कर लिया होगा। मैटर लैब्स ने एक समाधान तैनात किया और चेनलाइट को बग बाउंटी से सम्मानित किया, जो कि zkSync युग में ZK-सर्किट बग के लिए दावा किया गया पहला था।

कोमारोव बताते हैं, “विटालिक ब्यूटिरिन ने सुरक्षा चिंताओं के बारे में बात करना शुरू कर दिया, जैसे कि अगर कोई सर्किट टूट जाए तो क्या होगा।”

“हमने इसमें खुदाई शुरू कर दी। समस्या स्पष्ट हो गई कि ये सर्किट मैन्युअल रूप से लिखे गए हैं। लोगों ने इसे बनाने में वर्षों लगा दिए, लेकिन यह मूल रूप से उसी तर्क को फिर से बनाता है जो ईवीएम करता है, सर्किट प्रतिनिधित्व में मैन्युअल रूप से।

कोमारोव कहते हैं कि यह विधि कोड ऑडिटिंग को बेहद कठिन बना देती है। ZkSync बग मैन्युअल रूप से परिभाषित सर्किट में शामिल त्रुटि की संभावना का एक उदाहरण है। =शून्य; फाउंडेशन का दृष्टिकोण पिछले दो वर्षों में विकसित अपने सर्किट कंपाइलर का उपयोग करके एथेरियम के ईवीएम से कंपाइलर को स्वचालित करना है।

“यह उतना ही करीब है जितना हम सर्किट के लिए एथेरियम के मूल कार्यान्वयन के समान सुरक्षा प्राप्त कर सकते हैं। यदि वह टूट गया है, तो सर्किट टूट गया है।”

समाधान को ईवीएम परिवर्तनों के अनुकूल बनाने के लिए भी डिज़ाइन किया गया है, जैसा कि एथेरियम का रोडमैप जारी है, एक “भविष्य-प्रूफ” zkEVM कंपाइलर प्रदान करता है जिसे अपग्रेड करने के लिए महत्वपूर्ण संसाधनों और समय की आवश्यकता नहीं होती है, इसके स्वचालित डिज़ाइन को देखते हुए। यह zkEVM को नवीनतम एथेरियम सुधार प्रस्तावों को प्रभावी होने पर एकीकृत करने की अनुमति देता है।

फाउंडेशन ने 12 दिसंबर को अपना प्रोटोटाइप कोड रिपॉजिटरी और विशिष्टताओं को प्रकाशित किया।

पत्रिका: यहां बताया गया है कि एथेरियम का ZK-रोलअप कैसे इंटरऑपरेबल बन सकता है