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.
Periodo de revisión de la fuente: 2026-10-15
Publicado: · Actualizado:
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
- · Ocurrido
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.
Metodología
Los resultados se atribuyen a la fuente; no se midió el rendimiento de forma independiente.
Actualizado:
Temas y lugares
Propuestas temáticas
- Ciencia y tecnologíaSugerido
- Preserved editorial category/topic; broad candidate onlywww.microsoft.com ↗
Referencias geográficas
Solo se muestran referencias geográficas proporcionadas por la fuente. Abrir un mapa externo es opcional. Los mapas opcionales usan OpenStreetMap. Al abrirlos se envían tu dirección IP y la de este sitio al proveedor; los datos de ubicación pueden leerse sin cargar el mapa.
- Estados Unidos · Función del lugar: Cobertura · Tipo de lugar: País o área · Precisión de ubicación: RegionalEvidencia
- Explicit preserved editorial country/region; no city or national centroid inferredwww.microsoft.com ↗