Vår ZK-katalog inneholder nå instruksjoner om hvordan man regenererer @zksync Boojum og tidligere @Lighter_xyz onchain-verifikatorer! Gå til detaljerte sider for å se nødvendige stegene. Hvorfor dette er viktig, og hva vi egentlig gjorde i tråden nedenfor 👇

Vet du hva ZK-bevis faktisk er verifisert onchain? Den eneste måten å vite at smartkontrakten verifiserer riktig logikk, er å regenerere verifiseringsnøkler fra riktige kilder og se om de stemmer overens med verdier onchain.

Med mindre du regenererer onchain-verifikatorer, kan du aldri være sikker på at L2- → L1-oppgjøret er korrekt. Tokenene dine kan bli stjålet hvis ZK-systemet har bakdører! Vår ZK-katalog sjekker korrektheten til verifikasjons-smartkontrakter og forklarer hvordan du kan gjøre det samme.

Boojum er beviseren av @zksync laget. For å regenerere verifikatoren trenger du: NVIDIA GPU med 24G minne + CUDA Ubuntu 24.04 OS Korrekt versjon av kilder avhengig av versjon Avhengighetsbiblioteker Det er komplisert 🫠. Finn full guide i vår ZK-katalog!

@Lighter_xyz gjerningsbevisste DEX er sikret av sine Plonky2-kretser. For å regenerere den gamle verifikatoren for normal driftsmodus trenger du: ~128 G minne Avhengighetsbiblioteker Finn hele guiden i ZK-katalogen vår! ❗Escape-moduskilder publiseres ikke, så verifikatoren kan ikke regenereres❗

Siden vi regenererte @Lighter_xyz verifikatoren forrige uke, har teamet deres oppdatert kretsene og ikke publisert kildene. Igjen har brukerne ingen måte å vite nøyaktig hva som er verifisert. 👉Hver oppdatering av ZK-kretser må verifiseres, å holde seg oppdatert er et slit! 👈