تقدم Magnetar في إثباتات المعرفة الصفرية يعزز الثقة في الحوسبة

أعلنت Magnetar عن تحقيق تقدم كبير في مجال إثباتات المعرفة الصفرية، حيث يمكن للبرامج المكتوبة بلغة Rust أو Go أو C الآن إنتاج إثباتات سريعة. هذه الإثباتات تسمح بالتحقق من صحة النتائج دون الحاجة لإعادة تشغيل البرنامج، مما يعزز الثقة في النتائج. تعتبر إثباتات المعرفة الصفرية طريقة جديدة لتأسيس الثقة في الحوسبة، حيث تنتج البرامج إثباتات صغيرة وسريعة يمكن التحقق منها في غضون مللي ثانية. هذا التقدم يمثل نتيجة لأكثر من عقد من البحث في Microsoft Research حول جعل هذه التقنية عملية.