विटालिक ब्यूटिरिन का नया पसंदीदा: जीकेआर प्रोटोकॉल क्या है?

Ethereum सह-संस्थापक विटालिक बटरिन है प्रकट क्रिप्टोग्राफिक फ्रेमवर्क में उनकी बढ़ती रुचि को गोल्डरीच-काहन-रोथब्लम (GKR) प्रोटोकॉल. वह इसे आज के सबसे तेज़ वाहनों को शक्ति प्रदान करने वाली प्रौद्योगिकी का एक महत्वपूर्ण हिस्सा बताते हैं। शून्य-ज्ञान (ZK) सिद्ध करना सिस्टम.

अपने में हाल के लेखब्यूटेरिन बताते हैं कि GKR मध्यवर्ती डेटा परतों को संसाधित करने की आवश्यकता को समाप्त करके प्रूफ़ की लागत में नाटकीय रूप से कमी ला सकता है। इसके बजाय, यह केवल इनपुट और आउटपुट प्रतिबद्धताओंजिससे गणनाओं को कहीं अधिक कुशलता से सिद्ध किया जा सकेगा।

सरल शब्दों में कहें तो, जीकेआर, जेडके-प्रूवर्स - जो उपकरण यह साबित करते हैं कि गणना सही ढंग से की गई थी - को तेजी से और सस्ते में चलाने में मदद करता है।

मूल बातें: GKR प्रोटोकॉल क्या करता है

जीकेआर प्रोटोकॉल एक है क्रिप्टोग्राफ़िक प्रमाण प्रणाली कम मेहनत में जटिल गणनाओं को सत्यापित करने के लिए डिज़ाइन किया गया। यह उन कार्यों के लिए विशेष रूप से कुशल है जहाँ कई छोटे ऑपरेशन कई परतों में दोहराए जाते हैं—जैसे हैशिंग फ़ंक्शन या न्यूरल नेटवर्क प्रोसेसिंग।

गणना के हर चरण को रिकॉर्ड करने के बजाय, GKR प्रक्रिया को सरल बनाता है। यह केवल शुरुआती और अंतिम बिंदुओं की जाँच करता है, और बीच में होने वाली ज़्यादातर घटनाओं को छोड़ देता है। यह डिज़ाइन इसे दोनों के लिए स्वाभाविक रूप से उपयुक्त बनाता है। ZK-सबूत और मशीन लर्निंग अनुमान प्रमाण, जो समान संरचनात्मक पैटर्न साझा करते हैं।

"बैच × मल्टी-लेयर कंप्यूटेशन" की यह अवधारणा GKR की दक्षता का आधार है। यह कई परतों के माध्यम से डेटा के बड़े सेट को प्रोसेस करता है, लेकिन अनावश्यक क्रिप्टोग्राफ़िक प्रतिबद्धताओं से बचता है, और केवल आवश्यक डेटा ही रखता है।

शून्य-ज्ञान प्रमाणों के लिए GKR क्यों महत्वपूर्ण है

शून्य-ज्ञान प्रमाण एथेरियम की दीर्घकालिक मापनीयता योजनाओं का केंद्रबिंदु हैं। ये एक पक्ष को यह साबित करने की अनुमति देते हैं कि कोई गणना सही है, बिना सभी संबंधित डेटा दिखाए। लेकिन अधिकांश ZK-प्रणालियाँ—जैसे SNARK या STARK—भारी कंप्यूटिंग शक्ति का उपभोग करती हैं क्योंकि उन्हें गणना की हर परत को संभालना होता है।

जीकेआर प्रोटोकॉल इस अड़चन से निपटता है।

ब्यूटिरिन के अनुसार, जब सिद्ध करने के लिए उपयोग किया जाता है पोसीडॉन2 हैश फ़ंक्शन, जीकेआर सैद्धांतिक साबित करने के ओवरहेड को कम कर सकता है 100x से लगभग 10x तक- पारंपरिक स्टार्क की तुलना में यह एक बड़ा सुधार है।

सरल शब्दों में कहें तो, यह ZK-प्रूफ को 10 गुना तेज और सस्ता बना सकता है।

