Echidna is open source and one of the most used testing frameworks in the EVM ecosystem. It is used for fuzzing/property-based testing of Ethereum smart contracts. Echidna’s core features include:

  • Support assertion checking,
  • Custom property-checking,
  • Estimation of maximum gas usage
  • Slither integration to extract helpful information before the fuzzing campaign

Today, Echidna is an essential tool that security companies use to audit smart contracts.