Echidna
Echidna is an advanced Ethereum smart contract fuzzer developed by the security solutions firm – Trail of Bits. Echidna serves as an evaluation tool and is recognized for its distinctive ‘property-based fuzzing,’ which aims to violate user-defined invariants (properties) rather than searching for crashes as conventional fuzzers do. Echidna offers a variety of tools for crafting personalized analyses for intricate contracts. Focused on EVM bytecode, Echidna employs cryptic compile to evaluate contracts.