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

Chainfeeds Guía de lectura:

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

Fuente del artículo:

Autor del artículo:

jaehaerys

Opinión:

jaehaerys: En la búsqueda de la escalabilidad blockchain, la narrativa de L2 ha estado dominada durante mucho tiempo por la metáfora del puente. Para que los usuarios accedan a entornos Rollup de alto rendimiento y bajo coste, 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 la liquidez y una serie de ataques catastróficos a puentes cross-chain, los cuales se han convertido en algunos de los mayores casos de pérdidas financieras en la historia de las finanzas descentralizadas. Ante esto, ha surgido una nueva alternativa: en lugar de transferir los activos al entorno computacional, simplemente llevar información verificable sobre los activos a dicho entorno. Esta idea apareció por primera vez en una transmisión en vivo de SuccinctLabs, donde Tarun Chitra, fundador de Gauntlet, al reflexionar sobre el futuro de los sistemas ZK, sugirió que los protocolos ZK podrían hacer que la migración de activos fuera más natural y eficiente. Los activos pueden permanecer 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, mejorando 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 apalancamiento colateral en L2. Este modelo no solo reduce el riesgo cross-chain, sino que también impulsa 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 la coincidencia de órdenes, el motor de riesgos y la lógica de liquidación, logrando así una alta eficiencia 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ógicas de aplicación complejas, como los métodos de valoración de DeFi Vault o motores de liquidación. Además, Succinct opera una red de pruebas descentralizada (SPN), un mercado competitivo de generación de pruebas impulsado por GPU, FPGA e incluso futuros ASIC, capaz de generar pruebas necesarias de forma rápida y económica. Combinando ambos, los usuarios pueden utilizar activos productivos en L1 para trading apalancado en L2 sin sacrificar rendimientos. Por ejemplo, un usuario puede seguir obteniendo intereses de Morpho Vault en L1, mientras que la prueba de 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 enriquece 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 de Succinct. Los usuarios primero depositan ETH, stablecoins o activos productivos en el contrato Escrow de Ethereum L1. El contrato Escrow dispara un evento, que es recibido por la red de pruebas de Succinct, la cual genera una prueba SNARK que demuestra que los activos han sido efectivamente bloqueados. Tras la verificación en cadena de dicha prueba, el Sequencer acredita el margen en la cuenta del usuario en Lighter L2. Posteriormente, 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 problemas en L2, puede utilizar el mecanismo de cápsula 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 ruta de escape de los Rollups tradicionales, pero en escenarios de utilidad de activos y migración de colaterales, este modelo ofrece una protección de salida de fondos más flexible y resistente a la censura, resaltando aún más las ventajas de la separación entre la ubicación y la función del capital. [El original está en inglés]