Vitalik Buterin مصنوعی ذہانت کو سخت ریاضیاتی ثبوت کے ذریعے بلاک چین کے دفاع کو مضبوط کرنے کے لیے ایک طاقتور ٹول کے طور پر پیش کرتا ہے۔

Ethereum کے شریک بانی Vitalik Buterin نے 18 مئی 2026 کو vitalik.eth.limo پر ایک بلاگ پوسٹ شائع کی۔ اس میں، اس نے دلیل دی کہ AI کی مدد سے رسمی تصدیق سائبرسیکیوریٹی کے سب سے اہم ٹولز میں سے ایک بن جائے گی۔ رسمی توثیق ایک ایسا طریقہ ہے جو اس بات کی تصدیق کے لیے ریاضیاتی ثبوتوں کا استعمال کرتا ہے کہ سافٹ ویئر بالکل ویسا ہی برتاؤ کرتا ہے جیسا کہ ارادہ ہے۔ Buterin کا کہنا ہے کہ AI کو باضابطہ تصدیق کے ساتھ جوڑنے سے ڈویلپرز کو حملہ آوروں کے کرنے سے پہلے خطرات تلاش کرنے میں مدد ملے گی۔

AI پاور کی مثال کے طور پر Claude Mythos کا نام بٹیرن نے Claude Mythos کا نام دیا، ایک AI ماڈل جسے Anthropic نے تیار کیا ہے، تیزی سے طاقتور AI سسٹمز کی مثال کے طور پر۔ اس کا استدلال ہے کہ اس طرح کے نظام خطرے کی دریافت اور استحصال کو تیز کر سکتے ہیں۔ کلاڈ میتھوس ایک حقیقی ماڈل ہے۔ اینتھروپک نے مارچ 2026 میں حادثاتی ڈیٹا لیک ہونے کے بعد اپنے وجود کی تصدیق کی۔ اپریل 2026 میں پارٹنرز کو منتخب کرنے کے لیے ماڈل کا ایک پیش نظارہ جاری کیا گیا تھا۔

Buterin رسمی توثیق کی حدود کی فہرست بناتا ہےButerin اس بات پر زور دیتا ہے کہ رسمی تصدیق تمام خطرات کو ختم نہیں کرتی۔ ثبوت کے نظام اہم مفروضوں کو کھو سکتے ہیں یا ہارڈ ویئر کی کمزوریوں اور ملحقہ حملے کی سطحوں کو پورا کرنے میں ناکام ہو سکتے ہیں۔ وہ یہ بھی خبردار کرتا ہے کہ AI بڑی مقدار میں سافٹ ویئر بنانے میں رکاوٹ کو کم کرتا ہے۔ اس سے یہ خطرہ بڑھ جاتا ہے کہ غیر محفوظ یا ناقص سمجھے جانے والے کوڈ کے پروڈکشن سسٹم میں داخل ہوتے ہیں۔ ان حدود کے باوجود، Buterin کا کہنا ہے کہ یہ نقطہ نظر روایتی سافٹ ویئر کی ترقی کے مقابلے میں تباہ کن خطرے کو کم کرتا ہے۔

Arklib پروجیکٹ کے اہداف تصدیق شدہ STARK کے نفاذ کو بٹرین نے Ethereum پر لاگو ہونے والے رسمی طریقوں کی ایک ٹھوس مثال کے طور پر Arklib کو نمایاں کیا۔ آرکلیب ایک اوپن سورس پروجیکٹ ہے جس کا مقصد اسٹارک پروف سسٹم کے مکمل طور پر تصدیق شدہ نفاذ کو تیار کرنا ہے۔ اسٹارک ایک قسم کا کرپٹوگرافک ثبوت ہے جو Ethereum کے اسکیلنگ انفراسٹرکچر میں استعمال ہوتا ہے۔ Ethereum فاؤنڈیشن نے Nethermind کو لین پروف اسسٹنٹ میں FRI پروٹوکول کو باقاعدہ بنانے کے ساتھ Arklib کو توسیع دینے کے لیے فنڈ فراہم کیا۔ بٹرین براہ راست RISC-V اسمبلی میں لکھی گئی Ethereum ورچوئل مشین کے باضابطہ طور پر تصدیق شدہ نفاذ کا بھی حوالہ دیتا ہے۔ بٹرین نے کلاؤڈ میتھوس کا نام دیا، ایک AI ماڈل جسے Anthropic نے تیار کیا ہے، جو کہ تیزی سے طاقتور AI سسٹمز کی ایک مثال ہے۔ اس کا استدلال ہے کہ اس طرح کے نظام خطرے کی دریافت اور استحصال کو تیز کر سکتے ہیں۔ کلاڈ میتھوس ایک حقیقی ماڈل ہے۔ اینتھروپک نے مارچ 2026 میں حادثاتی ڈیٹا لیک ہونے کے بعد اپنے وجود کی تصدیق کی۔ اپریل 2026 میں پارٹنرز کو منتخب کرنے کے لیے ماڈل کا ایک پیش نظارہ جاری کیا گیا تھا۔

Arklib پروجیکٹ کے اہداف تصدیق شدہ STARK کے نفاذ کو بٹرین نے Ethereum پر لاگو رسمی طریقوں کی ایک ٹھوس مثال کے طور پر Arklib کو نمایاں کیا۔ آرکلیب ایک اوپن سورس پروجیکٹ ہے جس کا مقصد اسٹارک پروف سسٹم کے مکمل طور پر تصدیق شدہ نفاذ کو تیار کرنا ہے۔ اسٹارک ایک قسم کا کرپٹوگرافک ثبوت ہے جو Ethereum کے اسکیلنگ انفراسٹرکچر میں استعمال ہوتا ہے۔ Ethereum فاؤنڈیشن نے Nethermind کو لین پروف اسسٹنٹ میں FRI پروٹوکول کو باقاعدہ بنانے کے ساتھ Arklib کو توسیع دینے کے لیے فنڈ فراہم کیا۔ بٹرین براہ راست RISC-V اسمبلی میں لکھی گئی Ethereum ورچوئل مشین کے باضابطہ طور پر تصدیق شدہ نفاذ کا بھی حوالہ دیتا ہے۔ Buterin زور دیتا ہے کہ رسمی تصدیق تمام خطرات کو ختم نہیں کرتی۔ ثبوت کے نظام اہم مفروضوں کو کھو سکتے ہیں یا ہارڈ ویئر کی کمزوریوں اور ملحقہ حملے کی سطحوں کو پورا کرنے میں ناکام ہو سکتے ہیں۔ وہ یہ بھی خبردار کرتا ہے کہ AI بڑی مقدار میں سافٹ ویئر بنانے میں رکاوٹ کو کم کرتا ہے۔ اس سے یہ خطرہ بڑھ جاتا ہے کہ غیر محفوظ یا ناقص سمجھے جانے والے کوڈ کے پروڈکشن سسٹم میں داخل ہوتے ہیں۔ ان حدود کے باوجود، Buterin کا کہنا ہے کہ یہ نقطہ نظر روایتی سافٹ ویئر کی ترقی کے مقابلے میں تباہ کن خطرے کو کم کرتا ہے۔