Demasiado largo;No lo he leído

• La característica clave de OP Succinct es su capacidad para incorporar pruebas de conocimiento cero (ZKP) en el diseño modular de OP Stack, transformando OP Stack Rollup en un ZK Rollup completamente verificado.
• Si el objetivo futuro de la expansión de Ethereum es convertir todos los Rollups en ZK Rollups, la misión de OP Succinct es fusionar Rust y SP1 para implementar el Type-1 zkEVM de OP Stack, que es totalmente compatible con Ethereum.
• El OP Succinct Proposer es responsable de generar pruebas en paralelo y de agregar y verificarlas.
• El sistema actual de OP Stack utiliza una "ventana de prevención de fraude de 7 días", que retrasa la verificación de transacciones durante una semana si se producen disputas. OP Succinct utiliza pruebas ZK para reducir el tiempo necesario para finalizar las transacciones, eliminando la necesidad de un período de prevención de fraude prolongado.
• OP Succinct tiene el potencial de reducir en gran medida los costos de transacción.

1. Visión general reciente: Estado actual de la red principal de OP y los roles de OP Stack y OP Labs

Fuente: Blockscout

1.1 Desarrollos recientes de la red principal de OP

A partir del 30 de marzo de 2024, OP Labs anunció el lanzamiento de 'fault proof' en la red de prueba OP Sepoila, con un lanzamiento oficial en la red principal de OP el 11 de junio de 2024. Esto marca un paso significativo hacia la descentralización, permitiendo a los usuarios retirar ETH y tokens ERC-20 de la red principal de OP sin depender de un tercero de confianza. Ahora los usuarios pueden desafiar e invalidar retiros incorrectos (incluyendo aquellos de Base, Metal, Mode y Zora).

Para mejorar la seguridad y la confianza de los activos de los usuarios, Optimism utiliza pruebas de fallos para mejorar la precisión y la eficacia de las transacciones en cadena y para prevenir actividades maliciosas. Los principios clave son:

• Disponibilidad de datos: Fault proof garantiza que todos los datos en la Capa 2 sean accesibles y puedan ser verificados por la Capa 1.
• Período de desafío: Durante un período de desafío designado, cualquier persona puede impugnar los datos en la Capa 2. Si se encuentran discrepancias entre los datos de la Capa 2 y los de la Capa 1, se puede plantear un desafío.

Si surge una disputa, el operador de Capa 2 debe proporcionar pruebas para contrarrestar el desafío y confirmar la precisión de sus datos.

Finalidad: Si no se plantean disputas válidas durante el período de desafío, o si el operador de Capa 2 responde con éxito a los desafíos, la transacción se finaliza y se considera válida.

1.2 La relación y diferencias entre OP Stack y OP Labs

OP Labs es el equipo responsable de desarrollar soluciones de Optimism, mientras que OP Stack es el marco técnico que respalda la construcción y escalabilidad de la red de capa 2 de Ethereum. Puedes pensar en OP Labs como los desarrolladores y OP Stack como su conjunto de herramientas.

● OP Labs:

OP Labs es un contribuyente clave al proyecto Optimism, responsable del desarrollo y mantenimiento de la solución de Capa 2 de Optimism. Es un equipo u organización enfocado en construir y mejorar herramientas técnicas relacionadas con la escalabilidad de Ethereum, como los Rollups Optimistas. El objetivo principal de OP Labs es aliviar la carga en la red principal de Ethereum a través de soluciones de escalabilidad de Capa 2, reduciendo los costos de transacción y aumentando la velocidad de las transacciones.

OP Labs también colabora con otros proyectos, como Succinct Labs, para avanzar aún más en la tecnología de escalado de Ethereum, centrándose en la optimización de las pruebas de conocimiento cero con iniciativas como OP Succinct.

OP Labs es el equipo principal u organización responsable del desarrollo y mantenimiento de la red Optimism. Su objetivo es crear una solución eficiente para escalar Ethereum, centrándose en reducir las tarifas de transacción y aumentar la velocidad de transacción. No solo son responsables del desarrollo de Optimistic Rollups, sino que también promueven activamente nuevas tecnologías relacionadas con pruebas de conocimiento cero, como OP Succinct en colaboración con Succinct Labs.

● Pila OP:

OP Stack es una arquitectura modular o pila tecnológica utilizada para construir y escalar redes de capa 2 de Ethereum. Consta de varios componentes personalizables que permiten a los desarrolladores crear sus propias cadenas de capa 2 basadas en necesidades específicas. Proporciona un enfoque estandarizado que permite a los desarrolladores establecer rápidamente redes de escalado de capa 2 que cumplen con requisitos particulares.

OP Stack es un marco modular desarrollado por OP Labs. Este marco proporciona la infraestructura para construir redes de Capa 2, permitiendo a los desarrolladores crear rápidamente diversas redes de escala utilizando OP Stack. Debido a su diseño modular, OP Stack permite a los usuarios elegir de manera flexible diferentes mecanismos de validación (como Optimistic Rollups o ZK Rollups) para satisfacer las necesidades específicas de diferentes proyectos.

