En un momento en que la computación verificable está avanzando hacia el centro de la narrativa industrial, RISC Zero está remodelando el rendimiento y los límites de confianza de la cadena de bloques con una arquitectura de computación de conocimiento cero más general y abierta. Con el primer zkVM general basado en RISC-V de la industria y la capa de computación verificable cross-chain Boundless, este equipo de geeks está llevando la prueba de conocimiento cero de ser una herramienta de nicho a una potencia de computación en la nube a gran escala, intentando equipar a Internet descentralizado con un "motor de supercomputación" verificable.
Recientemente, Vitalik Buterin, cofundador de Ethereum, propuso realizar ajustes significativos en la capa de ejecución de la red Ethereum: reemplazar el bytecode actual de la Máquina Virtual de Ethereum (EVM) por el conjunto de instrucciones RISC-V. El nuevo plan no cambiará las funciones centrales de cuentas, almacenamiento y otros contratos inteligentes, pero cambiará fundamentalmente la forma en que se compilan y operan los códigos de contrato. En cierta medida, esta propuesta de Vitalik no solo es una nueva actualización de la estandarización y la composibilidad de la capa de ejecución de Ethereum, sino que también vuelve a colocar la "computación verificable", que alguna vez fue vista como una tecnología costosa y experimental, en el centro de la narrativa de la industria.
Uno, RISC Zero: Pionero del zkVM universal
En el camino de evolución de la computación verificable, RISC Zero, una empresa de pruebas de conocimiento cero de Estados Unidos, es una de las primeras y más representativas practicantes. No solo han construido el primer zkVM genérico de la industria basado en la misma arquitectura RISC-V, sino que han desarrollado aún más Boundless, una capa de computación verificable, intentando elevar la prueba de conocimiento cero de una herramienta puntual a "Potencia computacional" compartida y comercializable a través de múltiples cadenas. Esto significa que, en el futuro, los desarrolladores ya no tendrán que estar atados a los altos costos de Gas en la cadena o a las limitaciones del propio EVM, sino que podrán invocar recursos de computación verificable casi infinitos en cualquier Cadena de bloques.
Actualmente, la versión beta de la red principal de Boundless ya está en línea. Su CEO, Shiv Shankar, declaró: "Boundless logra una computación cruzada segura al evitar tareas de computación redundantes, lo que mejora la escalabilidad de la cadena de bloques. Esto no solo aumenta la eficiencia y mejora la seguridad, sino que también permite a los desarrolladores y mineros participar a través de ecosistemas." El investigador de la Fundación Ethereum, Justin Drake, afirmó: "El RISC Zero zkVM que sostiene el ecosistema de Boundless satisface todas las necesidades clave de escalabilidad de Ethereum: capacidad de prueba en tiempo real, entorno de validación doméstico con múltiples GPU, licencia de código abierto flexible, y una implementación de base construida desde cero."
En solo unos días desde el lanzamiento de la versión Beta de la red principal de Boundless, este primer mercado que valida el consenso de Ethereum ha alcanzado una escala de 10 veces el máximo actual de validación (30 mil millones) (500 mil millones); un total de 576 validadores han logrado enviar pruebas, convirtiéndose en la red de validadores más descentralizada del mundo; el tamaño del mercado ha crecido 10 veces, alcanzando un máximo de 8000 órdenes diarias, con un número de ciclos de cálculo que alcanza los 2.6 billones, casi sin tiempo de inactividad, completando más del 99% de las órdenes cada día; un validador externo ha establecido un nuevo récord de velocidad, alcanzando los 5.63MHz, muy por encima del anterior de 2.5MHz; las órdenes casi siempre se mantienen en 0 bloqueadas, lo que nos permite anticipar el impacto potencial de POWV (prueba de trabajo) en la adopción de ZK en la fase inicial del lanzamiento de la red principal; la innovación abierta entre los validadores ya ha comenzado, uno de los aspectos destacados es que los validadores pueden bloquear tareas en menos de 100 milisegundos dentro del mismo Bloquear.
Dos, el principio de funcionamiento y los avances de diseño de Boundless
En el camino de evolucionar las zk-SNARKs de herramientas de punto único a capas de cálculo general, el avance clave de Boundless radica en transformar el cálculo verificable de capacidades técnicas aisladas a una infraestructura en cadena comercializable y combinable.
En concreto, la lógica central de Boundless tiene tres elementos clave: zkVM universal, protocolo de verificación cross-chain y modelo económico PoVW (Proof of Verifiable Work).
zkVM genérico: Boundless se basa en el zkVM (R0VM 2.0) desarrollado por RISC Zero, que está basado en la arquitectura RISC-V de estándares abiertos, y puede ejecutar cualquier programa genérico, generando pruebas de conocimiento cero verificables. Esto significa que, ya sea un contrato inteligente EVM, una prueba de estado de Rollup, o cálculos complejos fuera de la cadena, el zkVM puede ser responsable de generar pruebas de validez, que luego son verificadas rápidamente por contratos en la cadena, todo el proceso es transparente para el usuario final y para la cadena principal.
Protocolo de verificación cross-chain: Boundless no se limita a una sola cadena, sino que desde el principio ha sido diseñado de manera nativa para el cross-chain: a través de la implementación simultánea de contratos de Boundless Market en múltiples cadenas, ha creado un mercado de liquidación sin permisos, que automáticamente empareja las necesidades de prueba de los desarrolladores con los recursos de potencia computacional de los nodos Prover en todo el mundo. Más importante aún, Boundless Market ya está implementado de manera nativa en todas las cadenas principales, lo que permite a los desarrolladores no tener que salir de su entorno ecológico familiar, simplemente interactuando con la dirección del contrato local, utilizando el token nativo de la cadena para pagar tarifas y obtener pruebas computacionales verificables de inmediato. Este diseño de mercado descentralizado cross-chain reduce significativamente la barrera de entrada, permitiendo que la computación verificable se convierta realmente en un recurso público en cadena que se puede programar, liquidar y combinar, similar a los servicios en la nube.
Mecanismo de incentivos PoVW: La parte más innovadora radica en el mecanismo de incentivos PoVW. A diferencia de PoW, que solo recompensa el cálculo de hash, y PoS, que recompensa el capital ocioso, PoVW comercializa por primera vez la verdadera carga de trabajo de cálculo de zk-SNARKs, completando un ciclo cerrado mediante medición y pago en la cadena. Cuantos más ciclos efectivos complete el Prover, más incentivos en tokens recibirá en función de la carga de trabajo, y los datos de medición se registran completamente en la cadena y son auditables. Este mecanismo no solo garantiza la flexibilidad en el suministro de potencia computacional, sino que también incentiva a más nodos a optimizar continuamente la eficiencia de la prueba y reducir costos, formando así un mercado de oferta y demanda de potencia computacional verificable.
El responsable de productos tecnológicos Jacob Everly reveló en una entrevista con los medios este marzo que el Banco de Compensaciones Internacionales (BIS) de Singapur ha desarrollado un sistema prototipo utilizando la tecnología de RISC Zero y Boundless, que puede verificar si los comerciantes de la región de Asia-Pacífico pueden realizar transacciones en la Bolsa de Singapur sin necesidad de proporcionar información personal completa. Los usuarios solo necesitan subir su pasaporte y número de teléfono móvil para generar una prueba de conocimiento cero (ZKP) que demuestre que cumplen con los requisitos de transacción. Actualmente, más de 30 equipos planean construir y desplegar aplicaciones en Boundless. Jacob Everly dijo: "Nuestro objetivo es alcanzar 100 equipos colaboradores el próximo año y hacer de Boundless el estándar de la industria."
Tres, el mapa técnico multidimensional de RISC Zero
Además de Boundless, RISC Zero también ha estado iterando continuamente en la usabilidad y escalabilidad de zk-SNARKs, lanzando varios productos clave que refuerzan aún más su foso tecnológico como plataforma de computación verificable general.
R0VM 2.0: La nueva versión de su núcleo zkVM, que no solo reduce el tiempo de prueba de un solo bloque de Ethereum de 35 minutos a 44 segundos, sino que también disminuye el costo de prueba de la cadena OP en 5 veces, con un costo mínimo de solo 0.0012 dólares por transacción, lo que reduce significativamente la barrera de entrada para los desarrolladores que utilizan ZK. Al mismo tiempo, la versión R0VM 2.0 ha mejorado el soporte de memoria y precompilación, pudiendo manejar pruebas EVM a mayor escala y contenido de medios verificables, y planea lograr pruebas en tiempo real a nivel de 12 segundos este año, promoviendo aún más la Descentralización de zk-SNARKs de la experimentación a la producción a gran escala. Es importante mencionar que la versión R0VM 3.0 también está en desarrollo y se espera que se lance más adelante este año. Esta versión adoptará el último sistema de pruebas Binius lanzado por Ethereum, momento en el cual la velocidad de prueba se mejorará aún más.
ZK coprocesador Steel 2.0: Debido a las limitaciones inherentes del ecosistema EVM, RISC Zero también ha lanzado el ZK coprocesador Steel 2.0, que puede ejecutar cálculos complejos, acceso a estados históricos y cálculos entre bloques fuera de la cadena, y lograr la verificación de seguridad en la cadena con un costo de prueba de tan solo 270,000 gas, siendo compatible con Solidity y el cliente ligero R0-Helios, facilitando su despliegue en Ethereum y OP Stack.
Modo de validez de OP Kailua: proporciona la capacidad de una transición fluida de OP Rollup a ZK Rollup, obteniendo la alta seguridad y rápida liquidación que ofrece ZK sin necesidad de una reestructuración significativa. Proyectos como Base y BOB ya se han integrado, ofreciendo opciones de actualización rentables para cadenas de alto rendimiento.
Cuatro, la misión y la ambición de RISC Zero
RISC Zero es un equipo que combina un espíritu rebelde con una búsqueda racional de la tecnología. A principios de 2022, en el evento ETH Denver, varios miembros de RISC Zero lograron infiltrarse en el lugar con telas y herramientas simples adquiridas en una imprenta local. Fue precisamente en esta "ruptura de hackers" donde alcanzaron un acuerdo de intención de inversión temprana con los primeros inversores.
Con este espíritu de aventura que no sigue las reglas y una profunda exploración de la tecnología de cálculo de cero conocimiento, RISC Zero continúa ganando la apuesta continua del mercado de capitales: en marzo de 2022, completaron una ronda de financiación de ángeles de 2 millones de dólares y en agosto del mismo año obtuvieron 12 millones de dólares en financiación de semillas; en julio de 2023, también lograron obtener 4 millones de dólares en una nueva ronda de financiación.
A diferencia de otros proyectos de conocimiento cero, RISC Zero ha optado por un camino más general: construyendo el primer zkVM del mundo que puede ejecutar cualquier código de programa genérico sobre la base del conjunto de instrucciones de código abierto RISC-V, permitiendo que las pruebas de conocimiento cero realmente tengan capacidad de cómputo universal, y reduciendo la barrera de entrada para que los desarrolladores puedan seguir utilizando herramientas de programación familiares, como Rust y otros lenguajes modernos, sin necesidad de herramientas de fácil uso y eficiencia de ZK.
Hoy en día, este pequeño equipo compuesto por geeks y futuristas está tratando de construir una ecosistema de computación verificable abierto, cross-chain y sin permisos sobre zkVM, para traer una nueva base de confianza a la internet descentralizada, que es precisamente de donde proviene y cuál es la ambición de Boundless.
Conclusión:
Boundless no es solo un nuevo intento técnico de RISC Zero en el campo de zk-SNARKs, sino también un ejercicio práctico hacia un mercado abierto de computación verificable, colaboración cross-chain y la escalabilidad de la potencia computacional en la nube. A medida que Boundless y sus componentes subyacentes como zkVM, PoVW, continúan evolucionando, este experimento en torno al "motor de supercomputación descentralizado verificable" podría estar abriendo un camino de potencia computacional más general y ambicioso para el mundo de la cadena de bloques.
Esta página puede contener contenido de terceros, que se proporciona únicamente con fines informativos (sin garantías ni declaraciones) y no debe considerarse como un respaldo por parte de Gate a las opiniones expresadas ni como asesoramiento financiero o profesional. Consulte el Descargo de responsabilidad para obtener más detalles.
Ethereum RISC-V en la agenda: RISC Zero crea un zkVM universal, Boundless abre una nueva era de computación verificable
En un momento en que la computación verificable está avanzando hacia el centro de la narrativa industrial, RISC Zero está remodelando el rendimiento y los límites de confianza de la cadena de bloques con una arquitectura de computación de conocimiento cero más general y abierta. Con el primer zkVM general basado en RISC-V de la industria y la capa de computación verificable cross-chain Boundless, este equipo de geeks está llevando la prueba de conocimiento cero de ser una herramienta de nicho a una potencia de computación en la nube a gran escala, intentando equipar a Internet descentralizado con un "motor de supercomputación" verificable.
Recientemente, Vitalik Buterin, cofundador de Ethereum, propuso realizar ajustes significativos en la capa de ejecución de la red Ethereum: reemplazar el bytecode actual de la Máquina Virtual de Ethereum (EVM) por el conjunto de instrucciones RISC-V. El nuevo plan no cambiará las funciones centrales de cuentas, almacenamiento y otros contratos inteligentes, pero cambiará fundamentalmente la forma en que se compilan y operan los códigos de contrato. En cierta medida, esta propuesta de Vitalik no solo es una nueva actualización de la estandarización y la composibilidad de la capa de ejecución de Ethereum, sino que también vuelve a colocar la "computación verificable", que alguna vez fue vista como una tecnología costosa y experimental, en el centro de la narrativa de la industria.
Uno, RISC Zero: Pionero del zkVM universal
En el camino de evolución de la computación verificable, RISC Zero, una empresa de pruebas de conocimiento cero de Estados Unidos, es una de las primeras y más representativas practicantes. No solo han construido el primer zkVM genérico de la industria basado en la misma arquitectura RISC-V, sino que han desarrollado aún más Boundless, una capa de computación verificable, intentando elevar la prueba de conocimiento cero de una herramienta puntual a "Potencia computacional" compartida y comercializable a través de múltiples cadenas. Esto significa que, en el futuro, los desarrolladores ya no tendrán que estar atados a los altos costos de Gas en la cadena o a las limitaciones del propio EVM, sino que podrán invocar recursos de computación verificable casi infinitos en cualquier Cadena de bloques.
Actualmente, la versión beta de la red principal de Boundless ya está en línea. Su CEO, Shiv Shankar, declaró: "Boundless logra una computación cruzada segura al evitar tareas de computación redundantes, lo que mejora la escalabilidad de la cadena de bloques. Esto no solo aumenta la eficiencia y mejora la seguridad, sino que también permite a los desarrolladores y mineros participar a través de ecosistemas." El investigador de la Fundación Ethereum, Justin Drake, afirmó: "El RISC Zero zkVM que sostiene el ecosistema de Boundless satisface todas las necesidades clave de escalabilidad de Ethereum: capacidad de prueba en tiempo real, entorno de validación doméstico con múltiples GPU, licencia de código abierto flexible, y una implementación de base construida desde cero."
En solo unos días desde el lanzamiento de la versión Beta de la red principal de Boundless, este primer mercado que valida el consenso de Ethereum ha alcanzado una escala de 10 veces el máximo actual de validación (30 mil millones) (500 mil millones); un total de 576 validadores han logrado enviar pruebas, convirtiéndose en la red de validadores más descentralizada del mundo; el tamaño del mercado ha crecido 10 veces, alcanzando un máximo de 8000 órdenes diarias, con un número de ciclos de cálculo que alcanza los 2.6 billones, casi sin tiempo de inactividad, completando más del 99% de las órdenes cada día; un validador externo ha establecido un nuevo récord de velocidad, alcanzando los 5.63MHz, muy por encima del anterior de 2.5MHz; las órdenes casi siempre se mantienen en 0 bloqueadas, lo que nos permite anticipar el impacto potencial de POWV (prueba de trabajo) en la adopción de ZK en la fase inicial del lanzamiento de la red principal; la innovación abierta entre los validadores ya ha comenzado, uno de los aspectos destacados es que los validadores pueden bloquear tareas en menos de 100 milisegundos dentro del mismo Bloquear.
Dos, el principio de funcionamiento y los avances de diseño de Boundless
En el camino de evolucionar las zk-SNARKs de herramientas de punto único a capas de cálculo general, el avance clave de Boundless radica en transformar el cálculo verificable de capacidades técnicas aisladas a una infraestructura en cadena comercializable y combinable.
En concreto, la lógica central de Boundless tiene tres elementos clave: zkVM universal, protocolo de verificación cross-chain y modelo económico PoVW (Proof of Verifiable Work).
zkVM genérico: Boundless se basa en el zkVM (R0VM 2.0) desarrollado por RISC Zero, que está basado en la arquitectura RISC-V de estándares abiertos, y puede ejecutar cualquier programa genérico, generando pruebas de conocimiento cero verificables. Esto significa que, ya sea un contrato inteligente EVM, una prueba de estado de Rollup, o cálculos complejos fuera de la cadena, el zkVM puede ser responsable de generar pruebas de validez, que luego son verificadas rápidamente por contratos en la cadena, todo el proceso es transparente para el usuario final y para la cadena principal.
Protocolo de verificación cross-chain: Boundless no se limita a una sola cadena, sino que desde el principio ha sido diseñado de manera nativa para el cross-chain: a través de la implementación simultánea de contratos de Boundless Market en múltiples cadenas, ha creado un mercado de liquidación sin permisos, que automáticamente empareja las necesidades de prueba de los desarrolladores con los recursos de potencia computacional de los nodos Prover en todo el mundo. Más importante aún, Boundless Market ya está implementado de manera nativa en todas las cadenas principales, lo que permite a los desarrolladores no tener que salir de su entorno ecológico familiar, simplemente interactuando con la dirección del contrato local, utilizando el token nativo de la cadena para pagar tarifas y obtener pruebas computacionales verificables de inmediato. Este diseño de mercado descentralizado cross-chain reduce significativamente la barrera de entrada, permitiendo que la computación verificable se convierta realmente en un recurso público en cadena que se puede programar, liquidar y combinar, similar a los servicios en la nube.
Mecanismo de incentivos PoVW: La parte más innovadora radica en el mecanismo de incentivos PoVW. A diferencia de PoW, que solo recompensa el cálculo de hash, y PoS, que recompensa el capital ocioso, PoVW comercializa por primera vez la verdadera carga de trabajo de cálculo de zk-SNARKs, completando un ciclo cerrado mediante medición y pago en la cadena. Cuantos más ciclos efectivos complete el Prover, más incentivos en tokens recibirá en función de la carga de trabajo, y los datos de medición se registran completamente en la cadena y son auditables. Este mecanismo no solo garantiza la flexibilidad en el suministro de potencia computacional, sino que también incentiva a más nodos a optimizar continuamente la eficiencia de la prueba y reducir costos, formando así un mercado de oferta y demanda de potencia computacional verificable.
El responsable de productos tecnológicos Jacob Everly reveló en una entrevista con los medios este marzo que el Banco de Compensaciones Internacionales (BIS) de Singapur ha desarrollado un sistema prototipo utilizando la tecnología de RISC Zero y Boundless, que puede verificar si los comerciantes de la región de Asia-Pacífico pueden realizar transacciones en la Bolsa de Singapur sin necesidad de proporcionar información personal completa. Los usuarios solo necesitan subir su pasaporte y número de teléfono móvil para generar una prueba de conocimiento cero (ZKP) que demuestre que cumplen con los requisitos de transacción. Actualmente, más de 30 equipos planean construir y desplegar aplicaciones en Boundless. Jacob Everly dijo: "Nuestro objetivo es alcanzar 100 equipos colaboradores el próximo año y hacer de Boundless el estándar de la industria."
Tres, el mapa técnico multidimensional de RISC Zero
Además de Boundless, RISC Zero también ha estado iterando continuamente en la usabilidad y escalabilidad de zk-SNARKs, lanzando varios productos clave que refuerzan aún más su foso tecnológico como plataforma de computación verificable general.
R0VM 2.0: La nueva versión de su núcleo zkVM, que no solo reduce el tiempo de prueba de un solo bloque de Ethereum de 35 minutos a 44 segundos, sino que también disminuye el costo de prueba de la cadena OP en 5 veces, con un costo mínimo de solo 0.0012 dólares por transacción, lo que reduce significativamente la barrera de entrada para los desarrolladores que utilizan ZK. Al mismo tiempo, la versión R0VM 2.0 ha mejorado el soporte de memoria y precompilación, pudiendo manejar pruebas EVM a mayor escala y contenido de medios verificables, y planea lograr pruebas en tiempo real a nivel de 12 segundos este año, promoviendo aún más la Descentralización de zk-SNARKs de la experimentación a la producción a gran escala. Es importante mencionar que la versión R0VM 3.0 también está en desarrollo y se espera que se lance más adelante este año. Esta versión adoptará el último sistema de pruebas Binius lanzado por Ethereum, momento en el cual la velocidad de prueba se mejorará aún más.
ZK coprocesador Steel 2.0: Debido a las limitaciones inherentes del ecosistema EVM, RISC Zero también ha lanzado el ZK coprocesador Steel 2.0, que puede ejecutar cálculos complejos, acceso a estados históricos y cálculos entre bloques fuera de la cadena, y lograr la verificación de seguridad en la cadena con un costo de prueba de tan solo 270,000 gas, siendo compatible con Solidity y el cliente ligero R0-Helios, facilitando su despliegue en Ethereum y OP Stack.
Modo de validez de OP Kailua: proporciona la capacidad de una transición fluida de OP Rollup a ZK Rollup, obteniendo la alta seguridad y rápida liquidación que ofrece ZK sin necesidad de una reestructuración significativa. Proyectos como Base y BOB ya se han integrado, ofreciendo opciones de actualización rentables para cadenas de alto rendimiento.
Cuatro, la misión y la ambición de RISC Zero
RISC Zero es un equipo que combina un espíritu rebelde con una búsqueda racional de la tecnología. A principios de 2022, en el evento ETH Denver, varios miembros de RISC Zero lograron infiltrarse en el lugar con telas y herramientas simples adquiridas en una imprenta local. Fue precisamente en esta "ruptura de hackers" donde alcanzaron un acuerdo de intención de inversión temprana con los primeros inversores.
Con este espíritu de aventura que no sigue las reglas y una profunda exploración de la tecnología de cálculo de cero conocimiento, RISC Zero continúa ganando la apuesta continua del mercado de capitales: en marzo de 2022, completaron una ronda de financiación de ángeles de 2 millones de dólares y en agosto del mismo año obtuvieron 12 millones de dólares en financiación de semillas; en julio de 2023, también lograron obtener 4 millones de dólares en una nueva ronda de financiación.
A diferencia de otros proyectos de conocimiento cero, RISC Zero ha optado por un camino más general: construyendo el primer zkVM del mundo que puede ejecutar cualquier código de programa genérico sobre la base del conjunto de instrucciones de código abierto RISC-V, permitiendo que las pruebas de conocimiento cero realmente tengan capacidad de cómputo universal, y reduciendo la barrera de entrada para que los desarrolladores puedan seguir utilizando herramientas de programación familiares, como Rust y otros lenguajes modernos, sin necesidad de herramientas de fácil uso y eficiencia de ZK.
Hoy en día, este pequeño equipo compuesto por geeks y futuristas está tratando de construir una ecosistema de computación verificable abierto, cross-chain y sin permisos sobre zkVM, para traer una nueva base de confianza a la internet descentralizada, que es precisamente de donde proviene y cuál es la ambición de Boundless.
Conclusión:
Boundless no es solo un nuevo intento técnico de RISC Zero en el campo de zk-SNARKs, sino también un ejercicio práctico hacia un mercado abierto de computación verificable, colaboración cross-chain y la escalabilidad de la potencia computacional en la nube. A medida que Boundless y sus componentes subyacentes como zkVM, PoVW, continúan evolucionando, este experimento en torno al "motor de supercomputación descentralizado verificable" podría estar abriendo un camino de potencia computacional más general y ambicioso para el mundo de la cadena de bloques.