مهر تایید هوش مصنوعی گوگل بر امنیت سیگنال؛ ریاضیات جای شک را گرفت

در دنیایی که امنیت دیجیتال حرف اول را می‌زند، محققان گوگل دیپ‌مایند (Google DeepMind) گامی بزرگ در جهت اثبات صحت پروتکل‌های رمزنگاری برداشته‌اند. آن‌ها با بهره‌گیری از قدرت هوش مصنوعی، بخش‌های مهمی از کدهای زیربنایی پیام‌رسان سیگنال (Signal) را به‌صورت رسمی تایید کردند. این یعنی به جای اتکا به تست‌های معمول، حالا اثبات ریاضی وجود دارد که بخش‌های کلیدی این اپلیکیشن امن، دقیقاً همان‌طور که ادعا شده عمل می‌کنند و هیچ‌گونه حفره یا خطایی در منطق رمزنگاری آن‌ها وجود ندارد.

تایید رسمی کدها (Formal Verification) همواره فرآیندی بسیار پیچیده، زمان‌بر و دشوار بوده است. با این حال، تیم گوگل دیپ‌مایند با استفاده از ابزار AlphaProof Code و بهره‌گیری از مدل Gemini Carbon، توانستند این وظیفه سنگین را در مدت زمان تنها یک ماه به انجام برسانند؛ کاری که انجام دستی آن توسط متخصصان ممکن بود سال‌ها به طول بیانجامد. محققان این فرآیند را به دو بخش تقسیم کردند: انسان‌ها بر کار نظارت داشتند تا نقاط کلیدی برای اثبات مشخص شود و عامل‌های هوشمند مدل Gemini عملیات محاسباتی را اجرا کردند.

یکی از نکات قابل توجه این است که این هوش مصنوعی تنها ۱ درصد از کدها را برای بررسی انسانی علامت‌گذاری کرد که باعث صرفه‌جویی چشمگیری در زمان شد. برای اطمینان از دقت عملکرد این ابزار، محققان آن را با دو باگ قدیمی که پیش‌تر در سیگنال شناسایی و رفع شده بود، تست کردند و هوش مصنوعی توانست به‌درستی آن‌ها را شناسایی و اثبات کند.

اگرچه این تحقیق تمام کدهای سیگنال را پوشش نداده است، اما اولین باری است که از هوش مصنوعی برای تایید رسمی یک پروتکل رمزنگاری پرکاربرد در چنین سطحی استفاده می‌شود. این دستاورد تنها به سیگنال محدود نمی‌شود، زیرا پروتکل‌های مشابه در واتس‌اپ و Google Messages نیز استفاده می‌شوند. دیپ‌مایند قصد دارد کدهای خود را به صورت متن‌باز منتشر کند تا به دیگران در فرآیند تایید رسمی کمک کند و امیدوار است این تکنولوژی در آینده برای ایمن‌سازی سیستم‌های حیاتی دیگر، از تجهیزات پزشکی گرفته تا نرم‌افزارهای شبکه برق، مورد استفاده قرار گیرد.