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.
isso foi em uma recente auditoria privada do Cyfrin, ótimas coisas @alexzoid_eth!
28 de ago. de 2025
Em um compromisso privado anterior com auditores, minha propriedade estadual válida de Verificação Formal @CertoraInc pegou um CRIT na montagem de um protocolo de empréstimo complexo, perdido por revisões manuais.
Prova clara do valor da FV em complementar o fuzzing e as auditorias clássicas.
2,96K
Melhores
Classificação
Favoritos