Using benchmarks to speed up Echidna

By Ben Siraphob During my time as a Trail of Bits associate last summer, I worked on optimizing the performance of Echidna, Trail of Bits’ open-source smart contract fuzzer, written in Haskell. Through extensive use of profilers and other tools, I was able to pinpoint and debug a massive space leak in one of Echidna’s […]

ben benchmarks bits blockchain contract debug echidna fuzzer fuzzing haskell internship projects leak performance pinpoint smart smart contract space speed speed up summer tools trail of bits written