Google DeepMind, Signal protokolünün makine kodunu AlphaProof Code ile biçimsel olarak doğruladığını söylüyor

Google DeepMind’den Pushmeet Kohli, ekibinin Signal mesajlaşma protokolünün temelindeki makine kodunun önemli güvenlik özelliklerini kanıtladığını duyurdu. DeepMind, yaygın biçimde kullanılan bir protokolün üretim kodunun bu derinlikte ve herhangi bir yöntemle ilk kez biçimsel olarak doğrulandığını söylüyor. Bunlar DeepMind’ın kendi iddialarıdır.

Çalışmada, DeepMind’ın Gemini Carbon dâhil LLM’ler üzerinde çalışan yeni bir biçimsel doğrulama ajan çerçevesi olarak tanımladığı AlphaProof Code kullanıldı. DeepMind, doğrulamanın cihazlarda çalışan koda kadar indiğini ve benzer çalışmaların ekiplerin toplamda onlarca yıllık çabasını gerektirebileceği hâlde yaklaşık bir ay sürdüğünü söylüyor. İş ortağı olarak Signal ekibine teşekkür ediyor.

DeepMind, başkalarının da bu çalışmalar üzerine inşa edebilmesi için biçimsel belirtimlerini ve doğrulama çıktılarını açık kaynak olarak yayımlıyor. Gönderi, 10 Kasım sabahı itibarıyla X’te 1.297 beğeni aldı.