ते कसे करतात? क्रिप्टोकरन्सी अनामिकरण तंत्रज्ञानाचे पुनरावलोकन

बिटकॉइन, इथर किंवा इतर कोणत्याही क्रिप्टोकरन्सीचा वापरकर्ता म्हणून तुम्ही नक्कीच काळजीत असाल की तुमच्या वॉलेटमध्ये किती नाणी आहेत, तुम्ही ती कोणाकडे हस्तांतरित केली आहेत आणि ती कोणाकडून मिळाली आहेत हे कोणीही पाहू शकेल. निनावी क्रिप्टोकरन्सीबद्दल बरेच वाद आहेत, परंतु एका गोष्टीशी आपण असहमत होऊ शकत नाही ती म्हणजे ती कशी म्हणाले मोनेरो प्रोजेक्ट मॅनेजर रिकार्डो स्पॅग्नी यांनी त्यांच्या ट्विटर खात्यावर: "माझ्या शिल्लक रकमेत किती पैसे आहेत आणि मी ते कशावर खर्च करतो हे मला सुपरमार्केटमधील रोखपालाने जाणून घ्यायचे नसेल तर काय होईल?"

या लेखात आम्ही निनावीपणाच्या तांत्रिक पैलूकडे पाहू - ते ते कसे करतात आणि सर्वात लोकप्रिय पद्धती, त्यांचे साधक आणि बाधक यांचे संक्षिप्त विहंगावलोकन देऊ.

आज जवळपास एक डझन ब्लॉकचेन आहेत जे निनावी व्यवहारांना परवानगी देतात. त्याच वेळी, काहींसाठी, हस्तांतरणाची निनावी असणे अनिवार्य आहे, इतरांसाठी ते ऐच्छिक आहे, काही केवळ पत्ते आणि प्राप्तकर्ते लपवतात, इतर तृतीय पक्षांना हस्तांतरणाची रक्कम देखील पाहू देत नाहीत. आम्ही विचार करत असलेले जवळजवळ सर्व तंत्रज्ञान संपूर्ण निनावीपणा प्रदान करतात—बाहेरील निरीक्षक शिल्लक, प्राप्तकर्ते किंवा व्यवहार इतिहासाचे विश्लेषण करू शकत नाही. परंतु, या क्षेत्रातील अग्रगण्यांपैकी एकासह आमचे पुनरावलोकन सुरू करूया, ज्याची उत्क्रांती निनावीपणाकडे आहे.

सध्या अस्तित्वात असलेले अनामीकरण तंत्रज्ञान साधारणपणे दोन गटांमध्ये विभागले जाऊ शकते: मिश्रणावर आधारित - जेथे वापरलेली नाणी ब्लॉकचेनमधील इतर नाण्यांसोबत मिसळली जातात - आणि तंत्रज्ञान जे बहुपदांवर आधारित पुरावे वापरतात. पुढे, आम्ही या प्रत्येक गटावर लक्ष केंद्रित करू आणि त्यांच्या साधक आणि बाधकांचा विचार करू.

आधारित kneading

कॉइन जॉइन करा

कॉइन जॉइन करा वापरकर्ता भाषांतर निनावी करत नाही, परंतु केवळ त्यांचे ट्रॅकिंग गुंतागुंतीत करते. परंतु आम्ही हे तंत्रज्ञान आमच्या पुनरावलोकनात समाविष्ट करण्याचा निर्णय घेतला, कारण Bitcoin नेटवर्कवरील व्यवहारांच्या गोपनीयतेची पातळी वाढवण्याचा हा पहिला प्रयत्न होता. हे तंत्रज्ञान त्याच्या साधेपणामध्ये मोहक आहे आणि नेटवर्कचे नियम बदलण्याची आवश्यकता नाही, त्यामुळे ते अनेक ब्लॉकचेनमध्ये सहजपणे वापरले जाऊ शकते.

