Acabamos de terminar de revisar el proyecto, así que aquí hay un breve hilo sobre @Lighter_xyz 🧵
¡Eché un vistazo rápido a @Lighter_xyz contratos y la primera impresión es muy buena! muy emocionante. Se sienten un poco como una mezcla de ZKSYNC y el viejo DYDX. Con suerte, tendremos la revisión completa en @l2beat la próxima semana. las ventajas de ser un rollup vs HL son bastante evidentes aquí :)
La primera gran diferencia entre Lighter y la reciente ola de cadenas de perp es el uso de pruebas ZK. el puente que tiene más de $ 1 mil millones solo permite retiros que han sido probados por un programa fijo. Debido a esto, los validadores no pueden simplemente firmar un retiro no válido para robar fondos.
La mala noticia es que el programa que está siendo probado por las pruebas de ZK no está disponible en la fuente, por lo que actualmente no es posible verificar si la cadena implementa correctamente su lógica comercial. El equipo nos ha comunicado que está trabajando para hacerlo público en 1 o 2 semanas.
Suponiendo que el programa sea bueno, las pruebas ZK por sí solas no son suficientes para evitar la pérdida de fondos. Por ejemplo, el secuenciador centralizado podría censurar sus solicitudes de retiro o sus solicitudes para cancelar un pedido. afortunadamente, @Lighter_xyz implementa transacciones forzadas a través de L1.
si algún usuario no puede incluir su transacción enviándola al secuenciador, puede forzarla a través de L1, heredando la resistencia total a la censura. El secuenciador ahora tiene dos opciones: o incluye el TX y todos están contentos, o el proyecto se ve obligado a cerrarse.
Sí, lo leíste correctamente: el secuenciador ahora tiene un fuerte incentivo para incluir todas las solicitudes, de lo contrario, el sistema se puede poner en "modo desierto", es decir, apagarse. Los tx forzados que el secuenciador no puede ignorar incluyen: retiros, depósitos, creación y cancelación de pedidos.
Pero, ¿cómo pueden salir los usuarios si el sistema está cerrado? Aquí es donde entra en juego la escotilla de escape: dado que Lighter es un resumen y garantiza la disponibilidad de datos con blobs, los usuarios pueden reconstruir el estado más reciente y demostrar sus saldos para salir. Todas las órdenes abiertas se liquidan utilizando el último precio.
El proyecto se puede actualizar actualmente con un retraso de 21 días, pero dicho retraso puede reducirse a cero mediante un "Consejo de Seguridad" formado por un multisig de 3/5. Esto por sí solo ya impide que el sistema se considere la etapa 1. El equipo ha comunicado planes para mejorar esta configuración.
Otra preocupación surge de los precios índice. Los oráculos externos utilizados por el proyecto no están actualmente autenticados correctamente y el secuenciador es de plena confianza para informarlos correctamente. Esta es una vulnerabilidad crítica que el equipo ha expresado planes para abordar.
Por último, está bastante claro en los contratos que el equipo se inspiró mucho en el antiguo @zksync Lite, ¡lo cual es bueno! zksync lite, junto con dYdX v3, siempre han sido reconocidos como rollups específicos de aplicaciones con muy buenos modelos de seguridad.
43.81 k
233
El contenido al que estás accediendo se ofrece por terceros. A menos que se indique lo contrario, OKX no es autor de la información y no reclama ningún derecho de autor sobre los materiales. El contenido solo se proporciona con fines informativos y no representa las opiniones de OKX. No pretende ser un respaldo de ningún tipo y no debe ser considerado como un consejo de inversión o una solicitud para comprar o vender activos digitales. En la medida en que la IA generativa se utiliza para proporcionar resúmenes u otra información, dicho contenido generado por IA puede ser inexacto o incoherente. Lee el artículo enlazado para más detalles e información. OKX no es responsable del contenido alojado en sitios de terceros. Los holdings de activos digitales, incluidos stablecoins y NFT, suponen un alto nivel de riesgo y pueden fluctuar mucho. Debes considerar cuidadosamente si el trading o holding de activos digitales es adecuado para ti según tu situación financiera.