Google DeepMind فقط بخش‌های کلیدی سیگنال را از نظر ریاضی تأیید کرد

محققان Google DeepMind از هوش مصنوعی عاملی برای اثبات ریاضی یا «تأیید رسمی» تعدادی از ضمانت‌های رمزنگاری کلیدی پروتکل سیگنال استفاده کردند - یک پیشرفت برجسته برای رمزنگاری پرکاربرد و خود هوش مصنوعی.

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

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

مقاله کامل را بخوانید

نظرات