हे एका साध्या कल्पनेवर आधारित आहे - जर वापरकर्त्यांनी एकाच व्यवहारात चिप इन केले आणि त्यांची देयके दिली तर? असे दिसून आले की जर अर्नॉल्ड श्वार्झनेगर आणि बराक ओबामा यांनी एका व्यवहारात चार्ली शीन आणि डोनाल्ड ट्रम्प यांना दोन पेमेंट केले, तर ट्रम्प निवडणूक मोहिमेला कोणी वित्तपुरवठा केला - अरनॉल्ड किंवा बराक हे समजणे अधिक कठीण होते.

परंतु CoinJoin च्या मुख्य फायद्यातून त्याचा मुख्य तोटा येतो - कमकुवत सुरक्षा. आज, नेटवर्कमध्ये CoinJoin व्यवहार ओळखण्याचे आणि खर्च केलेल्या आणि व्युत्पन्न केलेल्या नाण्यांची तुलना करून इनपुटचे संच आउटपुटच्या सेटशी जुळवण्याचे मार्ग आधीच आहेत. अशा विश्लेषणासाठी साधनाचे उदाहरण आहे नाणे सुडोकूमध्ये सामील व्हा.

साधक:

• साधेपणा

बाधक

• प्रात्यक्षिक hackability

मोनरो

“अनामिक क्रिप्टोकरन्सी” हे शब्द ऐकल्यावर उद्भवणारी पहिली संघटना म्हणजे मोनेरो. हे नाणे सिद्ध केले गुप्तचर सेवांच्या सूक्ष्मदर्शकाखाली त्याची स्थिरता आणि गोपनीयता:

त्याच्या अलीकडच्या एका मध्ये लेख आम्ही मोनेरो प्रोटोकॉलचे तपशीलवार वर्णन केले आहे आणि आज आम्ही काय सांगितले आहे ते सारांशित करू.

मोनेरो प्रोटोकॉलमध्ये, व्यवहारात खर्च केलेले प्रत्येक आउटपुट ब्लॉकचेनमधून कमीतकमी 11 (लेखनाच्या वेळी) यादृच्छिक आउटपुटसह मिसळले जाते, ज्यामुळे नेटवर्कचे हस्तांतरण आलेख गुंतागुंतीचे होते आणि व्यवहारांचा मागोवा घेण्याचे कार्य संगणकीयदृष्ट्या जटिल बनते. मिश्रित नोंदी रिंग स्वाक्षरीसह स्वाक्षरी केल्या जातात, जे हमी देते की स्वाक्षरी मिश्रित नाण्यांपैकी एकाच्या मालकाने प्रदान केली होती, परंतु कोण हे निर्धारित करणे शक्य करत नाही.

प्राप्तकर्ते लपवण्यासाठी, प्रत्येक नव्याने तयार केलेले नाणे एक-वेळचा पत्ता वापरतो, ज्यामुळे निरीक्षकाला (अर्थातच एनक्रिप्शन की तोडणे कठीण) सार्वजनिक पत्त्याशी कोणतेही आउटपुट संबद्ध करणे अशक्य होते. आणि सप्टेंबर 2017 पासून, मोनेरोने प्रोटोकॉलला समर्थन देण्यास सुरुवात केली गोपनीय व्यवहार (CT) काही जोडण्यांसह, अशा प्रकारे हस्तांतरणाची रक्कम देखील लपवते. थोड्या वेळाने, क्रिप्टोकरन्सी डेव्हलपर्सनी बुलेटप्रूफसह बोरोमियन स्वाक्षरी बदलली, ज्यामुळे व्यवहाराचा आकार लक्षणीयरीत्या कमी झाला.

साधक:

• वेळ-चाचणी
• सापेक्ष साधेपणा

बाधक

• ZK-SNARKs आणि ZK-STARK पेक्षा पुरावा निर्मिती आणि पडताळणी हळू आहे
• क्वांटम संगणक वापरून हॅकिंगला प्रतिरोधक नाही

नकळत

Mimblewimble (MW) चा शोध Bitcoin नेटवर्कवर अनामित हस्तांतरणासाठी स्केलेबल तंत्रज्ञान म्हणून करण्यात आला होता, परंतु स्वतंत्र ब्लॉकचेन म्हणून त्याची अंमलबजावणी आढळली. क्रिप्टोकरन्सीमध्ये वापरले जाते राखाडी и तुळई.

