Dans cet atelier, les participants acquerront une expérience pratique avec Echidna - un fuzzer de contrats intelligents open source - pour construire des contrats intelligents sécurisés. Ils apprendront ce que sont les invariants de code, comment les écrire et comment utiliser efficacement Echidna pour les vérifier. À la fin de la session, les participants comprendront comment fonctionne le test de propriétés, comment rédiger des propriétés de sécurité du code et comment utiliser le fuzzer de manière efficace.