Lighter lanza como código abierto los circuitos de Prueba de conocimiento cero tras auditorías de seguridad

TLDR:

• Lighter publicó el código de verificación de Prueba de conocimiento cero tras completar las auditorías de los circuitos perpetuos y de spot.
• El lanzamiento de código abierto permite la verificación independiente de órdenes, cancelaciones y liquidaciones en Ethereum.
• El protocolo procesa aproximadamente 500 millones de órdenes y cancelaciones diarias a través de su sistema de verificación.
• Los desarrolladores pueden construir circuitos usando scripts del repositorio de GitHub para coincidir con los Smart Contract de Ethereum desplegados.

Lighter ha puesto a disposición pública su código de verificación de Prueba de conocimiento cero tras completar auditorías de seguridad exhaustivas de sus circuitos de trading perpetuos y de spot. 

El protocolo Layer 2 publicó el código que verifica todas las operaciones en cadena, incluyendo colocaciones de órdenes, cancelaciones y liquidaciones. 

Este lanzamiento permite la verificación independiente de cómo funciona Lighter L2 y mantiene la seguridad en Ethereum. El movimiento representa un paso hacia una mayor transparencia en la infraestructura de exchanges descentralizados.

Sistema Completo de Verificación de Circuitos Ya Disponible

El protocolo anunció la publicación a través de sus canales oficiales, señalando que la finalización de la auditoría para los circuitos perpetuos y de spot precedió el lanzamiento del código. 

Los circuitos de Lighter ahora son accesibles en GitHub en el repositorio elliottech/lighter-prover. Los usuarios pueden ejecutar el script build_circuits.sh con la configuración predeterminada para construir todas las capas del circuito desde cero. El proceso genera un contrato ZkLighterVerifier actualizado que coincide con la versión desplegada.

El Lighter Verifier Proxy opera en una dirección específica de Ethereum, documentada en Etherscan para inspección pública. 

Los desarrolladores pueden comparar el contrato en esta dirección con la salida del script de construcción. Este proceso de verificación asegura la consistencia entre los contratos desplegados y el código de código abierto. El sistema procesa aproximadamente 500 millones de órdenes y cancelaciones diarias en la plataforma de trading de Lighter.

Según la documentación técnica del proyecto, la arquitectura sigue un protocolo de validación estricto. L2Beat ha publicado detalles de la estructura del Smart Contract, mostrando cómo el verificador requiere pruebas válidas para lotes de operaciones. 

Sin la prueba criptográfica correcta, el sistema rechaza los cambios de estado en Ethereum. Este mecanismo previene modificaciones no autorizadas al estado de la blockchain.

Métricas de Rendimiento e Infraestructura de Verificación

El sistema de Prueba de conocimiento cero maneja un volumen de trading sustancial mientras mantiene garantías de seguridad. 

Lighter procesa cientos de millones de transacciones a través de sus circuitos de verificación cada día. El equipo continúa mejorando la eficiencia de la infraestructura de prueba. El protocolo afirma lograr las transacciones por segundo más altas entre las soluciones Layer 2 de Ethereum.

El proceso de verificación cubre múltiples tipos de operaciones dentro del sistema de trading. Órdenes, cancelaciones y liquidaciones se someten todas a verificación criptográfica antes de que ocurran actualizaciones de estado. 

Este enfoque integral asegura que cada acción en la plataforma reciba la validación adecuada. Los circuitos mantienen la integridad de las operaciones de trading mientras preservan la privacidad del usuario.

El lanzamiento de código abierto permite a desarrolladores de blockchain e investigadores de seguridad examinar la lógica de verificación. 

Los equipos técnicos pueden auditar la implementación criptográfica y validar el modelo de seguridad. Esta transparencia ayuda a generar confianza en la arquitectura de la plataforma. El lanzamiento del código sigue las mejores prácticas de la industria para soluciones de escalado Layer 2.

La publicación Lighter publica como código abierto los circuitos de Prueba de conocimiento cero tras Auditorías de seguridad apareció primero en Blockonomi.