MW उल्लेखनीय आहे कारण त्यात सार्वजनिक पत्ते नाहीत आणि व्यवहार पाठवण्यासाठी, वापरकर्ते थेट आउटपुटची देवाणघेवाण करतात, अशा प्रकारे प्राप्तकर्त्याकडून प्राप्तकर्त्याकडे हस्तांतरणाचे विश्लेषण करण्याची बाह्य निरीक्षकाची क्षमता नष्ट करते.

इनपुट आणि आउटपुटची बेरीज लपविण्यासाठी, 2015 मध्ये ग्रेग मॅक्सवेलने प्रस्तावित केलेला एक सामान्य प्रोटोकॉल वापरला जातो - गोपनीय व्यवहार (सीटी). म्हणजेच, रक्कम एनक्रिप्टेड आहेत (किंवा त्याऐवजी, ते वापरतात वचनबद्धता योजना), आणि त्याऐवजी नेटवर्क तथाकथित वचनबद्धतेसह कार्य करते. व्यवहार वैध मानला जाण्यासाठी, खर्च केलेली आणि तयार केलेली नाणी आणि कमिशन समान असणे आवश्यक आहे. नेटवर्क थेट संख्यांसह कार्य करत नसल्यामुळे, समान वचनबद्धतेचे समीकरण वापरून समानता सुनिश्चित केली जाते, ज्याला शून्यासाठी वचनबद्धता म्हणतात.

मूळ सीटीमध्ये, मूल्यांच्या गैर-नकारात्मकतेची हमी देण्यासाठी (तथाकथित श्रेणीचा पुरावा), ते बोरोमन स्वाक्षरी (बोरोमियन रिंग स्वाक्षरी) वापरतात, ज्याने ब्लॉकचेनमध्ये बरीच जागा घेतली (सुमारे 6 किलोबाइट्स प्रति आउटपुट ). या संदर्भात, या तंत्रज्ञानाचा वापर करून निनावी चलनांच्या तोट्यांमध्ये मोठ्या व्यवहाराचा आकार समाविष्ट आहे, परंतु आता त्यांनी अधिक संक्षिप्त तंत्रज्ञान - बुलेटप्रूफ्सच्या बाजूने या स्वाक्षऱ्या सोडण्याचा निर्णय घेतला आहे.

मेगावॅट ब्लॉकमध्येच व्यवहाराची कोणतीही संकल्पना नाही, फक्त त्यात खर्च केलेले आणि निर्माण केलेले आउटपुट आहेत. कोणताही व्यवहार नाही - कोणतीही समस्या नाही!

नेटवर्कवर व्यवहार पाठविण्याच्या टप्प्यावर हस्तांतरण सहभागीचे अनामिकरण टाळण्यासाठी, एक प्रोटोकॉल वापरला जातो डेंडिलियन, जे अनियंत्रित लांबीच्या नेटवर्क प्रॉक्सी नोड्सची साखळी वापरते जे व्यवहार एकमेकांना सर्व सहभागींना वितरित करण्यापूर्वी प्रसारित करते, अशा प्रकारे नेटवर्कमध्ये प्रवेश करणार्‍या व्यवहाराचा मार्ग अस्पष्ट करते.

साधक:

• लहान ब्लॉकचेन आकार
• सापेक्ष साधेपणा

बाधक

• ZK-SNARKs आणि ZK-STARK पेक्षा पुरावा निर्मिती आणि पडताळणी हळू आहे
• स्क्रिप्ट्स आणि मल्टी-सिग्नेचर सारख्या वैशिष्ट्यांसाठी समर्थन लागू करणे कठीण आहे
• क्वांटम संगणक वापरून हॅकिंगला प्रतिरोधक नाही

बहुपदांवर पुरावे

ZK-SNARKs

