jakiro
Autor: Paul Veradittakit, socio de Pantara;
Prefacio
El proyecto de contraseña de conocimiento cero generalmente se divide en dos categorías:
-
ZK dedicado: estos intentos de mejorar la escalabilidad de la cadena de bloques mediante la prueba de cálculos específicos.Por ejemplo, ZK-Rollup Stack, Zkevm para capas de ejecución y ZK demuestran agregación, asentamiento, etc.Estas compañías incluyen Zksyncra y Starknet.
-
GM ZK: Estos ZK intentan probar cualquier cálculo, sin importar qué lenguaje de programación se use, se llaman ZKVM.Su objetivo es permitir a los desarrolladores entregar el proyecto ZK en unos pocos días (en lugar de unos pocos meses), lo que les permite concentrarse en escribir código ordinario, no en circuito.
Este último depende de la construcción de un nuevo sistema desde la capa inferior, lo que requiere que los líderes de la industria expandan la vanguardia de la investigación de ZK.Estas compañías incluyen RISC Zero, sucinto y Nexus.
Es difícil crear verificación y cálculos, por lo que estas compañías se centran en construir una parte específica de la pila, como ZKVM, la red de pruebas o los circuitos personalizados.Nexus lidia con este problema desde una perspectiva completamente diferente.Para construir un Internet seguro requiere el diseño y el uso de cero máquinas de conocimiento.Creemos que Nexus tiene el talento y la originalidad de la computadora recién verificada desde cero para optimizar cada capa de ZKVM, a fin de construir la computadora verificadora más rápida y eficiente.
¿Qué es el cálculo de la verificación?
En la sociedad moderna, la verdad es difícil de verificar.La inteligencia artificial, la falsificación profunda, la VPN, los piratas informáticos remotos y la pesca en línea hacen que la verdad detrás del cálculo sea más fácil que nunca.En la actualidad, en nuestra computadora, la CPU ejecuta código y sale soluciones.Usando Nexus 0.0, la entrada de código emitirá soluciones y una prueba de conocimiento cero correspondiente para demostrar que la solución se crea correctamente, lo que nos permite determinar que la salida es efectiva.De esta manera, se puede probar cualquier información de que cualquier información es real, y no es necesario divulgar ninguna información sobre la información subyacente.
Progreso y hito
Nexus se basa en la investigación sobre la prueba de conocimiento cero durante décadas.Registros médicos, secretos militares, identidad y actividades de navegación;La verificación y el cálculo es un tono, pero se enfrenta a grandes obstáculos.La aplicación ZK actual es muy lenta, no puede ejecutar ningún cálculo y proporciona a los desarrolladores una mala experiencia.
Nexus 1.0 construye una máquina que prueba cualquier código de óxido y diseñó una pila de tecnología que optimiza la innovación y la escalabilidad.El objetivo final es expandir la verificación para adaptarse a cualquier aplicación, incluso tan grande como Internet.Nexus 0.0 funciona a 1Hz (1 ciclo de CPU por segundo) y salió en septiembre de 2023.En Ethdenver en febrero de 2024, la nueva versión de Nexus 1.0 funciona a una velocidad de ~ 100Hz, que ha aumentado aproximadamente 100 veces en solo 5 meses.El equipo espera aumentar la velocidad de Nexus ZKVM.
Este crecimiento de nivel índice se originó en el diseño modular del Nexus 1.0, lo que permite optimizaciones separadas de la prueba a cada parte del problema para demostrar que la investigación más reciente y excelente da como resultado el campo de la prueba de conocimiento cero.Esto también permite a Nexus aplicar su tecnología a la cadena de bloques muy fácilmente.
Aplicación encriptada
La modularización de Nexus significa que puede usarse para aplicaciones generales y también puede usar una sola parte para admitir otras aplicaciones modulares.Por ejemplo, la capa de compresión combina muchas pruebas grandes en una prueba concisa.Esta tecnología depende de Nova, que es un esquema de plegado que no se inventó hasta que 2022 aprobó un trabajo de investigación.Nexus construye la única implementación plegable de nivel de producción del mundo, lo que permite una agregación eficiente recursiva y de prueba.Esta capa se puede usar de forma independiente para admitir otros ZKVM.
Este diseño también es fácil de integrar con el consenso actual de blockchain y los estándares de seguridad.Por ejemplo, en las máquinas virtuales NVM o Nexus, la «precompilación» permite a los desarrolladores usar máquinas de extensión de instrucciones personalizadas para compilar esquemas comunes precompilados, como Keccak-256 (para crear y verificar transacciones en Ethereum).Esto significa que Nexus puede integrar y verificar los cálculos completados en las cadenas EVM (y muchas otras).
Hoy, las aplicaciones ZK cuestan millones de dólares para generar y verificar certificados en L1.La Nexus Prueba, la compresión y la red de nodos del compilador mejorará en gran medida el rendimiento de las aplicaciones ZK existentes, al mismo tiempo, ocupará una gran cuota de mercado en la industria de la cadena ZK existente, y el valor puede alcanzar miles de millones de dólares.La industria de ZK se ha desarrollado rápidamente, y Nexus ocupa la posición de liderazgo del mercado con el diseño de primera clase de toda la pila de tecnología de compresión.
Miembro clave del equipo
El equipo de Nexus reúne los talentos más destacados en el campo de la criptografía y la informática.
El equipo de gestión incluye:
-
Daniel Marin, CEO: recién graduados en la Universidad de Stanford, bajo la guía del famoso criptólogo Dan Boneh.
-
Jens Group, científico jefe: ex director de Dfinity, profesor de universidad en Londres, el inventor del ZK-Snark Groth16 más utilizado.
-
Alex Fowler, director estratégico: co -foundador de Blockstream y ex vicepresidente senior, director de privacidad de Mozilla.
-
Don Beaver, vicepresidente de criptología: fue el principal criptista de Jump Crypto, así como investigadores y científicos de Meta, Uber, Apple y Google.
Los expertos en criptografía del equipo central incluyen:
-
Michel Abdalla: Disciplina del Código Senior, Presidente de la Asociación Internacional de Investigación de Criptología (IACR), ex profesor de escuela normal francés e investigador Dfinity.
-
Samuel Judson: Ingeniero de Criptografía, tiene un doctorado en criptografía en la Universidad de Yale, estudió desde Ruzica Piskac y se desempeñó como ingeniero de seguridad Auth0.Escribió más de 7 documentos en ZKP, métodos formalizados e IA.
-
Kristian Sosnin: ingeniero de criptografía, que ha servido como ingeniero de óxido de laboratorios y paridad de la materia.
-
Vamsi Policharla: Ingeniero de criptografía, que estudia un doctorado en criptografía en Berkeley, el instructor es Sanjam Garg.Es el principal ingeniero de Rust Rust del Berkeley Code Study Group y escribió más de 4 documentos de ZKP.
-
Yinuo Zhang: criptografía, actualmente estudiando un doctorado en criptografía bajo la guía de la Universidad de Berkeley de Sanjam Garg.Anteriormente había internado en A16Z Crypto ’23, involucrado en la investigación de ZKVM, y escribió más de 5 documentos de ZKP.
Creemos que si algún equipo puede crear cálculos verificados en la escala de Internet, es el equipo de Nexus.
Pantera y Lightspeed Venture Partners anunciaron el 10 de junio de 2024 que lideraron conjuntamente una ronda de $ 25 millones una financiación de Nexus.
Nexus 1.0 se ha lanzado públicamente, lo que significa que cualquiera puede usar solo unas pocas líneas para probar cualquier programa de óxido.Pruebe los pasos aquí (https://docs.nexus.xyz/).
en conclusión
Nexus es superado el nuevo mundo que puede ser escalable con estrellas y un diseño técnico exquisito.Creemos que Nexus es un paso importante para que los humanos creen una seguridad en Internet en el futuro.El conocimiento cero demuestra que la velocidad siempre ha sido lenta, universal y los desarrolladores tienen poca experiencia.
Nexus resuelve estos tres problemas combinando décadas de innovación con una alta paralelización y sistema modular.
Creemos que Nexus se convertirá en la primera opción para la verificación y los cálculos de alta eficiencia, y nos asegurará de que los próximos billones de cálculos sean seguros, verificados y eficientes.
