La computación de propósito general basada en pruebas con Magnetar cuestiona el equilibrio de los zkVM

Microsoft Research presentó la computación de propósito general basada en pruebas con Magnetar el 15 de octubre, y afirmó alcanzar mejoras de velocidad de hasta 39 veces frente a máquinas virtuales de conocimiento cero comparables. El sistema puede demostrar programas escritos en lenguajes conocidos mientras mantiene ocultas las entradas privadas. También evita varios supuestos criptográficos que los diseños rivales aceptan para ganar rendimiento.

Esta combinación importa porque los sistemas de pruebas normalmente han obligado a los desarrolladores a elegir entre velocidad, generalidad y seguridad conservadora. Magnetar intenta eliminar esa elección. Microsoft afirma que puede demostrar programas RISC-V convencionales a millones de ciclos de procesador por segundo, con una seguridad basada en funciones hash estándar.

El rival inmediato no es una sola empresa. Es el equilibrio de ingeniería establecido detrás de sistemas como Jolt, SP1 y otros zkVM de propósito general. Algunos ofrecen pruebas más cortas, herramientas maduras para desarrolladores o perfiles de rendimiento diferentes. La afirmación de Magnetar es que los desarrolladores ya no necesitan asumir esos compromisos para hacer práctica la computación verificable.

La computación de propósito general basada en pruebas con Magnetar cambia el argumento del rendimiento

Magnetar importa porque combina código convencional, alta capacidad de generación de pruebas y seguridad poscuántica en un único sistema de investigación.

Una máquina virtual de conocimiento cero, o zkVM, demuestra que un programa se ejecutó correctamente sin exigir al verificador que lo vuelva a ejecutar. Cuando se activa el conocimiento cero, la prueba también puede ocultar las entradas privadas. Esto proporciona al destinatario evidencia sobre un resultado sin revelar los datos confidenciales subyacentes.

La investigación sobre Magnetar de Microsoft presenta el sistema como un avance en tres problemas relacionados. La generación de pruebas debe ser lo bastante rápida para cargas de trabajo realistas. Los desarrolladores deben poder utilizar programas normales en lugar de circuitos criptográficos construidos manualmente. La seguridad subyacente debe seguir siendo creíble durante la vida útil prevista del sistema.

Magnetar se dirige a programas compilados para RV64I, el conjunto básico de instrucciones enteras RISC-V de 64 bits. RISC-V proporciona al sistema un modelo de procesador convencional y acceso a una infraestructura de compiladores madura. Los desarrolladores pueden escribir software en Rust, Go o C, compilarlo y después demostrar la ejecución resultante.

Esto difiere de los sistemas de pruebas que exigen reescribir una aplicación como un circuito aritmético. Un circuito describe el cálculo mediante restricciones algebraicas que un sistema de pruebas puede procesar. Construir uno suele requerir conocimientos especializados, mientras que los cambios en la lógica de la aplicación pueden exigir el trabajo correspondiente en el circuito.

Un zkVM desplaza gran parte de esa carga al procesador virtual. El sistema de pruebas valida el comportamiento instrucción por instrucción del procesador, de modo que los programas pueden seguir una ruta de compilación estándar. Los desarrolladores todavía afrontan trabajo de integración, pero no necesitan expresar cada aplicación como un circuito personalizado.

Microsoft informa de que Magnetar demuestra entre 7,2 millones y 8,7 millones de ciclos por segundo en un MacBook Pro M4 Max. El experimento citado utilizó 12 núcleos de rendimiento y ejecuciones de 2²² ciclos. Las pruebas ocuparon aproximadamente 600 KiB y tardaron entre 11 y 13 milisegundos en verificarse.

Según se informa, una configuración optimizada alcanza entre 9,5 millones y 12,8 millones de ciclos por segundo. Microsoft afirma que esa mejora eleva sus aceleraciones comparativas medidas en aproximadamente 1,3 veces. Se trata de benchmarks de investigación, no de mediciones de servicios en producción.