या तंत्रज्ञानाचे गुंतागुंतीचे नाव म्हणजे “शून्य-ज्ञान संक्षिप्त नॉन-इंटरॅक्टिव्ह आर्ग्युमेंट ऑफ नॉलेज," ज्याचे भाषांतर "संक्षिप्त नॉन-इंटरॅक्टिव्ह शून्य-ज्ञान पुरावा" म्हणून केले जाऊ शकते. हे zerocoin प्रोटोकॉलचे एक निरंतरता बनले, जे पुढे zerocash मध्ये विकसित झाले आणि प्रथम Zcash cryptocurrency मध्ये लागू केले गेले.

सर्वसाधारणपणे, शून्य-ज्ञानाचा पुरावा एका पक्षाला काही गणितीय विधानाची सत्यता त्याबद्दल कोणतीही माहिती उघड न करता सिद्ध करू देतो. क्रिप्टोकरन्सीच्या बाबतीत, अशा पद्धतींचा वापर हे सिद्ध करण्यासाठी केला जातो की, उदाहरणार्थ, एखाद्या व्यवहारात हस्तांतरणाची रक्कम उघड न करता, खर्च केल्यापेक्षा जास्त नाणी तयार होत नाहीत.

ZK-SNARKs समजून घेणे खूप कठीण आहे आणि ते कसे कार्य करते याचे वर्णन करण्यासाठी एकापेक्षा जास्त लेख लागतील. Zcash च्या अधिकृत पृष्ठावर, हा प्रोटोकॉल लागू करणारे पहिले चलन, त्याच्या ऑपरेशनचे वर्णन समर्पित आहे 7 लेख. म्हणून, या प्रकरणात आपण केवळ वरवरच्या वर्णनापुरते मर्यादित राहू.

बीजगणितीय बहुपदी वापरून, ZK-SNARKs हे सिद्ध करतात की पेमेंट पाठवणाऱ्याकडे तो खर्च करत असलेल्या नाण्यांचा मालक आहे आणि खर्च केलेल्या नाण्यांची रक्कम व्युत्पन्न केलेल्या नाण्यांपेक्षा जास्त नाही.

विधानाच्या वैधतेच्या पुराव्याचा आकार कमी करण्याच्या आणि त्याच वेळी त्याची त्वरित पडताळणी करण्याच्या उद्देशाने हा प्रोटोकॉल तयार करण्यात आला आहे. होय, त्यानुसार सादरीकरणे Zooko Wilcox, Zcash चे CEO, पुराव्याचा आकार फक्त 200 बाइट्स आहे आणि त्याची शुद्धता 10 मिलीसेकंदमध्ये सत्यापित केली जाऊ शकते. शिवाय, Zcash च्या नवीनतम आवृत्तीमध्ये, विकासकांनी पुरावा निर्मितीचा वेळ सुमारे दोन सेकंदांपर्यंत कमी करण्यात व्यवस्थापित केले.

तथापि, हे तंत्रज्ञान वापरण्यापूर्वी, "सार्वजनिक पॅरामीटर्स" ची एक जटिल विश्वसनीय सेटअप प्रक्रिया आवश्यक आहे, ज्याला "समारंभ" म्हणतात (समारंभ). संपूर्ण अडचण अशी आहे की या पॅरामीटर्सच्या स्थापनेदरम्यान, कोणत्याही पक्षाकडे त्यांच्यासाठी "विषारी कचरा" नावाची कोणतीही खाजगी की शिल्लक नाही, अन्यथा ते नवीन नाणी तयार करण्यास सक्षम असेल. ही प्रक्रिया कशी होते ते तुम्ही व्हिडिओवरून शिकू शकता YouTube वर.

साधक:

• लहान पुरावा आकार
• जलद पडताळणी
• तुलनेने जलद प्रूफ जनरेशन

बाधक

• सार्वजनिक पॅरामीटर्स सेट करण्यासाठी जटिल प्रक्रिया
• विषारी कचरा
• तंत्रज्ञानाची सापेक्ष जटिलता
• क्वांटम संगणक वापरून हॅकिंगला प्रतिरोधक नाही

ZK-STARKs

