Catalogul nostru ZK conține acum instrucțiuni despre cum să regenerezi @zksync Boojum și verificatorii onchain @Lighter_xyz anteriori! Accesează pagini detaliate pentru a vedea pașii necesari. De ce este important acest lucru și ce anume am făcut în firul de discuție de mai jos 👇

Știi ce dovadă ZK este de fapt verificată onchain? Singura modalitate de a ști dacă smart contractul verifică logica corectă este să regenerezi cheile de verificare din sursele corecte și să vezi dacă se potrivesc cu valorile onchain.

Dacă nu regenerezi verificatori onchain, nu poți fi niciodată sigur că L2 → L1 sunt corecte. Jetoanele tale ar putea fi furate dacă sistemul ZK are backdoor-uri! Catalogul nostru ZK verifică corectitudinea contractelor inteligente pentru verificatori și explică cum poți face același lucru.

Boojum este liderul echipei @zksync. Pentru a-i regenera verificatorul vei avea nevoie de: GPU NVIDIA cu memorie 24G + CUDA Ubuntu 24.04 OS Versiunea corectă a surselor, în funcție de versiune Lib-uri de dependență Este complicat 🫠 Găsește ghidul complet în catalogul nostru ZK!

@Lighter_xyz DEX suspect este securizat de circuitele sale Plonky2. Pentru a regenera vechiul verificator pentru modul normal de funcționare vei avea nevoie de: ~128 G de memorie Lib-uri de dependență Găsește ghidul complet pe Catalogul nostru ZK! ❗Sursele din modul de evadare nu sunt publicate, astfel încât verificatorul nu poate fi regenerat❗

De când am regenerat @Lighter_xyz verificatorul săptămâna trecută, echipa lor a actualizat circuitele și nu a publicat sursele. Din nou, utilizatorii nu au cum să știe exact ce este verificat. 👉Fiecare actualizare a circuitelor zk trebuie verificată, să fii la curent este o corvoadă! 👈