Notre catalogue ZK contient désormais des instructions sur la façon de régénérer @zksync Boojum et les vérificateurs onchain précédents de @Lighter_xyz ! Allez sur les pages détaillées pour voir les étapes nécessaires. Pourquoi est-ce important et que faisons-nous exactement dans le fil ci-dessous 👇

Savez-vous ce qu'est réellement une preuve ZK vérifiée onchain ? Le seul moyen de savoir que le contrat intelligent vérifie la bonne logique est de régénérer les clés de vérification à partir des bonnes sources et de voir si elles correspondent aux valeurs onchain.

À moins de régénérer les vérificateurs on-chain, vous ne pouvez jamais être sûr que le règlement L2 → L1 est correct. Vos tokens pourraient être volés si le système ZK a des portes dérobées ! Notre catalogue ZK vérifie la justesse des contrats intelligents de vérificateurs et explique comment vous pouvez faire de même.

Boojum est le prouveur de l'équipe @zksync. Pour régénérer son vérificateur, vous aurez besoin de : GPU NVIDIA avec 24 Go de mémoire + CUDA Système d'exploitation Ubuntu 24.04 Version correcte des sources selon la version Bibliothèques de dépendance C'est compliqué 🫠 Trouvez le guide complet dans notre catalogue ZK !

@Lighter_xyz perp DEX est sécurisé par ses circuits Plonky2. Pour régénérer l'ancien vérificateur pour le mode de fonctionnement normal, vous aurez besoin de : ~128 Go de mémoire Librairies de dépendance Trouvez le guide complet dans notre catalogue ZK ! ❗Les sources du mode d'évasion ne sont pas publiées, donc le vérificateur ne peut pas être régénéré❗

Depuis que nous avons régénéré le vérificateur @Lighter_xyz la semaine dernière, leur équipe a mis à jour les circuits et n'a pas publié les sources. Encore une fois, les utilisateurs n'ont aucun moyen de savoir ce qui est exactement vérifié. 👉Chaque mise à jour des circuits zk doit être vérifiée, rester à jour est une corvée !👈