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.
L'équipe de Vérification Formelle de @NethermindSec, avec le soutien de @ethereumfndn à travers le 2024 ZK Grants Round, a développé Halva : une infrastructure pour la vérification formelle des circuits zk Halo2 dans @leanprover.
Nous avons utilisé Halva pour découvrir un bug critique dans un circuit Scroll zk du monde réel. 🧵
1/
5,09K
Meilleurs
Classement
Favoris