El artículo técnico que acompaña al anuncio compara Magnetar con SP1 Hypercube, Jolt-Dory y Jolt-Akita en 15 cargas de trabajo. El conjunto de pruebas incluye hashing criptográfico, operaciones de árboles Merkle, firmas y transferencias de tokens dentro de un pequeño intérprete de Ethereum Virtual Machine.

Según esos resultados, Magnetar logró una ventaja de rendimiento medio geométrico de alrededor de 39 veces frente a SP1 Hypercube. Los promedios informados fueron aproximadamente 18 veces frente a Jolt-Dory y 9,6 veces frente a Jolt-Akita. Las comparaciones individuales variaron de forma sustancial según la carga de trabajo.

Estas cifras explican por qué el anuncio es más relevante que otro benchmark incremental de conocimiento cero. Magnetar no se limita a afirmar una ejecución más rápida en un circuito personalizado y limitado. Afirma que un sistema de propósito general basado en hashes puede superar alternativas construidas en torno a componentes criptográficos menos conservadores.

Ese argumento de rendimiento todavía tiene límites. Los benchmarks fueron realizados por el creador de Magnetar en una configuración de portátil. Los entornos de producción introducen distintos límites de memoria, patrones de concurrencia, costes de red y tamaños de aplicación. La replicación independiente determinará si la ventaja se mantiene en esas condiciones.

Aun así, los resultados informados cambian la carga de la prueba. Los sistemas basados en hashes a menudo se han considerado conservadores pero costosos. Magnetar afirma que los fundamentos conservadores y una velocidad competitiva de generación de pruebas pueden coexistir.

Los lenguajes estándar acercan las pruebas al software convencional

El cambio práctico no es simplemente una criptografía más rápida, sino una ruta desde el código de aplicación mantenido hasta una ejecución verificable.

La manera más sencilla de entender el zkVM de Magnetar es seguir un programa a través de él. Un desarrollador escribe una aplicación con un lenguaje compatible y la compila para RISC-V. Magnetar crea entonces evidencia de que la ejecución resultante del procesador siguió el programa especificado.

El verificador no repite cada instrucción. Comprueba una prueba compacta que representa la corrección de la ejecución. Microsoft afirma que esta verificación tarda unos 12 milisegundos en su configuración de benchmark, independientemente de la carga de trabajo mucho mayor representada por la prueba.

Esto cambia quién puede crear aplicaciones respaldadas por pruebas. Los circuitos personalizados concentran el conocimiento en equipos que comprenden tanto la aplicación como el sistema de pruebas. Un zkVM de propósito general permite a los ingenieros de software convencionales conservar más de sus prácticas existentes de lenguaje, compilador, pruebas y revisión de código.

La distinción es especialmente importante para el software que cambia con frecuencia. Las políticas empresariales, los flujos de datos, los intérpretes y las reglas de agentes evolucionan con el tiempo. Reconstruir circuitos personalizados para cada cambio puede convertir la garantía criptográfica en un cuello de botella de desarrollo.

Magnetar no hace desaparecer la ingeniería de pruebas. Los equipos deben elegir qué afirmaciones demostrar, definir entradas públicas y privadas, y operar la infraestructura de generación de pruebas. También deben verificar que el comportamiento compilado coincida con la política de alto nivel prevista.

En su lugar, el sistema desplaza la frontera de la especialización. Los criptógrafos pueden trabajar en el zkVM y su motor de pruebas, mientras que los desarrolladores de aplicaciones se orientan a una arquitectura de procesador conocida. Esa división se parece a la relación entre los ingenieros de compiladores y los programadores de aplicaciones.

Microsoft destaca un intérprete de Ethereum Virtual Machine como ejemplo. Una implementación de EVM escrita en Rust o Go puede ejecutarse dentro de Magnetar. La construcción resultante puede demostrar ejecuciones de contratos inteligentes existentes sin implementar cada contrato directamente como un nuevo circuito de pruebas.