OP Labs se puede entender como el desarrollador de OP Stack, que es un conjunto de herramientas técnicas proporcionadas por OP Labs para ayudar a los desarrolladores a construir y escalar las redes de Capa 2 de Ethereum.

Antes de sumergirse en OP Succinct, es importante comprender los cuatro componentes principales de OP Stack:

1. op-geth: Este componente recupera transacciones de los usuarios, genera bloques a partir de estas transacciones y las ejecuta.
2. op-batcher: Agrupa las transacciones de los usuarios y las envía a la Capa 1 (L1).
3. op-node: Esto lee datos por lotes de la Capa 1 y dirige op-geth para transiciones de estado en modo no secuenciador.
4. op-proposer: Publica regularmente raíces de salida en la Capa 1 para capturar estados de Capa 2 (L2), facilitando el proceso de retiro.

2. Colaboración entre Succinct Labs y OP Labs para integrar elementos ZK en OP Stack

Fuente: Blog Conciso

2.1Estructura de OP Succinct

Volviendo al final de la sección 1.2, que habla de 'los cuatro principales componentes de OP Stack', OP Succinct es una mejora ligera de OP Stack. Permite que la cadena utilice solo bloques que han sido verificados utilizando pruebas de conocimiento cero (ZK), mientras que los otros tres componentes (op-geth, op-batcher y op-node) permanecen sin cambios. OP Succinct está compuesto principalmente por los siguientes cuatro elementos:

• Programa de rango: este programa, escrito en Rust, está diseñado para ejecutar bloques de lotes dentro de zkVM.
• Programa de Agregación: También escrito en Rust, este programa agrega las pruebas generadas por el Programa de Rango para reducir los costos de verificación en cadena y está destinado a ejecutarse en zkVM.
• OP Concatenado Oracle de Salida L2: Este es un contrato inteligente de Solidity que contiene una matriz de salidas de estado L2, donde cada salida representa una presentación del estado de la cadena L2. Si bien este contrato ya existe en el sistema original de Optimism, se ha modificado para usar pruebas de verificación como método de autenticación.
• OP Proponente Conciso: Este componente monitorea los lotes de transacciones publicadas en L1 y gestiona las pruebas tanto para el Programa de Rango como para el Programa de Agregación.

2.2 ¿Qué narrativa presenta OP Succinct para la escalabilidad de Ethereum?

Crear un zkEVM Rollup es un desafío significativo debido al extenso conocimiento criptográfico requerido. El equipo de OP Labs tuvo esto en cuenta al construir la modular OP Stack, asegurándose de que admita varios mecanismos de validez. Desarrollaron un proyecto de código abierto llamado Kona (ver enlace extendido 1), que implementa la Función de Transición de Estado (STF) para OP Stack Rollup utilizando Rust. Esta innovación permite la generación de pruebas de conocimiento cero (ZKP) para OP Stack a través de Kona y el programa SP1, lo que teóricamente permite que todas las cadenas en OP Stack se actualicen para usar ZKP.

El SP1 (Succinct Processor 1) tiene como objetivo permitir que cualquier desarrollador integre fácilmente Type-1 zkEVM Rollup utilizando código estándar Rust. Con OP Succinct, la actualización de cualquier cadena OP Stack existente a un Type-1 zkEVM Rollup se puede lograr en solo una hora, proporcionando el rendimiento necesario para las aplicaciones. Este enfoque ofrece varios beneficios:

• Confirmación rápida de ZKP: los retrasos en la prueba pueden reducirse a solo unos minutos, reemplazando el largo período de desafío de prueba de fraude de 7 días.
• Eficiencia de costos: El costo promedio de transacción puede reducirse a solo unos centavos.
• Transición de OP Stack a ZK: Al implementar un único contrato inteligente e iniciando un servicio ligero de proposición OP Succinct (tal como se detalla a continuación), se pueden generar pruebas mediante llamadas API (incluyendo componentes como batchers/sorters, op-node, indexers, etc.).
• Compatibilidad zkEVM tipo 1: Todas las herramientas y contratos inteligentes compatibles con OP Stack Rollup también funcionarán con OP Succinct Rollup.
• Mejora de la escalabilidad: El OP de rollup conciso y personalizable permite la adición de nuevos precompilados y la modificación de la lógica de Rollup.

Según la documentación oficial de GitHub, actualizar cualquier OP Stack Rollup existente a un Type-1 zkEVM Rollup es simple: instalar Rust, Foundry y Docker, y seguir estos dos pasos: 1. Desplegar el contrato ZK L2OutputOracle.sol; 2. Lanzar el servicio OP Succinct proposer (más detalles se pueden encontrar en el enlace extendido de GitHub 2).

Actualización de la pila de OP Rollup a Pruebas de ZK; Fuente de la imagen: Blog Sucinto

2.3 Construcción de zkEVM de Tipo-1 con Reth SP1

