এআই এজেন্টগুলি হাতে তৈরি করা সুরক্ষা প্রমাণকে ভর্তি উৎপাদনে নিয়ে আসছে। v12 এবং Zellic বলছে এটি প্রথম প্রকাশিত প্রমাণ যা একটি সম্পূর্ণ x86 প্রোগ্রামের রানকে কভার করে, যা CPU যে রফট মেশিন কোড চালায় তার উপর চেক করা হয়েছে, যেমন নকশা নয়, বরং নির্মিত সেতুটি পরীক্ষা করা, এবং একটি দ্বিতীয় সদৃশ প্রোগ্রামের জন্য শুধুমাত্র 739টি নতুন লাইন দরকার হয়েছিল। কম্পাইলড প্রোগ্রামটিই সম্পর্কে একটি চেকযোগ্য সুরক্ষা গ্যারান্টি পাওয়াটা ভালো হবে, যেখানে বিশ্বাসের উপর ভিত্তি করে কম স্তরগুলি নেওয়া হয়। সবচেয়ে কঠিন অংশগুলি পুনরায় ব্যবহার করলে, পরবর্তী সদৃশ প্রোগ্রামটি যাচাইয়ের জন্য অনেক কম কাজের প্রয়োজন হয়, যা বড়পরিসরে কঠোরভাবে সুরক্ষা প্রমাণকে ব্যবহারযোগ্য করে তুলতে পারে! এটি গুরুত্বপূর্ণভাবে উল্লেখযোগ্য যে,এগুলি তাদেরই ফলাফল,এবংতারাস্বীকারকরছেযেতাদেরx86মডেলএখনওবিকাশাধীনএবংএখনওমানুষদ্বারাঅডিটকরাহয়নি,তবেএটিযদিএইস্কেলহয়তবেঅনেকদমকম। https://t.co/CS5gv6j3uz