Rubriques tendance
#
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.
C'est une étape cruciale vers la vérification formelle des zk provers — une étape essentielle pour établir la confiance et la vérifiabilité dans l'écosystème ZK.
6 août, 23:43
🚨 Deux bugs critiques de solidité trouvés dans ZisK en utilisant CIVER 🚨
Dans une collaboration avec l'équipe de développement @ziskvm, le groupe Costa applique des méthodes formelles pour vérifier les circuits de récursion/agrégation de ZisK.
🔗Plus de détails ici :
🧵
2,07K
Meilleurs
Classement
Favoris