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.
Período de análise da fonte: 2026-10-15
Publicado: · Atualizado:
A fonte não informa a data do evento; o período exibido é o da 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
- · ocorrido
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.
Metodologia
Os resultados são atribuídos à fonte; não houve medição independente de desempenho.
Atualizado:
Temas e lugares
Sugestões de temas
- Ciência e tecnologiaAnotação sugerida
- Preserved editorial category/topic; broad candidate onlywww.microsoft.com ↗
Referências geográficas
São exibidas apenas referências geográficas fornecidas pela fonte. Abrir um mapa externo é opcional. Os mapas opcionais das notícias usam o OpenStreetMap. Ao abrir um mapa, seu endereço IP e o endereço deste site são enviados ao provedor do mapa. Os dados de localização continuam disponíveis em texto sem carregar o mapa.
- Estados Unidos · Função do lugar: Cobertura · Tipo de lugar: país ou área · Precisão da localização: regionalEvidência
- Explicit preserved editorial country/region; no city or national centroid inferredwww.microsoft.com ↗