Este enfoque es relevante más allá de las blockchains. Una institución financiera podría demostrar que un programa de procesamiento de transacciones aplicó reglas especificadas sin revelar cada transacción. Un servicio de datos podría demostrar que aplicó una transformación acordada a registros privados.

Los agentes de IA presentan otro posible uso. Un agente podría aportar evidencia de que una acción pasó por un programa de políticas definido. La prueba establecería la ejecución de esa política, aunque no demostraría automáticamente que la política fuera completa o sensata.

Esta salvedad es esencial. Una prueba confirma una afirmación codificada con precisión. No establece que los datos de origen fueran exactos, que la política capturara todos los riesgos ni que el sistema circundante no estuviera comprometido.

Por tanto, la computación basada en pruebas complementa las auditorías, los controles de acceso y la seguridad operativa. No los sustituye. Su contribución específica es reducir la confianza necesaria para un cálculo cuyas entradas y programa se han definido adecuadamente.

La expresión "Magnetar zkVM explicado" puede sonar como un tutorial de producto, pero la noticia importante es arquitectónica. Microsoft sostiene que la ejecución verificable debería convertirse en una propiedad de software convencional respaldada por compiladores, en lugar de una categoría de aplicación separada.

Esa ambición presiona a todos los proyectos de zkVM de propósito general. La experiencia del desarrollador ya no es suficiente si la generación de pruebas sigue siendo costosa. La velocidad bruta tampoco basta si depende de supuestos que los compradores esperan sustituir más adelante.

Magnetar vs Jolt expone el verdadero equilibrio criptográfico

La competencia central no es simplemente Magnetar vs Jolt en velocidad, sino hashes estándar frente a pruebas más cortas y supuestos alternativos.

Jolt es una comparación útil porque los proyectos comparten raíces intelectuales y arquitectónicas. Ambos utilizan RISC-V para admitir programas de propósito general, y ambos se basan en investigaciones que hacen menos costoso demostrar instrucciones de procesador y operaciones de memoria.

Jolt utiliza argumentos de búsqueda, que permiten a un sistema de pruebas establecer que los valores pertenecen a tablas predefinidas. Esto puede representar instrucciones de procesador de forma más eficiente que expresar cada instrucción mediante una gran colección de restricciones de bajo nivel.

El repositorio de Jolt de código abierto describe el proyecto como un zkVM RISC-V extensible. También califica el software actual como alfa e inadecuado para uso en producción. Esa advertencia ilustra la brecha más amplia entre una investigación de pruebas prometedora y una infraestructura fiable.

Microsoft evaluó dos configuraciones de Jolt. Jolt-Dory utiliza supuestos de curvas elípticas, mientras que Jolt-Akita utiliza criptografía basada en retículas. El artículo de Magnetar informa de que ambas generan pruebas de menos de 100 KiB, frente a las pruebas de aproximadamente 600 KiB de Magnetar.

Las pruebas más pequeñas pueden reducir los costes de almacenamiento y transmisión. Esa ventaja importa cuando las pruebas atraviesan redes con restricciones o se acumulan en grandes cantidades. El tamaño de las pruebas también puede afectar a cómo un sistema compone la verificación entre capas.

Magnetar acepta la prueba más grande a cambio de una base de seguridad más acotada. Microsoft afirma que su seguridad se basa en funciones hash estándar como SHA-256 o SHA-3. No depende de curvas elípticas, supuestos de retículas, hashes algebraicos especializados ni una configuración de confianza.

Una configuración de confianza es un proceso único que crea parámetros secretos para algunos sistemas de pruebas. Si el material secreto se conserva o se ve comprometido, un atacante podría falsificar pruebas. Los sistemas transparentes evitan esa ceremonia y la carga de gobernanza asociada.

