N環球 
கிளாட் 180 மில்லியன் கோடுகள் கணித ஆதாரத்தை முதல் பெரிய அளவிலான AI இல் திறந்த மூல மென்பொருளின் முறையான சரிபார்ப்பில் எழுதுகிறார்
ஆந்த்ரோபிக்கின் அதிகாரப்பூர்வ ஆராய்ச்சி: தேற்றத்துடன், 123 திறந்த மூல நூலகங்கள் மற்றும் 239 நுழைவுப் புள்ளிகளில் RISC-V சட்டசபை மட்டத்தில் பாதுகாப்புப் பண்புகளை Claude முறையாகச் சரிபார்த்தார் - மேலும் டிரில்லியன் கணக்கான தானியங்கு சோதனைகளைத் தவிர்த்துவிட்ட நூற்றுக்கணக்கான பிழைகளைத் தோண்டி எடுத்தார்.
அது ஏன் முக்கியம்
முறையான சரிபார்ப்பு பல ஆண்டுகளாக நிபுணர்களால் மட்டுமே வாங்கக்கூடிய ஒரு ஆடம்பரமாக இருந்தது - seL4 மைக்ரோகர்னல் எழுதுவதற்கு 2 நபர்-ஆண்டுகள் மற்றும் சரிபார்க்க 20 நபர்-ஆண்டுகள் ஆகும். "டிரில்லியன் கணக்கான" தானியங்கு சோதனை ஓட்டங்களில் பிழைத்த பிழைகளைக் கண்டறியும் அதே வேளையில், ஒரு எல்லை மாதிரியானது வாரங்களில் நூற்றுக்கும் மேற்பட்ட உண்மையான திறந்த மூல நூலகங்களுக்கு இதைச் செய்ய முடியும் என்பதை ஆந்த்ரோபிக் இப்போது காட்டியுள்ளது.
முழு அறிக்கை
ஆந்த்ரோபிக் தனது அதிகாரப்பூர்வ ஆய்வுப் பக்கத்தில் அக்டோபர் 22 அன்று அறிவித்தது: மென்பொருள் சரிபார்ப்பு நிறுவனமான தேற்றத்துடன் இணைந்து, 239 நிரல் நுழைவுப் புள்ளிகளை உள்ளடக்கிய Google இன் OSS-Fuzz இலிருந்து வரையப்பட்ட 123 நிஜ-உலக திறந்த மூல நூலகங்களில் RISC-V அசெம்பிளி மட்டத்தில் Claude பாதுகாப்பு பண்புகளை முறையாகச் சரிபார்த்தார். நிறுவனம் "அசெம்பிளி குறியீடு மட்டத்தில் உற்பத்தி மென்பொருளுக்கு முறையான சரிபார்ப்பைப் பயன்படுத்த AI ஐப் பயன்படுத்துவதற்கான முதல் பெரிய அளவிலான முயற்சி" என்று அழைக்கிறது.
இந்த அளவுகோல் வியக்க வைக்கிறது: சுமார் 180 மில்லியன் வரிசைகள் Rocq ஆதாரங்கள், 600,000 கோடுகள் வரை இயங்கும் ஒரு பொதுவான ஆதாரம், 18,000 RISC-V வழிமுறைகளின் சராசரி நீளம் கொண்ட பைனரிகளை உள்ளடக்கியது - அனைத்தும் சில வாரங்களில் முடிக்கப்படும். Rocq கர்னல் தனித்தனியாக ஒவ்வொரு ஆதாரத்தையும் சரிபார்க்கிறது, எனவே கைமுறையாக வரிக்கு வரி மதிப்பாய்வு தேவையில்லை.
இந்த முறை ஏற்கனவே உள்ள fuzz சோதனைகளை கணித விவரக்குறிப்புகளாக மாற்றுகிறது: 64 MB க்குக் கீழ் உள்ள எந்த உள்ளீட்டிற்கும், Linux இல் ஒரு ஒற்றை-திரிக்கப்பட்ட நிலையான இணைக்கப்பட்ட RISC-V பைனரி எப்போதும் நினைவக-பாதுகாப்பு மீறல்கள் இல்லாமல் சாதாரணமாக வெளியேற வேண்டும். க்ளாட் ஒரு பிழையின் நடுநிலை ஆதாரத்தை சந்தேகித்தபோது, அது குறியீட்டை நேரடியாக இணைத்து புதிய விவரக்குறிப்பை மீண்டும் நிரூபித்தது.
வழியில் நூற்றுக்கணக்கான பிழைகள் வெளிப்பட்டன, டிகம்ப்ரஸர் நகலில் எதிர் கீழ்ப்பாய்வு, எல்லைக்கு வெளியே எழுதுவதற்கு வழிவகுத்தது (ஒரு அரிய தளவமைப்புடன் ~20 MB உள்ளீடுகளால் மட்டுமே தூண்டக்கூடியது), பட குறிவிலக்கியில் படிக்கப்பட்ட எல்லைக்கு அப்பாற்பட்டது, மற்றும் CVE-2026-56132 இல் சில வருடங்களில் vulked lubnerabpatilities இருந்தது.
ஆந்த்ரோபிக் தன்னை வரம்புகளை ஒப்புக்கொள்கிறது: நிறைவேற்றப்பட்ட முறையான சரிபார்ப்பு பிழை இல்லாததைக் குறிக்காது - சான்றுகள் ஒற்றை-திரிக்கப்பட்ட நிலையான RISC-V பைனரிகளை மட்டுமே உள்ளடக்கும், பெரும்பாலான குறியீடுகள் உண்மையில் x86/ARM இல் இயங்கும். இது சுயாதீன சரிபார்ப்புக்காக GitHub இல் ஆதாரங்களின் துணைக்குழுவை வெளியிட்டுள்ளது, மேலும் மற்ற திறந்த மூல திட்டங்களுக்கும் அதே பைப்லைனை இயக்கும் என்று தேற்றம் கூறுகிறது.
பக்க முடிவுகளும் குறிப்பிடத்தக்கவை: லினக்ஸ் கர்னலின் zlib செயல்படுத்தல் RFC 1950 க்கு x86 பைனரி அளவில் இணங்குவதாக நிரூபிக்கப்பட்டது, மேலும் ரஸ்டில் எழுதப்பட்ட பைதான் மொழிபெயர்ப்பாளரின் பெரிய துணைக்குழுவானது 1.7 மில்லியனுக்கும் அதிகமான சீரற்ற நிரல்களில் 99.95% CPython இன் நடத்தையைப் பொருத்தது.
💬 Comments
No comments yet. Be the first!