مايكروسوفت تعرض أبحاث Magnetar لإثبات تنفيذ البرامج
عرضت Microsoft Research في 15 أكتوبر نظام Magnetar لإنتاج براهين المعرفة الصفرية لبرامج مكتوبة بلغات Rust أو Go أو C ومترجمة لمعمارية RISC-V. ويهدف البحث إلى التحقق من التنفيذ دون كشف المدخلات أو إعادة الحساب.
فترة مراجعة المصدر: 2026-10-15
نُشر: · آخر تحديث:
لا يحدد المصدر تاريخ الحدث؛ الفترة المعروضة هي فترة مراجعة المصدر.
عرضت Microsoft Research في 15 أكتوبر نظام Magnetar لإنتاج براهين المعرفة الصفرية لبرامج مكتوبة بلغات Rust أو Go أو C ومترجمة لمعمارية RISC-V. ويهدف البحث إلى التحقق من التنفيذ دون كشف المدخلات أو إعادة الحساب.
تعلن مايكروسوفت تسارعاً متوسطاً من 10 إلى 39 مرة مقارنة بأسرع الأنظمة السابقة المماثلة عبر 15 برنامج اختبار على الحاسوب المحمول نفسه. ويستند الأمان إلى دوال تجزئة معيارية؛ ويُطرح إثبات امتثال وكلاء الذكاء الاصطناعي للسياسات كاستخدام محتمل لا كخدمة مطبقة.
البيانات
مايكروسوفت تعرض أبحاث Magnetar لإثبات تنفيذ البرامج
مايكروسوفت تعرض أبحاث Magnetar لإثبات تنفيذ البرامج
- · حدث
نشر تقرير البحث
عرضت Microsoft Research في 15 أكتوبر نظام Magnetar لإنتاج براهين المعرفة الصفرية لبرامج مكتوبة بلغات Rust أو Go أو C ومترجمة لمعمارية RISC-V. ويهدف البحث إلى التحقق من التنفيذ دون كشف المدخلات أو إعادة الحساب.
المنهجية
تُنسب نتائج البحث إلى المصدر؛ ولم يُجرَ قياس مستقل للأداء.
آخر تحديث:
الموضوعات والأماكن
اقتراحات الموضوعات
- علوم وتكنولوجيامقترح
- Preserved editorial category/topic; broad candidate onlywww.microsoft.com ↗
المراجع الجغرافية
تُعرض المراجع الجغرافية الواردة في المصدر فقط. فتح الخريطة الخارجية اختياري. تستخدم خرائط الأخبار الاختيارية OpenStreetMap. يرسل فتح الخريطة عنوان IP وعنوان هذا الموقع إلى مزود الخرائط؛ وتظل بيانات الموقع مقروءة كنص دون تحميل الخريطة.
- الولايات المتحدة · دور المكان: تغطية · نوع المكان: بلد أو منطقة · دقة الموقع: إقليميالدليل
- Explicit preserved editorial country/region; no city or national centroid inferredwww.microsoft.com ↗