L2Beat afirma haber regenerado por completo la pila de circuitos de conocimiento cero utilizada por Lighter, el L2 del DEX de perpetuos, directamente a partir del código fuente. La reconstrucción cubre el verificador de Lighter y el verificador Lighter Desert, los contratos en cadena que liquidan el estado del L2 hacia L1.
Por qué importa
Regenerar los circuitos desde el código fuente —en lugar de confiar en los artefactos compilados por el equipo de Lighter— permite que cualquier usuario genere de forma independiente una prueba ZK de su estado de cuenta en el L2 y salga hacia L1 a través del verificador Desert. El diseño se mantiene incluso si el secuenciador se detiene o actúa de forma maliciosa, lo que elimina la suposición de confianza que ha sido objeto de escrutinio por parte de figuras como el cofundador de Solana toly, quien anteriormente calificó a Lighter como "otra forma de CEX".
Impacto en el mercado
Las salidas sin permisos son la característica estructural que distingue a un verdadero L2 de un envoltorio de exchange custodial. Ahora que L2Beat puede publicar su propio verificador, el equipo de Lighter ya no puede ser el único punto de fallo en los retiros —un cambio significativo para operadores institucionales y profesionales que sopesan el riesgo de contraparte en una plataforma de perps, y un punto de referencia para que otros L2s documenten sus propios circuitos.
Preguntas frecuentes
-
¿Qué reconstruyó exactamente L2Beat?
L2Beat afirma haber regenerado la pila completa de circuitos ZK de Lighter a partir del código fuente, incluyendo el verificador de Lighter y el verificador Lighter Desert, que liquidan el estado del L2 hacia L1.
-
¿Por qué importa esto para los usuarios de Lighter?
Los usuarios pueden ahora generar su propia prueba ZK del estado de cuenta en el L2 y retirar fondos en L1 a través del verificador Desert, incluso si el secuenciador falla o actúa de forma maliciosa.
-
¿Sobre qué trataba la crítica de "otra forma de CEX"?
El cofundador de Solana toly argumentó que la configuración de Lighter requería confiar en el equipo para los retiros, lo que se parece más a un exchange centralizado que a un verdadero L2. Los circuitos regenerados desde el código eliminan esa confianza.
-
¿Es Lighter un L2 basado en Solana?
Lighter es un DEX de perpetuos que utiliza circuitos ZK para liquidar hacia L1. La conexión con Solana en esta historia se limita a las críticas públicas previas de toly sobre el diseño.
-
¿Qué señala esto para el conjunto del sector L2?
Establece un referente público de transparencia: otros L2s que quieran afirmar salidas verdaderamente sin permisos enfrentarán presión para publicar o respaldar compilaciones de circuitos verificables de forma independiente.