گوگل دیپ‌مایند با کمک هوش مصنوعی امنیت پروتکل رمزگذاری سیگنال را تأیید کرد؛ پروتکلی که واتس‌اپ و گوگل مسیجز نیز از آن استفاده می‌کنند.
فهرست مطالب
گوگل دیپ‌مایند با استفاده از هوش مصنوعی و روش تأیید رسمی ریاضیاتی، امنیت پروتکل رمزگذاری سیگنال را تأیید کرده است، پروتکلی که در واتس‌اپ و گوگل مسیجز نیز به کار می‌رود.
به گزارش سرویس هوش مصنوعی تک‌ناک، این پروتکل علاوه بر اپلیکیشن سیگنال، در واتس‌اپ و پیام‌رسان گوگل (Google Messages) نیز استفاده می‌شود. پژوهشگران این دستاورد را «تحولی مهم و نقطه‌عطفی در این حوزه» توصیف کرده‌اند.
تأیید رسمی امنیت چگونه انجام می‌شود؟
اصطلاح «تأیید رسمی» (Formal Verification) به روشی گفته می‌شود که در آن امنیت یک الگوریتم یا پروتکل رمزنگاری با استفاده از روش‌های ریاضی اثبات یا رد می‌شود. این فرایند بررسی می‌کند که آیا پروتکل تحت تمام شرایط، ادعاهای امنیتی خود را برآورده می‌کند یا خیر.
این روش استانداردی بسیار سخت‌گیرانه‌تر از آزمایش‌های سنتی امنیتی محسوب می‌شود. آزمایش‌های معمول تلاش می‌کنند آسیب‌پذیری‌های احتمالی را پیدا کنند، اما نمی‌توانند تضمین کنند که هیچ آسیب‌پذیری دیگری وجود ندارد.
استفاده از هوش مصنوعی عامل‌محور (Agentic AI) برای انجام تأیید رسمی، پیشرفت بزرگی هم برای حوزه رمزنگاری و هم برای هوش مصنوعی به شمار می‌رود. بااین‌حال، این فرایند به توان پردازشی بسیار زیادی نیاز دارد. به همین دلیل، گوگل در گفت‌وگو با وب‌سایت وایرد اعلام کرده است که هنوز مشخص نیست استفاده گسترده از این روش تا چه اندازه عملی و مقرون‌به‌صرفه خواهد بود.
پژوهشگران دیپ‌مایند تأکید می‌کنند که نتایج به‌دست‌آمده تنها یکی از مراحل یک فرایند گسترده‌تر است. سوارات چادهوری، پژوهشگر دیپ‌مایند، به وایرد گفت: «از این نتیجه بسیار هیجان‌زده‌ایم، اما هنوز راه زیادی باقی مانده است تا بتوانیم این روش را در مقیاس گسترده برای تمام نرم‌افزارهای جهان به‌کار بگیریم. ما می‌خواهیم به این هدف برسیم.»
تأیید امنیت پروتکل، نه تمام بخش‌های اپلیکیشن
نکته مهم این است که بررسی گوگل دیپ‌مایند فقط امنیت خود پروتکل را تأیید کرده است، نه تمام بخش‌های اپلیکیشن سیگنال را. بااین‌حال، یک نکته امیدوارکننده در نتایج این پژوهش وجود دارد. هنگامی که نسخه‌های قدیمی‌تر سیگنال که آسیب‌پذیری‌های شناخته‌شده‌ای داشتند مورد آزمایش قرار گرفتند، سیستم توانست آن مشکلات را شناسایی کند و آن نسخه‌ها را در فرایند تأیید رسمی مردود اعلام کند.
همچنین باید توجه داشت که گوگل در این پژوهش از برخی دستاوردهای قبلی حوزه تأیید رسمی که بدون هوش مصنوعی انجام شده بودند، استفاده کرده است. انجام این تحلیل چهار هفته طول کشید و هنوز میزان منابع محاسباتی مورد نیاز آن اعلام نشده است.
بنابراین، نباید انتظار داشت که در مدت کوتاهی تعداد زیادی از پروتکل‌های رمزنگاری و نرم‌افزارهای دیگر نیز به همین روش تأیید شوند. با وجود این محدودیت‌ها، دستاورد جدید گوگل دیپ‌مایند گامی بسیار مهم در استفاده از هوش مصنوعی برای اثبات ریاضیاتی امنیت نرم‌افزارها محسوب می‌شود.