तिनीहरूले यो कसरी गर्छन्? क्रिप्टोकरन्सी अज्ञातीकरण प्रविधिहरूको समीक्षा

पक्कै पनि, बिटकोइन, ईथर वा अन्य कुनै पनि क्रिप्टोकरन्सीको प्रयोगकर्ताको रूपमा, तपाइँले तपाइँको वालेटमा कति सिक्काहरू छन्, कसलाई तपाइँले हस्तान्तरण गर्नुभयो र तपाइँले ती प्राप्त गर्नुभएको छ भनेर कसैले देख्न सक्छ भनेर चिन्तित हुनुहुन्छ। त्यहाँ अज्ञात क्रिप्टोकरन्सीहरू वरपर धेरै विवादहरू छन्, तर एउटा कुरा हामी असहमत हुन सक्दैनौं कि कसरी भने मोनेरो परियोजना प्रबन्धक रिकार्डो स्पाग्नीले आफ्नो ट्विटर खातामा: "यदि म सुपरमार्केटमा क्यासियरले मेरो ब्यालेन्समा कति पैसा छ र म केमा खर्च गर्छु भनेर जान्न चाहन्न भने के हुन्छ?"

यस लेखमा हामी अज्ञातताको प्राविधिक पक्षलाई हेर्नेछौं - तिनीहरूले यो कसरी गर्छन्, र सबैभन्दा लोकप्रिय विधिहरू, तिनीहरूका फाइदाहरू र विपक्षहरूको संक्षिप्त सिंहावलोकन दिन्छन्।

आज त्यहाँ लगभग एक दर्जन ब्लकचेनहरू छन् जसले बेनामी लेनदेनहरूलाई अनुमति दिन्छ। एकै समयमा, केहि को लागी, स्थानान्तरण को गुमनाम अनिवार्य छ, अरु को लागी यो ऐच्छिक छ, कोहीले मात्र ठेगाना र प्रापकहरु लुकाउँछन्, अरुले तेस्रो पक्षहरुलाई स्थानान्तरणको मात्रा पनि हेर्न अनुमति दिदैनन्। हामीले विचार गरिरहेका प्रायः सबै प्रविधिहरूले पूर्ण गुमनामता प्रदान गर्दछ—बाहिरको पर्यवेक्षकले ब्यालेन्स, प्रापक, वा लेनदेन इतिहासको विश्लेषण गर्न सक्दैन। तर हामी यस क्षेत्रका अग्रगामीहरू मध्ये एकसँग हाम्रो समीक्षा सुरु गरौं ताकि गुमनामताको दृष्टिकोणको विकास पत्ता लगाउनुहोस्।

हाल अवस्थित अज्ञातीकरण प्रविधिहरूलाई लगभग दुई समूहमा विभाजन गर्न सकिन्छ: मिश्रणमा आधारित - जहाँ प्रयोग गरिएका सिक्काहरू ब्लकचेनका अन्य सिक्काहरूसँग मिलाइन्छ - र बहुपदहरूमा आधारित प्रमाणहरू प्रयोग गर्ने प्रविधिहरू। अर्को, हामी यी प्रत्येक समूहमा ध्यान केन्द्रित गर्नेछौं र तिनीहरूको फाइदा र बेफाइदालाई विचार गर्नेछौं।

आधारित घुट्ने

Coin Join

Coin Join प्रयोगकर्ता अनुवादहरू गुमनाम गर्दैन, तर तिनीहरूको ट्र्याकिङलाई मात्र जटिल बनाउँछ। तर हामीले यो प्रविधिलाई हाम्रो समीक्षामा समावेश गर्ने निर्णय गर्यौं, किनकि यो Bitcoin नेटवर्कमा लेनदेनको गोपनीयताको स्तर बढाउने पहिलो प्रयासहरू मध्ये एक थियो। यो प्रविधि यसको सरलतामा मनमोहक छ र नेटवर्कको नियमहरू परिवर्तन गर्न आवश्यक पर्दैन, त्यसैले यसलाई धेरै ब्लकचेनहरूमा सजिलै प्रयोग गर्न सकिन्छ।

