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

Você sabe o que é realmente verificado onchain em uma prova ZK? A única maneira de saber se o contrato inteligente verifica a lógica correta é regenerar as chaves de verificação a partir das fontes corretas e ver se elas correspondem aos valores onchain.

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

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

@Lighter_xyz perp DEX é assegurado pelos seus circuitos Plonky2. Para regenerar o antigo verificador para o modo normal de operação, você precisará: ~128 G de memória Bibliotecas de dependência Encontre o guia completo no nosso Catálogo ZK! ❗As fontes do modo de escape não são publicadas, portanto o verificador não pode ser regenerado❗

Desde que regenerámos o verificador @Lighter_xyz na semana passada, a sua equipa atualizou os circuitos e não publicou as fontes. Mais uma vez, os utilizadores não têm forma de saber o que exatamente está verificado. 👉Cada atualização aos circuitos zk deve ser verificada, manter-se atualizado é uma tarefa!👈