Il nostro Catalogo ZK ora contiene istruzioni su come rigenerare @zksync Boojum e i precedenti verificatori onchain di @Lighter_xyz! Vai alle pagine dettagliate per vedere i passaggi necessari. Perché questo è importante e cosa abbiamo fatto esattamente nel thread qui sotto 👇

Sai cos'è effettivamente verificato onchain il ZK proof? L'unico modo per sapere che il contratto intelligente verifica la logica corretta è rigenerare le chiavi di verifica dalle fonti giuste e vedere se corrispondono ai valori onchain.

A meno che tu non rigeneri i verificatori onchain, non puoi mai essere sicuro che il settlement L2 → L1 sia corretto. I tuoi token potrebbero essere rubati se il sistema ZK ha delle backdoor! Il nostro Catalogo ZK verifica la correttezza dei contratti smart dei verificatori e spiega come puoi fare lo stesso.

Boojum è il prover del team @zksync. Per rigenerare il suo verificatore avrai bisogno di: GPU NVIDIA con 24G di memoria + CUDA Sistema operativo Ubuntu 24.04 Versione corretta delle sorgenti a seconda della versione Librerie di dipendenza È complicato 🫠 Trova la guida completa nel nostro catalogo ZK!

@Lighter_xyz il DEX perp è protetto dai suoi circuiti Plonky2. Per rigenerare il vecchio verificatore per la modalità normale di funzionamento avrai bisogno di: ~128 G di memoria Librerie di dipendenza Trova la guida completa nel nostro Catalogo ZK! ❗Le fonti della modalità di fuga non sono pubblicate, quindi il verificatore non può essere rigenerato❗

Poiché abbiamo rigenerato il verificatore @Lighter_xyz la scorsa settimana, il loro team ha aggiornato i circuiti e non ha pubblicato le fonti. Ancora una volta, gli utenti non hanno modo di sapere cosa sia esattamente verificato. 👉Ogni aggiornamento ai circuiti zk deve essere verificato, rimanere aggiornati è un compito noioso!👈