Vår ZK-katalog innehåller nu instruktioner om hur man regenererar @zksync Boojum och tidigare @Lighter_xyz onchain-verifierare! Gå till detaljerade sidor för att se nödvändiga steg. Varför detta är viktigt och vad exakt vi gjorde i tråden nedan 👇

Vet du vilket ZK-bevis som faktiskt är verifierat onchain? Det enda sättet att veta att smartkontraktet verifierar korrekt logik är att återskapa verifieringsnycklar från rätt källor och se om de stämmer överens med värden onchain.

Om du inte regenererar onchain-verifierare kan du aldrig vara säker på att L2- → L1-bosättningen är korrekt. Dina tokens kan bli stulna om ZK-systemet har bakdörrar! Vår ZK-katalog kontrollerar korrektheten hos verifierar-smarta kontrakt och förklarar hur du kan göra detsamma.

Boojum är den som @zksync lagets bevisare. För att återskapa dess verifierare behöver du: NVIDIA GPU med 24G mem + CUDA Ubuntu 24.04 OS Korrekt version av källor beroende på version Beroendebibliotek Det är komplicerat 🫠. Hitta hela guiden i vår ZK-katalog!

@Lighter_xyz förövande DEX säkras av dess Plonky2-kretsar. För att återskapa den gamla verifieraren för normal drift behöver du: ~128 G minne Beroendebibliotek Hitta hela guiden i vår ZK-katalog! ❗Escape-lägeskällor publiceras inte, så verifieraren kan inte regenereras❗

Eftersom vi återskapade @Lighter_xyz verifierare förra veckan har deras team uppdaterat kretsarna och inte publicerat källorna. Återigen har användarna inget sätt att veta exakt vad som är verifierat. 👉Varje uppdatering av zk-kretsar måste verifieras, att hålla sig uppdaterad är ett slit! 👈