{"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=pt","category":"technology","content":{"key_points":[],"paragraphs":["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.","A Microsoft informa ganhos médios de 10 a 39 vezes sobre os sistemas anteriores comparáveis mais rápidos, em 15 programas de teste no mesmo notebook. A segurança depende de funções hash padrão; provar o cumprimento de políticas por um agente de IA é uma aplicação potencial, não um serviço implementado."],"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=pt&format=csv","json":"https://newsverum.com/api/v1/articles/microsoft-magnetar-verifiable-computing-research-october-2026/data/research-publication?lang=pt&format=json"},"id":"research-publication"}],"data_types":["events"],"editorial_illustration":{"alt":"Ilustração conceitual de tecnologia, processadores e informações conectadas.","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":"pt","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":"pt","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":"Ilustração conceitual de tecnologia, processadores e informações conectadas.","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":"pt","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":"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.","text":"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.\n\nA 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.\n\nA Microsoft informa ganhos médios de 10 a 39 vezes sobre os sistemas anteriores comparáveis mais rápidos, em 15 programas de teste no mesmo notebook. A segurança depende de funções hash padrão; provar o cumprimento de políticas por um agente de IA é uma aplicação potencial, não um serviço implementado.","title":"Microsoft apresenta pesquisa Magnetar para provar execução 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/pt/news/microsoft-magnetar-verifiable-computing-research-october-2026"},"version":"1"}