Escrito por: hiperestructurado.greg
Compilado por: Alex Liu, Foresight News
La empresa de infraestructura ZK, RISC Zero, que ha recaudado 40 millones de dólares en financiación, lanzó hoy oficialmente zkVM 1.0, una versión lista para producción de su zkVM de uso general. Ya hay reproductores en la pista zkVM que se pueden poner en producción, pero la mayoría de las personas pueden escuchar "zkEVM" en sus oídos, pero no entienden qué es la palabra "zkVM". Este artículo presenta las ventajas del conjunto de instrucciones seleccionado por la mayoría de zkVM. Para obtener más información sobre zkVM, puede obtener más información a través de este artículo.
zkVM es más versátil que zkEVM, abre la posibilidad de escribir programas en un lenguaje universal y escribir código fuera de la biblioteca Solidity, y se ha convertido en una pista popular hoy en día. Los principales proyectos en la pista, RISC Zero, Succint, Lita y jolt construidos por a16z, se basan todos en el conjunto de instrucciones RISC-V. ¿Cuáles son sus ventajas? ¿Por qué el futuro de zkVM se basará en la arquitectura RISC-V? ¿Por qué @rv_inc está creando herramientas para permitir la verificación formal en el nivel RISC-V?
El conjunto de instrucciones RISC-V tiene principalmente las siguientes ventajas:
Arquitectura abierta y extensible:
RISC-V es una arquitectura de conjunto de instrucciones estándar abierta (ISA) que es gratuita para cualquier tipo de uso y es altamente adaptable y personalizable. Esto permite a los desarrolladores de zkVM adaptar la arquitectura específicamente para operaciones de prueba, optimizando el rendimiento y la eficiencia. ¿Por qué Linux ocupa la mayor parte de los sistemas de servidores? ¡La palabra "gratis" es realmente importante!
Modularidad y flexibilidad:
La naturaleza modular de RISC-V permite a los desarrolladores de zkVM implementar solo la funcionalidad que necesitan, evitando complejidades y gastos generales innecesarios. Las ventajas de la modularidad se han enfatizado demasiado en este ciclo y no las repetiremos aquí.
Estandarización y soporte del ecosistema:
RISC-V tiene un ecosistema de rápido crecimiento con amplio soporte de cadena de herramientas, incluidos compiladores y depuradores, como @rv_inc, que está creando herramientas de verificación formales para RISC-V ISA. Una ecología en rápido desarrollo significa un vasto espacio para la innovación, que a veces puede conducir a un efecto sinérgico de matar dos pájaros de un tiro.
Generación y verificación de pruebas eficientes:
La simplicidad del diseño de RISC-V permite una ejecución más eficiente de algoritmos complejos involucrados en pruebas de conocimiento cero. Al aprovechar la arquitectura del conjunto de instrucciones RISC-V, "zkVM" puede lograr un mejor rendimiento en términos de velocidad y utilización de recursos, que son fundamentales para la agregación de pruebas.
Seguridad y verificación formal:
La arquitectura clara y bien definida de RISC-V facilita la aplicación de técnicas de verificación formales, que son fundamentales para garantizar la seguridad y corrección de zkVM. Al utilizar RISC-V, los desarrolladores podrán aprovechar herramientas y métodos de verificación formales para crear zkVM más seguras.
Compatibilidad multiplataforma:
Compatibilidad entre RISC-V y una variedad de plataformas de hardware, incluidas Esta flexibilidad es clave para demostrar la adopción generalizada de soluciones convergentes, ya que permite una integración perfecta en sistemas dispares.
Versatilidad lingüística:
RISC-V no tiene un concepto incorporado de direcciones de billetera u otras estructuras de blockchain. El conjunto de instrucciones consta principalmente de operadores que mueven datos entre ubicaciones de memoria y realizan operaciones matemáticas con los datos. Al mismo tiempo, en comparación con EVM, el emulador RISC-V subyacente permite a los programadores escribir programas para zkVM en lenguajes como Rust, C/C++ y Go. Esto significa que los programadores de zkVM pueden utilizar bibliotecas relacionadas desarrolladas por otros en el ecosistema del lenguaje. Como la biblioteca Rust desarrollada para Solana, etc.
A medida que el concepto de "computación universal" se vuelve cada vez más popular, ¿qué tipo de chispa traerá zkVM a la feroz competencia actual de VM (MoveVM, SVM, EVM, zkEVM...)? ¿Podrá lograr una adopción considerable y afianzarse firmemente? El primer reproductor RISC Zero ha hecho su debut y el resto será verificado con el tiempo.
