¡Nuestro Catálogo ZK ahora contiene instrucciones sobre cómo regenerar los verificadores onchain de @zksync Boojum y los anteriores de @Lighter_xyz! Ve a las páginas detalladas para ver los pasos necesarios. ¿Por qué es esto importante y qué hicimos exactamente en el hilo a continuación 👇

¿Sabes qué es realmente la prueba ZK verificada en la cadena? La única forma de saber que el contrato inteligente verifica la lógica correcta es regenerar las claves de verificación de las fuentes adecuadas y ver si coinciden con los valores en la cadena.

A menos que regeneres los verificadores onchain, nunca podrás estar seguro de que el asentamiento de L2 → L1 sea correcto. ¡Tus tokens podrían ser robados si el sistema ZK tiene puertas traseras! Nuestro Catálogo ZK verifica la corrección de los contratos inteligentes de los verificadores y explica cómo puedes hacer lo mismo.

Boojum es el probador del equipo de @zksync. Para regenerar su verificador necesitarás: GPU NVIDIA con 24G de memoria + CUDA Sistema operativo Ubuntu 24.04 Versión correcta de las fuentes dependiendo de la versión Librerías de dependencia Es complicado 🫠 ¡Encuentra la guía completa en nuestro catálogo ZK!

@Lighter_xyz el DEX perp está asegurado por sus circuitos Plonky2. Para regenerar el antiguo verificador para el modo de operación normal necesitarás: ~128 G de memoria Librerías de dependencia ¡Encuentra la guía completa en nuestro Catálogo ZK! ❗Las fuentes del modo de escape no se publican, por lo que el verificador no puede ser regenerado❗

Desde que regeneramos el verificador @Lighter_xyz la semana pasada, su equipo ha actualizado los circuitos y no ha publicado las fuentes. Una vez más, los usuarios no tienen forma de saber qué es exactamente lo que se ha verificado. 👉¡Cada actualización de los circuitos zk debe ser verificada, mantenerse al día es una tarea ardua!👈