🔒 Certora renforce la sécurité d'Ethereum ! 🛡️ Certora, la société de sécurité des contrats intelligents blockchain, dévoile son annonce officielle sur le blog. La société propose désormais un support de vérification de sécurité pour le langage de programmation de contrat intelligent d'Ethereum, Vyper. Certora souligne l'importance de cette mise à jour en faisant référence à un incident récent où des vulnérabilités dans l'ancienne version du compilateur Vyper ont conduit à une faille de sécurité, causant 70 millions de dollars de dommages dans le pool Curve (CRV). En effectuant une pré-validation avant le déploiement, ces vulnérabilités peuvent être contrecarrées de manière préventive. Renforcer le paysage des contrats intelligents d'Ethereum ! 💪📜