Onze ZK Catalog bevat nu instructies over hoe je @zksync Boojum en eerdere @Lighter_xyz on-chain verificatoren kunt regenereren! Ga naar de gedetailleerde pagina's om de noodzakelijke stappen te zien. Waarom dit belangrijk is en wat we precies hebben gedaan in de onderstaande thread 👇

Weet je wat ZK-proof eigenlijk onchain wordt geverifieerd? De enige manier om te weten dat het smart contract de juiste logica verifieert, is door verificatiesleutels opnieuw te genereren uit de juiste bronnen en te kijken of ze overeenkomen met waarden onchain.

Tenzij je on-chain verificatoren opnieuw genereert, kun je nooit zeker zijn dat de L2 → L1 afwikkeling correct is. Je tokens kunnen gestolen worden als het ZK-systeem achterdeurtjes heeft! Onze ZK Catalogus controleert de juistheid van verificator smart contracts en legt uit hoe je hetzelfde kunt doen.

Boojum is de prover van het @zksync team. Om de verifier opnieuw te genereren heb je nodig: NVIDIA GPU met 24G geheugen + CUDA Ubuntu 24.04 OS De juiste versie van de bronnen afhankelijk van de versie Afhankelijkheidsbibliotheken Het is ingewikkeld 🫠 Vind de volledige gids in onze ZK-catalogus!

@Lighter_xyz perp DEX is beveiligd door zijn Plonky2-circuits. Om de oude verifier voor de normale modus van werking te regenereren, heb je nodig: ~128 G geheugen Afhankelijkheidsbibliotheken Vind de volledige gids in onze ZK Catalogus! ❗Escape-modusbronnen zijn niet gepubliceerd, dus de verifier kan niet worden geregenereerd❗

Sinds we vorige week de @Lighter_xyz verifier hebben geregenereerd, heeft hun team de circuits bijgewerkt en de bronnen niet gepubliceerd. Weer hebben gebruikers geen manier om te weten wat er precies is geverifieerd. 👉Elke update van zk-circuits moet worden geverifieerd, up-to-date blijven is een karwei!👈