Introducción
¿Qué es el resumen optimista?
Optimismo es "Optimistic Rollup", que es básicamente una forma elegante de describir una cadena de bloques que se aprovecha de la seguridad de otra cadena de bloques "principal". Específicamente, los Optimistic Rollups aprovechan el mecanismo de consenso de su cadena matriz (como PoW o PoS) en lugar de proporcionar el suyo propio. En el caso de Optimism, esta cadena de bloques principal es Ethereum.
¿Cómo funcionan los resúmenes optimistas?
Ejecución y agregación de transacciones
Los usuarios envían transacciones a validadores, también conocidos como agregadores, quienes procesan las transacciones en el resumen optimista. A diferencia de las transacciones en cadena, que pueden resultar prohibitivamente costosas debido a las altas tarifas del gas, los rollups optimistas pueden procesar múltiples transacciones a la vez. Luego, los validadores comprimen los datos generados por estas transacciones en un lote, que luego se publica en la red principal de Ethereum.
Compromisos estatales y prueba de fraude
Cada transición de estado en la cadena acumulada optimista produce un nuevo estado, al que el operador se compromete calculando una nueva raíz de estado. Esta raíz de estado se procesa y se almacena en el contrato acumulativo. Además, el operador compromete una raíz de Merkle para el lote de transacciones en sí, lo que permite a cualquiera probar la inclusión de una transacción en el lote presentando una prueba de Merkle.
Sin embargo, los resúmenes optimistas no publican pruebas criptográficas de validez para transacciones fuera de la cadena. En cambio, asumen que las transacciones fuera de la cadena son válidas y se basan en un esquema de prueba de fraude para detectar casos en los que las transacciones no se calculan correctamente. Después de enviar un lote acumulativo en Ethereum, hay una ventana de tiempo llamada período desafiante durante el cual cualquiera puede cuestionar los resultados de una transacción acumulada calculando una prueba de fraude.
Si la prueba de fraude tiene éxito, el protocolo acumulativo vuelve a ejecutar las transacciones y actualiza el estado del resumen en consecuencia. El otro efecto de una prueba de fraude exitosa es que el secuenciador responsable de incluir la transacción ejecutada incorrectamente en un bloque recibe una penalización.
Interoperabilidad L1/L2
Los paquetes acumulativos optimistas están diseñados para la interoperabilidad con Ethereum Mainnet y permiten a los usuarios pasar mensajes y datos arbitrarios entre L1 y L2. También son compatibles con la máquina virtual Ethereum (EVM), por lo que puede migrar dapps existentes a paquetes acumulativos optimistas o crear nuevas dapps utilizando las herramientas de desarrollo de Ethereum.
Movimiento de activos
Los usuarios depositan ETH, tokens ERC-20 y otros activos aceptados en el contrato puente del rollup en L1 para utilizar un rollup optimista. Luego, el contrato puente retransmite la transacción a L2, donde se acuña una cantidad equivalente de activos y se envía a la dirección elegida por el usuario en el resumen optimista. Retirarse de un rollup optimista a Ethereum es más difícil debido al esquema de prueba de fraude. Si un usuario inicia una transacción L2 > L1 para retirar fondos depositados en L1, debe esperar hasta que transcurra el período de desafío, que dura aproximadamente siete días.
Prueba interactiva de múltiples rondas
Los rollups optimistas están cambiando a pruebas interactivas de múltiples rondas, logrando el mismo objetivo de detectar operaciones de rollup no válidas de manera más eficiente. La prueba interactiva de múltiples rondas implica un protocolo de ida y vuelta entre el afirmador y el retador supervisado por un contrato de verificador L1, que en última instancia decide cuál es la parte mentirosa. Después de que un nodo L2 cuestiona una afirmación, el autor debe dividir la afirmación en disputa en dos mitades iguales. Cada afirmación individual en este caso contendrá tantos pasos de cálculo como la otra.
El retador elegirá entonces qué afirmación quiere cuestionar. El proceso de división, llamado protocolo de bisección, continúa hasta que ambas partes disputan una afirmación sobre un único paso de ejecución. En este punto, el contrato L1 resolverá la disputa evaluando la instrucción (y su resultado) para atrapar a la parte fraudulenta.
Pros y contras de utilizar el optimismo
Ventajas Desventajas Tarifas reducidas Funcionalidad limitada de contrato inteligente Escalabilidad Tiempos de retiro más prolongados Compatibilidad con Ethereum Riesgos de seguridad Finalidad sin confianza Seguridad mejorada
Ventajas
Tarifas reducidas
Uno de los principales beneficios de utilizar paquetes acumulativos optimistas es la reducción de las tarifas asociadas con las transacciones de Ethereum. Los operadores optimistas agrupan múltiples transacciones fuera de la cadena en grandes lotes antes de enviarlas a Ethereum. Al distribuir los costos fijos entre múltiples transacciones en cada lote, se reducen las tarifas para los usuarios finales.
Escalabilidad
Otra ventaja de los paquetes acumulativos optimistas es la escalabilidad mejorada. Dado que la computación y el almacenamiento de estado se trasladan fuera de la cadena, la red Ethereum puede procesar más transacciones por segundo. Esto es importante ya que Ethereum continúa creciendo y atrayendo a más usuarios.
Compatibilidad con Ethereum
Los paquetes acumulativos optimistas están diseñados para operar sobre Ethereum, lo que los hace compatibles con el ecosistema Ethereum. Esto significa que los desarrolladores pueden migrar los contratos inteligentes existentes en Ethereum a cadenas acumulativas optimistas sin modificar en gran medida las bases de código. Además, los desarrolladores y equipos de proyectos que utilizan paquetes acumulativos optimistas pueden aprovechar la infraestructura de Ethereum, como lenguajes de programación, bibliotecas de códigos, herramientas de prueba, software de cliente, infraestructura de implementación y más.
Finalidad sin confianza
Los rollups optimistas proporcionan una finalidad sin confianza, lo que garantiza que una transacción, siempre que sea válida, eventualmente será confirmada. Las pruebas de fraude son importantes porque facilitan una finalidad no confiable en resúmenes optimistas. La finalidad sin confianza es una cualidad de los resúmenes optimistas que garantiza que una transacción (siempre que sea válida) eventualmente será confirmada.
Seguridad mejorada
Los rollups optimistas se basan en el protocolo principal de Ethereum para la disponibilidad de datos, la resistencia a la censura y la liquidación. Esto hace que los rollups optimistas sean más seguros que los protocolos de escalamiento puros fuera de la cadena, como las cadenas laterales que no dependen de Ethereum para su seguridad.
Contras
Funcionalidad limitada de contrato inteligente
Uno de los principales inconvenientes de los paquetes acumulativos optimistas es su funcionalidad limitada de contratos inteligentes. Aunque los paquetes acumulativos optimistas son compatibles con el ecosistema Ethereum, no pueden admitir todas las características y funciones de la cadena de bloques Ethereum. Esto se debe a que los rollups optimistas ejecutan transacciones fuera de Ethereum pero publican datos de transacciones en Mainnet como datos de llamada.
Tiempos de retiro más largos
Retirarse de un rollup optimista a Ethereum es más difícil debido al esquema de prueba de fraude. Si un usuario inicia una transacción L2 > L1 para retirar fondos en custodia en L1, debe esperar hasta que transcurra el período de desafío (aproximadamente siete días). Esto hace que el proceso de retiro sea más largo y engorroso que las transacciones tradicionales de Ethereum.
Riesgos de seguridad
Los resúmenes optimistas se basan en el supuesto de que las transacciones fuera de la cadena son válidas y no publican pruebas de validez para los lotes de transacciones publicados en la cadena. Esto separa los paquetes acumulativos optimistas de los paquetes acumulativos de conocimiento cero que publican pruebas criptográficas de validez para transacciones fuera de la cadena. Los rollups optimistas se basan en un esquema de prueba de fraude para detectar casos en los que las transacciones se calculan incorrectamente. Si bien este esquema funciona en teoría, siempre existe el riesgo de que actores maliciosos aprovechen las vulnerabilidades del sistema.
Conclusión
Los paquetes acumulativos optimistas ofrecen muchos beneficios para las transacciones de Ethereum, incluidas tarifas reducidas, escalabilidad mejorada, compatibilidad con Ethereum, finalidad sin confianza y seguridad mejorada. Sin embargo, existen desventajas, como una funcionalidad limitada de contratos inteligentes, tiempos de retiro más prolongados y riesgos de seguridad. Los rollups optimistas son una solución prometedora para escalar Ethereum, pero no están exentos de desafíos como cualquier tecnología. A medida que Ethereum continúe creciendo y atrayendo a más usuarios, será interesante ver cómo evolucionan y se adaptan los paquetes acumulativos optimistas para satisfacer las necesidades de la comunidad.
