Lighter (LIT) es el token nativo de un protocolo de capa 2 enfocado en el rendimiento para el comercio descentralizado. El protocolo utiliza pruebas de conocimiento cero, emparejamiento verificable y liquidación basada en Ethereum para proporcionar una ejecución resistente a la censura y protegida contra MEV para los mercados DeFi.
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.
State Tree: Una estructura similar a Merkle que almacena saldos de cuentas, order books, intenciones de retiro, datos de pools públicos y fondos de seguro.
Account Tree: Anidado bajo el state tree, almacena metadatos de subcuentas de usuario, claves, posiciones e información de órdenes.
Order Book Tree: Implementa un árbol prefijo optimizado para gestionar el emparejamiento de órdenes con complejidad logarítmica.
Block Circuits: Generan pruebas zk-SNARK para la lógica del exchange a lo largo de los ciclos de ejecución, incluyendo estados pre y post ejecución.
Layered Aggregation Circuits: Comprimen múltiples pruebas de bloques en una sola salida verificable, mejorando el rendimiento y reduciendo costos en cadena.
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.
El Escape Hatch protege los fondos de los usuarios al permitirles salir mediante pruebas en cadena incluso si el secuenciador no está disponible o actúa de forma maliciosa. Verifica los estados de usuario utilizando datos de blobs y compromisos publicados públicamente, asegurando la recuperación de activos sin dependencia de actores fuera de la cadena.