zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits
यह शोध पत्र zkFuzz प्रस्तुत करता है, जो एक नवीन म्यूटेशन-आधारित फज़िंग फ्रेमवर्क है जो सैद्धांतिक ट्रेस-कन्स्ट्रेंट कंसिस्टेंसी टेस्ट (TCCT) पर आधारित है, जो मौजूदा स्टैटिक और फॉर्मल एनालिसिस टूल्स की सीमाओं को पार करते हुए ज़ीरो-नॉलेज सर्किट्स में अंडर- और ओवर-कन्स्ट्रेंड कमजोरियों का प्रभावी ढंग से पता लगाता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
कल्पना कीजिए कि आप एक जादुई तिजोरी (magic vault) बना रहे हैं जो यह साबित करती है कि आपको एक गुप्त पासवर्ड पता है, लेकिन बिना उस पासवर्ड को दिखाए। यही चीज़ डिजिटल दुनिया में "जीरो-नॉलेज (ZK) सर्किट्स" करते हैं। वे गुमनाम क्रिप्टोकरेंसी और सुरक्षित मतदान प्रणालियों जैसी गोपनीयता-संरक्षण तकनीकों के सुरक्षा गार्ड हैं।
हालाँकि, इन तिजोरियों को बनाना अविश्वसनीय रूप से कठिन है। यदि आप ब्लूप्रिंट (नक्शे) में एक छोटी सी भी गलती करते हैं, तो तिजोरी या तो:
- किसी को भी अंदर आने दे सकती है (भले ही उन्हें पासवर्ड न पता हो)।
- असली मालिक को बाहर कर सकती है (भले ही उनके पास सही पासवर्ड हो)।
यह पेपर एक नया टूल पेश करता है जिसे ZKFUZZ कहा जाता है ताकि बुरे तत्वों (bad actors) से पहले इन गलतियों को ढूंढा जा सके। यह कैसे काम करता है, इसका सरल विवरण यहाँ दिया गया है:
समस्या: "ब्लूप्रिंट" बनाम "वास्तविकता"
इन प्रणालियों में, डेवलपर्स एक प्रोग्राम लिखते हैं जो एक साथ दो काम करता है:
- कंप्यूटेशन (Computation): गुप्त को खोजने के लिए वास्तविक गणित (जैसे मानचित्र पर मार्ग की गणना करना)।
- कन्स्ट्रेंट्स (Constraints): वे नियम जो यह सिद्ध करते हैं कि गणित सही ढंग से किया गया था (जैसे यह सत्यापित करने के लिए चेकलिस्ट कि मार्ग मौजूद है)।
समस्या यह है कि ये दोनों भाग अक्सर तालमेल से बाहर हो जाते हैं।
- अंडर-कन्स्ट्रेंड (Under-constrained): नियम बहुत ढीले हैं। एक हैकर सिस्टम को एक नकली मार्ग को स्वीकार करने के लिए धोखा दे सकता है।
- ओवर-कन्स्ट्रेंड (Over-constrained): नियम बहुत सख्त हैं। सिस्टम एक पूरी तरह से वैध मार्ग को भी खारिज कर देता है क्योंकि उसमें एक छोटा सा, अनावश्यक नियम मौजूद है।
इन त्रुटियों को खोजने वाले मौजूदा उपकरण खराब स्पेलचेकर (spellcheckers) की तरह हैं। वे पैटर्न के आधार पर अनुमान लगाते हैं और उन चीजों पर "ERROR!" चिल्लाते हैं जो वास्तव में ठीक हैं (गलत अलार्म), या वे गहरे, जटिल दोषों को पूरी तरह से मिस कर देते हैं।
समाधान: ZKFUZZ (एक "म्यूटेशन फज़र")
लेखकों ने ZKFUZZ नामक एक नया फ्रेमवर्क बनाया है। केवल कोड को पढ़ने के बजाय, ZKFUZZ एक शरारती परीक्षण इंजीनियर (mischievous test engineer) की तरह कार्य करता है जो जानबूझकर सिस्टम को तोड़ने की कोशिश करता है।
यहाँ इसकी उपमा (analogy) दी गई है:
कल्पना कीजिए कि आपके पास एक रेसिपी (कंप्यूटेशन) है और एक स्वाद परीक्षण (कन्स्ट्रेंट्स) है।
- पुराने उपकरण: रेसिपी को देखते हैं और कहते हैं, "यह संदिग्ध लग रहा है क्योंकि इसमें नमक का उपयोग किया गया है।" (वे नियमों के आधार पर अनुमान लगाते हैं)।
- ZKFUZZ: वास्तव में व्यंजन बनाता है, लेकिन फिर यह रेसिपी को म्यूटेट (mutate) करता है। यह "चीनी" को "नमक" से बदल देता है, या पकाने का समय बदल देता है। फिर, यह इस म्यूटेटेड व्यंजन को स्वाद परीक्षण के लिए खिलाता है।
- यदि स्वाद परीक्षण उस व्यंजन को "स्वादिष्ट!" कहता है जो कि बेहद बुरा होना चाहिए (क्योंकि रेसिपी बदली गई थी), तो ZKFUFF समझ जाता है कि नियम बहुत ढीले हैं (Under-constrained)।
- यदि स्वाद परीक्षण उस व्यंजन को "घटिया!" कहता है जो कि स्वादिष्ट होना चाहिए (क्योंकि मूल रेसिपी सही थी), तो ZKFUFF समझ जाता है कि नियम बहुत सख्त हैं (Over-constrained)।
असली मंत्र: "फिटनेस" और "टारगेटिंग"
एक ZK सर्किट में बग ढूंढना, ग्रह के आकार के भूसे के ढेर में सुई खोजने जैसा है। इसमें शामिल संख्याएँ इतनी विशाल हैं कि कंप्यूटर केवल हर संभावना को आज़मा नहीं सकता।
ZKFUFF एक जेनेटिक एल्गोरिदम (Genetic Algorithm) (विकास की तरह) का उपयोग करता है:
- म्यूटेशन (Mutation): यह प्रोग्राम के हजारों थोड़े से खराब संस्करण बनाता है।
- फिटनेस स्कोर (Fitness Score): यह इन खराब संस्करणों को रेटिंग देता है। यदि कोई खराब संस्करण परीक्षण पास करने के करीब पहुँच जाता है (भले ही वह विफल हो जाए), तो उसे एक "अच्छा स्कोर" मिलता है। यह सिस्टम को बताता है, "आप सही दिशा में बढ़ रहे हैं!"
- टारगेटिंग (Targeting): यह केवल रैंडम अंदाज़े नहीं लगाता। यह जानता है कि बग अक्सर "एज केसेस" (जैसे जब संख्या शून्य हो, या अत्यंत बड़ी हो) पर होते हैं। यह विशेष रूप से सिस्टम को इन पेचीदा नंबरों को खिलाने की कोशिश करता है ताकि देख सके कि क्या यह टूटता है।
परिणाम: अनदेखे को पकड़ना
टीम ने वास्तविक प्रोजेक्ट्स में उपयोग किए जाने वाले 452 वास्तविक-दुनिया के सर्किट्स पर ZKFUFF का परीक्षण किया।
- स्कोर: इसने 85 बग्स खोजे।
- ज़ीरो-डेज़ (Zero-Days): इनमें से 59 बिल्कुल नए, अज्ञात बग्स (Zero-Days) थे जिन्हें कोई नहीं जानता था।
- प्रभाव: इनमें से 39 की पुष्टि डेवलपर्स द्वारा की गई, और 14 को पहले ही ठीक किया जा चुका है। इसमें zkSync (एक क्रिप्टो प्लेटफॉर्म) और passport-zk-circuits (डिजिटल आईडी सिस्टम) जैसे प्रमुख प्रोजेक्ट्स के बग शामिल हैं।
- कोई गलत अलार्म नहीं: अन्य उपकरणों के विपरीत, ZKFUFF ने किसी भी ऐसी चीज़ को बग के रूप में चिह्नित नहीं किया जो वास्तव में बग नहीं था।
यह क्यों मायने रखता है
पेपर का तर्क है कि पिछले उपकरण समस्या के एक बड़े हिस्से को मिस कर रहे थे। वे केवल नियमों में "रैंडमनेस" की तलाश कर रहे थे। ZKFUFF ने एक नया सिद्धांत पेश किया जिसे TCCT (Trace-Constraint Consistency Test) कहा जाता है, जो यह जाँचता है कि कंप्यूटर द्वारा लिया गया वास्तविक पथ उन नियमों से मेल खाता है जिनका उसे पालन करना चाहिए।
इस नए सिद्धांत ने उन बग्स को पकड़ा जो तब होते थे जब कंप्यूटर "क्रैश" हो जाता था या अप्रत्याशित रूप से रुक जाता था, जिसे पिछले उपकरणों ने पूरी तरह से अनदेखा कर दिया था।
संक्षेप में
ZKFUZZ एक स्मार्ट, स्वचालित "बग हंटर" है जो उनके कोड को म्यूटेट करके और उन्हें पेचीदा इनपुट देकर ज़ीरो-नॉलेज सर्किट्स को तोड़ता है। इसने दर्जनों महत्वपूर्ण सुरक्षा छिद्रों को खोज निकाला जिन्हें अन्य उपकरण मिस कर गए थे, जिससे यह साबित हुआ कि गोपनीयता के गणित की जटिल दुनिया में भी, थोड़ा नियंत्रित अराजकता (controlled chaos) सत्य खोजने का सबसे अच्छा तरीका है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।