En este taller, los asistentes obtendrán experiencia práctica en Echidna - un fuzzer de contratos inteligentes de código abierto - para construir contratos inteligentes seguros. Aprenderán qué son las invariantes de código, cómo escribirlas y cómo usar Echidna de manera eficiente para verificarlas. Al final de la sesión, los asistentes comprenderán cómo funciona la prueba de propiedades, cómo escribir propiedades de seguridad del código y cómo usar el fuzzer de manera eficiente.