【Hilo en inglés】Lighter × Succinct: Visión de contratos de alto rendimiento impulsados por ZK y secuenciadores compartidos

Chainfeeds Resumen:

Esta arquitectura establece una división clara de funciones: L1 (Ethereum) actúa como el balance global seguro, encargado del almacenamiento de capital; L2 (Lighter): funciona como la capa de ejecución de alto rendimiento, responsable de la gestión de riesgos; Infraestructura ZK (Succinct): sirve como la red criptográfica subyacente, conectando ambas de manera confiable.

Fuente del artículo:

Autor del artículo:

jaehaerys

Opinión:

jaehaerys: En la búsqueda de la escalabilidad de blockchain, la narrativa de L2 ha estado dominada durante mucho tiempo por la metáfora del puente. Para acceder a entornos Rollup de alto rendimiento y bajo costo, los usuarios deben bloquear sus activos en L1 y recibir un equivalente sintético en L2. Sin embargo, este modelo ha generado nuevos problemas: fragmentación de liquidez y una serie de ataques catastróficos a puentes cross-chain, que se han convertido en algunos de los mayores casos de pérdidas de fondos en la historia de las finanzas descentralizadas. Ante esto, ha surgido una nueva alternativa: en lugar de transferir los activos al entorno computacional, solo se lleva información verificable sobre los activos a dicho entorno. Esta idea apareció por primera vez en una transmisión en vivo de SuccinctLabs, cuando el fundador de Gauntlet, Tarun Chitra, reflexionó sobre el futuro de los sistemas ZK y propuso que los protocolos ZK podrían hacer que la migración de activos fuera más natural y eficiente. Los activos pueden seguir bloqueados en la red principal de Ethereum (L1), pero mediante pruebas de conocimiento cero (ZKP), su utilidad puede ser verificada de forma segura en L2 y utilizada como colateral. Así, la ubicación y la función del capital se separan: los activos permanecen en el entorno más seguro, L1, mientras que su valor se proyecta en L2 de alto rendimiento, aumentando significativamente la eficiencia del capital. Por ejemplo, las posiciones de stETH o Morpho Vault de los usuarios pueden seguir generando rendimientos en L1, mientras que la prueba de su valor se utiliza como colateral apalancado en L2. Este modelo no solo reduce el riesgo cross-chain, sino que también fomenta la composabilidad y la interoperabilidad segura entre capas. La implementación de este modelo depende de la combinación de Lighter y Succinct. Lighter es un exchange descentralizado de contratos perpetuos (Perp DEX) basado en un libro de órdenes centralizado (CLOB), cuya arquitectura central opta por circuitos zk personalizados en lugar de zkVM o zkEVM genéricos. Este diseño permite que su sistema criptográfico esté optimizado específicamente para el matching, el motor de riesgos y la lógica de liquidación, logrando así una eficiencia muy alta al verificar funciones de trading específicas y evitando los cuellos de botella costosos y lentos de las pruebas genéricas. Por otro lado, Succinct ofrece SP1 zkVM, una máquina virtual basada en RISC-V que soporta todo el ecosistema Rust, permitiendo codificar de manera eficiente lógica de aplicaciones complejas, como métodos de valuación de DeFi Vaults o motores de liquidación. Además, Succinct opera una red descentralizada de pruebas (SPN), un mercado competitivo de generación de pruebas impulsado por GPU, FPGA y, en el futuro, posiblemente ASIC, que puede generar las pruebas necesarias de forma rápida y económica. Combinando ambos, los usuarios pueden utilizar activos productivos en L1 para operaciones apalancadas en L2 sin sacrificar rendimientos. Por ejemplo, un usuario puede seguir ganando intereses en Morpho Vault en L1, mientras que la prueba del valor de esos activos sirve como margen para trading perpetuo en L2. Más aún, esta arquitectura puede soportar la tokenización de estrategias complejas de L2, permitiendo que circulen en L1 como activos estandarizados, como tokens nativos de apalancamiento 3x ETH, que pueden ser utilizados en aplicaciones como préstamos en Aave. Este modelo no solo mejora la eficiencia del capital, sino que también amplía las posibilidades de composabilidad entre capas. El núcleo de esta arquitectura es la colaboración entre el contrato Escrow y la red de pruebas Succinct. El usuario primero deposita ETH, stablecoins o activos productivos en el contrato Escrow en Ethereum L1. El contrato Escrow dispara un evento, que es recibido por la red de pruebas Succinct, la cual genera una prueba SNARK que demuestra que los activos están efectivamente bloqueados. Una vez que el contrato verificador confirma la prueba en la cadena, el Sequencer acredita la cuenta de margen del usuario en Lighter L2. Luego, los compromisos de estado de L2 (estado del libro de órdenes, balances, etc.) se envían a la capa de disponibilidad de datos (DA) para su futura verificación. Durante todo el proceso, los activos nunca abandonan L1, garantizando la seguridad. Más importante aún, si el usuario enfrenta censura o hay problemas en L2, puede utilizar el mecanismo de escape para solicitar la salida directamente en L1. El usuario inicia una transacción de salida en L1, la DA proporciona el compromiso de estado y la prueba incluida, y la red Succinct convierte la solicitud en una tarea de prueba y genera una prueba SNARK. Si la verificación es exitosa, el contrato Escrow libera los fondos y devuelve los activos directamente al usuario. Este diseño garantiza que, sin importar lo que ocurra en L2, el usuario siempre puede recuperar sus activos confiando en la seguridad de L1. Es similar a la vía de escape de los Rollups tradicionales, pero en el contexto de utilidad de activos y migración de colateral, este modelo ofrece una protección de salida de fondos más flexible y resistente a la censura, destacando aún más la ventaja de separar la ubicación y la función del capital. [El texto original está en inglés]