Katalog ZK kami sekarang berisi instruksi tentang cara meregenerasi @zksync Boojum dan verifikator onchain @Lighter_xyz sebelumnya! Buka halaman terperinci untuk melihat langkah-langkah yang diperlukan. Mengapa ini penting dan apa sebenarnya yang kami lakukan di utas di bawah ini 👇

Tahukah Anda bukti ZK apa yang sebenarnya diverifikasi onchain? Satu-satunya cara untuk mengetahui bahwa kontrak pintar memverifikasi logika yang benar adalah dengan membuat ulang kunci verifikasi dari sumber yang tepat dan melihat apakah mereka cocok dengan nilai onchain.

Kecuali Anda meregenerasi pemverifikasi onchain, Anda tidak akan pernah dapat memastikan bahwa penyelesaian L2 → L1 benar. Token Anda bisa dicuri jika sistem ZK memiliki backdoor! Katalog ZK kami memeriksa kebenaran kontrak pintar verifikator dan menjelaskan bagaimana Anda dapat melakukan hal yang sama.

Boojum adalah pembuktian tim @zksync. Untuk membuat ulang verificatornya, Anda memerlukan: GPU NVIDIA dengan mem 24G + CUDA Ubuntu 24.04 OS Versi sumber yang benar tergantung pada versi Lib dependensi Ini rumit 🫠 Temukan panduan lengkap di katalog ZK kami!

@Lighter_xyz perp DEX diamankan oleh sirkuit Plonky2-nya. Untuk meregenerasi verifikator lama untuk mode operasi normal, Anda perlu: ~128 G memori Lib dependensi Temukan panduan lengkap di Katalog ZK kami! ❗Sumber mode escape tidak dipublikasikan, sehingga verifier tidak dapat dibuat❗ ulang

Karena kami telah meregenerasi verifier @Lighter_xyz minggu lalu, tim mereka telah memperbarui sirkuit dan belum menerbitkan sumbernya. Namun sekali lagi pengguna tidak memiliki cara untuk mengetahui apa sebenarnya yang diverifikasi. 👉Setiap pembaruan ke sirkuit zk harus diverifikasi, tetap up to date adalah tugas! 👈