AlphaProof Code, Signal'in kriptografik çekirdeğini dört haftada doğruluyor

Google DeepMind, yazılımın güvenlik spesifikasyonlarına hatasız uyduğunu matematiksel olarak kanıtlayan bir yapay zeka sistemi olan AlphaProof Code'u tanıttı. Araştırmacılar bunu Signal'ın şifreleme protokolünde gösterdi ve genellikle yıllar süren işi dört haftada tamamladı. Sistem, yalnızca teorik tasarımı değil, kullanıcıların cihazlarında çalışan gerçek kriptografik çekirdek kodunu da doğruladı.

Doğrulama nasıl işledi

Uzmanlar resmi güvenlik gereksinimlerini tanımladıktan sonra, Gemini Carbon tabanlı yapay zeka ajanları Lean kanıt dilinde altı milyondan fazla satır yazdı. Kod tabanının yaklaşık yüzde birini insan incelemesi için işaretlediler. Test için kasıtlı olarak yerleştirilen iki hata hemen yakalandı. AlphaProof Code'daki AI ajanları, ayrıca spesifikasyonları oluşturmaya yardımcı olur ve ardından program kodunun bunları karşıladığını bağımsız olarak kanıtlar.

Daha geniş etkiler

DeepMind araştırmacıları Pushmeet Kohli ve Swarat Chaudhuri'nin blog yazısına göre önceki doğrulama çabaları teorik tasarım aşamasında kaldı. Signal CTO'su Ehren Kret, yapay zekâ tehditleri arttıkça bu yaklaşımın veri gizliliğine duyulan güveni güçlendirdiğini söyledi. DeepMind, CodeMender gibi sistemler aracılığıyla yöntemi enerji şebekelerine ve tıbbi cihazlara genişletmeyi planlıyor.

Kaynak: The Decoder