ای آئی ایجینٹس محفوظ ثبوت کو دستی سے بڑے پیمانے پر تیار کرنے کی طرف لے جا رہے ہیں v12 اور Zellic کہتے ہیں کہ یہ پہلا شائع شدہ ثبوت ہے جو ایک مکمل x86 پروگرام کے رن کو کور کرتا ہے، جسے CPU کے رن کرنے والے را ماشین کوڈ پر چیک کیا گیا ہے، جیسے کہ بلڈ کردہ پل کا جائزہ لینا بجائے منصوبے کا، اور ایک دوسرے مشابہ پروگرام کے لیے صرف 739 نئی لائنز درکار تھیں۔ مصنوعات کے خود پروگرام کے بارے میں چیک کرنا جا سکنے والا سیکورٹی گارنٹی حاصل کرنا بہت اچھا ہوگا، جس میں کم تر درجات پر اعتماد کی ضرورت ہو۔ مشکل حصوں کو دوبارہ استعمال کرنا اس بات کا مطلب ہے کہ اگلے مشابہ پروگرام کی تصدیق کے لیے بہت کم کام درکار ہوگا، جس سے سخت سیکورٹی ثبوت کو بڑے پیمانے پر عملی بنایا جا سکتا ہے! یہ نوٹ کرنا ضروری ہے کہ یہ ان کے اپنے نتائج ہیں، اور وہ تسلیم کرتے ہیں کہ ان کا x86 ماڈل ابھی ترقی کے مراحل میں ہے اور ابھی تک انسانی طور پر آڈٹ نہیں ہوا ہے، لیکن اگر یہ سکیل ہو جائے تو بہت دلچسپ ہوگا https://t.co/CS5gv6j3uz