आशाजनक परियोजनाओं की खोज करें...

आशाजनक परियोजनाएं...

(विज्ञापन)

लेख जारी है...

जीकेआर की दक्षता के पीछे प्रमुख घटक

1. कम प्रतिबद्धताएँ

पारंपरिक STARK प्रमाणों के लिए गणना के प्रत्येक मध्यवर्ती स्तर पर प्रतिबद्धताओं—क्रिप्टोग्राफ़िक सारांशों—की आवश्यकता होती है। प्रत्येक प्रतिबद्धता में भारी हैशिंग और बहुपदीय संक्रियाएँ शामिल होती हैं।
जीकेआर केवल यह प्रतिबद्धता जताकर इससे बचता है इनपुट और आउटपुट, जिससे प्रति प्रमाण हजारों ऑपरेशन की बचत होती है।

2. समचेक प्रोटोकॉल

जीकेआर के केंद्र में है समचेक, यह सत्यापित करने की एक विधि है कि एक बड़ी गणना को दोबारा किए बिना सही ढंग से किया गया था।

समचेक का प्रत्येक "राउंड" इस बात की पुष्टि करता है कि विशिष्ट गणितीय संबंध सभी डेटा परतों में सही हैं। यह प्रक्रिया हल्के और में चलाने योग्य, जिसका अर्थ है कि यह GPU या मल्टी-कोर CPU पर अच्छी तरह से काम करता है।

3. ग्रुएन की चाल और रैखिक बैचिंग

ब्यूटेरिन ने कुछ अनुकूलनों का भी उल्लेख किया है जैसे ग्रुएन की चाल और रैखिक बैचिंग, जिससे मेमोरी और कंप्यूटिंग लागत में और कमी आती है। ये विधियाँ कई समान गणनाओं को अलग-अलग दोहराने के बजाय, सत्यापन चरणों को साझा करने देती हैं।

4. आंशिक राउंड और पोसिडॉन2 हैशिंग

अपने लेख में, ब्यूटेरिन ने इसका उपयोग किया है पोसीडॉन2 हैश फ़ंक्शन एक व्यावहारिक उदाहरण के रूप में। Poseidon2 का उपयोग अक्सर ZK सिस्टम में इसके अंकगणित-अनुकूल डिज़ाइन के कारण किया जाता है। GKR इसे अनुकूलित करता है आंशिक दौर- हल्के गणितीय चक्र जो केवल घनीय प्रथम तत्वों को रखते हैं - प्रमाण अखंडता को कम किए बिना समय की बचत करते हैं।

GKR अन्य प्रोटोकॉल के साथ कैसे एकीकृत होता है

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

इन सेटअपों में, जीकेआर गणना के लिए "इंजन" के रूप में कार्य करता है, जबकि बेसफोल्ड या एफआरआई जैसी प्रणालियां डेटा एन्कोडिंग और सत्यापन स्थिरता को संभालती हैं।

GKR की तुलना STARKs से करें

STARK (ज्ञान के मापनीय पारदर्शी तर्क) लंबे समय से पारदर्शी ZK प्रमाणों के लिए डिफ़ॉल्ट रहे हैं। ये सुरक्षित और भरोसेमंद तो हैं, लेकिन गणना के लिहाज से महंगे हैं।

ब्यूटेरिन का अनुमान है कि जीकेआर सैद्धांतिक लागत को कम करता है 100x तक पारंपरिक STARK-आधारित प्रणालियों की तुलना में। वास्तविक दुनिया में कार्यान्वयन और भी बेहतर परिणाम दिखाते हैं—कभी-कभी 10x ओवरहेड के अंतर्गत.

हालाँकि, उन्होंने ध्यान दिलाया कि ये आँकड़े हार्डवेयर अनुकूलन पर निर्भर करते हैं। व्यवहार में, समचेक के दौरान मेमोरी शफलिंग से काम धीमा हो सकता है, लेकिन चूँकि GKR की संरचना अत्यधिक समानांतर है, इसलिए प्रदर्शन अभी भी मानक हैशिंग विधियों से बेहतर है।

