Rollups de validez: ¿la mejor opción para la escalabilidad de Ethereum?
Las Validity Rollups (también conocidas como zk-rollups) se consideran la solución más prometedora para aumentar el rendimiento de Ethereum de manera segura y descentralizada. El núcleo de esta solución de escalado es el uso de pruebas de validez para realizar cálculos verificables. Su funcionamiento es el siguiente:
Los operadores descargan la ejecución de transacciones a un entorno fuera de la cadena (capa 2). Después de procesar un gran volumen de transacciones, el operador de la capa 2 devuelve los resultados para aplicarlos al estado de Ethereum, al mismo tiempo que proporciona una prueba de validez de la integridad de la ejecución fuera de la cadena. Esta prueba asegura que todas las transacciones en el lote son válidas y son verificadas automáticamente por el contrato de validadores en la cadena. Esto permite que Ethereum aplique los resultados a su estado.
Es importante notar que los Validity Rollups a menudo se confunden con los rollups de conocimiento cero, pero esto no es correcto. La mayoría de los Validity Rollups no utilizan pruebas de conocimiento cero y no se emplean para garantizar la privacidad. Por lo tanto, el término "Validity Rollup" es más apropiado.
En los Validity Rollups, zkEVM y Cairo VM (CVM) son dos tipos de máquinas virtuales comúnmente utilizados. zkEVM se centra en la compatibilidad con Ethereum, pero sacrifica el rendimiento y la escalabilidad. Por otro lado, Cairo VM adoptado por Starknet prioriza el rendimiento y la escalabilidad sobre la compatibilidad.
La máquina virtual ( VM ) es un entorno donde se pueden ejecutar programas, similar a ejecutar el sistema operativo Windows en un Mac. Cambia entre diferentes estados después de procesar ciertas entradas. La máquina virtual de Ethereum ( EVM ) es la VM que ejecuta contratos inteligentes de Ethereum.
La máquina virtual de conocimiento cero ( zkVM ) es un entorno de ejecución de programas que puede generar pruebas de validez fáciles de verificar, para demostrar que un programa se ha ejecutado correctamente. "zkEVM" generalmente se refiere a la utilización de la máquina virtual de Ethereum ( EVM ) y a la capacidad de probar la agregación de la ejecución de EVM. Este término puede ser engañoso, ya que el EVM en sí no genera estas pruebas; las pruebas son generadas por un mecanismo de prueba independiente que se basa en los resultados de la ejecución de EVM. Además, estas pruebas se centran principalmente en la validez y no en la privacidad, por lo que no son estrictamente pruebas de conocimiento cero.
zkEVM tiene como objetivo llevar la experiencia de Ethereum completamente a las blockchains de Layer-2. Intenta replicar el entorno de Ethereum para que los desarrolladores puedan escribir o portar contratos inteligentes a soluciones más escalables sin necesidad de cambiar el código o renunciar a las herramientas de EVM. Sin embargo, la principal desventaja de este enfoque es la reducción del potencial de escalabilidad de la prueba de validez. Debido a su dedicación a la compatibilidad con Ethereum, zkEVM es más lento y consume más recursos.
En comparación, Starknet utiliza Cairo VM (CVM), que es una nueva VM diseñada específicamente para optimizar la eficiencia de las pruebas de validez. Cairo VM permite a los desarrolladores personalizar según necesidades específicas y está equipada con funciones que satisfacen nuevas demandas.
El lenguaje Cairo fue diseñado originalmente para simplificar el proceso de creación de pruebas de validez computacional. Los programas de Cairo se compilan en código de máquina algebraico, que es ejecutado por una VM fija. Este enfoque permite a los desarrolladores aprovechar las pruebas de validez para escalar sus aplicaciones sin necesidad de profundizar en las matemáticas subyacentes y la infraestructura.
Starknet ofrece una variedad de métodos de codificación. Los desarrolladores pueden elegir escribir código de forma nativa en Cairo, o pueden utilizar herramientas de compatibilidad con Solidity. Por ejemplo, el compilador Warp puede traducir código de Solidity a Cairo, mientras que Kakarot es un zkEVM escrito en Cairo que puede ejecutar contratos inteligentes de Ethereum en Starknet.
En general, zkEVM tiene como objetivo replicar el entorno de Ethereum, pero puede limitar 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 limitaciones del EVM, ofreciendo mayor eficiencia y flexibilidad. A medida que el ecosistema de Starknet continúa desarrollándose, los desarrolladores ahora tienen un control sin precedentes sobre la escalabilidad de la blockchain.
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.
14 me gusta
Recompensa
14
5
Republicar
Compartir
Comentar
0/400
BearMarketMonk
· hace13h
La ampliación no es un problema, lo principal es ver si v胖 hace manipulación del margen de puntos~
Ver originalesResponder0
digital_archaeologist
· 08-10 13:29
¿Quién lo entiende? Hay demasiados L2.
Ver originalesResponder0
ApyWhisperer
· 08-10 13:26
La intoxicación es demasiado profunda, aún hay que ver vr
Validez Rollups y zkEVM: explorando las ventajas y desventajas de las soluciones de escalado de Ethereum
Rollups de validez: ¿la mejor opción para la escalabilidad de Ethereum?
Las Validity Rollups (también conocidas como zk-rollups) se consideran la solución más prometedora para aumentar el rendimiento de Ethereum de manera segura y descentralizada. El núcleo de esta solución de escalado es el uso de pruebas de validez para realizar cálculos verificables. Su funcionamiento es el siguiente:
Los operadores descargan la ejecución de transacciones a un entorno fuera de la cadena (capa 2). Después de procesar un gran volumen de transacciones, el operador de la capa 2 devuelve los resultados para aplicarlos al estado de Ethereum, al mismo tiempo que proporciona una prueba de validez de la integridad de la ejecución fuera de la cadena. Esta prueba asegura que todas las transacciones en el lote son válidas y son verificadas automáticamente por el contrato de validadores en la cadena. Esto permite que Ethereum aplique los resultados a su estado.
Es importante notar que los Validity Rollups a menudo se confunden con los rollups de conocimiento cero, pero esto no es correcto. La mayoría de los Validity Rollups no utilizan pruebas de conocimiento cero y no se emplean para garantizar la privacidad. Por lo tanto, el término "Validity Rollup" es más apropiado.
En los Validity Rollups, zkEVM y Cairo VM (CVM) son dos tipos de máquinas virtuales comúnmente utilizados. zkEVM se centra en la compatibilidad con Ethereum, pero sacrifica el rendimiento y la escalabilidad. Por otro lado, Cairo VM adoptado por Starknet prioriza el rendimiento y la escalabilidad sobre la compatibilidad.
La máquina virtual ( VM ) es un entorno donde se pueden ejecutar programas, similar a ejecutar el sistema operativo Windows en un Mac. Cambia entre diferentes estados después de procesar ciertas entradas. La máquina virtual de Ethereum ( EVM ) es la VM que ejecuta contratos inteligentes de Ethereum.
La máquina virtual de conocimiento cero ( zkVM ) es un entorno de ejecución de programas que puede generar pruebas de validez fáciles de verificar, para demostrar que un programa se ha ejecutado correctamente. "zkEVM" generalmente se refiere a la utilización de la máquina virtual de Ethereum ( EVM ) y a la capacidad de probar la agregación de la ejecución de EVM. Este término puede ser engañoso, ya que el EVM en sí no genera estas pruebas; las pruebas son generadas por un mecanismo de prueba independiente que se basa en los resultados de la ejecución de EVM. Además, estas pruebas se centran principalmente en la validez y no en la privacidad, por lo que no son estrictamente pruebas de conocimiento cero.
zkEVM tiene como objetivo llevar la experiencia de Ethereum completamente a las blockchains de Layer-2. Intenta replicar el entorno de Ethereum para que los desarrolladores puedan escribir o portar contratos inteligentes a soluciones más escalables sin necesidad de cambiar el código o renunciar a las herramientas de EVM. Sin embargo, la principal desventaja de este enfoque es la reducción del potencial de escalabilidad de la prueba de validez. Debido a su dedicación a la compatibilidad con Ethereum, zkEVM es más lento y consume más recursos.
En comparación, Starknet utiliza Cairo VM (CVM), que es una nueva VM diseñada específicamente para optimizar la eficiencia de las pruebas de validez. Cairo VM permite a los desarrolladores personalizar según necesidades específicas y está equipada con funciones que satisfacen nuevas demandas.
El lenguaje Cairo fue diseñado originalmente para simplificar el proceso de creación de pruebas de validez computacional. Los programas de Cairo se compilan en código de máquina algebraico, que es ejecutado por una VM fija. Este enfoque permite a los desarrolladores aprovechar las pruebas de validez para escalar sus aplicaciones sin necesidad de profundizar en las matemáticas subyacentes y la infraestructura.
Starknet ofrece una variedad de métodos de codificación. Los desarrolladores pueden elegir escribir código de forma nativa en Cairo, o pueden utilizar herramientas de compatibilidad con Solidity. Por ejemplo, el compilador Warp puede traducir código de Solidity a Cairo, mientras que Kakarot es un zkEVM escrito en Cairo que puede ejecutar contratos inteligentes de Ethereum en Starknet.
En general, zkEVM tiene como objetivo replicar el entorno de Ethereum, pero puede limitar 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 limitaciones del EVM, ofreciendo mayor eficiencia y flexibilidad. A medida que el ecosistema de Starknet continúa desarrollándose, los desarrolladores ahora tienen un control sin precedentes sobre la escalabilidad de la blockchain.