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

¿Sabes qué prueba ZK está realmente verificada en la cadena de seguridad? La única forma de saber si el smart contract verifica la lógica correcta es regenerar las claves de verificación de las fuentes correctas y ver si coinciden con los valores onchain.

A menos que regeneres verificadores onchain, nunca puedes estar seguro de que 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 verificadores y explica cómo puedes hacer lo mismo.

Boojum es el demostrador de @zksync equipo. Para regenerar su verificador necesitarás: GPU NVIDIA con 24G mem + CUDA Ubuntu 24.04 OS Versión correcta de las fuentes según la versión Libs de dependencias Es complicado 🫠 ¡Encuentra la guía completa en nuestro catálogo ZK!

@Lighter_xyz DEX del sospechoso está asegurado por sus circuitos Plonky2. Para regenerar el verificador antiguo para el modo normal de funcionamiento necesitarás: ~128 G de memoria Libs de dependencias ¡Encuentra la guía completa en nuestro catálogo ZK! ❗Las fuentes del modo escape no se publican, por lo que el verificador no puede regenerarse❗

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