Los sistemas de curvas elípticas pueden proporcionar pruebas compactas y verificación eficiente, pero ordenadores cuánticos con capacidad suficiente amenazarían su seguridad. Los sistemas basados en retículas están diseñados para resistir ataques cuánticos conocidos, aunque dependen de supuestos matemáticos diferentes.

La posición de Magnetar es más conservadora. Las funciones hash estándar han recibido décadas de análisis y despliegue. También aparecen en todo el software y hardware existentes, lo que ofrece a los implementadores rutas de optimización consolidadas.

Eso no hace infalibles a las funciones hash. Magnetar sigue dependiendo de sus propiedades de seguridad y de la corrección de su implementación. «Poscuántico» significa resistencia a los ataques cuánticos conocidos actualmente, no una garantía permanente frente a cualquier descubrimiento futuro.

No obstante, existe respaldo institucional para los diseños basados en hashes. NIST estandarizó SLH-DSA, un esquema de firma sin estado basado en hashes y derivado de SPHINCS+, en FIPS 205 durante 2024. Ese estándar aborda las firmas digitales, no las zkVM, pero muestra por qué las organizaciones consideran los hashes una base poscuántica conservadora.

SP1 Hypercube ofrece otro contraste. El artículo de Microsoft lo describe como «basado en hashes y más» porque su maquinaria central incluye supuestos que van más allá de la seguridad convencional de los hashes. Según los investigadores, las pruebas medidas de Magnetar fueron aproximadamente 4,6 veces más pequeñas que las de SP1 Hypercube.

La comparación de rendimiento es llamativa, pero no debe confundirse con una clasificación completa de productos. Las herramientas para desarrolladores, las instrucciones compatibles, la aceleración por hardware, los costes de recursión, la fiabilidad operativa y la integración con el ecosistema influyen en las decisiones de despliegue.

Por tanto, Magnetar frente a Jolt es una competencia entre paquetes de seguridad e ingeniería, no entre columnas aisladas de benchmarks. Las configuraciones de Jolt ofrecen pruebas notablemente más pequeñas. Magnetar afirma ofrecer un mayor rendimiento medido y menos supuestos subyacentes.

El resultado presiona a los competidores para que expliquen con mayor claridad sus decisiones. Un equipo que elige una zkVM ahora tiene motivos para preguntarse qué supuestos protegen al probador, con qué facilidad pueden cambiar esos supuestos y qué costes aparecen fuera del rendimiento destacado.

BinarySpartan convierte la seguridad conservadora en velocidad

El mecanismo central de Magnetar alinea la computación binaria, los hashes estándar y la verificación recursiva, en lugar de tratarlos como problemas separados.

Magnetar se basa en BinarySpartan, un sistema de pruebas que lleva el diseño Spartan anterior a campos binarios. Un campo binario representa valores mediante aritmética orientada a bits, lo que lo convierte en un entorno natural para la lógica de procesadores y las funciones hash estándar.

Spartan, presentado en 2019, proporcionó pruebas de propósito general sin requerir una configuración de confianza. Utilizaba un protocolo sum-check, que permite a un verificador comprobar un gran cálculo estructurado mediante un intercambio mucho menor de información algebraica.

Proyectos posteriores abordaron distintos cuellos de botella de rendimiento. Phalanx aprovechó la estructura repetida de la ejecución del procesador. Brakedown desarrolló un enfoque rápido de compromisos basado en hashes. Lasso, Twist, Shout y trabajos relacionados redujeron el coste de demostrar consultas y operaciones de memoria.

Magnetar combina estas líneas de investigación en lugar de depender de una única innovación aislada. Su descripción del procesador se beneficia de la estructura repetida del ciclo de instrucciones. Su comprobación de memoria utiliza técnicas diseñadas para lecturas y escrituras eficientes dentro de una prueba.

BinarySpartan también funciona con Ligerito, un esquema de compromisos derivado de Brakedown. Un compromiso permite a un probador vincularse a unos datos sin revelarlos de inmediato. Más tarde, el verificador puede comprobar las aperturas frente al valor comprometido.