यो एक साधारण विचारमा आधारित छ - यदि प्रयोगकर्ताहरूले एकल लेनदेनमा आफ्नो भुक्तानीहरू चिप इन गरे भने के हुन्छ? यदि अर्नोल्ड श्वार्जनेगर र बराक ओबामाले एक लेनदेनमा चार्ली शीन र डोनाल्ड ट्रम्पलाई दुईवटा भुक्तानी गरे भने, ट्रम्पको चुनावी अभियानलाई कसले आर्थिक सहयोग गर्‍यो भन्ने बुझ्न गाह्रो हुन्छ - अर्नोल्ड वा बराक।

तर CoinJoin को मुख्य फाइदाबाट यसको मुख्य हानि आउँछ - कमजोर सुरक्षा। आज, त्यहाँ पहिले नै सञ्जालमा CoinJoin लेनदेनहरू पहिचान गर्ने तरिकाहरू छन् र इनपुटहरूको सेटहरू आउटपुटहरूको सेटमा खर्च गरिएका र उत्पन्न गरिएका सिक्काहरूको तुलना गरेर। यस्तो विश्लेषण को लागि एक उपकरण को एक उदाहरण हो सिक्का सुडोकुमा सामेल हुनुहोस्.

प्रो:

• सरलता

Cons:

• प्रदर्शन गरिएको ह्याकबिलिटी

Monero

"अनाम क्रिप्टोकरन्सी" शब्दहरू सुन्दा उत्पन्न हुने पहिलो संघ मोनेरो हो। यो सिक्का प्रमाणीत खुफिया सेवाहरूको माइक्रोस्कोप अन्तर्गत यसको स्थिरता र गोपनीयता:

उनको भर्खरको एउटामा लेखहरू हामीले मोनेरो प्रोटोकललाई विस्तृत रूपमा वर्णन गरेका छौं, र आज हामी के भनिएको छ भनेर संक्षेप गर्नेछौं।

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

प्राप्तकर्ताहरू लुकाउनको लागि, प्रत्येक नयाँ उत्पन्न गरिएको सिक्काले एक-पटक ठेगाना प्रयोग गर्दछ, यसले एक पर्यवेक्षकको लागि असम्भव बनाउँछ (इन्क्रिप्शन कुञ्जीहरू तोड्न जत्तिकै गाह्रो) सार्वजनिक ठेगानासँग कुनै पनि आउटपुट सम्बद्ध गर्न। र सेप्टेम्बर 2017 देखि, Monero प्रोटोकल समर्थन गर्न थाले गोप्य लेनदेन (CT) केहि थपको साथ, यसरी पनि स्थानान्तरण रकम लुकाउने। केही समय पछि, क्रिप्टोकरेन्सी विकासकर्ताहरूले बोरोमेन हस्ताक्षरहरूलाई बुलेटप्रुफहरूद्वारा प्रतिस्थापित गरे, जसले गर्दा लेनदेनको आकारमा उल्लेखनीय रूपमा कमी आयो।

प्रो:

• समय-परीक्षण
• सापेक्ष सरलता

Cons:

• प्रमाण उत्पादन र प्रमाणीकरण ZK-SNARKs र ZK-STARKs भन्दा ढिलो छ
• क्वान्टम कम्प्यूटर प्रयोग गरेर ह्याकिङ गर्न प्रतिरोधी छैन

Mimblewimble

Mimblewimble (MW) Bitcoin नेटवर्कमा अज्ञात स्थानान्तरणको लागि स्केलेबल टेक्नोलोजीको रूपमा आविष्कार गरिएको थियो, तर यसको कार्यान्वयन स्वतन्त्र ब्लकचेनको रूपमा फेला पर्यो। क्रिप्टोकरन्सीहरूमा प्रयोग गरिन्छ खरानी и किरण.