Succinct vislumbra que el futuro de EVM Rollups implicará zkEVMs mantenibles desarrollados usando Rust. Actualmente, OP Rollup se enfrenta a tres desafíos significativos: la ventana ampliada de pruebas de fraude de 7 días, problemas complejos de interoperabilidad y dependencia de múltiples fuentes de datos en lugar de pruebas de fraude en ciertos casos. Además, la creación de un zkEVM es un proceso largo, lo que llevó al desarrollo de SP1 para abordar estos problemas.

SP1 es un zkVM de código abierto y alto rendimiento que puede verificar la ejecución de cualquier programa escrito en Rust (u otros lenguajes compilados con LLVM). Los datos públicos indican que OP Succinct Stack se ha ejecutado con éxito en OP Mainnet, OP Sepolia y Base Chains, logrando costos de prueba entre $0.01 y $0.02 para las transacciones de Ethereum (consulte el enlace extendido 3). Existen aspiraciones para desarrollar toda la infraestructura de blockchain (incluyendo Rollups, puentes y co-procesadores) utilizando Rust (u otros lenguajes compilados con LLVM) y aprovechar ZKP en el futuro.

Según resúmenes del blog Succinct y contenido de código abierto de GitHub, las diferencias de rendimiento entre SP1 y otros zkVM se pueden atribuir a varios factores clave:

1. Arquitectura centrada en la precompilación: SP1 cuenta con un sistema de precompilación flexible que acelera significativamente varias operaciones (como la verificación de firmas secp256k1 y ed25519, así como las funciones hash sha256 y keccak256), reduciendo el recuento de ciclos para muchos programas de 5 a 10 veces. El diseño tiene como objetivo ofrecer un rendimiento comparable a los circuitos ZK, al tiempo que preserva la flexibilidad de zkVM y garantiza una experiencia positiva para el desarrollador.
2. Completamente Open Source: SP1 es completamente de código abierto, lo que permite a equipos como Argument y Scroll implementar precompilaciones personalizadas, lo que puede reducir considerablemente los recuentos de ciclos y acelerar los tiempos de generación de pruebas.
3. Estándar de la industria: Desde su introducción, el concepto de precompilaciones internas dentro de los zkVM se ha convertido en un estándar de la industria, siendo adoptado en proyectos como RISC0, Valida, Nexus y Jolt. SP1 se destaca como el único zkVM listo para producción que admite ampliamente operaciones criptográficas esenciales a través de precompilaciones.
4. Operaciones de memoria eficientes: SP1 utiliza una técnica innovadora de prueba de memoria que emplea un solo desafío para garantizar una memoria consistente en múltiples pruebas, eliminando la sobrecarga asociada con la memoria Merkleizada.
5. Optimizaciones básicas de eficiencia: incorpora un factor de explosión más bajo y parámetros de búsqueda de próxima generación (por ejemplo, LogUp basado en derivadas logarítmicas), junto con una variante FRI en Plonky3, que mejora la eficiencia de las áreas de seguimiento.

Fuente de la imagen: Blog conciso, ver enlace ampliado 4 descripción del apéndice

3. ¿Puede OP Succinct convertirse en la ventaja clave de OP Stack contra ZK Stack?

Autor de la imagen: @jtguibas

Si consideramos las soluciones de escalabilidad de Ethereum como inclinadas hacia OP a corto plazo y ZK a largo plazo, entonces, suponiendo que OP Succinct tenga éxito, marcará un hito significativo en el desarrollo de Ethereum. OP Succinct proporciona un camino para que los ETH Rollups pasen de la verificación optimista a las pruebas de conocimiento cero. Esta transición no solo reduce los costos de transacción, sino que también mejora la velocidad de las transacciones manteniendo las características de seguridad y anonimato de los ZK rollups, allanando el camino para un posible aumento de aplicaciones en el futuro.

Actualmente, entre los cuatro principales actores en el reconocido panorama de la Capa 2, OP Stack parece tener una ligera ventaja sobre ZK Stack en términos de desarrollo del ecosistema. El Efecto Mateo (donde los ricos se vuelven más ricos) podría volverse más pronunciado con el tiempo; con OP Succinct uniéndose a la refriega, podría atraer algo de tráfico y potencial lejos de ZK Stack. Si OP Succinct se implementa con éxito, también podría perturbar en cierta medida los Rollups zkEVM tradicionales.

Sin embargo, según la información disponible en esta etapa, es claro desde la lógica operativa de OP Succinct que garantizar que los desarrolladores puedan detectar rápidamente vulnerabilidades desconocidas que puedan surgir a partir de cambios en la función STF o la adición de nuevas funciones de precompilación es crucial. Este es un problema que requerirá atención continua.

Renuncia:

1. Este artículo está reimpreso de[blockbeat],Avance el Original Título OP La ruta de avance de Stack: OP Succinct desbloquea el potencial de ZK Rollup, Todos los derechos de autor pertenecen al autor original [Ac-Core，Investigador de YBB Capital]. Si hay objeciones a esta reimpresión, por favor contacte al Gate Learnequipo y ellos lo manejarán rápidamente.

2. Descargo de responsabilidad: Las opiniones expresadas en este artículo son únicamente las 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 mencioneGate.io, copiar, distribuir o plagiar los artículos traducidos está prohibido.