# مايكروسوفت تعرض أبحاث Magnetar لإثبات تنفيذ البرامج

> عرضت Microsoft Research في 15 أكتوبر نظام Magnetar لإنتاج براهين المعرفة الصفرية لبرامج مكتوبة بلغات Rust أو Go أو C ومترجمة لمعمارية RISC-V. ويهدف البحث إلى التحقق من التنفيذ دون كشف المدخلات أو إعادة الحساب.

- الرابط الدائم: https://newsverum.com/ar/news/microsoft-magnetar-verifiable-computing-research-october-2026
- الناشر: Newsverum
- القسم: التكنولوجيا
- البلد: الولايات المتحدة
- نُشر: 2026-10-15T20:19:53+00:00
- آخر تحديث: 2026-10-15T20:19:53+00:00
- فترة مراجعة المصدر: 2026-10-15
- النسخ الأخرى: [Türkçe](https://newsverum.com/tr/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [English](https://newsverum.com/en/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [Français](https://newsverum.com/fr/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [Español](https://newsverum.com/es/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [Deutsch](https://newsverum.com/de/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [Português](https://newsverum.com/pt/news/microsoft-magnetar-verifiable-computing-research-october-2026.md)

*لا يحدد المصدر تاريخ الحدث؛ الفترة المعروضة هي فترة مراجعة المصدر.*

عرضت Microsoft Research في 15 أكتوبر نظام Magnetar لإنتاج براهين المعرفة الصفرية لبرامج مكتوبة بلغات Rust أو Go أو C ومترجمة لمعمارية RISC-V. ويهدف البحث إلى التحقق من التنفيذ دون كشف المدخلات أو إعادة الحساب.

تعلن مايكروسوفت تسارعاً متوسطاً من 10 إلى 39 مرة مقارنة بأسرع الأنظمة السابقة المماثلة عبر 15 برنامج اختبار على الحاسوب المحمول نفسه. ويستند الأمان إلى دوال تجزئة معيارية؛ ويُطرح إثبات امتثال وكلاء الذكاء الاصطناعي للسياسات كاستخدام محتمل لا كخدمة مطبقة.

## البيانات

### مايكروسوفت تعرض أبحاث Magnetar لإثبات تنفيذ البرامج

مايكروسوفت تعرض أبحاث Magnetar لإثبات تنفيذ البرامج

المنهجية: تُنسب نتائج البحث إلى المصدر؛ ولم يُجرَ قياس مستقل للأداء.

| date | label | description | status |
|---|---|---|---|
| 2026-10-15 | نشر تقرير البحث | عرضت Microsoft Research في 15 أكتوبر نظام Magnetar لإنتاج براهين المعرفة الصفرية لبرامج مكتوبة بلغات Rust أو Go أو C ومترجمة لمعمارية RISC-V. ويهدف البحث إلى التحقق من التنفيذ دون كشف المدخلات أو إعادة الحساب. | occurred |

المصادر: <https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar/> · تنزيل البيانات: [JSON](https://newsverum.com/api/v1/articles/microsoft-magnetar-verifiable-computing-research-october-2026/data/research-publication?lang=ar&format=json) · [CSV](https://newsverum.com/api/v1/articles/microsoft-magnetar-verifiable-computing-research-october-2026/data/research-publication?lang=ar&format=csv)

## المصادر

- [Microsoft Research](<https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar/>) (تاريخ مراجعة المصدر: 2026-10-15; نُشر: 2026-10-15)

---

استخدم الرابط الدائم أعلاه عند الاقتباس. [معايير النشر والتصحيحات](https://newsverum.com/ar/editorial)