Tópicos populares
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Este é um marco crucial para a verificação formal dos zk provers — um passo essencial para estabelecer confiança e verificabilidade em todo o ecossistema ZK.
6/08, 23:43
🚨 Dois bugs críticos de solidez encontrados no ZisK usando CIVER 🚨
Em colaboração com a equipe de desenvolvimento do @ziskvm, o grupo Costa está aplicando métodos formais para verificar circuitos de recursão/agregação do ZisK.
🔗Mais detalhes aqui:
🧵
1,68K
Top
Classificação
Favoritos