परिचय
बिटकॉइन और अन्य ब्लॉकचेन्स की सुरक्षा, जैसे कि लिक्विड, ECDSA और Schnorr हस्ताक्षर ऐल्गोरिदम का उपयोग करने पर निर्भर है। लिबसेकपी256के1 नामक एक सी लाइब्रेरी, जो लाइब्रेरी का ऑपरेट करने वाली नाटकीय कक्षा के बाद नामित है, बिटकॉइन कोर और लिक्विड दोनों द्वारा इन डिजिटल हस्ताक्षर ऐल्गोरिदम प्रदान करने के लिए उपयोग की जाती है। इन ऐल्गोरिदम ने एक गणितीय गणना का उपयोग किया है जिसे एक मॉड्यूलर इनवर्स कहा जाता है, जो गणना के लागती घटक का एक संतुलित हिस्सा है।
ऐल्गोरिदम और अंमलण के बीच की गड़बड़ी
2021 में, डेनियल जे बर्नस्टीन और बो-यिन यांग ने एक नया मॉड्यूलर इनवर्स ऐल्गोरिदम विकसित किया। इस ऐल्गोरिदम को “सेफजीसीडी” के नाम से संकेतित किया गया था और पीटर डेटमन द्वारा लिबसेकपी256के1 के लिए कार्यान्वित किया गया था।
सत्यापन की सीमाएं
सत्यापन में कुछ सीमाएं हैं।
सारांश
ब्लॉकस्ट्रीम रिसर्च ने लिबसेकपी256के1 के मॉड्यूलर इनवर्स फ़ंक्शन की सत्यता को समर्थन दिया है। यह काम यह सिद्ध करता है कि सी कोड का सत्यापन वास्तव में संभव है।