La conmutación de anillos aporta otro componente. Permite al sistema comprometerse eficientemente con vectores de bits mientras se desplaza entre representaciones algebraicas adecuadas para distintas etapas. La técnica ayuda a conectar las trazas del procesador con la aritmética binaria del sistema de pruebas.

Estos componentes importan porque una zkVM debe demostrar más que instrucciones aritméticas. Debe dar cuenta de la decodificación de instrucciones, los registros, la consistencia de memoria, las bifurcaciones y la relación entre estados consecutivos de la máquina.

Históricamente, la memoria ha sido especialmente costosa. Una prueba debe mostrar que cada lectura devolvió el valor correcto escrito previamente, sin reproducir un sistema de memoria convencional dentro del verificador. Los argumentos de memoria eficientes comprimen esa comprobación de consistencia.

Magnetar también admite recursión, lo que significa que una prueba puede acreditar la verificación de otra prueba. Esto permite dividir un cálculo largo en partes manejables y luego combinarlas.

Los sistemas de pruebas recursivas a veces se enfrentan a un desajuste incómodo. La verificación utiliza operaciones que la máquina virtual del probador gestiona de forma ineficiente. Demostrar al verificador puede convertirse entonces en un coste importante.

Magnetar intenta evitar ese desajuste. Su trabajo de verificación consiste principalmente en la evaluación de hashes estándar y aritmética de campos binarios. Son las mismas operaciones que BinarySpartan está diseñado para demostrar eficientemente.

El resultado es una especie de alineación arquitectónica. El sistema demuestra el comportamiento ordinario de un procesador binario, protege los compromisos con hashes estándar y puede demostrar eficientemente su propio verificador. Cada capa refuerza el mismo modelo computacional.

Microsoft afirma que este diseño puede admitir cálculos de longitud arbitraria demostrando partes y plegándolas juntas. También señala los libros mayores y las blockchains de larga duración como posibles objetivos.

Longitud arbitraria no significa coste constante. Alguien todavía debe realizar el cálculo y generar cada segmento de prueba. La recursión cambia cómo escalan la verificación y la agregación, pero no elimina el trabajo de generación de pruebas.

El mecanismo sí explica la velocidad reportada. Magnetar no añade seguridad poscuántica a un diseño existente orientado a curvas. Organiza el procesador, los compromisos, los argumentos de memoria y la recursión en torno a operaciones favorables para los bits desde el principio.

Esa es la parte más sólida de Magnetar zkVM explicada como una historia de ingeniería. Sus afirmaciones de velocidad y seguridad proceden de la misma decisión de diseño, en lugar de dos optimizaciones no relacionadas.

Los benchmarks dejan importantes preguntas sin respuesta

Magnetar ha cambiado la comparación en investigación, pero aún no ha establecido preparación para producción ni superioridad universal.

La primera incertidumbre se refiere a la validación independiente. Las cifras de rendimiento disponibles proceden de Microsoft Research y de su artículo técnico. Equipos externos necesitan reproducir esos resultados con hardware, versiones de software e inputs de carga de trabajo comparables.

La selección de benchmarks también importa. Quince aplicaciones aportan más evidencia que una sola prueba sintética, pero no representan todas las cargas de trabajo de producción. Los programas intensivos en bases de datos, los intérpretes grandes, los patrones de memoria inusuales y los servicios sostenidos para múltiples usuarios pueden revelar distintos cuellos de botella.

El rendimiento por ciclo es solo una métrica. A los equipos también les importan el consumo máximo de memoria, la latencia de generación de pruebas, los costes de inicio, el escalado paralelo, la eficiencia en la nube y la recuperación ante fallos. Esos factores pueden dominar la economía de un probador desplegado.

