Aprende con Nexus (NEX): Construyendo una supercomputadora verificable para Internet
Introducción: Nexus está construyendo infraestructura para cálculos verificables a escala de Internet. Su visión central es permitir que computadoras de todo el mundo trabajen juntas como una sola red distribuida de probadores, generando pruebas de que los cálculos se ejecutaron correctamente. En el centro de esta visión se encuentra el Nexus zkVM, una máquina virtual de conocimiento cero diseñada para probar cálculos a gran escala de manera eficiente y hacer que la computación verificable sea práctica para desarrolladores y aplicaciones.
Por qué importa la computación verificable
Los sistemas digitales modernos dependen de la computación. Desde cadenas de bloques y aplicaciones financieras hasta sistemas de IA, servicios en la nube y plataformas de datos, los usuarios confían cada vez más en máquinas para procesar información y tomar decisiones. Sin embargo, en muchos casos, los usuarios deben confiar en que una computación se realizó correctamente.
Esto crea un desafío importante: ¿cómo puede alguien verificar el resultado de un cálculo sin volver a ejecutar todo el proceso por sí mismo?
El cálculo verificable ofrece una solución. En lugar de producir solo una salida, un sistema también puede generar una prueba criptográfica que demuestre que la salida fue generada correctamente. Esto significa que los usuarios, aplicaciones y redes pueden verificar el cálculo con certeza matemática.
Las pruebas de conocimiento cero llevan esta idea más lejos. Pueden demostrar que un cálculo se ejecutó correctamente sin revelar entradas privadas. Esto es especialmente importante para aplicaciones que involucran privacidad, datos financieros, identidad, IA e infraestructura de cadena de bloques.
Nexus se construye en torno a esta idea: un futuro donde la computación no solo se realiza, sino que también es verificable.
¿Qué es el Nexus zkVM?
El Nexus zkVM es una máquina virtual de conocimiento cero diseñada para probar cómputos de propósito general. En términos sencillos, permite a los desarrolladores ejecutar programas y generar pruebas concisas de que esos programas se ejecutaron correctamente.
A diferencia de los sistemas diseñados únicamente para programas pequeños o casos de uso limitados, el Nexus zkVM se enfoca en demostrar cálculos muy grandes, incluyendo cargas de trabajo con miles de millones de ciclos de CPU. Para lograr esto, utiliza la generación incremental de pruebas y la agregación de pruebas, lo que permite dividir un cálculo grande en piezas más pequeñas y demostrarlo paso a paso.
Esto es importante porque los sistemas tradicionales de conocimiento cero a menudo enfrentan limitaciones de rendimiento. Probar programas complejos puede ser costoso, lento y difícil de escalar. Nexus aborda esto diseñando un zkVM que puede soportar pruebas masivamente paralelizadas.
El proceso de ejecución del Nexus zkVM incluye varias etapas clave:
-
Compilación: Los programas se compilan en el conjunto de instrucciones de la Máquina Virtual Nexus.
-
Ejecución: El programa se ejecuta en la Máquina Virtual Nexus y genera un rastro de ejecución.
-
Folding: Las pruebas se generan y acumulan para bloques de cómputo de manera altamente paralelizada.
-
Compresión: La prueba acumulada final se comprime en una prueba sucinta.
Esta estructura permite que Nexus haga la comprobación a gran escala más práctica, manteniendo una experiencia amigable para desarrolladores.
La Máquina Virtual Nexus: Un modelo sencillo para la computación universal
En el núcleo del Nexus zkVM se encuentra la Máquina Virtual Nexus, o NVM.
El NVM es una arquitectura de CPU virtual simple, mínima y extensible. Está diseñada para admitir cómputo universal mientras maximiza el rendimiento del probador. En otras palabras, ofrece a los desarrolladores un modelo de cómputo de propósito general, pero mantiene la máquina lo suficientemente simple como para hacer la generación de pruebas más eficiente y más fácil de auditar.
El NVM utiliza un conjunto de instrucciones de 32 bits simple y un modelo de memoria directo. Este diseño es importante porque el rendimiento del zkVM depende en gran medida de la dificultad para probar cada paso de la máquina. Una máquina más sencilla puede ser más fácil de verificar, más fácil de optimizar y más adecuada para la generación a gran escala de pruebas.
Nexus también introduce coprocesadores zkVM. Estas son extensiones de instrucciones personalizadas diseñadas para acelerar operaciones específicas. Por ejemplo, funciones criptográficas como SHA-256 o ECDSA pueden ser costosas de probar si se emulan a través de instrucciones de CPU normales. Un coprocesador permite que el sistema maneje esas operaciones de manera más eficiente, similar a cómo el hardware especializado puede acelerar ciertas tareas.
Esto le da a Nexus dos ventajas al mismo tiempo:
-
Una máquina virtual de propósito general que puede admitir muchos tipos de programas.
-
Aceleración especializada para operaciones que normalmente son costosas de probar.
La Red Nexus: Una supercomputadora distribuida verificable
La red Nexus está diseñada para llevar el zkVM a escala internacional.
En lugar de depender de una sola máquina para generar pruebas, la Nexus Network agrega la potencia de CPU y GPU de muchas computadoras diferentes. Estas computadoras pueden trabajar juntas para producir y agrega pruebas en paralelo, convirtiendo el hardware distribuido en una supercomputadora verificable.
Esto es similar en espíritu a las grandes redes de cómputo voluntario, pero con una diferencia principal: Nexus se enfoca en cómputo verificable. La salida no es solo un resultado, sino una prueba de que el resultado fue calculado correctamente.
En el modelo Nexus, la generación de pruebas puede dividirse en muchos fragmentos más pequeños. Diferentes nodos pueden trabajar en distintas partes del cálculo, y las pruebas pueden acumularse en una estructura tipo árbol. Esto hace que el sistema sea escalable, ya que su capacidad de generación de pruebas puede crecer con el poder computacional total aportado por la red.
El whitepaper describe la Nexus Network como un paso hacia la unificación de las computadoras del mundo en un solo superordenador verificable. El objetivo a largo plazo es hacer que la generación de pruebas sea lo suficientemente rápida y económica para aplicaciones de producción real.
Por qué importa Nexus
Nexus es importante porque aborda uno de los mayores cuellos de botella en la tecnología de conocimiento cero: la escalabilidad.
Las pruebas de conocimiento cero son potentes, pero históricamente han sido difíciles de usar a gran escala. Los desarrolladores a menudo necesitan conocimientos especializados, circuitos personalizados o infraestructura de prueba costosa. Nexus busca reducir esta complejidad al proporcionar a los desarrolladores un entorno basado en zkVM donde pueden probar programas de manera más natural.
El proyecto también se enfoca en la implementación práctica. El Nexus zkVM y la Nexus Network son de código abierto y están implementados en Rust. El whitepaper describe el soporte para probar programas en Rust, con un flujo de desarrollador tan sencillo como probar y verificar a través de las herramientas de Nexus.
Si tiene éxito, Nexus podría respaldar una amplia gama de casos de uso:
-
Cómputo de IA verificable
-
Escala de la cadena de bloques y sistemas de prueba
-
Cómputo en la nube minimizado en confianza
-
Aplicaciones que preservan la privacidad
-
Flujos de trabajo financieros y de datos auditables
-
Mercados distribuidos a gran escala de prueba
En resumen, Nexus no solo está desarrollando otra herramienta de cadena de bloques. Está construyendo infraestructura para un futuro en el que la propia computación pueda verificarse.
Recompensas por referidos:
Invita a nuevos usuarios a unirse a la campaña Aprende y Gana y desbloquea recompensas adicionales. Por cada amigo invitado con éxito que se registre y complete las operaciones requeridas, recibirás un reembolso del 25% en comisiones. Cuantos más usuarios calificados invites, más recompensas podrás ganar. Para más detalles, consulta: https://www.kucoin.com/es/referral
Cómo invitar
Aviso: La información de esta página puede provenir de terceros y no necesariamente refleja las vistas u opiniones de KuCoin. Este contenido es solo para referencia y no constituye ninguna forma de representación o garantía, ni debe interpretarse como asesoramiento financiero o de inversión. KuCoin no es responsable de ningún error u omisión, ni de cualquier resultado derivado del uso de esta información. Invertir en activos virtuales puede implicar riesgos. Por favor, evalúa cuidadosamente los riesgos del producto y tu tolerancia al riesgo en función de tu situación financiera. Para más información, por favor consulta nuestras Condiciones de Uso y Declaración de Riesgos.