Tópicos em alta
#
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 verificar formalmente os provadores zk - uma etapa essencial para estabelecer confiança e verificabilidade em todo o ecossistema ZK.
6 de ago., 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 os circuitos de recursão/agregação do ZisK.
🔗Mais detalhes aqui:
🧵
2,08K
Melhores
Classificação
Favoritos