پژوهش
Microsoft Research از Magnetar برای اثبات اجرای برنامه‌های معمولی خبر داد
Magnetar با هدف ساده‌ترکردن استفاده از اثبات‌های دانش صفر، از زبان‌های برنامه‌نویسی رایج پشتیبانی می‌کند؛ Microsoft Research همچنین از افزایش چشمگیر سرعت و امنیت مقاوم در برابر رایانش کوانتومی می‌گوید.
Microsoft Research در معرفی Magnetar می‌گوید این سامانه می‌تواند اجرای برنامه را با یک اثبات رمزنگاری‌شده همراه کند؛ اثباتی که گیرنده با بررسی آن، بدون اجرای دوبارهٔ برنامه و بدون دیدن داده‌های محرمانهٔ ورودی، درستی خروجی را ارزیابی می‌کند. در اثبات‌های دانش صفر، خود اثبات اطلاعاتی دربارهٔ ورودی‌هایی که باید خصوصی بمانند فاش نمی‌کند.
به‌گفتهٔ این گروه، Magnetar برای آوردن این روش به کاربردهای عمومی طراحی شده و از زبان‌های برنامه‌نویسی استاندارد پشتیبانی می‌کند. Microsoft Research از افزایش چشمگیر سرعت و امنیت مقاوم در برابر رایانش کوانتومی نیز نام می‌برد، اما در اطلاعات ارائه‌شده عددی برای میزان بهبود سرعت یا جزئیات فنی این ادعاها وجود ندارد.
یکی از دشواری‌های رایج در سامانه‌های اثبات، نیاز به بازنویسی دستی برنامه به‌شکل «مدار رمزنگاری» است؛ کاری که می‌تواند ماه‌ها طول بکشد و با هر تغییر برنامه تکرار شود. رویکرد عمومی‌تر، اثبات اجرای یک پردازندهٔ معمولی است تا برنامه‌های کامپایل‌شده را بتوان همان‌طور که نوشته شده‌اند بررسی کرد. Microsoft Research می‌گوید تا همین اواخر، دستیابی به چنین عمومیتی با هزینهٔ محاسباتی بالا همراه بوده است.
این نوع اثبات می‌تواند در مواردی مانند بررسی پایبندی یک عامل هوش مصنوعی به سیاست‌های تعیین‌شده یا تأیید درستی پردازش تراکنش‌های مالی، بدون عمومی‌کردن اطلاعات تراکنش‌ها، کاربرد داشته باشد. منبع این موارد را به‌عنوان امکان‌های بالقوه مطرح می‌کند، نه کاربردهای اثبات‌شدهٔ Magnetar.
این گزارش به کمک هوش مصنوعی تهیه شده است. مطالب براساس منابع درج‌شده تنظیم شده‌اند؛ صحت مستقل همه ادعاها تضمین نمی‌شود.
منبع: Microsoft Research — مشاهده منبع اصلی ↗
رد این داستان در رادار
خبرهای مرتبط از آرشیو منتشرشده