هوش مصنوعی DeepMind ادعای امنیت پرتکل Signal را اثبات کرد

پژوهشگران Google DeepMind از یک ابزار هوش مصنوعی نامیده شده AlphaProof Code برای «تأیید رسمی» پرتکل رمزنگاری Signal استفاده کردند. این پروژه که در چهار هفته انجام شد، می‌تواند اثباتی پیشتاز برای امنیت رمزنگاری باشد که در پیام‌رسانی‌های محبوبی مانند WhatsApp و Google Messages کاربرد گسترده‌ای دارد.

پژوهشگران اعلام کردند که در بخش‌هایی که مورد بررسی قرار گرفته، هیچ آسیب‌پذیری جدیدی کشف نشده است. سوورات شوهودی، دانشمند پژوهشی DeepMind، تأکید کرد که این کار نقطه عطفی است، اما تا رسیدن به هدف بزرگ‌تر یعنی تأیید رسمی «تمام نرم‌افزارهای جهان» راه درازی است. او افزود: «ما نمی‌خواهیم صرفاً به دنیایی برسیم که هوش مصنوعی اهداف و اثبات‌ها را خودش تولید می‌کند؛ میانگاهی وجود دارد که در آن انسان‌ها در نقاط کلیدی ورود می‌کنند."

آنها برای اطمینان از عملکرد ابزار، آن را بر نسخه‌های قدیمی Signal با آسیب‌پذیری‌های شناخته‌شده آزمایش کردند و نتیجه داد که ابزار به‌درستی قرائت غلط آن‌ها را کشف می‌کند. Signal CTO، ایهرنز کرِت، گفت که اگرچه کارهای پیشین تأیید رسمی بر بخش‌های کوچک‌تر تمرکز داشت، رویکرد DeepMind امکان «گسترش محسوسی» ایجاد می‌کند. با وجود همه این‌ها، سوال اصلی در صنعت فناوری این است که این روش‌ها می‌توانند به‌طور مقیاس‌پذیر و با هزینه‌ای معقول اجرا شوند. گوگل از ارائه هزینه‌ی این تحلیل پژوهشی یا ساخت یک محصول تجاری خودداری کرد.