مفهوم محاسبات قابل اعتماد یا Verifiable computation

محاسبات قابل اعتماد یا (Verifiable computation)، یک فناوری است که توسط گروه محاسباتی TCG توسعه یافته است. این اصطلاح از حوزه سیستم‌های قابل اعتماد گرفته شده است و معنای تخصصی دارد. به کمک محاسبات قابل اعتماد، رایانه همیشه به روش‌های مورد انتظار رفتار خواهد کرد و آن رفتارها توسط سخت‌افزار و نرم‌افزار رایانه اجرا می‌شوند. بدین منظور، سخت‌افزار با یک کلید رمزنگاری منحصربه‌فرد و غیرقابل‌دسترسی برای بقیه سیستم بارگذاری می‌شود.

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

طرفداران محاسبات قابل اعتماد مانند International Data Corporation, the Enterprise Strategy Group و Endpoint Technologies Associates ادعا می‌کنند که این فناوری باعث می‌شود رایانه‌ها ایمن‌تر شوند و کمتر مستعد ویروس‌ها و بدافزارها باشند و از دید کاربر نهایی قابل اطمینان‌تر باشند. آن‌ها همچنین ادعا می‌کنند که محاسبات قابل اعتماد به رایانه‌ها و سرورها اجازه می‌دهد امنیت رایانه‌ای را بهتر از آنچه در حال حاضر موجود است ارائه دهند. مخالفان غالباً ادعا می‌کنند که این فناوری در درجه اول برای اجرای سیاست‌های مدیریت حقوق دیجیتال است و برای افزایش امنیت رایانه مورد استفاده قرار نمی‌گیرد.

تولیدکنندگان تراشه‌های Intel و AMD، سازندگان سخت‌افزار مانند هیولت پاکارد وDell و ارائه‌دهندگان سیستم‌عامل مانند Microsoft، محاسبات قابل اعتماد را البته در صورت فعال شدن در محصولات خود دارند. ارتش آمریکا نیاز دارد که هر رایانه جدیدی که خریداری می‌کند با یک ماژول قابل اعتماد بستر نرم‌افزاری (TPM) ارائه شود. از تاریخ ۳ ژوئیه ۲۰۰۷، تقریباً کل وزارت دفاع ایالات متحده نیز چنین است.

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

با جزئیات بیشتر، مفهوم محاسبات قابل تایید یک کلاینت از نظر محاسباتی ضعیف را قادر می سازد تا محاسبه یک تابع دلخواه F را در ورودی های مختلف انتخاب شده به صورت پویا x_1,…,x_k به یک یا چند کلاینت “برون سپاری” کند. کلاینت های نتیجه ارزیابی تابع، به عنوان مثال، y_i=F(x_i)، و همچنین اثباتی مبنی بر اینکه محاسبه F به درستی بر روی مقدار داده شده x_i انجام شده است، برمی گردانند. محدودیت اصلی این است که تأیید اثبات باید به تلاش محاسباتی کمتری نسبت به محاسبه F(x_i) از ابتدا نیاز داشته باشد.

این مطلب صرفاً ترجمه از منبع ذکر شده بوده و مسئولیت آن با آکادمی هلاکوئی نمی‌باشد.

منبع: Microsoft