Magnetar, de Microsoft Research: pruebas 10 a 39 veces más rápidas

Un resultado informático suele llegar acompañado de una pregunta: ¿el programa se ejecutó realmente como se afirma? Hoy la respuesta descansa en la confianza en quien lo ejecutó, respaldada por contratos, auditorías y registros. Las pruebas de conocimiento cero ofrecen otro camino. El programa se ejecuta y, junto con su resultado, produce un certificado criptográfico breve. Quien lo posea puede confirmar el resultado en milisegundos, sin volver a ejecutar el programa y sin ver los datos que utilizó.

La idea data de los años ochenta, pero tres obstáculos impidieron que se convirtiera en una herramienta general. Generar una prueba ha requerido históricamente millones de veces más cálculo que ejecutar el propio programa. Muchos sistemas también obligaban a los desarrolladores a reescribir su programa a mano como circuito criptográfico, una descripción aritmética fija de un cálculo exacto, una tarea que lleva meses y que hay que rehacer con cada cambio. Y muchas pruebas se apoyan en curvas elípticas, que un ordenador cuántico suficientemente potente podría romper. El Programa de Seguridad Cuántica de Microsoft trasladará sus productos y servicios a la criptografía poscuántica, un objetivo que la compañía acaba de adelantar a 2029.

Microsoft Research lleva más de una década trabajando en el problema. Su sistema Spartan, de 2019, retomó el enfoque de suma por comprobación (sum-check) y lo hizo funcionar con programas generales sin una configuración de confianza, un paso inicial secreto cuya filtración permitiría falsificar pruebas. Phalanx, en 2021, aprovechó la repetición, como un procesador que ejecuta el mismo ciclo de instrucciones en cada paso, para probar cálculos un orden de magnitud más rápido. Magnetar, anunciado el 15 de octubre de 2026, demuestra programas escritos en Rust, Go o C y basa su seguridad únicamente en funciones hash estándar.

La cifra principal es que Magnetar funciona entre 10 y 39 veces más rápido, de media, que los sistemas comparables más veloces anteriores. Esas cifras proceden del propio anuncio de Microsoft Research. La publicación describe un sistema de investigación y no menciona ningún producto basado en él.

Para los agentes de IA que actúan en nombre de alguien, la idea es que cada acción pueda incluir una prueba de que cumplió la política que se le asignó. Para las entidades financieras reguladas, demostraría que las transacciones se procesaron correctamente sin hacerlas públicas. Microsoft Research presenta ambos usos como posibles una vez que generar una prueba sea tan rutinario como ejecutar el programa, y no pone fecha a ese momento.