शेवटच्या दोन तंत्रज्ञानाचे लेखक परिवर्णी शब्दांसह खेळण्यात चांगले आहेत आणि पुढील परिवर्णी शब्द म्हणजे "शून्य-ज्ञान स्केलेबल पारदर्शक वितर्क ऑफ नॉलेज." या पद्धतीचा त्या वेळी ZK-SNARKs च्या विद्यमान कमतरतांचे निराकरण करण्याचा हेतू होता: सार्वजनिक पॅरामीटर्सच्या विश्वासार्ह सेटिंगची आवश्यकता, विषारी कचऱ्याची उपस्थिती, क्वांटम अल्गोरिदम वापरून हॅकिंग करण्यासाठी क्रिप्टोग्राफीची अस्थिरता आणि अपुरा जलद पुरावा निर्मिती. तथापि, ZK-SNARK डेव्हलपर्सनी शेवटची कमतरता हाताळली आहे.

ZK-STARK बहुपदी-आधारित पुरावे देखील वापरतात. तंत्रज्ञान सार्वजनिक की क्रिप्टोग्राफी वापरत नाही, त्याऐवजी हॅशिंग आणि ट्रान्समिशन सिद्धांतावर अवलंबून आहे. हे क्रिप्टोग्राफिक माध्यम काढून टाकल्याने तंत्रज्ञान क्वांटम अल्गोरिदमला प्रतिरोधक बनवते. परंतु हे किंमतीवर येते - पुरावा अनेक शंभर किलोबाइट्स आकारात पोहोचू शकतो.

सध्या, ZK-STARK ची कोणत्याही क्रिप्टोकरन्सीमध्ये अंमलबजावणी नाही, परंतु केवळ लायब्ररी म्हणून अस्तित्वात आहे libSTARK. तथापि, विकसकांच्या योजना आहेत ज्या ब्लॉकचेनच्या पलीकडे जातात (त्यांच्या पांढरा कागद लेखक पोलिस डेटाबेसमध्ये डीएनएच्या पुराव्याचे उदाहरण देतात). या हेतूने ते तयार केले गेले स्टार्कवेअर इंडस्ट्रीज, जे 2018 च्या शेवटी गोळा झाले $ 36 दशलक्ष उद्योगातील सर्वात मोठ्या कंपन्यांकडून गुंतवणूक.

विटालिक बुटेरिनच्या पोस्टमध्ये ZK-STARK कसे कार्य करते याबद्दल आपण अधिक वाचू शकता (1, 2, 3).

साधक:

• क्वांटम संगणकाद्वारे हॅकिंगला प्रतिकार
• तुलनेने जलद प्रूफ जनरेशन
• तुलनेने जलद पुरावा पडताळणी
• विषारी कचरा नाही

बाधक

• तंत्रज्ञानाची जटिलता
• मोठा पुरावा आकार

निष्कर्ष

ब्लॉकचेन आणि निनावीपणाची वाढती मागणी क्रिप्टोग्राफीवर नवीन मागण्या निर्माण करते. अशाप्रकारे, क्रिप्टोग्राफीची शाखा जी 1980 च्या मध्यात उद्भवली होती—शून्य-ज्ञान पुरावे—अवघ्या काही वर्षांत नवीन, गतिमानपणे विकसनशील पद्धतींनी भरून काढली गेली.

अशाप्रकारे, वैज्ञानिक विचारांच्या उड्डाणामुळे CoinJoin अप्रचलित झाले आहे, आणि MimbleWimble अगदी नवीन कल्पनांसह एक आशादायी नवोदित आहे. आमच्या गोपनीयतेचे रक्षण करण्यात मोनेरो एक अटूट राक्षस आहे. आणि SNARKs आणि STARKs, जरी त्यांच्यात कमतरता आहेत, तरीही ते क्षेत्रातील नेते बनू शकतात. कदाचित येत्या काही वर्षांत, आम्ही प्रत्येक तंत्रज्ञानाच्या "तोटे" स्तंभात सूचित केलेले मुद्दे अप्रासंगिक होतील.

स्त्रोत: www.habr.com