स्वयं शून्य-ज्ञान नहीं

एक महत्वपूर्ण अंतर: जीकेआर अपने आप में शून्य-ज्ञान प्रोटोकॉल नहीं है। यह प्रावधान संक्षिप्तता-अर्थात यह प्रमाणों को छोटा और तेज बनाता है - लेकिन यह जानकारी नहीं छिपाता।

गोपनीयता बढ़ाने के लिए, GKR प्रूफ़ को अंदर लपेटा जा सकता है ZK-Snark or ZK-स्टार्क यह लेयरिंग डेवलपर्स को GKR के प्रदर्शन लाभों को सच्चे शून्य-ज्ञान प्रमाणों के गोपनीयता लाभों के साथ संयोजित करने की अनुमति देती है।

जीकेआर के व्यावहारिक अनुप्रयोग

विटालिक बताते हैं कि कैसे GKR का डिज़ाइन व्यापक रूप से भारी-भरकम कंप्यूटिंग कार्यों के लिए उपयुक्त है। उदाहरणों में शामिल हैं:

• हैश सत्यापन: यह साबित करना कि लाखों हैश की गणना सही ढंग से की गई थी।
• ब्लॉकचेन सत्यापन: इथेरियम लेयर 1 के लिए तेजी से ZK-EVM साबित करना सक्षम करना।
• मशीन लर्निंग प्रमाण: न्यूनतम गणना के साथ बड़े भाषा मॉडल अनुमान चरणों का सत्यापन करना।

क्योंकि GKR क्रिप्टोग्राफ़िक और AI-शैली दोनों प्रकार की गणनाओं के लिए उपयुक्त है, यह एक महत्वपूर्ण भूमिका निभा सकता है ZK-ML (शून्य-ज्ञान मशीन लर्निंग) सिस्टम.

फिएट-शमीर चुनौती: सावधानी आवश्यक

ब्यूटेरिन एक चेतावनी भी देते हैं। हालाँकि GKR गणनाओं को तेज़ करता है, लेकिन इसकी दक्षता एक समझौते के साथ आती है—पूर्वानुमान जोखिम कुछ सर्किटों में जो इसका उपयोग करते हैं फिएट-शमीर अनुमानी.

यह विधि हैश फ़ंक्शन का उपयोग करके इंटरैक्टिव प्रूफ़ को गैर-इंटरैक्टिव प्रूफ़ में परिवर्तित करती है, लेकिन अगर इसे लापरवाही से लागू किया जाए, तो यह पूर्वानुमानित यादृच्छिकता को जन्म दे सकती है, जिससे सुरक्षा कमज़ोर हो सकती है। ब्यूटेरिन ऐसी कमज़ोरियों को रोकने के लिए सावधानीपूर्वक सर्किट डिज़ाइन की सलाह देते हैं।

निष्कर्ष

जीकेआर प्रोटोकॉल क्रिप्टोग्राफ़िक प्रमाणों की संरचना में बदलाव का प्रतिनिधित्व करता है। हर मध्यवर्ती चरण के लिए अति-प्रतिबद्धता के बजाय, यह प्रक्रिया को केवल आवश्यक तत्वों तक ही सीमित रखता है।

एथेरियम और अन्य ब्लॉकचेन प्रणालियों के लिए जो तेज, सस्ता सत्यापन चाहते हैं, GKR एक व्यावहारिक मार्ग प्रदान करता है। यह कोई विपणन वादा नहीं है, बल्कि गणितीय तकनीकों का एक समूह है जो ZK और AI दोनों क्षेत्रों में उच्च गति वाले प्रूवर्स की अगली लहर को शक्ति प्रदान कर रहा है।

संसाधन

1. एक जीकेआर ट्यूटोरियल - विटालिक ब्यूटिरिन का लेख: https://vitalik.eth.limo/general/2025/10/19/gkr.html

2. विटालिक ब्यूटिरिन एक्स प्लेटफॉर्म: https://x.com/VitalikButerin

3. शून्य ज्ञान प्रमाण के बारे में: https://www.chainalysis.com/blog/introduction-to-zero-knowledge-proofs-zkps/