بٹرین نے مصنوعی ذہانت سے چلنے والی جدید ریاضیاتی پروفنگ تکنیکوں کے ذریعے بہتر کرپٹو کرنسی کے تحفظات کا تصور کیا
Vitalik Buterin کا کہنا ہے کہ مصنوعی ذہانت بالآخر کرپٹو کرنسی سسٹمز اور اہم انٹرنیٹ انفراسٹرکچر کو زیادہ محفوظ بنا سکتی ہے، اگر ڈویلپرز AI سے تیار کردہ کوڈ کو ریاضی سے تصدیق شدہ سافٹ ویئر کے ساتھ جوڑ دیں۔
ایتھریم کے شریک بانی نے دلیل دی کہ AI کی مدد سے "رسمی تصدیق" سائبرسیکیوریٹی کے لیے سب سے اہم ٹولز میں سے ایک بن سکتی ہے کیونکہ تیزی سے جدید ترین AI سسٹمز سافٹ ویئر کی کمزوریوں کو تلاش کرنا آسان بنا دیتے ہیں، پیر کو شیئر کی گئی ایک طویل بلاگ پوسٹ میں۔
رسمی توثیق سے مراد مشین کی جانچ پڑتال کے قابل ریاضیاتی ثبوتوں کا استعمال اس بات کی تصدیق کرنے کے لیے ہے کہ سافٹ ویئر بالکل اسی طرح برتاؤ کرتا ہے جیسا کہ ارادہ ہے۔ اگرچہ یہ تکنیک کئی دہائیوں سے موجود ہے، بٹرین نے کہا کہ AI میں حالیہ پیشرفت ڈویلپرز کو کوڈ اور اس کی تصدیق کے لیے درکار ثبوت دونوں لکھنے میں مدد دے کر اسے ڈرامائی طور پر زیادہ عملی بنا رہی ہے۔
بٹرین نے اس ٹیکنالوجی کو بڑھتے ہوئے اندیشوں کے جواب کے طور پر تیار کیا کہ AI بگ دریافت اور سائبر حملوں کو تیز کر کے محافظوں کو مغلوب کر سکتا ہے۔ سمارٹ کنٹریکٹ کے کارنامے کرپٹو میں ایک مستقل مسئلہ بنے ہوئے ہیں، حملہ آور اکثر کمزور وکندریقرت مالیاتی پروٹوکولز سے لاکھوں ڈالر نکال رہے ہیں۔
بٹرین نے دلیل دی کہ ریاضیاتی طور پر تصدیق شدہ سافٹ ویئر اس رجحان کو ریورس کرنے میں مدد کر سکتا ہے، خاص طور پر ان علاقوں میں جہاں سیکورٹی کی ناکامیاں تباہ کن ہوں گی۔ انہوں نے خاص طور پر ایتھرئم انفراسٹرکچر، صفر علمی ثبوت کے نظام، اتفاق رائے کے طریقہ کار اور پوسٹ کوانٹم کرپٹوگرافی کی طرف ایسی ٹیکنالوجیز کی طرف اشارہ کیا جو رسمی تصدیق سے فائدہ اٹھا سکتے ہیں۔
"کمپیوٹر کوڈ میں کیڑے خوفناک ہوتے ہیں،" بٹرین نے لکھا، یہ بیان کرنے سے پہلے کہ جب سافٹ ویئر غیر تبدیل شدہ آنچین اثاثوں یا جدید کرپٹوگرافک سسٹمز کو کنٹرول کرتا ہے تو خطرات مزید سنگین کیسے ہو جاتے ہیں۔
پوسٹ نے کچھ سیکیورٹی محققین کے درمیان بڑھتے ہوئے عقیدے کے خلاف بھی پیچھے دھکیل دیا کہ تیزی سے پیچیدہ AI سے تیار کردہ سافٹ ویئر پر مکمل اعتماد کرنا ناممکن ہو سکتا ہے۔ اس کے بجائے، Buterin نے کہا کہ AI آخرکار سائبر سیکیورٹی کو مضبوط بنا سکتا ہے تاکہ ڈویلپرز کو ان خامیوں کی نشاندہی کرنے اور ان کو تیزی سے ختم کرنے میں مدد ملے جو حملہ آور ان کا استحصال کر سکتے ہیں۔
پھر بھی، اس نے خبردار کیا کہ رسمی تصدیق "ایک علاج نہیں ہے۔" یہاں تک کہ ریاضیاتی طور پر ثابت شدہ نظام بھی ناکام ہو سکتے ہیں اگر ڈویلپرز غلط مفروضوں کی تصدیق کرتے ہیں، ہارڈ ویئر کی کمزوریوں کو نظر انداز کرتے ہیں یا کسی سسٹم کے کچھ حصوں کو چیک نہیں کرتے ہیں۔
بٹرین لکھتے ہیں، "AI آپ کو درستگی کی قیمت پر کوڈ کی بڑی مقدار لکھنے کی صلاحیت فراہم کرتا ہے، اور رسمی تصدیق آپ کو واپس... درستگی فراہم کرتی ہے۔" "بطور ڈیفالٹ، AI بڑی مقدار میں بہت ہی میلا کوڈ کو قابل بنائے گا … لیکن یہاں سائبر سیکیورٹی کے لیے ایک پرامید مستقبل ہے۔"
مزید پڑھیں: ایتھریم فاؤنڈیشن نے صارفین کو بدنیتی پر مبنی کرپٹو لین دین کی منظوری سے روکنے کے لیے نئے 'کلیئر سائننگ' معیار کی نقاب کشائی کی