बिटकॉइन और अन्य ब्लॉकचेनों की सुरक्षा का एक नजरिया
बिटकॉइन, और अन्य ब्लॉकचेनों, जैसे लिक्विड, की सुरक्षा ECDSA और Schnorr signatures जैसे डिजिटल साइनेचर एल्गोरिथ्म्स पर निर्भर करती है। ये एल्गोरिथ्म्स डिजिटल साइनेचर एल्गोरिथ्म्स प्रदान करने के लिए Bitcoin Core और Liquid दोनों द्वारा इस्तेमाल किया गया है जिसमें एक C लाइब्रेरी नामक libsecp256k1 का उपयोग किया जाता है, जिसे इस लाइब्रेरी का नाम रखा गया है इलिप्टिक कर्व के आधार पर जिस पर यह लाइब्रेरी काम करती है। ये एल्गोरिथ्म्स एक गणितीय गणना का उपयोग करते हैं जिसे एक मॉड्यूलर इनवर्स कहा जाता है, जो गणना के महंगे घटकों में से एक है।
“तेज स्थिर समय gcd गणना और मॉड्यूलर इनवर्सन” में, डेनियल जे बर्नस्टीन और बो-यिन यांग एक नया मॉड्यूलर इनवर्सन एल्गोरिथ्म विकसित करते हैं। 2021 में, पीटर डेटमैन ने libsecp256k1 के लिए इस एल्गोरिथ्म को “सेफजीसीडी” के रूप में लागू किया। इस नवीन एल्गोरिथ्म की मान्यता प्रक्रिया के एक हिस्से के रूप में, ब्लॉकस्ट्रीम रिसर्च ने Coq प्रूफ असिस्टेंट का उपयोग करके इस एल्गोरिथ्म के डिज़ाइन की और्थात सही मॉड्यूलर इनवर्स परिणाम के साथ समाप्त होने की आधिकारिक सत्यापन किया।
एल्गोरिथ्म और प्रयोग अंतर समझौता 2021 में केवल दिखाया कि बर्नस्टीन और यांग द्वारा डिज़ाइन किया गया एल्गोरिथ्म सही काम करता है। हालांकि, इस एल्गोरिथ्म का libsecp256k1 में उपयोग करने के लिए सटीकता की मात्रा विशेषज्ञता की जरूरत है।
निष्कर्ष
ब्लॉकस्ट्रीम रिसर्च ने libsecp256k1 के मॉड्यूलर इनवर्सन कार्य सत्यापित किया है। यह काम साबित करता है कि सी कोड की सत्यापन संभव है। एक सामान्य उद्देश्य प्रूफ असिस्टेंट का उपयोग हमें जटिल गणितीय तर्कों पर आधारित सॉफटवेयर की सत्यापन करने की अनुमति देता है।
सामान्य प्रश्न
1. **ब्लॉकस्ट्रीम रिसर्च ने क्या सत्यापित किया है?**
“libsecp256k1 के मॉड्यूलर इनवर्सन कार्य की सटीकता को।
2. **किस एल्गोरिथ्म को 2021 में लागू किया गया था?**
“safegcd एल्गोरिथ्म को।
3. **कौन-कौन सी अंकित कार्यों को वेरिफाई किया गया था?**
“उनके प्रयासों को।
4. **क्या C भाषा की कोई मानक विवरण है?**
“नहीं, वेरिफायबल सी प्रोजेक्ट ने प्रदान किया है।
5. **क्या वेरिफायबल सी पास करती है?**
“हां, समाप्ति के साथ।
6. **क्या लिब secp256k1 के बाकी कार्यों को सत्यापित किया जा सकता है?**
“हां, संभव है।
7. **क्या अंत में क्या उपलब्धि है?**
“सर्वोच्च संभावित सॉफटवेयर सटीकता गारंटी।
8. **किन विशेषज्ञताओं का उपयोग करना चाहिए?**
“एक सामान्य प्रूफ असिस्टेंट का।
9. **क्या सी कोड की सत्यापन के लिए किसे उपयोग किया गया है?**
“Coq प्रूफ असिस्टेंट का।
10. **क्या सी भाषा में कोई विशेष विवरण है?**
“हां, CompCert कंपायलर प्रोजेक्ट द्वारा प्रदान किया गया है।
टैग्स
बिटक्वाइन, ब्लॉकचेन, क्रिप्टोकरेंसी, सी कोड, सत्यापित कोड, गणितीय एल्गोरिथ्म, सॉफटवेयर सत्यापन
