En los últimos días, el proyecto Nexus @NexusLabs ha tenido una gran popularidad, gracias a la conveniencia de su interacción de airdrop 'un clic para minar' y las enormes perspectivas del proyecto, por lo que busqué información y aprendí un poco, también lo comparto con todos ustedes. #Nexus #NEX #zkVM
Nexus se autodenomina una red de minería de ZK (pruebas de conocimiento cero) a gran escala, fundada por Daniel Marin, Jens Groth y otros, cuyos fundadores tienen un sólido trasfondo en computación y criptografía.
Desde el inicio del proyecto en 2022, la financiación total del proyecto ha sido de 27.2 millones de dólares, liderada por conocidos VC como Pantera Capital, Dragonfly, entre otros.
Para entender la frase 'red de minería de pruebas de conocimiento cero (ZK) a gran escala', es necesario conocer ZK, a continuación se presenta un resumen sencillo del conocimiento ZK y por qué blockchain necesita ZK.
📌 El proyecto Nexus se puede dividir en dos partes para su discusión:
Uno, Nexus zkVM
zkVM se entiende simplemente como introducir cualquier programa o cálculo en zkVM, y este devolverá un proceso y resultado de prueba ZK.
No es necesario que los desarrolladores aprendan criptografía o técnicas complejas de desarrollo de conocimientos cero, pero la construcción de zkVM en sí es muy complicada. Por lo tanto, el complejo Nexus zkVM puede ayudar a los desarrolladores que necesitan pruebas ZK a ahorrar mucho tiempo.
El proceso principal de prueba es el siguiente (aquí no se explorará el principio específico de prueba ZK, solo se discutirá el proceso de generación de prueba en Nexus zkVM):
1、escribir -> compilar
El desarrollador primero escribe un programa ordinario en Rust, utiliza herramientas de precompilación para procesarlo y luego usa la herramienta de compilación proporcionada por Nexus (Nexus Compiler) para compilarlo en código ejecutable dirigido al conjunto de instrucciones de la máquina virtual Nexus (NVM).
Distinguir entre NVM y Nexus zkVM
Nexus Compiler compila lenguajes de alto nivel o DSL (Lenguaje Específico de Dominio) en una secuencia de instrucciones de bajo nivel lo más simple y eficiente posible, para maximizar el rendimiento de la prueba posterior.
2、ejecutar y generar trazas de ejecución
Una vez completada la compilación, el programa se ejecuta en el entorno NVM, y todo el proceso de ejecución se registra como una serie de 'trazas de ejecución'. Esta traza contiene información sobre los cambios de estado, accesos a la memoria y más, preparando para la generación de pruebas posteriores.
3、fragmentación y distribución
NVM dividirá toda la traza de ejecución en varios bloques (chunks), luego el orquestador en la red Nexus distribuirá estos bloques a diferentes nodos participantes. Esto permite el cálculo paralelo en una red de gran escala, aumentando la velocidad y eficiencia de generación de pruebas.
4、pruebas paralelas y agregación
Cada nodo genera pruebas de manera independiente para los bloques de trazas que le corresponden (pruebas parciales).
Estas pruebas parciales finalmente serán agrupadas por el orquestador en la red en una prueba de conocimiento cero unificada y simplificada, demostrando la correcta ejecución del programa original en Rust.
Debido a la adopción de un enfoque de SNARK recursivo y de gran escala, el resultado final de la prueba es muy pequeño, pero puede garantizar la corrección del proceso de cálculo.
Anexo: mecanismo de verificación de consistencia de memoria
Nexus zkVM utiliza un método de compromiso vectorial (vector commitment) basado en árboles de Merkle para rastrear y verificar la corrección de las lecturas y escrituras de la memoria global.
Durante el proceso de cálculo verificable incremental (IVC) en varias ocasiones, esta estructura de árbol de Merkle puede garantizar la corrección y consistencia de cada acceso a la memoria, asegurando que el estado global de los nodos no sufra alteraciones o inconsistencias.
Dos, Nexus Network
Nexus Network es la red que maneja los 'bloques de trazas de ejecución', compuesta por varios nodos de cálculo y orquestadores.
El orquestador es principalmente responsable de coordinar los recursos de la red, distribuir tareas de verificación de bloques a diferentes nodos, verificar el trabajo completado por los nodos y gestionar los puntos de recompensa actuales.
Los nodos de cálculo necesitan ejecutar Nexus zkVM, realizar las tareas distribuidas por el orquestador de cálculo, enviar resultados y recibir recompensas a través de comentarios de resultados correctos.
📌 Ahora veamos cómo está el estado del proyecto
Hace unos días, la segunda red de prueba de Nexus recién lanzada atrajo a numerosos mineros, actualmente hay dos formas de obtener puntos NEX:
1、ejecutar la versión web, abrir la página oficial y hacer clic en comenzar con un solo botón
2、ejecutar la versión local, usando la línea de comandos CLI para instalar y ejecutar nodos
Actualmente hay 30 proveedores de nodos en la red de prueba que ofrecen cálculo, incluidos zklink, io.net y otros proyectos DePIN conocidos.
🔴 Resumiendo
Al comparar con Succinct, se puede ver que Nexus es la versión definitiva de Succinct, solo que Succinct quiere ir despacio, primero estableciendo la red ZKP en la red blockchain y luego expandiéndose a otras industrias.
Pero esta vez Nexus va directamente al grano, su ambición es crear la red de generación de pruebas de conocimiento cero (ZK) del mundo.
Pero según tengo entendido, la tecnología ZK actualmente se aplica principalmente en el campo de blockchain. Nexus actualmente admite los lenguajes Rust y Solidity, lo que también lo alinea con el ecosistema de Ethereum y Solana. Se puede decir que Nexus es un fuerte competidor de Succinct.
¡Estoy ansioso por ver cómo será el desarrollo general de la pista zkVM en el futuro!