Chyby chytrých kontraktů jsou nákladné a těžko se chytají: 🔍 Fuzzing postrádá vzácné vstupy 📜 Formální ověření je obtížné Na @EthCC jsem prezentoval, jak na @CertoraInc zkoumáme Bounded Model Checking, praktickou střední cestu, která najde skutečné, reprodukovatelné chyby s minimálním nastavením. 👇