# Microsoft apresenta pesquisa Magnetar para provar execução de programas

> 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.

- URL canônica: https://newsverum.com/pt/news/microsoft-magnetar-verifiable-computing-research-october-2026
- Editora: Newsverum
- Seção: Tecnologia
- País: Estados Unidos
- Publicado: 2026-10-15T20:19:53+00:00
- Atualizado: 2026-10-15T20:19:53+00:00
- Período de análise da fonte: 2026-10-15
- Outras edições: [Türkçe](https://newsverum.com/tr/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [English](https://newsverum.com/en/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [العربية](https://newsverum.com/ar/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [Français](https://newsverum.com/fr/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [Español](https://newsverum.com/es/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [Deutsch](https://newsverum.com/de/news/microsoft-magnetar-verifiable-computing-research-october-2026.md)

*A fonte não informa a data do evento; o período exibido corresponde à análise da fonte.*

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.

## Dados

### Microsoft apresenta pesquisa Magnetar para provar execução de programas

Microsoft apresenta pesquisa Magnetar para provar execução de programas

Metodologia: Os resultados são atribuídos à fonte; não houve medição independente de desempenho.

| date | label | description | status |
|---|---|---|---|
| 2026-10-15 | Publicação do relatório de pesquisa | 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. | occurred |

Fontes: <https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar/> · Baixar dados: [JSON](https://newsverum.com/api/v1/articles/microsoft-magnetar-verifiable-computing-research-october-2026/data/research-publication?lang=pt&format=json) · [CSV](https://newsverum.com/api/v1/articles/microsoft-magnetar-verifiable-computing-research-october-2026/data/research-publication?lang=pt&format=csv)

## Fontes

- [Microsoft Research](<https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar/>) (Fonte verificada: 2026-10-15; Publicado: 2026-10-15)

---

Use a URL canônica acima para citar este artigo. [Princípios editoriais e correções](https://newsverum.com/pt/editorial)