लाइनिया ने प्रत्यक्ष EVM अंकगणितीकरण समाप्त किया, एथेरियम के प्रूविंग रोडमैप से मेल खाने के लिए RISC-V की ओर बढ़ा

TLDR:

• Linea का RISC-V में स्थानांतरण EVM के पूर्ण opcode सेट से निर्देश जटिलता को लगभग 40 निर्देशों तक कम कर देता है।
• पुरानी प्रणाली के तहत प्रत्येक Ethereum हार्ड फोर्क ने पहले Linea के ZK constraint मॉड्यूल को पूरी तरह से फिर से लिखने के लिए मजबूर किया था।
• RISC-V मानक कंपाइलर टूलिंग के माध्यम से स्वचालित रूप से Type-1 Ethereum संगतता को सक्षम करता है, जो मैन्युअल constraint कार्य को प्रतिस्थापित करता है।
• Linea नए स्टैक में zkC, Vortex, और Arcane को बरकरार रखता है, जो वर्षों के क्रिप्टोग्राफिक शोध और उत्पादन अनुभव को संरक्षित करता है।

Linea, ConsenSys द्वारा विकसित Ethereum Layer 2 नेटवर्क, प्रत्यक्ष EVM arithmetization से RISC-V-आधारित proving आर्किटेक्चर में संक्रमण कर रहा है।

टीम ने उत्पादन में सबसे कठोर ZK proving प्रणालियों में से एक का निर्माण करने में तीन साल बिताए। उस कार्य ने एक 1,000-पृष्ठ विनिर्देश तैयार किया जो एक पारिस्थितिकी तंत्र संदर्भ बन गया।

हालांकि, दृष्टिकोण ने रखरखाव चुनौतियाँ पैदा कीं जिसने प्रगति को धीमा कर दिया। RISC-V में स्थानांतरण प्रदर्शन, मॉड्यूलरिटी और Ethereum संरेखण पर केंद्रित एक रणनीतिक रीसेट को चिह्नित करता है।

एक सरल निर्देश सेट सब कुछ बदल देता है

EVM एक जटिल, गतिशील स्थिति मॉडल के साथ संचालित होता है जिसे गणितीय बाधाओं में अनुवाद करना कठिन है। इसके विपरीत, RISC-V लगभग 40 निर्देश और 32 रजिस्टर प्रदान करता है।

यह सरलता traces को संकीर्ण बनाती है और prover को तुरंत proof chunks पर काम करना शुरू करने की अनुमति देती है। प्रदर्शन लाभ संरचनात्मक हैं, वृद्धिशील नहीं।

प्रत्येक Ethereum हार्ड फोर्क के लिए पहले Linea के constraint मॉड्यूल को पूरी तरह से फिर से लिखने की आवश्यकता थी। उस रखरखाव बोझ ने महत्वपूर्ण शोध क्षमता का उपभोग किया।

टीम क्रिप्टोग्राफिक प्रदर्शन को आगे बढ़ाने के बजाय जटिलता का प्रबंधन कर रही थी। RISC-V पर स्विच करना उस चक्र को पूरी तरह से हटा देता है।

Type-1 Ethereum संगतता पुरानी वास्तुकला के तहत एक और बड़ी बाधा थी। इसे प्राप्त करने के लिए constraints के अंदर Keccak, RLP, और Merkle Patricia Trie को मैन्युअल रूप से लागू करने की आवश्यकता थी।

RISC-V के साथ, एक मानक EVM क्लाइंट सीधे एक RISC-V बाइनरी में कंपाइल होता है, और कंपाइलर स्वचालित रूप से संगतता को संभालता है।

Linea के क्रिप्टोग्राफिक शोधकर्ता Alexandre Belling ने eth_proofs सम्मेलन में संक्रमण प्रस्तुत किया। जैसा कि Linea ने X पर पोस्ट किया, टीम "सच्ची मॉड्यूलरिटी" की ओर बढ़ रही है, जहां प्रत्येक परत को स्वतंत्र रूप से benchmarked, audited, या प्रतिस्थापित किया जा सकता है। यह पहले उपयोग में आने वाली कसकर युग्मित प्रणाली के साथ प्राप्त करने योग्य नहीं था।

Ethereum Foundation ने भी अपने proving layer रोडमैप के हिस्से के रूप में RISC-V के लिए प्रतिबद्ध किया है। Linea ने इसे एक निर्णायक कारक के रूप में उद्धृत किया। पिछले पथ पर जारी रखने का मतलब Ethereum की दीर्घकालिक तकनीकी दिशा से विचलित होना होता।

नए स्टैक में आगे क्या ले जाया जाता है

Linea वर्षों के काम को त्याग नहीं रहा है। टीम की constraint-native भाषा, zkC, का उपयोग RISC-V वर्चुअल मशीन लिखने के लिए किया जाएगा। Vortex और Arcane, जो proving और aggregation को संभालते हैं, आर्किटेक्चर-स्वतंत्र हैं और सीधे स्थानांतरित होते हैं।

औपचारिक सत्यापन को शुरुआत से ही नई प्रणाली में बनाया जा रहा है। Constraints को Lean जैसे उपकरणों में निर्यात के लिए डिज़ाइन किया जा रहा है। वह दृष्टिकोण स्टैक को पहले की तुलना में बहुत व्यापक दर्शकों द्वारा auditable बनाता है।

Linea अपने बुनियादी ढांचे में पूर्ण-स्टैक स्वामित्व भी बरकरार रखता है। इसमें Besu execution क्लाइंट, Maru consensus परत, ZK prover, और gateway शामिल है। आर्किटेक्चर में कोई महत्वपूर्ण तीसरे पक्ष की निर्भरता मौजूद नहीं है।

जैसा कि Linea ने X पर एक फॉलो-अप पोस्ट में नोट किया, प्रत्यक्ष EVM arithmetization "गहरी क्रिप्टोग्राफिक विशेषज्ञता के बिना audit करना मुश्किल था।"

RISC-V व्यापक रूप से पढ़ाया जाता है, अच्छी तरह से प्रलेखित है, और एक बढ़ते डेवलपर पारिस्थितिकी तंत्र द्वारा समर्थित है। यह बदलाव proving स्टैक को Linea की आंतरिक टीम से परे सुलभ बनाता है।

संक्रमण Linea को एक ऐसे स्थान में प्रारंभिक कदम उठाने वाले के रूप में स्थापित करता है जहां व्यापक Ethereum पारिस्थितिकी तंत्र अब एकत्रित हो रहा है।

उत्पादन proving अनुभव के वर्ष अब एक सरल, तेज़ आर्किटेक्चर पर लागू होते हैं। टीम ने संकेत दिया है कि आने वाले हफ्तों में अधिक तकनीकी विवरण आएंगे।

पोस्ट Linea Ends Direct EVM Arithmetization, Moves to RISC-V to Match Ethereum's Proving Roadmap पहली बार Blockonomi पर प्रकाशित हुई।