# Microsoft presenta Magnetar para demostrar la ejecución de programas

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

- URL canónica: https://newsverum.com/es/news/microsoft-magnetar-verifiable-computing-research-october-2026
- Publicación: Newsverum
- Sección: Tecnología
- País: Estados Unidos
- Publicado: 2026-10-15T20:19:53+00:00
- Actualizado: 2026-10-15T20:19:53+00:00
- Periodo de revisión de la fuente: 2026-10-15
- Otras ediciones: [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), [Deutsch](https://newsverum.com/de/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [Português](https://newsverum.com/pt/news/microsoft-magnetar-verifiable-computing-research-october-2026.md)

*La fuente no indica la fecha del acontecimiento; el periodo mostrado corresponde a la revisión de la fuente.*

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.

## Datos

### Microsoft presenta Magnetar para demostrar la ejecución de programas

Microsoft presenta Magnetar para demostrar la ejecución de programas

Metodología: Los resultados se atribuyen a la fuente; no se midió el rendimiento de forma independiente.

| date | label | description | status |
|---|---|---|---|
| 2026-10-15 | Publicación del informe de investigación | 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. | occurred |

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

## Fuentes

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

---

Cite la URL canónica indicada arriba. [Principios editoriales y correcciones](https://newsverum.com/es/editorial)