El equipo de Lighter ha hecho un gran movimiento recientemente: la auditoría de circuitos zk para sus operaciones de trading perpetuo y spot finalmente se ha implementado, y el código también ha sido oficialmente de código abierto. En pocas palabras, han hecho que toda la lógica de validación sea transparente.

Lo más importante es esto: los usuarios ahora pueden verificar de forma independiente todo el código de validación completo, revisando cada operación en L2 de Ethereum de Lighter. Si tu orden realmente está puesta, si la cancelación realmente se realizó, si la liquidación cumple con las normas... todo se puede comprobar paso a paso. Los desarrolladores pueden directamente descargar scripts desde GitHub y construir su propio proceso de validación.

Este enfoque en realidad es bastante raro. La prueba de conocimiento cero (zero-knowledge proof) ya es una barrera técnica en el nivel de L2, y poder abrir completamente el código de los circuitos para que la comunidad lo audite demuestra que el equipo confía en su implementación. Cuanta más transparencia, mayor confianza tendrán los usuarios. Para los desarrolladores que quieren entender en profundidad los mecanismos de validación en L2, también es un recurso de aprendizaje valioso.