Google DeepMind का कहना है कि उसने AlphaProof Code से Signal प्रोटोकॉल के मशीन कोड का औपचारिक सत्यापन किया

Google DeepMind के Pushmeet Kohli ने घोषणा की कि उनकी टीम ने Signal मैसेजिंग प्रोटोकॉल के आधार में मौजूद मशीन कोड के प्रमुख सुरक्षा गुणों को सिद्ध किया है। DeepMind का कहना है कि किसी भी विधि से, इस गहराई तक, व्यापक रूप से इस्तेमाल किए जाने वाले प्रोटोकॉल के प्रोडक्शन कोड का औपचारिक सत्यापन पहली बार हुआ है। ये DeepMind के अपने दावे हैं।

इस काम में AlphaProof Code का इस्तेमाल हुआ, जिसे DeepMind औपचारिक सत्यापन के लिए एक नए एजेंटिक फ्रेमवर्क के रूप में बताता है। यह Gemini Carbon सहित LLM पर चलता है। DeepMind का कहना है कि सत्यापन डिवाइसों पर चलने वाले कोड तक पहुंचता है और इसमें लगभग एक महीना लगा, जबकि इसी तरह के प्रयासों में टीमों को मिलाकर दशकों का काम लग सकता है। इस काम में Signal टीम को साझेदार बताया गया है।

DeepMind अपनी औपचारिक विशिष्टताएँ और सत्यापन संबंधी कलाकृतियाँ ओपन-सोर्स कर रहा है, ताकि दूसरे लोग उन पर आगे काम कर सकें। 10 नवंबर की सुबह तक X पर पोस्ट को 1,297 लाइक मिले थे।