Lighter

Lighter es un protocolo rollup de Capa 2 diseñado para finanzas descentralizadas (DeFi) de alto rendimiento, que ofrece una experiencia de negociación verificable y de baja latencia mediante pruebas de conocimiento cero específicas para aplicaciones. Su arquitectura aborda limitaciones clave de los rollups de propósito general, incluyendo el front-running y el valor máximo extraíble (MEV), implementando una secuenciación justa, emparejamiento por prioridad temporal y validación respaldada por zk-SNARKs. Lighter está construido para gestionar mercados complejos basados en order book, incluyendo perpetuals y mercados spot, manteniendo garantías minimizadas de confianza a través de Ethereum.

La arquitectura de Lighter incluye módulos distintos para secuenciación, pruebas, agregación de datos y seguridad en la salida. Permite la recuperación sin confianza de fondos mediante su mecanismo Escape Hatch, aprovechando blobs de datos y circuitos de agregación en capas para comprimir y verificar la actividad de trading de manera eficiente. Diseñado pensando en la extensibilidad, Lighter también soporta instrucciones programables de varios pasos, compresión de datos y aplicaciones modulares como préstamos y mercados de predicción.

LIT es el token nativo del protocolo Lighter. Aunque el protocolo se centra en el diseño técnico y arquitectónico, se espera que la utilidad del token apoye los siguientes roles:

• Liquidación de comisiones dentro del protocolo para operaciones e interacciones
• Incentivación de participantes del protocolo como secuenciadores y probadores
• Gobernanza sobre actualizaciones y parámetros del protocolo
• Colateralización o staking en futuros roles descentralizados, como prueba compartida o provisión de liquidez

LIT alinea la capa económica con el rendimiento del protocolo, sirviendo como activo de liquidación y coordinación a lo largo del trading, verificación y participación en la red.

Lighter introduce un conjunto de sistemas interconectados optimizados para el trading verificable en cadena:

• Secuenciador: Un motor de baja latencia que agrupa y confirma transacciones en estricto orden de precio-tiempo, soportando órdenes complejas e integraciones de mercado.
• Prover: Genera pruebas de conocimiento cero para lotes de bloques, verificando la corrección del emparejamiento, transiciones de estado y actualizaciones de cuentas. Se utiliza agregación multicapa para comprimir pruebas de manera eficiente.
• Smart Contracts: Gestionan los activos de los usuarios, compromisos de raíz de estado, verificación de pruebas y salidas resistentes a la censura.
• Generador de Witness: Transforma los datos de transacciones confirmadas en entradas públicas para zk-circuitos.
• Escape Hatch: Un mecanismo criptográfico que permite a los usuarios recuperar activos utilizando solo los datos publicados en Ethereum en caso de fallo o censura del protocolo.

Todos los lotes y cambios de estado se publican en Ethereum mediante blobs de datos. Los circuitos de verificación validan cada paso, desde la creación de bloques hasta la ejecución de operaciones.

Lighter soporta una pila de instrucciones programable que permite acciones de varios pasos, tales como:

• Envío agrupado de órdenes
• Operaciones condicionales
• Ajustes de posiciones vinculadas

Este diseño permite lógica financiera componible, abriendo camino para que se agreguen de forma modular préstamos, flujos de colateral y productos estructurados.