Nosso Catálogo ZK agora contém instruções sobre como regenerar verificadores onchain @zksync Boojum e @Lighter_xyz anteriores! Vá a páginas detalhadas para ver os passos necessários. Por que isso é importante e o que exatamente fizemos no tópico abaixo 👇

Você sabe qual prova ZK é realmente verificada onchain? A única forma de saber se o smart contract verifica a lógica correta é regenerar chaves de verificação das fontes corretas e ver se elas correspondem aos valores onchain.

A menos que você regenere verificadores onchain, nunca pode ter certeza de que o L2 → o assentamento L1 estão corretos. Seus tokens podem ser roubados se o sistema ZK tiver backdoors! Nosso Catálogo ZK verifica a correção dos contratos inteligentes dos verificadores e explica como você pode fazer o mesmo.

Boojum é o provador da @zksync equipe. Para regenerar seu verificador, você precisará de: GPU NVIDIA com 24G de memória + CUDA Ubuntu 24.04 OS Versão correta das fontes dependendo da versão Liberações de dependência É complicado 🫠 Encontre o guia completo no nosso catálogo ZK!

@Lighter_xyz DEX do suspeito é protegido por seus circuitos Plonky2. Para regenerar o verificador antigo para o modo normal de operação, você precisará de: ~128 G de memória Liberações de dependência Encontre o guia completo no nosso catálogo ZK! ❗As fontes do modo escape não são publicadas, então o verificador não pode ser regenerado❗

Desde que regeneramos @Lighter_xyz verificador na semana passada, a equipe deles atualizou os circuitos e não publicou as fontes. Mais uma vez, os usuários não têm como saber exatamente o que está sendo verificado. 👉Toda atualização dos circuitos zk precisa ser verificada, manter-se atualizado é um sacrifício! 👈