我們的 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 電路的更新都必須進行驗證，保持最新狀態真是一項繁瑣的工作！👈