MW उल्लेखनीय छ किनभने यसमा सार्वजनिक ठेगानाहरू छैनन्, र लेनदेन पठाउनको लागि, प्रयोगकर्ताहरूले प्रत्यक्ष रूपमा आउटपुटहरू आदानप्रदान गर्छन्, यसरी प्राप्तकर्ताबाट प्राप्तकर्तामा स्थानान्तरणको विश्लेषण गर्ने बाहिरी पर्यवेक्षकको क्षमतालाई हटाउँछ।

इनपुट र आउटपुटको योगलाई लुकाउन, 2015 मा ग्रेग म्याक्सवेलले प्रस्ताव गरेको एकदम सामान्य प्रोटोकल प्रयोग गरिन्छ - गोप्य लेनदेन (CT)। त्यो हो, मात्राहरू एन्क्रिप्टेड छन् (वा बरु, तिनीहरू प्रयोग गर्छन् प्रतिबद्धता योजना), र तिनीहरूको सट्टा सञ्जाल तथाकथित प्रतिबद्धताहरूसँग सञ्चालन हुन्छ। लेनदेनलाई वैध मान्नको लागि, खर्च गरिएको र उत्पन्न गरिएको सिक्का र कमिसन बराबर हुनुपर्छ। सञ्जालले सिधै संख्याहरूसँग काम नगर्ने भएकाले, समानतालाई समान प्रतिबद्धताहरूको समीकरण प्रयोग गरेर सुनिश्चित गरिन्छ, जसलाई शून्यप्रति प्रतिबद्धता भनिन्छ।

मूल CT मा, मानहरूको गैर-नकारात्मकता (तथाकथित दायरा प्रमाण) को ग्यारेन्टी गर्न, तिनीहरूले Borromean Signatures (Borromean ring signatures) प्रयोग गर्छन्, जसले ब्लकचेनमा धेरै ठाउँ लिन्छ (लगभग 6 किलोबाइट प्रति आउटपुट। )। यस सन्दर्भमा, यस प्रविधिको प्रयोग गरेर अज्ञात मुद्राहरूको बेफाइदाहरूमा ठूलो लेनदेन आकार समावेश थियो, तर अब उनीहरूले थप कम्प्याक्ट प्रविधि - बुलेटप्रूफहरूको पक्षमा यी हस्ताक्षरहरू त्याग्न निर्णय गरेका छन्।

मेगावाट ब्लकमा नै लेनदेनको कुनै अवधारणा छैन, त्यहाँ खर्च र उत्पादनहरू मात्र छन्। कुनै लेनदेन छैन - कुनै समस्या छैन!

नेटवर्कमा लेनदेन पठाउने चरणमा स्थानान्तरण सहभागीको अज्ञातीकरण रोक्नको लागि, एक प्रोटोकल प्रयोग गरिन्छ। Dandelion, जसले मनमानी लम्बाइको नेटवर्क प्रोक्सी नोडहरूको एक श्रृंखला प्रयोग गर्दछ जसले लेनदेनलाई सबै सहभागीहरूलाई वितरण गर्नु अघि एक अर्कामा हस्तान्तरण गर्दछ, यसरी नेटवर्कमा प्रवेश गर्ने लेनदेनको मार्गलाई अस्पष्ट पार्छ।

प्रो:

• सानो ब्लकचेन आकार
• सापेक्ष सरलता

Cons:

• प्रमाण उत्पादन र प्रमाणीकरण ZK-SNARKs र ZK-STARKs भन्दा ढिलो छ
• स्क्रिप्ट र बहु-हस्ताक्षर जस्ता सुविधाहरूको लागि समर्थन कार्यान्वयन गर्न गाह्रो छ
• क्वान्टम कम्प्यूटर प्रयोग गरेर ह्याकिङ गर्न प्रतिरोधी छैन

बहुपदहरूमा प्रमाणहरू

ZK-SNARKs

