Temas en tendencia
#
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 es un hito crucial para verificar formalmente a los zk provers, un paso esencial para establecer confianza y verificabilidad en todo el ecosistema ZK.
6 ago, 23:43
🚨 Se encontraron dos errores críticos de solidez en ZisK utilizando CIVER 🚨
En colaboración con el equipo de desarrollo de @ziskvm, el grupo Costa está aplicando métodos formales para verificar circuitos de recursión/agregación de ZisK.
🔗Más detalles aquí:
🧵
2.06K
Populares
Ranking
Favoritas