አንትሮፒክ የነባር ፕሮጀክቶችን አስተማማኝነት እና ደህንነት በይፋ ለማረጋገጥ የAI ሞዴሎችን በመጠቀም የተደረጉ ሙከራዎችን ውጤት አቅርቧል። በሙከራው ወቅት፣ የAI ሞዴሎች በ OSS Fuzz መሠረተ ልማት ውስጥ ለተፈተኑ 123 ክፍት ምንጭ ቤተ-መጻሕፍት የማስታወስ ስህተቶች አለመኖራቸውን የሂሳብ ማረጋገጫዎችን ለማመንጨት ጥቅም ላይ ውለዋል።
ማረጋገጫው የተከናወነው ለRISC-V አርክቴክቸር በተጠናከረ የማሰባሰቢያ ኮድ ደረጃ ነው። የተፈጠሩት ማረጋገጫዎች ጠቅላላ መጠን ለRocq Prover የማረጋገጫ ስርዓት በግምት 180 ሚሊዮን የኮድ መስመሮች ነበር (በአንድ ሁለትዮሽ ፋይል በግምት 600 መስመሮች ከ18 የRISC-V መመሪያዎች ጋር)። ማረጋገጫዎቹ የተፈጠሩት ነባር የፉዚንግ ሙከራዎችን ወደ መደበኛ ዝርዝሮች በራስ-ሰር በመቀየር ሲሆን ከዚያ በኋላ የክላውድ AI ሞዴል ፕሮግራሙ እስከ 64 ሜባ ድረስ ለማንኛውም የግብዓት ውሂብ ምንም ጥፋት እንደሌለበት አረጋግጧል።
በማጣራት ግንባታ ሂደት ወቅት፣ የAI ሞዴል ቀደም ሲል በfuzz ሙከራ ያልተለዩ በመቶዎች የሚቆጠሩ ሳንካዎችን መለየት እና ጥገናዎችን ማዘጋጀት ችሏል። ከሌሎች ነገሮች በተጨማሪ፣ እነዚህ የተወሰኑ የግብዓት መረጃዎችን ሲያስኬዱ የ buffer overflowing ተጋላጭነቶችን (ለምሳሌ፣ በ libexpat ውስጥ CVE-2026-56132) እንዲሁም አመክንዮአዊ ስህተቶችን ያካትታሉ። በተጨማሪም፣ የAI ሞዴል የከርነል የzlib ስልተ ቀመር ትግበራን ማክበርን ለማረጋገጥ ጥቅም ላይ ውሏል። Linux የRFC 1950 ዝርዝር መግለጫዎች።
በሩስት ውስጥ የፓይዘን ንዑስ ስብስብ አስተርጓሚም ተፈጥሯል፣ ለዚህም የቬረስ መሣሪያ ስብስብን በመጠቀም ከሲፒቶን ትርጉሞች ጋር የሚጣጣም መደበኛ ማረጋገጫ ተዘጋጅቷል። ባህሪን ከሲፒቶን ጋር ለማነፃፀር ከ1.7 ሚሊዮን በላይ የዘፈቀደ የፈጠሩ የፓይዘን ፕሮግራሞች ተከናውነዋል። በ99.95% ጉዳዮች፣ እነዚህን ፕሮግራሞች በአዲሱ ትግበራ እና በሲፒቶን ውስጥ የመተግበር ውጤቶች ተዛማጅ ናቸው፣ እና የተገኙት ማናቸውም ልዩነቶች የታወቁ የጠርዝ ጉዳዮች ነበሩ።
መደበኛ ማረጋገጫ የዝርዝር መስፈርቶችን ማክበርን ያረጋግጣል፣ ነገር ግን የደህንነት ችግሮችን ሙሉ በሙሉ አያስወግድም፣ ምክንያቱም በብዙ ክር ላይ በሚፈጠሩ ችግሮች፣ በተለዋዋጭ አገናኝ እና በእውነተኛ ሃርድዌር ላይ ያልተለመዱ ባህሪያት ምክንያት የሚከሰቱ አደጋዎች መደበኛ ያልሆኑ ሆነው ይቀጥላሉ። የታቀደው አቀራረብ ቁልፍ ጥቅም ከባይነሪ ፋይሎች ጋር በቀጥታ የሚሰራ መሆኑ ሲሆን አሁን ያለውን ኮድ በመደበኛ ቋንቋ እንደገና የመፃፍ አስፈላጊነትን ያስወግዳል።
ምንጭ: opennet.ru
