Argomenti di tendenza
#
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.
Il team di Verifica Formale di @NethermindSec, con il supporto di @ethereumfndn attraverso il 2024 ZK Grants Round, ha sviluppato Halva: un'infrastruttura per la verifica formale dei circuiti zk Halo2 in @leanprover.
Abbiamo utilizzato Halva per scoprire un bug critico in un circuito Scroll zk del mondo reale. 🧵
1/
5,09K
Principali
Ranking
Preferiti