Danh mục ZK của chúng tôi hiện đã chứa hướng dẫn về cách tái tạo @zksync Boojum và các xác minh onchain trước đó của @Lighter_xyz! Hãy truy cập các trang chi tiết để xem các bước cần thiết. Tại sao điều này lại quan trọng và chính xác chúng tôi đã làm gì trong chủ đề bên dưới 👇

Bạn có biết ZK proof thực sự được xác minh trên chuỗi như thế nào không? Cách duy nhất để biết rằng hợp đồng thông minh xác minh logic đúng là tái tạo các khóa xác minh từ các nguồn đúng và xem chúng có khớp với các giá trị trên chuỗi hay không.

Trừ khi bạn tái tạo các xác minh trên chuỗi, bạn không bao giờ có thể chắc chắn rằng việc thanh toán L2 → L1 là chính xác. Các token của bạn có thể bị đánh cắp nếu hệ thống ZK có lỗ hổng! Danh mục ZK của chúng tôi kiểm tra tính chính xác của các hợp đồng thông minh xác minh và giải thích cách bạn có thể làm điều tương tự.

Boojum là người chứng minh của đội ngũ @zksync. Để tái tạo trình xác minh của nó, bạn sẽ cần: GPU NVIDIA với 24G bộ nhớ + CUDA Hệ điều hành Ubuntu 24.04 Phiên bản nguồn chính xác tùy thuộc vào phiên bản Thư viện phụ thuộc Nó phức tạp 🫠 Tìm hướng dẫn đầy đủ trong danh mục ZK của chúng tôi!

@Lighter_xyz perp DEX được bảo mật bởi các mạch Plonky2 của nó. Để tái tạo lại trình xác minh cũ cho chế độ hoạt động bình thường, bạn sẽ cần: ~128 G bộ nhớ Thư viện phụ thuộc Tìm hướng dẫn đầy đủ trong Danh mục ZK của chúng tôi! ❗Các nguồn chế độ thoát không được công bố, vì vậy trình xác minh không thể được tái tạo❗

Kể từ khi chúng tôi đã tái tạo xác minh viên @Lighter_xyz vào tuần trước, đội ngũ của họ đã cập nhật các mạch và chưa công bố các nguồn. Một lần nữa, người dùng không có cách nào để biết chính xác điều gì đã được xác minh. 👉Mỗi cập nhật cho các mạch zk phải được xác minh, việc giữ cho thông tin luôn cập nhật thật là một công việc khó khăn!👈