Anthropic, 28 Temmuz'da yayımlanmamış Claude Mythos Preview modelinin insan araştırmacıların kaçırdığı iki şifreleme algoritmasında daha önce bilinmeyen matematiksel zayıflıklar keşfettiğini açıkladı. İlk bulgu, ABD NIST standardizasyon sürecinde üçüncü tur adayı olan HAWK'ı hedef alıyor. İki yıl boyunca iki tam tur insan uzman incelemesinden geçmiş olmasına rağmen Claude, HAWK'ın temel örgüsünde daha hızlı bir anahtar numaralandırma saldırısını mümkün kılan ve şemanın etkinliğini yaklaşık iki kat zayıflatan derivedmayan bir otomorfizm buldu — HAWK-256 üzerindeki tam anahtar kurtarma saldırısı yaklaşık 2^64 işlemden yaklaşık 2^38'e düştü.

İkinci sonuç, en yaygın kullanılan simetrik şifre olan AES'i ilgilendiriyor. Claude, 7 round azaltılmış AES-128 için geliştirilmiş bir meet-in-the-middle saldırısı geliştirdi; bu, önceki en iyi bilinen saldırıdan 200 ila 800 kat daha hızlı çalışıyordu. Saldırı yaklaşık bir milyar çıktı tokenı hesaplama gücü gerektirdi ve yaklaşık 100.000 dolar API maliyetine mal oldu. Ancak gerçek kullanımdaki AES-128'in 10 round'u vardır, dolayısıyla sonuç, gerçek dünya verilerini koruyan şifrelemeyi değil, araştırmacılar tarafından incelenen kasıtlı olarak zayıflatılmış bir varyantı hedef alır.

Kritik olarak Anthropic, her iki sonucun da mevcut şifrelemeyi bozmadığını ve hiçbir üretim yazılımının değişiklik gerekmediğini vurguladı. HAWK yalnızca bir aday şemadır ve dağıtımda değildir; AES saldırısı ise yalnızca azaltılmış bir varyantı hedef alır. Johns Hopkins profesörü Matthew Green dahil bağımsız kriptograflar HAWK bulgusunu doğruladı.

Keşif süreci kendisi de dikkat çekicidir. HAWK saldırısı için Claude, örgü bazlı kriptografide uzman olmayan bir araştırmacıdan zaman zaman rehberlik alarak çoklu ajan iskeletinde yarı otonom olarak çalıştı. Anahtar fikir, birlikte çalışan iki işçi ajan tarafından keşfedildi — biri fikri erken reddetti ancak diğeri onu sömürmenin bir yolunu buldu ve mesajlaştıktan sonra her ikisi de saldırı konusunda anlaştı. Tüm keşif yaklaşık 60 saat sürdü.

AES saldırısı için süreç neredeyse tamamen otonomdu. Bir araştırmacı, Claude'un hipotezler ortaya koyması, deneyler yürütmesi ve saldırılar tasarlamasına olanak tanıyan bir iskelet oluşturdu. Başlangıçta Claude, iyileştirmenin imkansız olduğunu iddia ederek katılmayı reddetti. Gerçekten yeni fikirler aramaya yönelik hedefli teşviklerden sonra Claude, kendi ajan iskeletini yeniden yazdı ve üç gün boyunca otomatik olarak yüz milyonlarca token üretti; ardından bir saldırganın yapması gereken tahminlerden birini ortadan kaldıran Möbius Bridge adlı yeni bir teknik keşfetti.

Yarıtlar belirli bulguların ötesine geçiyor. Yapay zeka iki yıllık insan uzman incelemesinin kaçırdığı zayıflıkları bulabiliyorsa, yapay zeka destekli kripto analiz, gelecekteki kriptografik standartların değerlendirilmesinin standart bir parçası olmalıdır. Anthropic, ETH Zurich, Tel Aviv Üniversitesi ve TU Berlin ile birlikte LLM kripto analiz yeteneklerini değerlendirmek için CryptanalysisBench adlı bir benchmark oluşturdu. Şirket ayrıca ek ön sonuçlar da açıkladı: masaüstü bilgisayarda bir saatten kısa sürede çalışan 13 round'lu LEA'ya yönelik pratik bir saldırı ve 6 round'lu Serpent-128'de tam anahtar kurtarma saldırısı.

Kaynaklar