एनाक्सी लैब्स और कार्नेगी मेलन यूनिवर्सिटी के साइलैब ने एक ब्रेकथ्रू प्रूफ सिस्टम का अनावरण किया

पिट्सबर्ग, संयुक्त राज्य अमेरिका, 6 दिसंबर, 2024, चेनवायर

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

क्रिप्टोग्राफी में बिना किसी समझौते के एक बड़ी सफलता

एथेरियम जैसे ब्लॉकचेन को विकेंद्रीकृत बुनियादी ढांचे के भविष्य के रूप में सराहा गया है, जिसमें जीरो-नॉलेज (ZK) तकनीक को 120 TPS से परे एथेरियम की सुरक्षा और मापनीयता बढ़ाने के लिए पेश किया गया है। टीम के अनुसार, ZK प्रूफ़ विकसित करना जटिल और समय लेने वाला है, जिसके लिए दर्जनों डेवलपर्स को हज़ारों घंटे खर्च करने पड़ते हैं। प्रूफ़ जनरेशन में गति को प्राथमिकता देने का मतलब मैन्युअल रूप से प्रोटोकॉल डिज़ाइन करना भी है, और मैन्युअल कोडिंग और कोड की हज़ारों लाइनों के साथ यह महत्वपूर्ण सुरक्षा कमज़ोरियों का परिचय देता है। यह सुरक्षा-संवेदनशील विकेंद्रीकृत अनुप्रयोगों के निर्माण को जटिल बनाता है और ऑडिटेबिलिटी और अनुपालन को एक दुःस्वप्न बनाता है - वित्त, स्वास्थ्य सेवा और AI जैसे विनियमित उद्योगों में व्यापक रूप से अपनाने में सभी बाधाएँ।

कार्नेगी मेलन शोधकर्ताओं की एक टीम इस व्यापार-नापसंद को दूर करने के लिए एनाक्सी लैब्स के साथ सहयोग कर रही है

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

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

नए विकेन्द्रीकृत अनुप्रयोगों को खोलना

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

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

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

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

एनाक्सी लैब्स और साइलैब, एक गेम-चेंजिंग साझेदारी

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

इस संकलक ढांचे में प्रस्तुत निष्कर्ष CMU सिक्योर ब्लॉकचेन पहल के माध्यम से एनाक्सी लैब्स और साइलैब के बीच सहजीवी साझेदारी से उत्पन्न दूसरी शोध परियोजना का परिणाम हैं। यह साझेदारी CMU शिक्षाविदों को सहयोग करने और वेब 3 और वेब 2.0 अनुप्रयोगों दोनों के लिए एनाक्सी लैब्स द्वारा संचालित उनके ब्लॉकचेन अनुसंधान के वाणिज्यिक परिनियोजन से प्राप्त अंतर्दृष्टि से सीखने में सक्षम बनाती है। यह उन्हें ब्लॉकचेन के साथ प्रमुख मौजूदा मुद्दों के लिए व्यावसायिक समाधान खोजने में सक्षम बनाता है जो ब्लॉकचेन प्रौद्योगिकी के ज्ञात लाभों और बड़े पैमाने पर अपनाने के बीच की खाई को पाटने में विफल रहता है। और यह CMU छात्रों के लिए वेब 3 में अपने करियर की शुरुआत करने के लिए एक स्प्रिंगबोर्ड के रूप में भी काम करता है।

साइलैब के साझेदारी के वरिष्ठ निदेशक माइकल लिसांती ने कहा, "साइलैब के साथ एनाक्सी लैब्स की साझेदारी, सीएमयू शोधकर्ताओं की प्रत्यक्ष, वास्तविक दुनिया के अनुप्रयोगों वाली परियोजनाओं पर काम करने की क्षमता को बढ़ाती है, तथा यह सुनिश्चित करती है कि उनके काम में व्यावहारिक प्रासंगिकता और प्रभाव की क्षमता है।"

एनाक्सी लैब्स के बारे में अधिक जानने के लिए: https://www.anaxilabs.com/

एनाक्सी लैब्स और साइलैब के नवीनतम कार्य के बारे में अधिक जानने के लिए: https://www.cylab.cmu.edu/ 

एनाक्सी लैब्स के साथ साइलैब की साझेदारी के बारे में अधिक जानने के लिए: https://www.cylab.cmu.edu/news/2024/07/17-anaxi-labs-strategic-partner.html

एनाक्सी लैब्स के बारे में

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

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

वेबसाइट: https://www.anaxilabs.com/

साइलैब के बारे में

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

वेबसाइट: https://www.cylab.cmu.edu/

संपर्क करें

PR
डेज़ी लेउंग
डेज़ी@11.इंटरनेशनल