ईथेरियम की प्रमाणीकरण लागतें विटालिक की कठोर सीमा की चुनौती का सामना कर रही हैं

विटालिक बुटेरिन ने ब्लॉक गैस की प्रति इकाई ईथेरियम प्रमाणीकरण लागत पर कठोर ऊपरी सीमा की मांग की है। बुटेरिन ने 15 अक्टूबर को एक पोस्ट में ZKsync की Airbender टीम को बधाई दी और तीन औपचारिक-सत्यापन प्राथमिकताओं की पहचान की: निष्पादन के गणितीय प्रतिनिधित्व को ईथेरियम के स्पेसिफिकेशन से मेल खाना, ब्लॉक गैस के संदर्भ में प्रूवर लागत को सीमित करना, और प्रूफ सिस्टम को सुरक्षित करना। गैस निष्पादन के कार्य के लिए होता है और ब्लॉक संसाधन उपभोग को सीमित करता है, लेकिन एक उपयोगी प्रूफ सीमा को उस अनुमति को प्रूफ-जनरेशन संसाधनों, जिसमें जानबूझकर कठिन वर्कलोड शामिल हैं, से जोड़ना होगा। ईथेरियम फाउंडेशन ने दिसंबर 2025 में सुरक्षा-केंद्रित चरण की घोषणा की।

EIP-7904 का वर्तमान कंप्यूट-लागत विश्लेषण कंप्यूट गैस लागत में कोई बदलाव नहीं सिफारिश करता है और ईथेरियम के गैस शेड्यूल में कोई बदलाव निर्दिष्ट नहीं करता है। EIP-7904 एक सूचनात्मक प्रस्ताव है जो 18 अक्टूबर तक अंतिम आह्वान में है, जिसकी सीमा 1 नवंबर है। EIP-7904 का विश्लेषण अनुकूलित मूल कार्यनयन क्लाइंट पर प्रति सेकंड 100 मिलियन गैस को लक्ष्य मानता है। EIP-7904 अपने परिवर्तित निष्कर्ष को ब्लॉक-स्तरीय एक्सेस सूचियों द्वारा सक्षम की गई अनुकूलनों, जिनमें पहले समस्याग्रस्त कार्रवाइयों को तेज करने वाला समानांतर कार्य शामिल है, को दोष देता है। हालाँकि, EIP-7904 केवल एक साधारण CPU पर कार्यनयन को कवर करता है और ZK-SNARK प्रमाण उत्पादन का, जो अलग-अलग कार्यभार लगाता है, विशिष्ट विचार स्पष्ट रूप से बाहर रखता है।

ZKsync ने 13 अक्टूबर को बताया कि एक NVIDIA RTX PRO 6000 Blackwell ने 7,200 लगातार ईथेरियम मेननेट ब्लॉक्स के 99% को प्रत्येक में 10 सेकंड से कम समय में साबित किया, जिसमें साक्ष्य तैयारी शामिल है। ZKsync ने बताया कि प्रत्येक नमूना ब्लॉक 12 सेकंड से कम समय में पूरा हो गया। ZKsync ने दो और चार GPU का उपयोग करके अलग-अलग लाइव ETHproofs कॉन्फ़िगरेशन का भी वर्णन किया। हालाँकि, एक अधिकतम लागत गारंटी को घोषित मान्यताओं के भीतर प्रत्येक अनुमति दिए गए कार्यभार को कवर करना चाहिए, जिसमें साबित करने के लिए जानबूझकर महंगे बनाए गए ब्लॉक्स शामिल हैं। एक सामान्य ब्लॉक एक छोटी सेटअप में फिट हो सकता है, जबकि एक कठिन अनुमति दिए गए कार्यभार से संचालक को समय पर साबित करने के लिए आवश्यक आरक्षित क्षमता निर्धारित होती है।