El tamaño de prueba de 600 KiB merece especial atención. Es menor que la comparación del artículo con SP1 Hypercube, pero mayor que las pruebas reportadas de Jolt. Las aplicaciones que publican o transmiten grandes volúmenes de pruebas deben evaluar directamente esa diferencia.

La compatibilidad con lenguajes también requiere una interpretación cuidadosa. Rust, Go y C pueden compilarse a RISC-V, pero no todas las características del lenguaje, bibliotecas, llamadas al sistema operativo o comportamientos de ejecución funcionan automáticamente dentro de una zkVM. Un lenguaje fuente conocido no equivale a compatibilidad sin restricciones.

Los desarrolladores necesitan cadenas de herramientas documentadas, depuradores, soporte de perfilado, compilaciones reproducibles e informes claros de errores. La compatibilidad madura con compiladores ayuda, pero la zkVM sigue definiendo un entorno de ejecución restringido.

La revisión de seguridad continúa siendo otro requisito. La base de Magnetar puede depender solo de hashes estándar en la capa de supuestos criptográficos. La implementación sigue incluyendo un modelo de procesador, código de pruebas, compiladores, interfaces de host y lógica de aplicación.

Un fallo en cualquiera de esos componentes podría producir una afirmación incorrecta o una integración explotable. Las primitivas conservadoras reducen una categoría de riesgo. No eliminan la garantía de software del plan de despliegue.

La afirmación de resistencia cuántica también necesita una redacción precisa. Microsoft dice que Magnetar evita las curvas elípticas y se basa en funciones hash consideradas resistentes a los ataques cuánticos conocidos. Los algoritmos cuánticos aún pueden afectar el nivel de seguridad efectivo de los hashes, por lo que las elecciones de parámetros deben tener en cuenta esa reducción.

Microsoft sitúa Magnetar dentro de un esfuerzo de migración más amplio. Su cronograma de seguridad cuántica tiene como objetivo trasladar productos y servicios a criptografía poscuántica para 2029. Magnetar se alinea con esa dirección, pero el anuncio de investigación no lo convierte en un servicio desplegado de Microsoft.

Por lo tanto, la disponibilidad comercial es una cuestión importante aún abierta. El anuncio describe resultados de investigación e invita a las organizaciones a debatir casos de uso. No proporciona una fecha de lanzamiento para producción, un compromiso de nivel de servicio ni una hoja de ruta de despliegue amplia.

La ausencia de esos detalles no debilita el resultado técnico. Cambia lo que los compradores deberían inferir de él. Magnetar establece actualmente una nueva referencia de investigación, no un reemplazo listo para usar de la infraestructura de pruebas existente.

También existe una limitación semántica compartida por todos los sistemas de pruebas. Magnetar puede demostrar que un código especificado se ejecutó sobre inputs comprometidos. No puede determinar si el código representaba la política correcta o si una fuente de inputs decía la verdad.

Consideremos un agente de IA que demuestra el cumplimiento de una regla de aprobación. La prueba puede mostrar que la regla se ejecutó. No puede demostrar que una regla omitida debería haber bloqueado la acción, ni que una fuente externa de datos era precisa.

El mismo problema se aplica a las finanzas. Una prueba puede establecer que un programa de procesamiento de transacciones siguió restricciones codificadas sin revelar los detalles de las transacciones. Los reguladores y las contrapartes aún deben evaluar las reglas, la procedencia de los inputs, la gobernanza y las condiciones excepcionales.

Estas limitaciones deben orientar la adopción. La computación basada en pruebas es más sólida cuando la afirmación, el programa y los compromisos de inputs pueden definirse con precisión. Es más débil cuando las organizaciones esperan que la criptografía resuelva políticas ambiguas o datos poco fiables.

Tres señales mostrarán si Magnetar va más allá de la investigación

La próxima prueba será si desarrolladores independientes pueden reproducir las mejoras de Magnetar y convertirlas en aplicaciones duraderas.

