ZKカタログには、Boojumおよび過去@Lighter_xyzのオンチェーン検証器@zksync再生方法の指示が掲載されています!必要な手順を確認するには詳細ページをご覧ください。 なぜこれが重要なのか、そして下👇のスレッドで具体的に何をしたのか

ZK証明が実際にオンチェーンで検証されているものは何かご存知ですか? スマートコントラクトが正しいロジックを検証しているかどうかを知る唯一の方法は、正しいソースから検証キーを再生成し、それがオンチェーンの値と一致するかを確認することです。

オンチェーン検証器を再生成しない限り、L2→L1決済が正しいかどうかは決して保証できません。ZKシステムにバックドアがあれば、トークンが盗まれる可能性があります! 当社のZKカタログでは、検証者スマートコントラクトの正確性をチェックし、同様の方法も説明しています。

ブージャムは@zksyncチームの証明者です。その検証器を再生するには、以下の必要が必要です: NVIDIA GPU 搭載 24G メモリ + CUDA Ubuntu 24.04 OS バージョンによって正しい情報源のバージョン 依存関係のリブ 複雑な🫠ので、ZKカタログで全ガイドをご覧ください!

@Lighter_xyz perp DEXはPlonky2回線で保護されています。通常の動作モードの旧検証器を再生するには、以下の条件が必要です: ~128 Gのメモリ 依存関係のリブ ZKカタログの全ガイドもご覧ください! ❗エスケープモードのソースは公開されていないため、検証器は再生成❗できません

先週検証@Lighter_xyz再生成して以来、彼らのチームは回路を更新し、ソースは公開していません。しかし、ユーザーは何が検証されているのか正確に知る手段がありません。 👉zk回路のアップデートは必ず検証しなければならず、最新の状態を維持するのは面倒な作業です! 👈