Echidna, an open-source smart contract fuzzer, released version 2.0.0github.com/crytic3 pointsgalapago4 years ago