Tendencias del momento
#
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.
Los errores en contratos inteligentes son costosos y difíciles de detectar:
🔍 El fuzzing pierde entradas raras
📜 La verificación formal es difícil de usar
En @EthCC presenté cómo en @CertoraInc exploramos la Verificación de Modelos Acotados, un término medio práctico que encuentra errores reales y reproducibles con una configuración mínima. 👇
3,35K
Parte superior
Clasificación
Favoritos