Resumen de efectividad: Análisis comparativo entre zkEVM y Cairo VM
Los Resúmenes de Validez ( se consideran la mejor opción para aumentar el rendimiento de Ethereum de manera segura y descentralizada. En los resúmenes de validez, zkEVM y Cairo VM ) CVM ( son los dos tipos principales de máquinas virtuales utilizadas.
zkEVM se centra en la compatibilidad con Ethereum, pero sacrifica el rendimiento y la escalabilidad. En cambio, Cairo VM adoptado por Starknet prioriza el rendimiento y la escalabilidad sobre la compatibilidad.
El núcleo del resumen de validez es el uso de pruebas de validez para realizar cálculos verificables. Funcionan descargando la ejecución de transacciones en un entorno fuera de la cadena ) de la segunda capa (. Después de que los operadores de la segunda capa procesan un gran número de transacciones, devuelven los resultados y las pruebas de validez que verifican la integridad de la ejecución fuera de la cadena a la red principal de Ethereum. Este enfoque puede aumentar significativamente la capacidad de procesamiento de transacciones de Ethereum.
![¿Por qué se dice que los Validity Rollups son la forma de escalabilidad más prometedora para Ethereum?])https://img-cdn.gateio.im/webp-social/moments-153dacb136e22a06d86040ffe5e822e0.webp(
La máquina virtual )VM( es un entorno en el que se pueden ejecutar programas. zkVM es un tipo especial de VM que puede generar pruebas de validez fáciles de verificar para demostrar que un programa se ha ejecutado correctamente. zkEVM generalmente se refiere a un sistema de agregación que puede probar la ejecución de EVM.
A pesar de que tanto zkEVM como CVM están diseñados para escalar Ethereum a través de pruebas de validez, existen diferencias en su elección de la máquina virtual de ejecución de transacciones fuera de la cadena. zkEVM intenta replicar la experiencia de Ethereum en L2, mientras que CVM está diseñado específicamente para optimizar la eficiencia de las pruebas de validez.
El objetivo de zkEVM es introducir completamente el entorno de desarrollo de Ethereum en la red de segunda capa. Esto permite a los desarrolladores migrar contratos inteligentes a soluciones más escalables sin necesidad de cambiar el código o renunciar a las herramientas EVM. Sin embargo, la principal desventaja de este enfoque es que reduce el potencial de escalabilidad de las pruebas de validez. Dado que la eficiencia de las pruebas no fue considerada en el diseño de EVM, esto limita el espacio de optimización del rendimiento general del sistema.
La verificabilidad de EVM enfrenta algunos desafíos:
EVM utiliza un modelo basado en pilas, mientras que la prueba de validez es más adecuada para un modelo basado en registros.
El diseño de almacenamiento de Ethereum depende en gran medida de Keccak y de grandes árboles de Merkle Patricia, los cuales no son favorables para generar pruebas de validez.
Por lo tanto, diferentes soluciones de zkEVM tienen distintos niveles de soporte de herramientas en Ethereum: cuanto mayor es la compatibilidad con Ethereum, peor es el rendimiento.
En comparación, Cairo VM utiliza un diseño de máquina virtual dedicado completamente nuevo y añade soporte de herramientas de Ethereum como una capa adicional. CVM está diseñado específicamente para la generación eficiente de pruebas de validez de la ejecución de programas, con las siguientes ventajas:
La representación algebraica válida de cada instrucción optimiza la generación de pruebas de validez.
Proporcionar un lenguaje de alto nivel similar a Rust para escribir programas verificables.
La representación intermedia entre Cairo avanzado y el ensamblador de Cairo )Sierra( permite una ejecución eficiente.
El lenguaje Cairo simplifica la complejidad de generar restricciones matemáticas que describen cálculos, permitiendo a los desarrolladores utilizar pruebas de validez para expandir aplicaciones sin necesidad de comprender la matemática subyacente.
Starknet admite métodos de codificación diversificados:
Escribir código directamente en Cairo.
Convertir el código Solidity a Cairo a través del traductor Warp.
Ejecutar zkEVM) en Starknet como el proyecto Kakarot(, logrando la compatibilidad con los contratos inteligentes de Ethereum.
En general, zkEVM se dedica a replicar el entorno de Ethereum, pero limita todo el potencial de las pruebas de validez. Cairo VM, por otro lado, está diseñado específicamente para sistemas de pruebas de validez, sin las restricciones de EVM, lo que permite una expansión de Ethereum más eficiente. Con el rápido desarrollo del ecosistema de Cairo, los desarrolladores ahora tienen múltiples opciones para escalar aplicaciones de blockchain.
![¿Por qué se dice que los Validity Rollups son la forma de escalado más prometedora para Ethereum?])https://img-cdn.gateio.im/webp-social/moments-12eef6e2fc5e11f187106bdd011fd720.webp(
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.
18 me gusta
Recompensa
18
4
Republicar
Compartir
Comentar
0/400
APY追逐者
· 08-14 06:22
¿Por qué zk es tan fuerte y no sube a Mainnet?
Ver originalesResponder0
LayerZeroHero
· 08-13 15:48
El rendimiento y la compatibilidad son realmente un eterno dilema técnico. Después de una semana de pruebas, llegué a esta conclusión.
Ver originalesResponder0
SerumSquirter
· 08-11 19:12
Es un viejo minero que busca el TPS extremo.
Ver originalesResponder0
DaoResearcher
· 08-11 19:07
Referencia al documento VB P267, la compatibilidad L2 no es la opción óptima.
zkEVM y Cairo VM: Comparación de dos máquinas virtuales en el resumen de validez
Resumen de efectividad: Análisis comparativo entre zkEVM y Cairo VM
Los Resúmenes de Validez ( se consideran la mejor opción para aumentar el rendimiento de Ethereum de manera segura y descentralizada. En los resúmenes de validez, zkEVM y Cairo VM ) CVM ( son los dos tipos principales de máquinas virtuales utilizadas.
zkEVM se centra en la compatibilidad con Ethereum, pero sacrifica el rendimiento y la escalabilidad. En cambio, Cairo VM adoptado por Starknet prioriza el rendimiento y la escalabilidad sobre la compatibilidad.
El núcleo del resumen de validez es el uso de pruebas de validez para realizar cálculos verificables. Funcionan descargando la ejecución de transacciones en un entorno fuera de la cadena ) de la segunda capa (. Después de que los operadores de la segunda capa procesan un gran número de transacciones, devuelven los resultados y las pruebas de validez que verifican la integridad de la ejecución fuera de la cadena a la red principal de Ethereum. Este enfoque puede aumentar significativamente la capacidad de procesamiento de transacciones de Ethereum.
![¿Por qué se dice que los Validity Rollups son la forma de escalabilidad más prometedora para Ethereum?])https://img-cdn.gateio.im/webp-social/moments-153dacb136e22a06d86040ffe5e822e0.webp(
La máquina virtual )VM( es un entorno en el que se pueden ejecutar programas. zkVM es un tipo especial de VM que puede generar pruebas de validez fáciles de verificar para demostrar que un programa se ha ejecutado correctamente. zkEVM generalmente se refiere a un sistema de agregación que puede probar la ejecución de EVM.
A pesar de que tanto zkEVM como CVM están diseñados para escalar Ethereum a través de pruebas de validez, existen diferencias en su elección de la máquina virtual de ejecución de transacciones fuera de la cadena. zkEVM intenta replicar la experiencia de Ethereum en L2, mientras que CVM está diseñado específicamente para optimizar la eficiencia de las pruebas de validez.
El objetivo de zkEVM es introducir completamente el entorno de desarrollo de Ethereum en la red de segunda capa. Esto permite a los desarrolladores migrar contratos inteligentes a soluciones más escalables sin necesidad de cambiar el código o renunciar a las herramientas EVM. Sin embargo, la principal desventaja de este enfoque es que reduce el potencial de escalabilidad de las pruebas de validez. Dado que la eficiencia de las pruebas no fue considerada en el diseño de EVM, esto limita el espacio de optimización del rendimiento general del sistema.
La verificabilidad de EVM enfrenta algunos desafíos:
EVM utiliza un modelo basado en pilas, mientras que la prueba de validez es más adecuada para un modelo basado en registros.
El diseño de almacenamiento de Ethereum depende en gran medida de Keccak y de grandes árboles de Merkle Patricia, los cuales no son favorables para generar pruebas de validez.
Por lo tanto, diferentes soluciones de zkEVM tienen distintos niveles de soporte de herramientas en Ethereum: cuanto mayor es la compatibilidad con Ethereum, peor es el rendimiento.
En comparación, Cairo VM utiliza un diseño de máquina virtual dedicado completamente nuevo y añade soporte de herramientas de Ethereum como una capa adicional. CVM está diseñado específicamente para la generación eficiente de pruebas de validez de la ejecución de programas, con las siguientes ventajas:
La representación algebraica válida de cada instrucción optimiza la generación de pruebas de validez.
Proporcionar un lenguaje de alto nivel similar a Rust para escribir programas verificables.
La representación intermedia entre Cairo avanzado y el ensamblador de Cairo )Sierra( permite una ejecución eficiente.
El lenguaje Cairo simplifica la complejidad de generar restricciones matemáticas que describen cálculos, permitiendo a los desarrolladores utilizar pruebas de validez para expandir aplicaciones sin necesidad de comprender la matemática subyacente.
Starknet admite métodos de codificación diversificados:
Escribir código directamente en Cairo.
Convertir el código Solidity a Cairo a través del traductor Warp.
Ejecutar zkEVM) en Starknet como el proyecto Kakarot(, logrando la compatibilidad con los contratos inteligentes de Ethereum.
En general, zkEVM se dedica a replicar el entorno de Ethereum, pero limita todo el potencial de las pruebas de validez. Cairo VM, por otro lado, está diseñado específicamente para sistemas de pruebas de validez, sin las restricciones de EVM, lo que permite una expansión de Ethereum más eficiente. Con el rápido desarrollo del ecosistema de Cairo, los desarrolladores ahora tienen múltiples opciones para escalar aplicaciones de blockchain.
![¿Por qué se dice que los Validity Rollups son la forma de escalado más prometedora para Ethereum?])https://img-cdn.gateio.im/webp-social/moments-12eef6e2fc5e11f187106bdd011fd720.webp(