Google DeepMind با استفاده از هوش مصنوعی و تأیید رسمی ریاضی، امنیت پروتکل رمزگذاری سیگنال را تأیید کرده است که در WhatsApp و Google Messages نیز استفاده می شود..
به گزارش سرویس هوش مصنوعی مجرداین پروتکل علاوه بر اپلیکیشن سیگنال در واتس اپ و پیام های گوگل نیز استفاده می شود. محققان این دستاورد را «یک پیشرفت و نقطه عطف مهم در این زمینه» توصیف کرده‌اند.
تایید رسمی امنیتی چگونه انجام می شود؟
اصطلاح “تأیید رسمی” به روشی اطلاق می شود که در آن امنیت یک الگوریتم یا پروتکل رمزنگاری با استفاده از روش های ریاضی اثبات یا رد می شود. این فرآیند بررسی می‌کند که آیا پروتکل تحت هر شرایطی با ادعاهای امنیتی خود مطابقت دارد یا خیر.
این روش استاندارد بسیار سخت‌گیرانه‌تر از تست‌های امنیتی سنتی در نظر گرفته می‌شود. آزمایش معمول تلاش می کند تا آسیب پذیری های بالقوه را پیدا کند، اما نمی تواند تضمین کند که هیچ آسیب پذیری دیگری وجود ندارد.
استفاده از هوش مصنوعی مبتنی بر عامل (Agentic AI) برای انجام تأیید رسمی یک پیشرفت بزرگ برای رمزنگاری و هوش مصنوعی است. با این حال، این فرآیند به قدرت پردازش زیادی نیاز دارد. به همین دلیل گوگل در مصاحبه ای با وب سایت Wired اعلام کرده است که هنوز مشخص نیست استفاده گسترده از این روش تا چه حد کاربردی و مقرون به صرفه خواهد بود.
محققان DeepMind تاکید می کنند که نتایج به دست آمده تنها یکی از مراحل یک فرآیند گسترده تر است. Swarat Chadhori، محقق DeepMind به Wired گفت: “ما در مورد این نتیجه بسیار هیجان زده هستیم، اما هنوز راه درازی در پیش است تا بتوانیم این روش را در مقیاس بزرگ برای همه نرم افزارهای جهان اعمال کنیم.” ما می خواهیم به این هدف برسیم.”
بیشتر بخوانید: موسسه DeepMind در مورد ایمنی و آینده AGI تحقیق می کند
امنیت پروتکل را تأیید کنید، نه همه بخش های برنامه
نکته مهم، بررسی Google DeepMind فقط امنیت خود پروتکل را تأیید کرد، نه همه بخش‌های برنامه سیگنال. با این حال، یک نکته امیدوارکننده در نتایج این تحقیق وجود دارد. زمانی که نسخه‌های قدیمی‌تر Signal که دارای آسیب‌پذیری‌های شناخته شده بودند مورد آزمایش قرار گرفتند، سیستم توانست آن مشکلات را شناسایی کند و آن نسخه‌ها را در فرآیند تأیید رسمی شکست دهد.
بیشتر بخوانید: OpenAI، Entropic و DeepMind برای مقابله با خطرات هوش مصنوعی مذاکره می کنند
همچنین لازم به ذکر است که در این تحقیق گوگل از برخی دستاوردهای قبلی در زمینه تایید رسمی استفاده کرده که بدون هوش مصنوعی انجام شده است. انجام این تحلیل چهار هفته طول کشید و هنوز میزان منابع محاسباتی مورد نیاز برای آن اعلام نشده است.
بنابراین نباید انتظار داشت که تعداد زیادی از پروتکل های رمزنگاری و سایر نرم افزارها به همین صورت در مدت زمان کوتاهی تایید شوند. با وجود این محدودیت ها، دستاورد جدید Google DeepMind گامی بسیار مهم در استفاده از هوش مصنوعی برای اثبات ریاضی امنیت نرم افزار تلقی می شود.
بیشتر بخوانید: مدیر عامل گوگل دیپ مایند: آمریکا باید در قوانین جهانی هوش مصنوعی پیشتاز باشد
گفتگو در مورد این post