{"article_url":"https://newsverum.com/ar/news/microsoft-magnetar-verifiable-computing-research-october-2026","block":{"description":{"ar":"مايكروسوفت تعرض أبحاث Magnetar لإثبات تنفيذ البرامج","de":"Microsoft stellt Magnetar-Forschung zum Nachweis von Programmausführung vor","en":"Microsoft presents Magnetar research on proving program execution","es":"Microsoft presenta Magnetar para demostrar la ejecución de programas","fr":"Microsoft présente Magnetar pour prouver l’exécution des programmes","pt":"Microsoft apresenta pesquisa Magnetar para provar execução de programas","tr":"Microsoft Magnetar ile program yürütmesini kanıtlama araştırmasını açıkladı"},"id":"research-publication","items":[{"date":"2026-10-15","description":{"ar":"عرضت Microsoft Research في 15 أكتوبر نظام Magnetar لإنتاج براهين المعرفة الصفرية لبرامج مكتوبة بلغات Rust أو Go أو C ومترجمة لمعمارية RISC-V. ويهدف البحث إلى التحقق من التنفيذ دون كشف المدخلات أو إعادة الحساب.","de":"Microsoft Research stellte am 15. Oktober Magnetar vor, das Zero-Knowledge-Beweise für in Rust, Go oder C geschriebene und für RISC-V kompilierte Programme erzeugt. Die Forschung soll Ausführung ohne Offenlegung der Eingaben oder erneute Berechnung überprüfbar machen.","en":"Microsoft Research presented Magnetar on October 15, a system producing zero-knowledge proofs for programs written in Rust, Go or C and compiled for RISC-V. The research aims to let others verify execution without revealing inputs or rerunning the computation.","es":"Microsoft Research presentó el 15 de octubre Magnetar, que produce pruebas de conocimiento cero para programas escritos en Rust, Go o C y compilados para RISC-V. Busca verificar la ejecución sin revelar las entradas ni repetir el cálculo.","fr":"Microsoft Research a présenté le 15 octobre Magnetar, qui produit des preuves à divulgation nulle de connaissance pour des programmes Rust, Go ou C compilés pour RISC-V. La recherche vise à vérifier l’exécution sans révéler les entrées ni refaire le calcul.","pt":"A Microsoft Research apresentou em 15 de outubro o Magnetar, que produz provas de conhecimento zero para programas em Rust, Go ou C compilados para RISC-V. A pesquisa busca verificar a execução sem revelar entradas ou repetir o cálculo.","tr":"Microsoft Research, 15 Ekim’de Rust, Go veya C ile yazılıp RISC-V için derlenen programların yürütülmesine sıfır bilgi kanıtı üreten Magnetar sistemini tanıttı. Araştırma, girdileri açıklamadan veya işlemi yeniden çalıştırmadan sonuçların denetlenmesini hedefliyor."},"label":{"ar":"نشر تقرير البحث","de":"Veröffentlichung des Forschungsberichts","en":"Publication of the research report","es":"Publicación del informe de investigación","fr":"Publication du rapport de recherche","pt":"Publicação do relatório de pesquisa","tr":"Araştırma yazısının yayımlanması"},"status":"occurred"}],"methodology":{"ar":"تُنسب نتائج البحث إلى المصدر؛ ولم يُجرَ قياس مستقل للأداء.","de":"Die Ergebnisse werden der Quelle zugeschrieben; keine unabhängige Leistungsmessung.","en":"Reported research results are attributed to the source; no independent performance measurement was made.","es":"Los resultados se atribuyen a la fuente; no se midió el rendimiento de forma independiente.","fr":"Les résultats sont attribués à la source, sans mesure indépendante des performances.","pt":"Os resultados são atribuídos à fonte; não houve medição independente de desempenho.","tr":"Bildirilen araştırma sonuçları kaynağa atfedilmiştir; bağımsız performans ölçümü yapılmamıştır."},"sourceUrls":["https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar/"],"title":{"ar":"مايكروسوفت تعرض أبحاث Magnetar لإثبات تنفيذ البرامج","de":"Microsoft stellt Magnetar-Forschung zum Nachweis von Programmausführung vor","en":"Microsoft presents Magnetar research on proving program execution","es":"Microsoft presenta Magnetar para demostrar la ejecución de programas","fr":"Microsoft présente Magnetar pour prouver l’exécution des programmes","pt":"Microsoft apresenta pesquisa Magnetar para provar execução de programas","tr":"Microsoft Magnetar ile program yürütmesini kanıtlama araştırmasını açıkladı"},"type":"events","updatedAt":"2026-10-15T20:00:48+00:00"},"version":1}