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.
A equipe de Verificação Formal do @NethermindSec, com o apoio do @ethereumfndn até a Rodada de Subsídios ZK de 2024, desenvolveu o Halva: uma infraestrutura para verificação formal de circuitos Halo2 zk em @leanprover.
Usamos o Halva para descobrir um bug crítico em um circuito Scroll zk do mundo real. 🧵
1/
5,1K
Melhores
Classificação
Favoritos