यस प्रविधिको जटिल नाम "शून्य ज्ञान ज्ञानको संक्षिप्त गैर-अन्तर्क्रियात्मक तर्क," जसलाई "संक्षिप्त गैर-अन्तर्क्रियात्मक शून्य-ज्ञान प्रमाण" को रूपमा अनुवाद गर्न सकिन्छ। यो zerocoin प्रोटोकलको निरन्तरता बन्यो, जुन थप zerocash मा विकसित भयो र Zcash cryptocurrency मा पहिलो पटक लागू गरियो।

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

ZK-SNARKs बुझ्न धेरै गाह्रो छ, र यसले कसरी काम गर्छ वर्णन गर्न एक भन्दा बढी लेख लिन्छ। Zcash को आधिकारिक पृष्ठमा, यो प्रोटोकल लागू गर्ने पहिलो मुद्रा, यसको सञ्चालनको विवरण समर्पित छ। 7 लेख। त्यसकारण, यस अध्यायमा हामी आफूलाई केवल सतही विवरणमा सीमित गर्नेछौं।

बीजगणितीय बहुपदहरू प्रयोग गरेर, ZK-SNARKs ले प्रमाणित गर्छ कि भुक्तानी प्रेषकले खर्च गरिरहेको सिक्काको स्वामित्व छ र खर्च गरिएको सिक्काको मात्रा उत्पन्न गरिएको सिक्काको मात्राभन्दा बढी हुँदैन।

यो प्रोटोकल कथनको वैधताको प्रमाणको आकार घटाउने र एकै समयमा यसलाई द्रुत रूपमा प्रमाणित गर्ने लक्ष्यका साथ सिर्जना गरिएको हो। हो, अनुसार प्रस्तुतिकरण Zooko Wilcox, Zcash को सीईओ, प्रमाण आकार मात्र 200 बाइट हो, र यसको शुद्धता 10 मिलिसेकेन्डमा प्रमाणित गर्न सकिन्छ। यसबाहेक, Zcash को नवीनतम संस्करणमा, विकासकर्ताहरूले प्रमाण उत्पादन समय लगभग दुई सेकेन्डमा घटाउन व्यवस्थित गरे।

यद्यपि, यो प्रविधि प्रयोग गर्नु अघि, "सार्वजनिक प्यारामिटरहरू" को एक जटिल विश्वसनीय सेटअप प्रक्रिया आवश्यक छ, जसलाई "समारोह" भनिन्छ (समारोह)। सम्पूर्ण कठिनाई यो हो कि यी प्यारामिटरहरूको स्थापनाको क्रममा, कुनै पनि पार्टीसँग कुनै पनि निजी कुञ्जीहरू बाँकी छैनन्, जसलाई "विषाक्त फोहोर" भनिन्छ, अन्यथा यसले नयाँ सिक्काहरू उत्पन्न गर्न सक्षम हुनेछ। तपाइँ भिडियोमा यो प्रक्रिया कसरी हुन्छ भनेर जान्न सक्नुहुन्छ YouTube.

प्रो:

• साना प्रमाण आकार
• छिटो प्रमाणीकरण
• अपेक्षाकृत छिटो प्रमाण उत्पादन

Cons:

सार्वजनिक मापदण्डहरू सेट गर्नको लागि जटिल प्रक्रिया
• विषाक्त फोहोर
• प्रविधिको सापेक्षिक जटिलता
• क्वान्टम कम्प्यूटर प्रयोग गरेर ह्याकिङ गर्न प्रतिरोधी छैन

ZK-STARKs

