Protocolo Morph

La arquitectura del protocolo Morph incluye principalmente una red de secuenciador modular y descentralizada, y una prueba de validez receptiva. La prueba de validez receptiva es un nuevo método de verificación propuesto por Morph, que combina las ventajas de la prueba de fraude y la prueba de validez.

Modularidad de Morph

La modularidad es un término que describe un diseño arquitectónico en el que Layer1 se puede dividir en cuatro módulos: consenso, ejecución, disponibilidad de datos y liquidación. Layer2 también se puede dividir en varios módulos.

Morph tiene tres módulos importantes. Cada rol realiza sus funciones para garantizar que el módulo funcione sin problemas. Cada rol está compuesto por diferentes componentes. Estos componentes subyacentes colaboran de manera efectiva manteniendo su respectiva soberanía. Los tres módulos son la Red de Secuenciador responsable del consenso y la ejecución, zkEVM Optimista responsable del asentamiento y Rollup responsable de la disponibilidad de datos.

La estrategia de rollup de Morph maximiza la eficiencia. Una transacción contiene múltiples lotes, y un lote contiene múltiples bloques. Además, con la funcionalidad de prueba zk, los contenidos de los bloques se comprimen para gestionar eficazmente el coste de la disponibilidad de datos de la Capa1.

Red de secuenciador descentralizado

En Layer1 tradicional, los mineros en un sistema de prueba de trabajo o los nodos validadores en un sistema de prueba de participación empaquetan y procesan transacciones. Los mineros y los nodos pueden empaquetar, secuenciar y producir bloques.

Muchos diseños actuales de Capa 2 emplean un único rol, no afectado por la competencia o los costos de participación, responsable de empaquetar y secuenciar todas las transacciones de Capa 2. Este rol se llama el "Secuenciador". Sus responsabilidades no se limitan a la secuenciación; también es responsable de generar bloques L2, comprometer regularmente transacciones de Capa 2 y cambios de estado a Capa 1, y resolver cualquier desafío potencial con las presentaciones.

Existen preocupaciones sobre este monopolio de secuenciadores centralizados que tienen el control exclusivo sobre la secuenciación y empaquetado de transacciones de Capa 2. Además, los secuenciadores centralizados tendrán problemas como puntos únicos de falla, revisión excesiva de transacciones y monopolio de MEV.

Morph se destaca de otros proyectos Rollup al enfatizar el establecimiento de una red de secuenciadores descentralizada desde el principio. Su diseño arquitectónico se centra en mejorar la eficiencia y reducir costos. La solución de Morph garantiza una ejecución rápida y confirmación de transacciones en Layer2, al mismo tiempo que se esfuerza por la descentralización. Además, Morph sigue los principios de escalabilidad de red y facilidad de gestión, con el diseño de la red de secuenciadores priorizando la facilidad de mantenimiento, expansión y actualizaciones. Si una característica de la red requiere mantenimiento, no debería perturbar el funcionamiento de otras funciones. Además, la red de secuenciadores debería ser adaptable y fácil de actualizar a medida que surjan soluciones nuevas y más eficientes.

Prueba de validez receptiva

Los mecanismos de prueba de fraude utilizados en el proyecto Optimistic Rollup se pueden dividir en dos categorías: prueba de fraude no interactiva y prueba de fraude interactiva.

La prueba de fraude no interactiva es cuando el nuevo estado presentado por el secuenciador es desafiado, L1 ejecuta todas las transacciones correspondientes de L2, produciendo un estado válido, que se compara con el estado presentado por el secuenciador para determinar si se ha producido fraude. En caso de fraude, las pruebas de fraude no interactivas requieren que L1 vuelva a ejecutar completamente las transacciones en el lote relevante, lo que resulta en altos costos de gas.

La prueba de fraude interactiva es resolver el problema de la prueba de fraude no interactiva, e introducir múltiples rondas de prueba de fraude interactiva. La idea principal es determinar la ejecución de instrucciones específicas que causaron el error a través de múltiples rondas de interacción entre el secuenciador y el desafiante (en EVM, la ejecución de transacciones se divide en múltiples instrucciones de EVM para completar la transición de estado), y luego confirmar si hay fraude a través de los siguientes métodos: Ejecutar las instrucciones correspondientes en L1. El beneficio de este enfoque es que L1 solo necesita realizar operaciones mínimas, lo que reduce en gran medida el costo computacional. Al mismo tiempo, dado que la ejecución de L1 se refina al nivel de instrucción de EVM, el problema de resultados inconsistentes entre L1 y L2 se reducirá significativamente. Sin embargo, el problema también es bastante evidente. Como se puede ver en la descripción anterior, la lógica de la prevención de fraude interactiva es mucho más compleja que la no interactiva, lo que implica una mayor dificultad de implementación y un período de desafío más largo (es necesario reservar suficiente tiempo para garantizar la finalización de todas las interacciones complejas).

Los dos métodos de prueba anteriores tienen deficiencias considerables. Morph propuso un nuevo método de verificación: prueba de validez receptiva. Combina Optimistic Rollup con Prueba de Validez y utiliza ZK-Proof para verificar la corrección del estado.

La ventaja de la prueba de validez receptiva es que acorta el período de desafío de 7 días a 1-3 días. No solo eso, también puede reducir en gran medida los costos de envío de L2. Basado en la prueba de validez, L2 no necesita contener la mayoría de los bytes de transacción. Ser más amigable con los desafiantes. Además del mantenimiento básico del estado e identificación de L2, solo se requiere la responsabilidad de desencadenar desafíos, y el secuenciador debe demostrar que es correcto (generando y verificando la correspondiente prueba de conocimiento cero).

Hoja de ruta del proyecto

El proyecto se divide en cuatro fases por trimestre en 2024. En el primer trimestre, se lanzará la red de prueba de Sepolia. En el segundo trimestre, se lanzará la red de prueba de Holesky, y se llevará a cabo la integración con las actualizaciones de EIP-4844 y zkEVM. En el tercer trimestre, se lanzó la red principal. En el cuarto trimestre, se realizarán actualizaciones en la red principal. Actualmente, el proyecto está avanzando a través de la segunda fase.

Antecedentes de financiamiento

Según BlockBeats, el 20 de marzo, Ethereum L2 Morph anunció la finalización de una ronda de financiación de $19 millones, liderada por Dragonfly Capital, Pantera Capital, Foresight Ventures, The Spartan Group, MEXC Ventures, Symbolic Capital, Public Works, MH Ventures y Everyrealm participan en la inversión conjunta.

Además, Morph también recibió 1 millón de dólares en financiación de la ronda de ángeles. Los inversores incluyen fundadores de proyectos como Polygon, Manta, Galxe, Sei, Nansen, Story Protocol, y KOLs como Icebergy, MoonOverlord, NaniXBT, y Dingaling. Morph planea utilizar esta ronda de financiación para acelerar la construcción del equipo, aumentar los incentivos para los desarrolladores, expandir el marketing, etc.

Declaración:

1. Este artículo originalmente titulado '读懂Morph：首个响应式有效性证明的以太坊L2' es reproducido de [theblockbeats]. Todos los derechos de autor pertenecen al autor original [Frost & Jack]. If you have any objection to the reprint, please contact Gate Learnequipo, el equipo lo resolverá lo antes posible.

2. Descargo de responsabilidad: Las opiniones expresadas en este artículo representan solo las opiniones personales del autor y no constituyen ningún consejo de inversión.

3. Las traducciones del artículo a otros idiomas son realizadas por el equipo de Gate Learn. A menos que se indique lo contrario, está prohibido copiar, distribuir o plagiar los artículos traducidos.