jakiro
Autor: Xpara, investigador cuatro pilares;
1, Sistema de prueba yOptimistaprobar
Volvamos a la base de la cadena de bloques.La cadena de bloques es esencialmente una máquina de estado.Es fundamental asegurarse de que todos los participantes lleguen a un consenso sobre el estado de intercambio.Para alcanzar mejor un consenso y eliminar las necesidades de confianza para una determinada parte, la cadena de bloques se centra en la descentralización.Sin embargo, esta descentralización puede restringir la escalabilidad y dificultarle acomodar más transacciones.Estos problemas constituyen las tres dificultades de la cadena de bloques.
Ethereum, como uno de los primeros blockchains de contrato inteligentes, lideró la creación de rollup.En el modo de rollo, está separado de Ethereum, pero todavía hay un sistema que verifica la efectividad y castiga el malware.Hay dos métodos para establecer este sistema.El primero es el método optimista.El segundo método es probar la efectividad de ZK.Aunque la cadena lateral es otra opción, lo excluyo, porque la cadena lateral es muy baja dependiente del asentamiento de Ethereum.
Debido al proceso de implementación simple, el certificado optimista (también conocido como certificado de fraude o certificado de error) es el método factible principal para las actualizaciones de estado de acumulación.
>
1.1Demuestre el estado del sistema:ZkyOpción
En un momento, el sistema de certificación ZK ocupará rápidamente la posición dominante, y el sistema de prueba optimista perderá su ventaja.Las personas generalmente esperan que el ZK demuestre que el sistema puede proporcionar un costo más bajo y una certeza final más rápida ha hecho un progreso significativo en la generación probada.Estos proyectos incluyen ZKM, Risczero, Succint Labs y Fluent.Aunque ZK Rollup tiene beneficios obvios, el desafío de desarrollar una versión de seguridad con costo -efectividad es enorme.La actualización de máquinas virtuales como EVM también tiene desafíos, porque es difícil fusionar nuevas características sin dañar ninguna característica.
Debido a estos desafíos, el más común en el ecosistema enrollable es el sistema de certificación optimista, que representa la mayoría de los TVL (aproximadamente el 75%del TVL total de L2).No es seguro si esta posición dominante continuará en el futuro.Sin embargo, muchas medidas para optimizar la prueba del sistema han hecho un gran progreso.
>
1.2 optimista¿Cuál será el futuro del sistema?
Se realizan muchas investigaciones positivas y el desarrollo.
· Reducir los costos
· Clasificación descentralizada, desafío y proceso de determinación final
· Reducir la finalidad blanda y la finalidad dura (extremo duro)
Estos tres campos han mostrado grandes esfuerzos.
Antes de más investigación, es necesario comprender a fondo los conceptos establecidos y las situaciones actuales.En primer lugar, debemos analizar el desarrollo y la evolución de este campo, y luego estudiar el status quo de la prueba optimista del proyecto.
2Así comoOptimistaProbar la historia del desarrollo del sistema
El optimista demuestra que el sistema no se logra de la noche a la mañana.Muchos investigadores y desarrolladores han trabajado duro para construir un sistema a prueba de robots para garantizar que puedan operar sin problemas en las operaciones reales, el sistema ha garantizado $ 18 mil millones en seguridad de capital.Revisemos el hito.
2.1pasado————Rastreo de la historia
El acurrucado optimista fue originalmente una solución de expansión de la extensión de la capa 2 de Ethereum en 2019 por el investigador de Ethereum John Adler en 2019.El concepto central de acumulación optimista es transferir la computación y el almacenamiento de datos de la red principal de Ethereum a la cadena L2 independiente, y al mismo tiempo hereda la garantía de seguridad de Ethereum.La principal motivación para desarrollar el acurrucado optimista es considerar el problema de la congestión y las altas tarifas de transacción en la red principal de Ethereum.Con la creciente popularidad del Protocolo Defi y NFT, Ethereum enfrenta el problema de la expansión, lo que dificulta la experiencia del usuario y la eficiencia económica.
RollLP optimista es experimentado y desarrollado principalmente por dos equipos de árbitro y optimismo.Estos rollup tienen como objetivo proporcionar datos de transacción comprimidos y raíces de salida en la red principal de Ethereum mediante el procesamiento de la transacción debajo de la cadena para proporcionar escalabilidad para Ethereum.Debido a que redujeron los costos para los usuarios y DAPP, la comunidad Ethereum adoptó rápidamente estos rollup.
>
La característica clave del acurrucado optimista es que utilizan el método «optimista», después de una inspección efectiva simple de la transacción, suponen que todas las transacciones son predeterminadas y efectivas, y confían en el mecanismo de prueba fraudulento. Período de tiempo (generalmente 7 días) La efectividad de las transacciones desafiantes dentro.Si se detectan las transacciones de fraude, la prueba de fraude se reemplaza la transacción de la manera correcta.Este método optimista permite que el acurrucado optimista alcance mejoras de escalabilidad significativas en la red principal de Ethereum.
Ha habido muchos desafíos en el pasado.Inicialmente, proyectos como el optimismo utilizaron el EVM (llamado OVM) que modificaron por sí mismos, lo que limitó su compatibilidad con EVM.Estos proyectos continuarán utilizando métodos concentrados para resolver el mecanismo de reversión y desafío.Este método trae un equilibrio de seguridad, porque la transacción no es un final inmediato.
2.2status quo————Progreso continuo, pero también enfrentando desafíos
El último desarrollo del sistema de prueba optimista ha mejorado significativamente la eficiencia y escalabilidad de la solución Ethereum L2 (como el árbitro y el optimismo).Además de la actualización de Dencun de Ethereum, otra optimización del acurrucado optimista también ayuda a mejorar la eficiencia.Por ejemplo, Arbitrum se ha comprometido a mejorar su sistema de certificación de errores para garantizar la integridad y la seguridad de los datos.
El optimismo también ha logrado un progreso sustancial a través de su estrategia de superchain.Superchain utiliza soluciones personalizadas y alt DA, transmisión de mensajes de cadena cruzada y la clasificación para compartir para promover la interoperabilidad perfecta y la optimización de escalabilidad.
Recientemente, la mejora del ecosistema optimista enrollado ha demostrado la transformación de la certificación de fraude no interactiva a la certificación de fraude interactivo.Las pruebas interactivas incluyen un diálogo de trips redondo para identificar y corregir efectivamente las transacciones incorrectas.Este cambio tiene como objetivo reducir el costo de cálculo y la complejidad de la verificación en la cadena.
3, El patrón actual
>
Echemos un vistazo al estado actual del acurrucado, centrándonos en los proyectos y el desarrollo de proyectos que se ejecutan bajo el sistema de prueba optimista.
En la actualidad, el árbitro y el optimismo están comprometidos principalmente a mejorar el sistema de certificación optimista.Otros proyectos, como Initia, Dymension y Rollkit, están desarrollando sus propios marcos de ecosistemas.
El árbitro y el optimismo están tratando de mejorar la tecnología de la prueba fraudulenta, y otros proyectos también están logrando métodos interesantes.Esbozemos brevemente sus actividades y progresos actuales.
3.1 Árbitro————Certificación ronda múltipleAtrevido
3.1.1 Prueba de múltiples rondas (múltiples rondas de prueba)
El sistema de prueba de Arbitrum utiliza el método «Certificado de fraude múltiple» para verificar la transacción.Este proceso ocurre principalmente bajo la cadena, y el estado final se registra en la cadena de bloques de Ethereum para mejorar la transparencia.
La característica central del sistema es «Árbol de afirmación».Use ETH para publicar verificaciones de bonos para hacer una declaración (o «afirmación») del árbitro.Estas afirmaciones forman una cadena, y cada afirmación se basa en la última afirmación.Sin embargo, cuando ocurre una afirmación contradictoria, el árbol de afirmación dividirá la rama, lo que indica que puede haber fraude.
Resolver estas disputas implica una tecnología de prueba interactiva llamada «disección».Las verificaciones involucradas en la disputa redujeron sistemáticamente sus diferencias hasta que solo quedaba una operación.La operación luego se ejecuta en el Ethereum L1 para determinar su efectividad.
Los pasos específicos son los siguientes:
· Dos verificaciones son diferentes del estado del árbitro.
· Poco a poco redujeron sus disputas a un solo paso de cálculo.
· Luego ejecute este paso en Ethereum L1 para verificar qué verificación es correcta.
El método del árbitro es conocido por su eficiencia.A través del cálculo de la inspección en disputa y la inspección, evita el proceso de mayor costo traído por toda la transacción en Ethereum. en la cadena.
3.1.2 Arbitrum Bold
>
Bold (retraso en la liquidez límite) es una nueva solución controvertida adaptada para el roolup optimista en la cadena del árbitro, cuyo objetivo es promover la verificación sin permiso.Este mecanismo se resuelve asegurando la disputa en la ventana de tiempo programada, reduciendo así los riesgos relacionados con el ataque retrasado.
Bold tiene varias características clave y es una parte importante de sus funciones.En primer lugar, introduce la verificación sin permiso, lo que permite a cualquier parte honesta verificar y vincular sus fondos para publicar la afirmación correcta del estado L2.Esta característica permite a los autenticistas honestos desafiar y ganar controversia con los participantes maliciosos.En segundo lugar, Bold garantiza que la disputa se resolverá en una ventana de tiempo fija.Además, el período de tiempo más largo para resolver la disputa incluirá hasta dos desafíos y el límite de ancho de dos días que el Consejo de Seguridad puede intervenir.Finalmente, Bold admite el árbitro en la etapa de acumulación de la etapa 2 para garantizar que cualquiera pueda verificar el estado de L2 y enviar fraude a Ethereum, lo que mejora las características y la seguridad descentralizadas de la plataforma.
Es muy importante que Bold defienda la participación sin permiso y aliente a cualquier parte honesta a participar en el proceso de verificación.Esta tolerancia tiene como objetivo cultivar una mayor elasticidad en la red a través de la participación diversificada y la reducción de los puntos de falla del centro.En la actualidad, Bold está en la etapa de lanzamiento de Alpha y se implementa en la red de pruebas públicas.También ha sido auditado dos veces.
3.2 Optimismo————Prueba de errorVM,Cañón
>
El sistema de prueba de errores en OP-Stack tiene como objetivo desafiar y reducir las actividades maliciosas en la red.El próximo error demuestra que la máquina virtual será una mejora clave.El sistema consta de tres partes principales: Error demuestra (FPP), Error Probar la máquina virtual (FPVM) y los protocolos de juegos controvertidos.FPP verifica la conversión del estado de la acumulación para verificar la salida L2 (entrada L1) y organizar la controversia de la salida L1.Esta arquitectura modular permite el desarrollo y el despliegue independientes de sistemas de múltiples pruebas y juegos controvertidos únicos, lo que mejora en gran medida la flexibilidad y la seguridad del sistema.
FPVM es una unidad mínima y combinada en esta arquitectura.Los controvertidos protocolos de juego coordinan el mecanismo de desafío a través de la conversión de estado equivalente para reducir la disputa a una sola verificación de instrucciones, lo que permite pruebas efectivas en L1 EVM.El sistema promueve una multi -resistente del futuro, como la certificación ZK y el sistema de prueba de agregación.
3.3 Initia-STRACK OPSHRINED,Dar una opinión
>
Initia es una cadena de bloques COMSOS L1, que está construyendo un ecosistema rollup unificado y entrelazado.Initia es muy similar al ecosistema enrollable en Ethereum, pero está diseñado para el encierro de abajo hacia arriba.La autenticación de la inicia L1 ejecuta un clasificador en el encierro, y el acuerdo basado en pruebas optimistas está integrado en la cadena de bloques L1.Veamos cómo funcionan estos rollups.
Opinit Stack es un marco destinado a comenzar el Minitia L2 basado en la cadena de bloques Initia L1.Opinit Stack está especialmente construido por CosMOSSDK.Al utilizar el modelo de gobernanza Initia L1, maneja efectivamente disputas en fraude para garantizar la verificación confiable de la transacción y la resolución de disputas.Al igual que el sistema de desafío de Bedrol, los retadores permitidos pueden eliminar la salida insatisfactoria.Además, a través de la propuesta L1, se pueden cambiar los presentadores de salida.
Opinit Los dos modos principales de Stack esencialmente: Ophost y Opchild:
El módulo OPHOST está diseñado para la operación L1 en el ecosistema Initia, utilizando la función Cosmos SDK.Incluye varios tipos de mensajes y métodos de controlador RPC para promover actividades centrales, como envío por lotes, creación de puentes, propuesta de datos de salida y eliminación de salida.
· El módulo OPCHILD se centra en las operaciones de L2, proporcionando mecanismos que admiten la transferencia de tokens y la gestión del grupo de costos.También incluye tipos de mensajes específicos y controlador RPC, que se utiliza para ejecutar mensajes, determinar el almacenamiento de tokens e iniciar tokens de L2 a L1 para garantizar que la función L2 mejorada se logre en la arquitectura Initia.
3.4 Taiko————Sistema multi ruido
>
Taiko es un acurrucado optimista predeterminado, que utiliza un sistema de certificación múltiple.El sistema combina el método optimista y el uso de la certificación ZK.
Este proceso comienza con el proponente.Estos bloques propuestos se agregan al contrato L1 sin ninguna prueba de validez.Luego, Prover tiene la oportunidad de desafiar la efectividad del bloque propuesto al proporcionar unión, lo que requiere tokens de taiko comprometidos.Si un bloque no es desafiado durante el período de desafío, se considerará válido y finalmente se determina en L1 y se devuelve al Bono del Prueba.Cuando se desafía el bloque, se requiere ZK para confirmar la efectividad del bloque.El prover correcto, ya sea el prover inicial o el retador, obtendrá recompensas además de recuperar el vínculo.Al mismo tiempo, el lado equivocado de la otra parte será castigada, y parte de ellos será quemado por Burn.
Curiosamente, se estima que Taiko tiene aproximadamente el 1%de los bloques para probar ZK, lo que ayuda a reducir la sobrecarga del cálculo y aún proporciona una garantía válida.Para mejorar su elasticidad, Taiko admite múltiples pruebas como PLONK, HALO2 y SGX para evitar posibles errores o vulnerabilidades.Este método le permite a DAPP establecer sus propios supuestos de confianza y niveles de seguridad, mostrando la contribución de Taiko a la escalabilidad y la seguridad de la cadena de bloques.
3.5otro–DimensiónyRollkit
3.5.1 Dimensión
Crack demuestra es una parte integral del ecosistema Dymension, cuyo objetivo es garantizar la integridad de la conversión estatal de la cadena de bloques.Cuando el clasificador en el rollapp (el rollup en Dymension L1 publica una raíz de estado, todos los nodos rollApp monitorean estas conversiones.Si se detecta una conversión de estado no válida, estos nodos se generan recolectando los bloques en el bloque hasta que se pueda generar la lista de conversión de estado de fraude para generar la única transacción a prueba de fraude.
Esta transacción de colección incluye detalles como altura de bloque, índice de transacción, ShloB Share, Blob que contiene pruebas y testimonio de estado, y luego se envió a Dymension para su verificación.Una vez enviado, el nodo completo de Dymension verificará los datos y volverá a calcular la conversión de estado.Si la raíz del estado temporal (ISR) generada por la conversión calculada es diferente del estado de la publicación, el fraude demuestra que se verifica, lo que resulta en la reversión del estado de disputa y la penalización del clasificador responsable.
La red principal de Dymension actual está configurada hasta aproximadamente 120,000 bloques.Dado que la salida actual de un bloque se produce actualmente, la determinación final es de aproximadamente 8 días.
3.5.2 Rollkit
>
El fraude de estado de Rollkit demuestra ayudar a reducir la confianza en la red Blockchain al identificar las transacciones de fraude.Se utilizan para no coincidir con el estado de todo el nodo y el clasificador.Todo el nodo crea una prueba compartida en toda la red para su verificación.Si se confirma que no coincide, es necesario tomar medidas de corrección para mejorar la seguridad y dispersar la supervisión.
4Desarrollo futuro: problemas y soluciones
Muchas personas una vez pensaron que el rollup optimista no es tan bueno como el rollo de ZK.A medida que ZK Rollup se pone cada vez más en producción, su interoperabilidad de seguridad y su determinación final más rápida y otras ventajas son bien conocidas de que las personas no solo son dudosas, sino que el optimista ha demostrado si el sistema tendrá una fuerte disminución.No lo creo, porque ha habido muchos progresos positivos en los principales problemas en el sistema de prueba optimista.
Ahora, echemos un vistazo a cuáles son estos problemas principales y qué posibles soluciones.
· Centro de operaciones
· Alto costo de operación
· Determinación final lentamente
4.1Descentralización————Sin verificación de licencia
>
En el proyecto optimista, la centralización del clasificador es un tema clave porque implica un punto de control centralizado y un punto de confianza en un sistema descentralizado.En el encierro optimista, el clasificador es responsable de clasificar la transacción, agregar la transacción debajo de la cadena y enviarla a Ethereum.Este rol central le da a los clasificadores un poder y control considerable, lo que puede traer algunos riesgos centralizados.
La mayoría de los rollup hoy usan un clasificador centralizado.En este caso, un clasificador generalmente es dirigido por una sola entidad o tejido, lo que puede conducir a varios problemas potenciales.La mayoría de los acurrucados actuales, incluido el maletín OP y el árbitro, no están completamente descentralizados.Dependen de ciertas entidades centrales en la presentación de paquetes comerciales y participan en el sistema de desafío de fraude.Sin embargo, el árbitro tiene una forma construida.
El reciente incidente de reversión de la explosión es un buen ejemplo, que puede mostrar los beneficios y desventajas de la centralización.Este incidente destaca que la solución L2 centralizada no tiene suficientes estrategias de salida del usuario, lo cual es muy arriesgado.Se puede ver claramente cuando Blast se apaga y se elimina la transacción relacionada con los ataques de piratería.La entidad central operativa puede afectar todo el ecosistema.
4.1.2 Solución 1: No se requiere verificación de licencia
El árbitro y el optimismo son los principales constructores de marco optimistas.Todos se están preparando para publicar actualizaciones este año, por lo que no es necesario permitir el proceso de verificación.
· Arbitrum: el árbitro se compromete a lograr verificaciones que no requieren licencias a través de un nuevo protocolo de verificación llamado BOLD (retraso de liquidez límite).El acuerdo permite a cualquier parte honesta publicar la afirmación correcta de L2 State para participar en el proceso de verificación al vincular sus fondos.Esto elimina las necesidades de la autenticación de gestión de entidades centrales y permite que las disputas se resuelvan en función de la corrección del estado en lugar de la verificación.
· Optimismo: el optimismo tiene como objetivo implementar la verificación de la licencia al convertir a un sistema de verificación de errores descentralizado.Inicialmente, el optimismo se basó en la Comisión de Seguridad del Optimismo y la Fundación Optimism Managed.Para descentralizar aún más, el optimismo introdujo el cañón, que es un sistema de prueba de errores bajo la cadena.Al usar Cannon, el optimismo está tratando de hacer la transición de un sistema que debe tener licencia claramente a un sistema que pueda participar en la verificación comercial y la resolución de conflictos.El sistema permite a cualquier persona participar en el proceso de verificación enviando una declaración de retiro respaldada por Bond.
4.1.3 Solución 2: Dentalización de clasificadores
Las características de concentración de los clasificadores (responsables de la construcción y los bloques propuestos) han atraído la atención a la centralización.Para hacer frente a estos desafíos, Rollup tiene como objetivo pasar de un solo modelo de clasificación a configuraciones de orden múltiple, a fin de asignar bloques para verificar y proponer responsabilidades entre múltiples entidades independientes.Aquí hay algunos métodos que pueden lograr la descentralización de los clasificadores.
· Compartir clasificando: subcontratación a servicios de tercera parte, como espresso y radio.
· Tecnología de clasificación distribuida (DST): use tareas de clasificación de distribución del grupo de máquinas para proporcionar altamente defectuoso.Esto puede considerarse similar a la solución de DVT (como la red OBOL) construida para verificaciones POS.
Diferentes rollups pueden tener diferentes consideraciones prioritarias de acuerdo con sus casos específicos, como las características máximas descentralizadas, la flexibilidad o la distribución geográfica.Por ejemplo, los rollups universales como el optimismo pueden adoptar un método más descentralizado, pero el uso de un conjunto de clasificación especial (como el DST), y un encierro de aplicación específico (como el encierro del juego) puede tender al modo centralizado, pero usar clasificadores compartidos para usar compartidos compartidos Los clasificadores aseguran la confiabilidad y reducen el tiempo de parada.Esta área todavía está en la etapa inicial de desarrollo.
>
4.2Costo más bajo————Disponibilidad de datos y sistema de prueba interactiva
El acurrucado optimista requiere transacciones de almacenamiento para reconstruir el estado del proceso de desafío.Esto puede conducir a altos costos de almacenamiento de datos, lo que constituye la mayoría de los costos operativos del acurrucado optimista.Sin embargo, las personas están estudiando activamente este problema, incluida la aplicación de más tecnología de compresión o el uso de Alt DA (usabilidad de datos reemplazada).Además, el sistema de prueba interactiva ayuda a reducir el costo del desafío, porque el cálculo de los desafíos se reduce considerablemente.
4.2.1 Solución 1: DA de bajo costo
El acurrucado optimista utiliza efectivamente las blobs de Ethereum y otras soluciones de usabilidad de datos (DA) (como Celestia) para resolver problemas de alto costo relacionados con la liberación de datos de paquetes de transacciones.
En el caso de Ethereum, los datos optimistas de transacciones publicados anteriormente como Data CallData a la red principal, que es un gran costo.Sin embargo, con la actualización de Dencun, ahora usan el nuevo formato de almacenamiento de datos llamado blobs, lo que reduce el costo total en más del 90%.
>
Además de usar el propio progreso de Ethereum, el acurrucado optimista también se integra con otras decisiones de usabilidad de datos (como Avain y Celestia).Al desinstalar los datos del paquete de transacción a Celestia, el acurrucado optimista puede reducir la dependencia de gastar un mayor almacenamiento en Ethereum, reduciendo así aún más el costo relacionado con la liberación de datos.Esta integración permite que el encierro mantenga un rendimiento de alto nivel y una velocidad de transacción al tiempo que mantiene costos controlables.
Con el lanzamiento de Rollup utilizando el sistema de prueba optimista en cada vez más, el campo Alt DA ahora está recibiendo cada vez más atención.Con más acumulación de preparación para su lanzamiento, el campo Alt DA también se fortalecerá significativamente.En la actualidad, DA no constituye el cuello de botella de los costos operativos ni es no expandir el cuello de botella.
4.2.2 Solución 2: Sistema de prueba interactiva
En el encierro optimista, si se sospecha que una transacción es fraudulenta, el retador en la red puede desafiar la efectividad de la raíz de salida.Durante el período de desafío, se debe proporcionar pruebas fraudulentas para probar la corrección de la transacción.Si se demuestra que la transacción es fraudulenta, la prueba se verifica en la cadena, lo que hará que la transacción sea inválida.Este método asegura que solo las transacciones controvertidas deben verificarse en la cadena, de modo que la mayoría de las transacciones se mantengan bajo la cadena.
El sistema de prueba interactiva invita a los participantes a generar y presentar la certificación de fraude durante el sospechoso de que una transacción es una transacción de fraude.Administrar los contratos inteligentes de Rollup para evaluar estas pruebas en función de la raíz de estado presentada por el clasificador.Si se encuentra la desviación, descarte el estado incorrecto y restaure el sistema al estado válido anterior.Este método garantiza una verificación efectiva sin aportar una carga de cálculo innecesario a la red Ethereum.En la actualidad, este cálculo se realiza en la cadena, que puede ser muy costoso.Para el árbitro, el cálculo requerido para el desafío se completa bajo la cadena, y el resultado final se libera en la cadena.Pero el costo puede ser mínimo, porque casi no hay desafío en el rollup optimista actual.
4.3Lentamente certeza final————Sistema de ejecución rápida y certificación mixta
Rollow optimista tiene dos tipos de determinismo final, confirmación de suave y certeza rápida.La confirmación suave se refiere al estado inicial del estado de ejecución del clasificador, y al mismo tiempo, las transacciones por lotes se emiten en Ethereum.En este momento, la transacción se considera «suave y segura», y los usuarios y las aplicaciones en el encierro pueden confiar en esta transacción con confianza.Sin embargo, hay un período de desafío (generalmente aproximadamente 7 días), y durante este período, cualquiera puede presentar un «certificado de fraude» para cuestionar la efectividad del lote de transacciones.Si el certificado fraudulento no se presenta durante el período de desafío, el paquete de transacciones logrará una certeza dura y no se puede retirar o desafiar.En general, el puente nativo debe ser rígido para transferir activos.
Al construir un puente o DAPP múltiple, la confirmación lenta y suave de la velocidad puede causar problemas.Este problema se resuelve a través de la ejecución más rápida y los sistemas de certificación mixta.
4.3.1 Solución 1: realizar una ejecución más rápida
En términos de determinación suave, este proceso implica la transformación del estado de ejecución y almacena el paquete de transacción en Ethereum.Debido a que la especificación EVM no admite la ejecución paralela y la optimización de la base de datos, el proceso de ejecución es limitado.Sin embargo, proyectos como Megaeth y Heiko están construyendo un entorno de ejecución paralelo y utilizando el sistema de certificación optimista.
Además, el rollup está tratando de almacenar paquetes de negociación más rápido a través de bloques más cortos.Para el árbitro, se genera un bloque generando un bloque cada 250 milisegundos, o se puede generar un bloque por cada 100 milisegundos en la cadena de órbita configurable asegura una confirmación de transacción rápida.Además, el diseño de Arbitrum utiliza un modelo único de «clasificación» en lugar del método tradicional de «construcción de bloques».Al mismo tiempo, también puedes eliminar los malos MEV.
4.3.2 Solución 2: Sistema de prueba mixta
El sistema de certificación híbrida, especialmente aquellos sistemas de certificación híbrida que combinan la certificación ZK y el acurrucado optimista, mejoran significativamente la certeza final de las transacciones blockchain al reducir el tiempo requerido por las conclusiones para verificar.El acurrucado optimista (como los utilizados en OP Stack en optimismo) esencialmente depende de dicha hipótesis: a menos que sea desafiado, el comercio es efectivo.Esto hace que la ventana de disputa o desafío sea esencial, y puede lidiar con posibles transacciones inválidas.Sin embargo, este período de desafío conducirá a la demora en la determinación de la transacción, porque el período de desafío debe ser lo suficientemente largo como para garantizar una verificación confiable y respaldar cualquier desafío potencial.
Zeth es un bloque de bloqueo ZK construido en RISC cero ZKVM.Esto reduce su dependencia de la ventana de disputa a largo plazo requerida para el encierro optimista, y ha acortado en gran medida el tiempo de determinación final.
Herramientas como Zeth aseguran que la clasificación de transacciones y el mecanismo de disponibilidad de datos sean confiables, y la eficiencia de la solución L2 (como el optimismo) mejore al reducir el período de desafío de unos pocos días a varias horas o incluso minutos.Proyectos como ZKM también han desarrollado un sistema de prueba mixta para METI.
>
5, Espero con ansias el futuro————Prolongado optimista¿Será reemplazado?
En mi opinión, el acurrucado optimista no se reemplazará rápidamente.Hay muchas mejoras en progreso, y pueden ser adoptadas por otros ecosistemas por simplicidad.En futuros artículos, intentaré estudiar el «estado del sistema de certificación ZK» en profundidad, discutir su desarrollo reciente y la próxima versión, y compararlo con un encierro optimista.Sin embargo, el uso de marcos como Arbitrum Orbit y OP-Stack se acelera.
Un problema que vi en el campo del rollup es el problema de la expansión.Los proyectos L1 como SEI, Sui y Solana están desarrollando infraestructura para lograr la ejecución confiable de la transacción paralela y la optimización de la base de datos, que tiene como objetivo hacer que Blockchain sea más fácil de usar por el público.Es posible que el encierro actual no pueda manejar la cantidad de transacción tanto como sui y lograr una certeza final rápida.Sin embargo, como proyectos como Fuel Network, Megaeth y Heiko hacen posible la implementación paralela, podemos esperar una mejora del rendimiento en el campo de avance.
