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.
Actualizaciones absolutamente enormes para Halmos. Mejoras increíbles en las capacidades de desarrollo y detección de vulnerabilidades.
Realmente estoy deseando ponerme manos a la obra con esto.
¡Gran reconocimiento a @0xkarmacoma!
15 jul, 07:38
¡Destacados de la versión halmos v0.3.0!
(recordatorio rápido: halmos es una herramienta de prueba simbólica para bytecode EVM que se integra bien con proyectos de foundry y admite múltiples solucionadores SMT)
1. (finalmente) añadimos soporte para pruebas de invariantes con estado.
1,25K
Parte superior
Clasificación
Favoritos