jakiro
Autor: 0xnatalie Fuente: ChainFeeds
Al encontrar la solución de eficiencia de escalabilidad y cálculo de la tecnología de certificado de bloqueo cero (ZKP) es particularmente importante.ZKVM (máquina virtual de conocimiento cero) es una de las aplicaciones específicas de esta tecnología.ZKVM, como plataforma de computación universal basada en ZKP, puede verificar la corrección del cálculo sin filtrar los detalles de los detalles de ejecución.También admite la tarea de un gran volumen de cálculo fuera de la cadena.En la actualidad, muchos proyectos como A16Z, Taiko, ZKM y otros proyectos están desarrollando soluciones ZKVM.
Introducción de ZKVM
ZKVM es una plataforma de computación universal basada en una prueba de conocimiento cero que puede realizar varias tareas informáticas, incluida la implementación de contratos inteligentes, procesamiento de datos y operaciones de algoritmos complejos.Su función central es generar una prueba de conocimiento cero.A través de la tecnología SNARKS, estas pruebas se pueden verificar bajo la cadena.
Además, el diseño de ZKVM no se limita a las transacciones de criptomonedas. Al mismo tiempo, verifique la corrección de la lógica de procesamiento.
>
ZKVM compara otras máquinas virtuales
Las máquinas virtuales tradicionales (VM) generalmente se refieren a un entorno informático completo prácticamente en el hardware físico.Estas máquinas virtuales logran principalmente sus funciones a través del aislamiento de la tecnología de virtualización de hardware y el nivel de sistema operativo.Por lo general, no implican el proceso de verificación cifrada de aplicaciones o datos que se ejecutan en él.
La máquina virtual de conocimiento cero (ZKVM) utiliza la tecnología de prueba de conocimiento cero para garantizar la corrección del proceso de ejecución del programa.El diseño de ZKVM se centra en proporcionar una plataforma de verificación de computación general, adecuada para varios escenarios de aplicaciones, y admite una variedad de lenguajes de programación, como Rust, C/C ++ y GO pueden usar sus lenguajes familiares para crear aplicaciones.El proceso de computación y verificación a menudo es más que la VM tradicional que la VM tradicional, debido a la prueba de conocimiento de cero, es un proceso informático denso, que requiere una gran cantidad de recursos informáticos, lo que limita en gran medida la velocidad de procesamiento de transacciones (TPS) en gran medida .Aunque la tecnología ZK actual ha hecho un progreso significativo en una generación de prueba única, en condiciones de alta carga, la capacidad de lidiar con transacciones a gran escala sigue siendo limitada.La generación de cada prueba puede tomar unos pocos segundos a unos pocos minutos, lo que constituye restricciones a las aplicaciones que requieren un alto rendimiento (como sistemas de procesamiento de pagos a gran escala).
ZKEVM es una implementación específica de ZKVM.Es completamente compatible con los contratos inteligentes y las herramientas de desarrollo de Ethereum, como la solidez y el Vyper.Por lo tanto, Zkevm se parece más a una versión optimizada específica de Ethereum.
Proyecto relacionado con ZKVM
A pesar de los desafíos de la tecnología ZK, algunas fiestas de proyectos aún muestran su fuerza técnica en el desarrollo de soluciones ZKVM.
Jolt: excelente rendimiento
El 9 de abril, A16Z lanzó la implementación inicial de la solución de solución ZKVM.
A diferencia de otro ZKVM basado en el marco Stark, Jolt usa lasso para encontrar parámetros y tecnología basada en SumCheck.Este método de innovación no solo simplifica la implementación de las nuevas instrucciones de la máquina virtual, sino que también mejora la velocidad total del sistema.El diseño de Jolt enfatiza la facilidad de uso y la eficiencia.Además, el rendimiento de Jolt también es muy bueno.
RISC cero: cálculos complejos de procesamiento eficiente
RISC Zero es una estructura de snark recursiva ZKVM, que se caracteriza por un método recursivo que admite anidados mutuos.En la tecnología de Snarks, la prueba recursiva se puede dividir en pruebas de gestión más pequeñas y más fáciles.Estas pequeñas pruebas se pueden verificar de forma independiente y finalmente fusionarse en una prueba grande completa, este proceso no afectará la efectividad de la prueba.La singularidad de RISC cero se encuentra en su método recursivo actual. Pasos de cálculo múltiples en múltiples pasos de cálculo.
Otra singularidad de RISC Zero es que utiliza el conjunto de instrucciones RISC-V, que es una ISA estándar abierta (arquitectura del conjunto de instrucciones), que tiene como objetivo lograr la escalabilidad y la escalabilidad.Esta elección garantiza que RISC cero pueda usar herramientas extensas y compatir a ecosistemas para facilitar el acceso e integración a los sistemas existentes en comparación con otros ZKVM que pueden usar arquitectura patentada o universal.
El año pasado completaron con éxito una ronda de financiación de $ 40 millones.此轮融资由 BLOCKchain Capital 领投 ， 其他知名投资者包括 其他知名投资者包括 Bain Capital Crypto 、 Galaxy Digital 、 iosg Ventures 、 Rockawayx 、 Maven 11 、 Fenbushi Capital 、 Delphi Digital 等参与其中。
>
CUCTINGO: Desarrollador amigable
Cucinto ha desarrollado ZKVM SP1.SP1 admite la arquitectura modular, lo que permite a los desarrolladores personalizar y expandir sus funciones a través de la «pre -compilación».La pre -traducción se refiere a los módulos que pueden ser agregados o modificados por los desarrolladores.
Además, SP1 ha construido una red de prueba descentralizada, simplificó la implementación y ejecución de la prueba, reduciendo así el umbral de uso de métodos de cifrado avanzados.Esta red permite a los desarrolladores generar pruebas y generar pruebas de manera eficiente, proporcionando un método simplificado.
En marzo, Cucinto completó un financiamiento de $ 55 millones.El financiamiento fue dirigido por Paradigm.El 13 de mayo, sucinto anunció el lanzamiento de la red de prueba SP1.
>
Taiko: sistema múltiple
Taiko ha comenzado a transformarse de Zkevm a usar ZKVM.Vitalik propone el concepto de prueba múltiple de que Taiko muestra que es el primer proyecto en implementar este concepto.Este sistema permite que ZKVM de Taiko genere múltiples tipos de pruebas, mejorando así la seguridad y la robustez del sistema.Incluso si hay un problema con un tipo de prueba, otros tipos de pruebas pueden continuar asegurando el funcionamiento normal del sistema y detectar cualquier conversión de estado incorrecta en el tiempo.Además, se utiliza el sistema de prueba de Halo2-KZG, de modo que la computación compleja y las transacciones a gran escala pueden mantener la eficiencia y el bajo costo.
En marzo, Taiko completó el financiamiento de la Serie A de $ 15 millones, que fue co -invertido por Lightspeed Faction, Hashed, Generation Ventures y Token Bay Capital.
>
ZKM: MIPS Architecture es simple y estable
ZKM es el proyecto ZKVM nacido por la Fundación Metis.Este diseño hace que ZKP sea más compatible con el método de procesamiento de computación interna del sistema, acelera la velocidad de operación y reduzca la sobrecarga de cálculo relacionada con la implementación del protocolo ZKP solo.Y la mayoría del ZKVM actual usa el lenguaje de óxido, y ZKM proporciona soporte nativo de Golang.
MIPS (microprocesador sin etapas de tuberías entrelazadas) es la primera generación de instrucciones simplificadas para la arquitectura de la computadora.El conjunto de instrucciones MIPS es relativamente simple y estable, y puede usarse ampliamente en varios dispositivos informáticos y sistemas integrados.
ZKMIPS divide todo el programa MIPS en múltiples segmentos.Las instrucciones de cada párrafo se dividen en cuatro tipos y pertenecen a las cuatro tablas de módulos correspondientes.ZKMIPS utiliza el método de prueba Stark para verificar independientemente las instrucciones en cada tabla de módulos para garantizar que cada operación en la tabla sea correcta y cada instrucción en el segmento del programa se incluya en su tabla de módulos correspondiente.Luego verifique la secuencia de ejecución de cada segmento de programa que coincida con la ejecución de todo el programa.De esta manera, incluso los programas bajo la cadena pueden verificarse en la cadena, lo que mejora la transparencia y la confianza de la ejecución del programa.
ZKM ha lanzado recientemente una nueva confianza para minimizar la infraestructura de interoperabilidad de múltiples cadenas enredadas en los rollups, utilizando ZKMIPS para construir un marco de interoperabilidad de múltiples cadenas que no necesita ser confiable, descentralizado.A diferencia del tercer puente ZK del tercer partido, solo puede verificar la transferencia de activos a través del placer, pero todos los cálculos pueden verificarse, por lo que es muy seguro.La clave para esta interoperabilidad es que existe un mecanismo de prueba general que puede generar pruebas en una cadena de bloques, y luego verificar en otra cadena de bloques.Una de las diferencias entre ZKM y otros ZKVM es la que puede generarse para todas las pruebas operativas de conocimiento cero.ZKM incorpora la seguridad en la parte inferior de la arquitectura CPU/MIPS, de modo que todo el software en esta arquitectura pueda disfrutar de la misma seguridad sin requerir que cada software realice la certificación de cero conocimiento por separado.
Además, las características de ZKM son:
-
Compatible con todas las máquinas virtuales: ZKM está debajo de cada máquina virtual, lo que la hace compatible con varios motores de contrato inteligentes blockchain, como MoveVM (ZKMVM), WASM (ZKWASM) y RustVM (ZKRVM).
-
Enchufe: los desarrolladores pueden usar ZKM sin cambiar la biblioteca de código existente.Proporciona adopción de bajo costo y permite diferentes lenguajes de contratos inteligentes e incluso lenguajes de programación tradicionales.
-
Estabilidad a largo plazo: el conjunto de instrucciones MIPS es estable.
>
La perspectiva futura de ZKVM
Con la madurez continua de la tecnología blockchain y la exploración continua de las empresas de recorte, el rendimiento de ZKVM está mejorando constantemente, podemos prever que ZKVM desempeñará un papel cada vez más importante en el mundo encriptado, convirtiéndose en parte de la tecnología clave.Especialmente en el momento en que la sensibilidad de los datos y la demanda de seguridad de la cadena cruzada están aumentando, ZKVM proporciona capacidades para adaptarse a la demanda del mercado.Esperamos superar diversas dificultades técnicas, como la optimización de circuitos y la optimización del sistema en sí, lanzar ZKVM que se adapte perfectamente a varios lenguajes de programación y aportan más desarrolladores a la nueva era de Web3.
