我们的 ZK 目录现在包含有关如何重新生成 @zksync Boojum 和之前的 @Lighter_xyz 链上验证器的说明！请访问详细页面以查看必要步骤。 这为什么重要，以及我们在下面的线程中到底做了什么 👇

你知道 ZK 证明实际上是如何在链上验证的吗？ 知道智能合约是否验证了正确的逻辑的唯一方法是从正确的来源重新生成验证密钥，并查看它们是否与链上的值匹配。

除非您重新生成链上验证者，否则您永远无法确保 L2 → L1 结算是正确的。如果 ZK 系统存在后门，您的代币可能会被盗！ 我们的 ZK 目录检查验证者智能合约的正确性，并解释您如何做到这一点。

Boojum 是 @zksync 团队的证明者。要重新生成其验证器，您需要： NVIDIA GPU，24G 内存 + CUDA Ubuntu 24.04 操作系统 根据版本的正确源代码版本 依赖库 这很复杂 🫠 在我们的 ZK 目录中查看完整指南！

@Lighter_xyz 永续 DEX 由其 Plonky2 电路保护。要重新生成正常操作模式的旧验证器，您需要： ~128 G 的内存 依赖库 在我们的 ZK 目录中找到完整指南！ ❗逃逸模式源代码未发布，因此无法重新生成验证器❗

自从我们上周重新生成了 @Lighter_xyz 验证器，他们的团队更新了电路，但没有发布源代码。用户再次无法确切知道什么是经过验证的。 👉每次对 zk 电路的更新都必须经过验证，保持最新状态真是一项繁琐的工作！👈