Les bugs des contrats intelligents sont coûteux et difficiles à détecter : 🔍 Le fuzzing rate des entrées rares 📜 La vérification formelle est difficile à utiliser Lors de @EthCC, j'ai présenté comment chez @CertoraInc nous explorons le Bounded Model Checking, un compromis pratique qui trouve de vrais bugs reproductibles avec un minimum de configuration. 👇