{"article":{"annotation":{"article_id":"microsoft-magnetar-verifiable-computing-research-october-2026","available_at":"2026-10-15T20:20:12.429112Z","geography_revision":"ef6ee0010dda5fe7b240fd514749b43e214c57da73222d2e40ec83b276dd0977","id":"63c85a0ae46177ba023b65fb1d006f038daa2b3993dd1a16a3ef9e9340e21f22","input_sha256":"3711be69c7f4099a6a5aa73067eb2a07d87b51b36706c28e3a5b98103f67b9fe","limitations":["Rule-derived subjects are candidates, not verified editorial labels or calibrated model probabilities.","Coverage is distinct from event location. Unknown country/city/coordinates remain absent; no automatic geocoding.","Article geometries keep their stated precision and methodology; reproducing them is not independent coordinate verification."],"method":"controlled-rules-v1","places":[{"admin1":null,"city":null,"coordinate_note":null,"coordinate_reference_system":"OGC:CRS84","coordinate_source":null,"country":"US","evidence":[{"field":"country","language":"en","note":"Explicit preserved editorial country/region; no city or national centroid inferred","source_urls":["https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar/"]}],"geometry":null,"id":"iso3166-1:US","kind":"country-or-area","labels":{"ar":"الولايات المتحدة الأمريكية","en":"United States of America","es":"Estados Unidos de América","fr":"États-Unis d’Amérique"},"match_status":"candidate","precision":"regional","role":"coverage","uncertainty_m":null}],"rules_sha256":"fb5ad3c27c91cb840f7a0a05f7f64a5cb26ad0374409ff9457f277c7092e22b4","schema_version":1,"subjects":[{"concept_id":"medtop:13000000","confidence":null,"confidence_method":null,"evidence":[{"field":"category+topics","language":"en","note":"Preserved editorial category/topic; broad candidate only","source_urls":["https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar/"]}],"method":"controlled-rules-v1","rule_id":"technology-broad","status":"candidate"}],"taxonomy_revision":"1f2db31d811fca07e99b16d402c10e2cc2965c9df1c7b41d9be348b40a24e7fb","taxonomy_version":"IPTC Media Topics 2026-Q2"},"api_url":"https://newsverum.com/api/v1/articles/microsoft-magnetar-verifiable-computing-research-october-2026?lang=es","category":"technology","content":{"key_points":[],"paragraphs":["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.","Microsoft comunica mejoras medias de 10 a 39 veces frente a los sistemas anteriores comparables más rápidos, en 15 programas de prueba sobre el mismo portátil. La seguridad depende de funciones hash estándar; demostrar que un agente de IA cumple políticas se plantea como uso potencial, no como servicio implantado."],"sections":[]},"corrections":[],"country":"US","data":{"blocks":[{"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},"data_downloads":[{"formats":{"csv":"https://newsverum.com/api/v1/articles/microsoft-magnetar-verifiable-computing-research-october-2026/data/research-publication?lang=es&format=csv","json":"https://newsverum.com/api/v1/articles/microsoft-magnetar-verifiable-computing-research-october-2026/data/research-publication?lang=es&format=json"},"id":"research-publication"}],"data_types":["events"],"editorial_illustration":{"alt":"Ilustración conceptual de tecnología, procesadores e información conectada.","asset_id":"newsverum-v1-technology","avif_variants":[{"height":320,"url":"https://newsverum.com/assets/newsverum/illustrations/v1/technology-480.avif","width":480},{"height":480,"url":"https://newsverum.com/assets/newsverum/illustrations/v1/technology-720.avif","width":720},{"height":640,"url":"https://newsverum.com/assets/newsverum/illustrations/v1/technology-960.avif","width":960},{"height":800,"url":"https://newsverum.com/assets/newsverum/illustrations/v1/technology-1200.avif","width":1200},{"height":1024,"url":"https://newsverum.com/assets/newsverum/illustrations/v1/technology-1536.avif","width":1536}],"credit":"Newsverum","documentary":false,"height":1024,"kind":"symbolic-editorial-illustration","language":"es","scope":"topic","url":"https://newsverum.com/assets/newsverum/illustrations/v1/technology-1536.webp","variants":[{"height":320,"url":"https://newsverum.com/assets/newsverum/illustrations/v1/technology-480.webp","width":480},{"height":640,"url":"https://newsverum.com/assets/newsverum/illustrations/v1/technology-960.webp","width":960},{"height":1024,"url":"https://newsverum.com/assets/newsverum/illustrations/v1/technology-1536.webp","width":1536}],"width":1536},"event_id":"event-7bbc571e-9787-5e64-a136-d436475379a0","event_period":"2026-10-15","event_period_basis":"source-review","id":"microsoft-magnetar-verifiable-computing-research-october-2026","image":null,"importance":0.6,"language":"es","modified_at":"2026-10-15T20:19:53+00:00","publication_basis":"publication-record","published_at":"2026-10-15T20:19:53+00:00","reading_minutes":1,"region":"world","section_illustration":{"alt":"Ilustración conceptual de tecnología, procesadores e información conectada.","asset_id":"newsverum-v1-technology","avif_variants":[{"height":320,"url":"https://newsverum.com/assets/newsverum/illustrations/v1/technology-480.avif","width":480},{"height":480,"url":"https://newsverum.com/assets/newsverum/illustrations/v1/technology-720.avif","width":720},{"height":640,"url":"https://newsverum.com/assets/newsverum/illustrations/v1/technology-960.avif","width":960},{"height":800,"url":"https://newsverum.com/assets/newsverum/illustrations/v1/technology-1200.avif","width":1200},{"height":1024,"url":"https://newsverum.com/assets/newsverum/illustrations/v1/technology-1536.avif","width":1536}],"credit":"Newsverum","documentary":false,"height":1024,"kind":"symbolic-editorial-illustration","language":"es","scope":"section","url":"https://newsverum.com/assets/newsverum/illustrations/v1/technology-1536.webp","variants":[{"height":320,"url":"https://newsverum.com/assets/newsverum/illustrations/v1/technology-480.webp","width":480},{"height":640,"url":"https://newsverum.com/assets/newsverum/illustrations/v1/technology-960.webp","width":960},{"height":1024,"url":"https://newsverum.com/assets/newsverum/illustrations/v1/technology-1536.webp","width":1536}],"width":1536},"slug":"microsoft-magnetar-verifiable-computing-research-october-2026","sources":[{"checkedAt":"2026-10-15","name":"Microsoft Research","publishedAt":"2026-10-15","url":"https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar/"}],"summary":"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.","text":"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.\n\nMicrosoft 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.\n\nMicrosoft comunica mejoras medias de 10 a 39 veces frente a los sistemas anteriores comparables más rápidos, en 15 programas de prueba sobre el mismo portátil. La seguridad depende de funciones hash estándar; demostrar que un agente de IA cumple políticas se plantea como uso potencial, no como servicio implantado.","title":"Microsoft presenta Magnetar para demostrar la ejecución de programas","topics":[],"translations":[{"api_url":"https://newsverum.com/api/v1/articles/microsoft-magnetar-verifiable-computing-research-october-2026?lang=tr","language":"tr","url":"https://newsverum.com/tr/news/microsoft-magnetar-verifiable-computing-research-october-2026"},{"api_url":"https://newsverum.com/api/v1/articles/microsoft-magnetar-verifiable-computing-research-october-2026?lang=en","language":"en","url":"https://newsverum.com/en/news/microsoft-magnetar-verifiable-computing-research-october-2026"},{"api_url":"https://newsverum.com/api/v1/articles/microsoft-magnetar-verifiable-computing-research-october-2026?lang=ar","language":"ar","url":"https://newsverum.com/ar/news/microsoft-magnetar-verifiable-computing-research-october-2026"},{"api_url":"https://newsverum.com/api/v1/articles/microsoft-magnetar-verifiable-computing-research-october-2026?lang=fr","language":"fr","url":"https://newsverum.com/fr/news/microsoft-magnetar-verifiable-computing-research-october-2026"},{"api_url":"https://newsverum.com/api/v1/articles/microsoft-magnetar-verifiable-computing-research-october-2026?lang=es","language":"es","url":"https://newsverum.com/es/news/microsoft-magnetar-verifiable-computing-research-october-2026"},{"api_url":"https://newsverum.com/api/v1/articles/microsoft-magnetar-verifiable-computing-research-october-2026?lang=de","language":"de","url":"https://newsverum.com/de/news/microsoft-magnetar-verifiable-computing-research-october-2026"},{"api_url":"https://newsverum.com/api/v1/articles/microsoft-magnetar-verifiable-computing-research-october-2026?lang=pt","language":"pt","url":"https://newsverum.com/pt/news/microsoft-magnetar-verifiable-computing-research-october-2026"}],"url":"https://newsverum.com/es/news/microsoft-magnetar-verifiable-computing-research-october-2026"},"version":"1"}