पछिल्लो दुई प्रविधिका लेखकहरू एक्रोनिमसँग खेल्नमा राम्रो छन्, र अर्को एक्रोनिम "शून्य-ज्ञान स्केलेबल पारदर्शी तर्कहरू ज्ञानको" को लागि खडा छ। यो विधि त्यस समयमा ZK-SNARKs को विद्यमान कमजोरीहरू समाधान गर्ने उद्देश्यले गरिएको थियो: सार्वजनिक प्यारामिटरहरूको विश्वसनीय सेटिङको आवश्यकता, विषाक्त फोहोरको उपस्थिति, क्वान्टम एल्गोरिदमहरू प्रयोग गरेर ह्याकिंग गर्न क्रिप्टोग्राफीको अस्थिरता, र अपर्याप्त रूपमा छिटो प्रमाण उत्पादन। जे होस्, ZK-SNARK विकासकर्ताहरूले अन्तिम कमजोरीको सामना गरेका छन्।

ZK-STARK ले बहुपद-आधारित प्रमाणहरू पनि प्रयोग गर्दछ। टेक्नोलोजीले सार्वजनिक कुञ्जी क्रिप्टोग्राफी प्रयोग गर्दैन, सट्टा ह्यासिङ र प्रसारण सिद्धान्तमा भर पर्दै। यी क्रिप्टोग्राफिक माध्यमहरू हटाउने प्रविधिलाई क्वान्टम एल्गोरिदमहरू प्रतिरोधी बनाउँछ। तर यो मूल्यमा आउँछ - प्रमाण धेरै सय किलोबाइट साइजमा पुग्न सक्छ।

हाल, ZK-STARK सँग कुनै पनि क्रिप्टोकरन्सीहरूमा कार्यान्वयन छैन, तर पुस्तकालयको रूपमा मात्र अवस्थित छ। libSTARK। जे होस्, विकासकर्ताहरूसँग यसको लागि योजनाहरू छन् जुन ब्लकचेनहरू (उनीहरूको मा सेताे कागज लेखकहरूले प्रहरी डाटाबेसमा डीएनएको प्रमाणको उदाहरण दिन्छन्)। यस उद्देश्यका लागि यो सिर्जना गरिएको हो स्टार्कवेयर उद्योग, जुन 2018 को अन्त्यमा संकलन भयो $ 36 मिलियन उद्योग मा ठूला कम्पनीहरु बाट लगानी।

तपाइँ कसरी ZK-STARK ले Vitalik Buterin को पोष्टहरूमा काम गर्दछ भन्ने बारे थप पढ्न सक्नुहुन्छ (भाग 1, भाग 2, भाग 3).

प्रो:

• क्वान्टम कम्प्युटरहरू द्वारा ह्याकिङको प्रतिरोध
• अपेक्षाकृत छिटो प्रमाण उत्पादन
• तुलनात्मक रूपमा छिटो प्रमाण प्रमाणिकरण
• कुनै विषाक्त फोहोर छैन

Cons:

• प्रविधिको जटिलता
• ठूलो प्रमाण आकार

निष्कर्षमा

ब्लकचेन र अज्ञातताको बढ्दो मागले क्रिप्टोग्राफीमा नयाँ मागहरू खडा गर्छ। यसरी, क्रिप्टोग्राफीको शाखा जुन 1980 को मध्यमा सुरु भयो - शून्य-ज्ञान प्रमाणहरू - केही वर्षहरूमा नयाँ, गतिशील रूपमा विकास गर्ने विधिहरूद्वारा भरिएको छ।

यसरी, वैज्ञानिक विचारको उडानले CoinJoin लाई अप्रचलित बनाएको छ, र MimbleWimble लाई एकदमै ताजा विचारहरूका साथ एक आशाजनक नयाँ आगमनकर्ता बनाइएको छ। Monero हाम्रो गोपनीयता को रक्षा मा एक अटूट विशाल बनेको छ। र SNARKs र STARKs, यद्यपि तिनीहरूमा कमीहरू छन्, क्षेत्र मा नेता बन्न सक्छ। हुनसक्छ आगामी वर्षहरूमा, हामीले प्रत्येक प्रविधिको "कन्स" स्तम्भमा संकेत गरेका बिन्दुहरू अप्रासंगिक हुनेछन्।

स्रोत: www.habr.com