Microsoft Magnetar busca acelerar las pruebas de conocimiento cero
Microsoft Research afirma que su sistema Magnetar puede generar pruebas de la ejecución de programas convencionales con mayor rapidez, lo que podría reducir uno de los principales costes de la computación de conocimiento cero. Magnetar es compatible con programas compilados desde Rust, Go y C. En las pruebas comparativas de los investigadores, fue, de media, entre 10 y 39 veces más rápido que ciertos sistemas de generación de pruebas comparables, y la verificación tardó unos 12 milisegundos.
Magnetar se basa en funciones hash estándar, cuyo objetivo es reducir la dependencia de técnicas criptográficas que podrían ser vulnerables a futuros ataques cuánticos. En el ámbito de las cadenas de bloques, unas pruebas de conocimiento cero más rápidas y baratas podrían facilitar la computación verificable fuera de la cadena y aplicaciones más complejas. Sin embargo, es posible que las mejoras comunicadas no se reproduzcan directamente en los rollups de producción ni en todas las cargas de trabajo de los contratos inteligentes. La integración, el hardware y el tamaño de las pruebas siguen siendo factores importantes. La investigación también podría permitir que instituciones y agentes de IA verifiquen que el software ha seguido las instrucciones sin revelar datos privados.
Neutral
El anuncio constituye un avance tecnológico potencialmente significativo, pero no informa de un despliegue activo en una cadena de bloques, un acuerdo de adopción ni un cambio en la economía de una criptomoneda. Los resultados de referencia de Magnetar sugieren que demostrar la ejecución de programas ordinarios podría llegar a ser más rápido y menos costoso. Si el sistema se integra en la infraestructura de cadena de bloques, a largo plazo podría facilitar los cálculos verificables fuera de la cadena y las aplicaciones complejas.
En cuanto a la actividad de trading, es probable que el efecto inmediato sea limitado. El artículo no aporta pruebas de una demanda a corto plazo de un token concreto, de cambios en la actividad de la red ni de un impacto directo en las comisiones o los ingresos. Los traders podrían reaccionar positivamente ante la perspectiva general de una tecnología de conocimiento cero más eficiente, del mismo modo que los avances en la investigación sobre escalabilidad pueden mejorar el sentimiento en torno a la infraestructura de cadena de bloques. Sin embargo, históricamente los anuncios de investigación por sí solos han necesitado avances posteriores —como la integración en producción, un uso cuantificable y una adopción sostenida por parte de los desarrolladores— para generar efectos duraderos en el mercado.
A corto plazo, cualquier reacción probablemente se traduzca más en interés narrativo en todo el sector que en una revalorización basada en fundamentales, y las condiciones generales del mercado seguirán teniendo mayor influencia. A largo plazo, una implementación satisfactoria podría favorecer la escalabilidad de las cadenas de bloques y las aplicaciones orientadas a la privacidad. Los beneficios no están garantizados: el rendimiento en producción puede variar debido al hardware, los requisitos de integración, el tamaño de las pruebas y las diferencias entre cargas de trabajo. En conjunto, por ahora la noticia es neutral para el mercado, aunque podría aportar beneficios a largo plazo si va acompañada de adopción.