La primera señal es evidencia de implementación pública. Investigadores y desarrolladores necesitan suficiente código, parámetros, inputs de benchmark e instrucciones de compilación para reproducir el rango de 7,2 millones a 8,7 millones de ciclos por segundo.

La reproducción en otros procesadores reforzaría el caso de rendimiento de Microsoft. Los resultados que varíen drásticamente entre configuraciones de hardware o memoria lo acotarían. Las comparaciones también deberían usar niveles de seguridad y definiciones de carga de trabajo equivalentes.

Este detalle importa porque los benchmarks de sistemas de pruebas son inusualmente sensibles a las elecciones de implementación. Una configuración puede intercambiar tamaño de prueba, memoria, seguridad o preprocesamiento por un mayor rendimiento. Etiquetas comparables no siempre significan garantías comparables.

La segunda señal es una aplicación real mantenida por un equipo ajeno al grupo de investigación. Un despliegue creíble debería utilizar código convencional de Rust, Go o C y generar pruebas bajo restricciones operativas realistas.

Un intérprete de EVM es una posible prueba. Un flujo de trabajo regulado de procesamiento de datos o un motor de políticas de agentes sería igualmente informativo. El ejemplo más sólido publicaría datos de latencia, uso de memoria, tamaño de prueba y fallos operativos.

Un despliegue así pondría a prueba la afirmación de que la computación de propósito general basada en pruebas con Magnetar reduce el trabajo especializado de desarrollo. La compatibilidad con compiladores, la depuración y los procedimientos de actualización importan tanto como el rendimiento de los benchmarks.

La tercera señal es la respuesta de los proyectos zkVM competidores. Jolt, SP1, RISC Zero y otros equipos pueden cuestionar los resultados de Microsoft mediante nuevos benchmarks, pruebas más pequeñas, aceleración por hardware o análisis de seguridad alternativos.

Una respuesta centrada únicamente en el máximo de ciclos por segundo reforzaría el planteamiento de Magnetar. Una respuesta que mostrara un menor coste total o una mayor fiabilidad en producción podría debilitarlo. El mercado necesita comparaciones que abarquen toda la cadena de generación de pruebas.

Los competidores también podrían adoptar componentes más conservadores. Si la seguridad basada en hashes estándar se convierte en un requisito de compra, los proyectos deberán ofrecer modos compatibles o explicar por qué sus supuestos constituyen una alternativa aceptable.

Por tanto, el trabajo de Microsoft podría influir en el diseño de las zkVM incluso sin convertirse en la implementación dominante. Eleva el nivel mínimo esperado para explicar conjuntamente los supuestos de seguridad, la compatibilidad de programación y los costes de recursión.

Los desarrolladores deberían estar atentos a una versión utilizable, conjuntos de pruebas comparativas independientes y aplicaciones que demuestren algo más que transacciones de criptomonedas. Esos acontecimientos mostrarían si la arquitectura se generaliza más allá de cargas de trabajo de investigación cuidadosamente controladas.

Los compradores empresariales deberían plantear otro conjunto de preguntas. ¿Qué afirmación exacta establece la prueba? ¿Qué datos de entrada permanecen privados? ¿Qué supuestos protegen la prueba y cómo responderá el sistema si esos supuestos cambian?

Los equipos que evalúan la tecnología también necesitan un registro duradero de las condiciones de las pruebas comparativas y de las decisiones de seguridad. Una base de conocimiento de ingeniería con capacidad de búsqueda puede conectar artículos, resultados de pruebas, notas de implementación y conclusiones de revisiones sin reducir la decisión a una sola cifra destacada.

La computación de propósito general basada en pruebas con Magnetar ya ha cuestionado un supuesto conocido: una seguridad poscuántica conservadora no exige necesariamente programas lentos y especializados. El siguiente paso es verificar Magnetar en sí. ¿Pueden equipos independientes reproducir las cifras, mantener aplicaciones convencionales y preservar la seguridad declarada bajo la presión de producción?