एआई एजेंट्स सुरक्षा साबिती को हाथ से बनाए गए तरीके से बड़े पैमाने पर उत्पादन में ले रहे हैं। v12 और Zellic कहते हैं कि यह पहली प्रकाशित साबिती है जो एक पूरे x86 प्रोग्राम के चलने को कवर करती है, जिसे CPU द्वारा चलाए जाने वाले कच्चे मशीन कोड पर जांचा गया है, जैसे कि निर्मित पुल की जांच करना बजाय नक्शे की, और एक दूसरा समान प्रोग्राम केवल 739 नए पंक्तियों में लिया गया। यह अच्छा होगा अगर संकलित प्रोग्राम के बारे में एक जांचने योग्य सुरक्षा गारंटी मिल जाए, जिसमें कम स्तरों पर भरोसा किया जाए। सबसे कठिन हिस्सों का पुनःउपयोग करने से अगला समान प्रोग्राम सत्यापित करने में काफी कम काम करना पड़ता है, जिससे कठोर सुरक्षा साबिती को पैमाने पर व्यावहारिक बनाया जा सकता है! यह महत्वपूर्ण है कि ध्यान दें कि ये उनके अपने परिणाम हैं, और वे मानते हैं कि उनका x86 मॉडल अभी विकास के चरण में है और अभी तक मानव द्वारा समीक्षित नहीं हुआ है, लेकिन अगर यह स्केल होता है, तो यह काफी मजेदार होगा। https://t.co/CS5gv6j3uz