اثبات امنیت واتس‌اپ و سیگنال توسط گوگل دیپ‌مایند؛ مهر تایید بر رمزنگاری

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

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

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

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