Magnetar acelera las pruebas de código común, pero no elimina el coste de la confianza

Microsoft Research ha publicado Magnetar, una zkVM transparente para programas compilados al conjunto de instrucciones RV64I. La prueba acredita una ejecución correcta sin repetir todo el cálculo y, según el uso, sin revelar datos sensibles.

RV64I convierte el circuito criptográfico en un destino de compilación

El diseño basa su seguridad en funciones hash estándar como SHA-256 o SHA-3 y no requiere trusted setup. La implementación en Rust declara 120 bits de seguridad. En un MacBook Pro con M4 Max y 12 núcleos de rendimiento alcanzó entre 6,5 y 7,7 millones de ciclos por segundo. Las pruebas ocupaban unos 600 KiB y se verificaban en 10 a 12 ms.

En 15 cargas de trabajo, los autores registraron entre 22 y 57 veces más rendimiento que SP1 Hypercube. Frente a dos variantes de Jolt, comunican una ventaja de 5 a 33 veces según el sistema y la tarea.

Un toolchain convencional rebaja la barrera para desarrollar

RV64I importa más que el récord aislado. Rust o Go pueden compilarse para una arquitectura general sin traducir cada aplicación a un circuito criptográfico especializado. Eso acerca el sistema a trabajos verificables en la nube, auditorías de cálculo y aplicaciones blockchain.

Una parte ejecuta el cálculo costoso una vez y las demás comprueban una prueba compacta. Si la integración conserva el flujo habitual de desarrollo, la criptografía puede convertirse en una pieza del despliegue y no en otro proyecto de investigación.

Ganar un benchmark no decide una compra de producción

Las cifras proceden de los autores y de una máquina concreta. Las comparaciones entre zkVM cambian con la carga, el compilador, la memoria, el paralelismo y el perfil de seguridad. Jolt produjo pruebas inferiores a 100 KiB en esta comparación, mientras Magnetar usa unos 600 KiB para ofrecer otra combinación de supuestos y rendimiento.

Postcuántico describe aquí la seguridad basada en funciones hash estándar. No garantiza por sí solo la seguridad de la aplicación, el compilador ni el código ejecutado dentro de la zkVM.

Los despliegues revelarán el coste de memoria y portabilidad

Harán falta pruebas reproducidas en servidores x86 y ARM, datos de memoria para tareas largas y un coste por prueba. También contará que equipos independientes ejecuten programas existentes en Rust y Go sin cambios extensos.

Las integraciones reales dirán si la criptografía rápida eliminó el cuello de botella o lo trasladó al compilador, las operaciones y la auditoría.

El veredicto de Lilith

Magnetar entrega al verificador un recibo de 600 KiB en lugar de repetir todo el cálculo. Ahora equipos independientes deben comprobar que la cuenta también cuadra fuera del laboratorio de Microsoft.