Mythos-ის მიერ აღმოჩენილ ხარვეზს ჩინეთიდან შეუტიეს

ჩინეთთან დაკავშირებული ციფრული თავდამსხმელები მავნე ტრაფიკის გასატარებლად და საკუთარი ადგილმდებარეობის დასაფარად ხშირად გატეხილ მოწყობილობებს პროქსი სერვერებად იყენებენ. აპრილში 10 ქვეყნის უსაფრთხოების ერთობლივმა გაფრთხილებამ განაცხადა, რომ ჩინეთთან დაკავშირებული კიბეროპერატორები პროქსი ქსელებს „სტრატეგიულად და ფართო მასშტაბით“ იყენებდნენ.

ჰენლიმ თავის მიმოხილვაში დაწერა, რომ Horizon3 დაუცველობების კვლევისთვის Mythos-ს ივლისიდან იყენებს. სწორედ მაშინ შეუერთდა უსაფრთხოების კომპანია Project Glasswing-ს. მისი თქმით, კომპანიამ მას შემდეგ „ბევრი კრიტიკული დაუცველობა“ აღმოაჩინა.

ჰენლის თქმით, CVE-2026-61500 Mythos-ის ორ უნარს წარმოაჩენს, რომლებიც დაუცველობების აღმოჩენაში მოდელს განსაკუთრებით ეფექტიანს ხდის. Mythos მათემატიკურ განზოგადებებსა და სამეცნიერო ამოცანებში გამოირჩევა, განსაკუთრებით კომპიუტერულ მეცნიერებასა და საოპერაციო სისტემებთან დაკავშირებულ საკითხებში. ჰენლიმ დაწერა: „ამ CVE-ს აღმოჩენა აჩვენებს Mythos-ის შესაძლებლობებს მათემატიკის გააზრებაში, კრიპტოგრაფიული შეცდომების ექსპლუატირებადი ერთობლიობის გამოვლენასა და შეზღუდვების გადაჭრაში, რათა კოდის დისტანციურად გაშვება შესაძლებელი გამხდარიყო“.

უსაფრთხოების პრობლემა HFS-ის მიერ მომხმარებელთა ავთენტიფიკაციის მეთოდიდან მომდინარეობს. სისტემა Math.random()-ით შემთხვევით მნიშვნელობას ქმნის და მას HFS-ის საფუძვლად გამოყენებულ Node.js-ის ვებჩარჩო Koa-ს გადასცემს. Koa ამ შემთხვევითი მნიშვნელობით ყველა სესიის ფაილს keygrip-ის საშუალებით აწერს ხელს.

ჰენლის თქმით, თუ „თავდამსხმელი სესიის ხელმოწერის გასაღებს გამოითვლის, მას მოქმედი სესიის ფაილების გაყალბება შეუძლია“. ეს შეუძლებელი უნდა იყოს, თუ Math.random() უსაფრთხო ფსევდოშემთხვევითი რიცხვების გენერატორს იყენებს.

თუმცა V8-ის Math.random() უსაფრთხო ფსევდოშემთხვევითი რიცხვების გენერატორს არ იყენებდა. Mythos-მა აღმოაჩინა, რომ გამოყენებული xorshift128+ ალგორითმის შედეგის სრულად შებრუნება შეიძლებოდა. ამასთან, პროგრამა Math.random()-ის შედეგებს ამჟღავნებდა.

მოდელის ანალიზის თანახმად, გენერატორის საწყისი მნიშვნელობის აღდგენა Microsoft-ის მიერ შემუშავებული და საჯაროდ ხელმისაწვდომი Z3 ამომხსნელით შეიძლებოდა. Z3 დაკმაყოფილებადობის მოდულურ თეორიებზე დაფუძნებული ამომხსნელია. ჰენლიმ აღნიშნა, რომ Horizon3-ის მკვლევრებს არ ახსოვდათ რეალურ პროგრამაში კრიპტოგრაფიულ ხარვეზზე თავდასხმისა და ავთენტიფიკაციის გვერდის ავლისთვის ამ ტიპის ამომხსნელის მსგავსი გამოყენება.

ჰენლიმ დაწერა: „შთამბეჭდავი ისაა, რომ Mythos-მა მხოლოდ დაუცველი გენერატორი კი არ მონიშნა, არამედ ერთდროულად დაადგინა, რომ პროგრამა სხვა კოდის გზით Math.random()-ის დაუმუშავებელ შედეგებს ამჟღავნებდა. მან ეს ორი ფაქტი ერთ ჯაჭვად აღიქვა და განსაზღვრა, რომ გაჟონილი მონაცემები მდგომარეობის აღსადგენად საჭირო ზუსტ დაკვირვებებს იძლეოდა“.

თემებიზაკ ჰენლიპატრიკ გარიტიAnthropicHorizon3VulnCheckMicrosoftჩინეთიMythosRejetto HTTP File ServerProject Glasswing

გამოქვეყნდა 4 ოქტომბერი, 2026