जनवरी में, नेथरमाइंड रिसर्च के लिन ओशितानी ने 27 मापनों में पाया कि क्रिप्टोग्राफिक प्रीकंपाइल्स और कई मॉड्यूलर अंकगणित या विभाजन संचालन प्रति गैस साबित करने में अपेक्षाकृत महंगे थे। ओशितानी के मापनों ने दिखाया कि लागत प्रूवर के आधार पर भिन्न थी और ZK-चक्र गिनती संचालन के दौरान समान समय खर्च में अनुवादित नहीं हुई। अध्ययन ने संचालन की संख्या को बदलकर और चारों ओर के निष्पादन संदर्भ को स्थिर रखकर सीमांत प्रूविंग समय का अनुमान लगाया। अध्ययन ने SP1 v5.2.3 के साथ sp1-cluster और RISC0 v3.0.4 का परीक्षण किया, reth v1.9.3 और चार NVIDIA GeForce RTX 4090 GPU का उपयोग किया। RISC0 ने RISC0_KECCAK_PO2=15 सेटिंग का उपयोग किया। मापनों में स्थिर प्रतिनिधि या सर्वोत्तम प्रयास दुर्लभ मामले के इनपुट का उपयोग किया गया, ब्लॉक-हेडर प्रमाणीकरण को छोड़ दिया गया और गलती से BLOCKHASH को छोड़ दिया गया। तर्क-निर्भर लागतों की पूर्ण जांच भविष्य का कार्य रह गई।

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

एक महंगे सर्किट या निष्पादन पथ में सुधार करने से लेन-देन निष्पादन गैस इकाइयों को बदले बिना साबित करने का कार्य कम हो सकता है, जिससे ऑपरेटर समान कार्यभार के लिए कम संसाधनों का उपयोग कर सकते हैं। नेथरमिंड की अध्ययन में भारित ZK-गैस मीटरिंग का भी उल्लेख किया गया, जिसमें प्रति-ब्लॉक सीमा होती है जो सामान्य निष्पादन-गैस अनुमति के थक जाने से पहले प्रूफ-भारी संचालन को सीमित कर सकती है। भारित ZK-गैस मीटरिंग से सुरक्षा उन भारों की सटीकता पर निर्भर करेगी जो कठिन इनपुट्स को कैप्चर करते हैं। एक संसाधन सीमा बिना एप्लिकेशन-उपयोगकर्ता भुगतान या प्रूवर कमाई निर्धारित किए प्रवेशित कार्य को सीमित कर सकती है। प्रूविंग संसाधन के लिए शुल्क लेने के लिए अतिरिक्त डिज़ाइन विकल्पों की आवश्यकता होगी। EIP-7999 एक मसौदा बहुआयामी शुल्क-बाज़ार प्रस्ताव है जो कैलडेटा को अपने संसाधन में अलग करता है।

Opcode की कीमत पुनर्निर्धारण से महंगे ऑपरेशन्स को अधिक गैस आवंटित किया जाएगा, जिससे एक निश्चित गैस सीमा पर ऐसे कम ऑपरेशन्स एक ब्लॉक में शामिल हो सकेंगे। पुनर्निर्धारित ऑपरेशन्स का उपयोग करने वाले एप्लिकेशन समान सफल निष्पादन के लिए अधिक गैस का उपयोग कर सकते हैं। EIP-1559 का निष्पादन-शुल्क तंत्र आरोपित गैस को प्रभावी गैस मूल्य से गुणा करता है। समान सफल लेनदेन के लिए अधिक गैस आरोपित किए जाने पर, एक अपरिवर्तित सकारात्मक प्रभावी गैस मूल्य पर एप्लिकेशन अधिक भुगतान करेगा।

EIP-8025 एक ड्राफ्ट वैकल्पिक निष्पादन-साक्ष्य प्रस्ताव बना रहता है जो कोई प्रूवर प्रोत्साहन प्रदान नहीं करता है और साक्ष्य उपलब्ध होने पर भी पुनः निष्पादन को बनाए रखता है। ईथेरियम फाउंडेशन की सितंबर की प्राथमिकताओं में अनिवार्य साक्ष्य को बाद में रखा गया है, जबकि फ़ोर्क क्रम की समीक्षा की जा रही है। EIP-7904 की 1 नवंबर की समीक्षा सीमा CPU विश्लेषण से संबंधित है, जबकि स्वतंत्र प्रूवर्स को एक सीमा की आवश्यकता है जो स्पष्ट वर्कलोड, कार्यान्वयन, सुरक्षा सेटिंग्स और हार्डवेयर मान्यताओं से जुड़ी हो। ऐसी सीमा गैस अनुमति को एक विश्वसनीय सीमा में बदल देगी जो एक संचालक को प्रूविंग संसाधन प्रदान करने के लिए तैयार रहने की आवश्यकता होगी।