Using benchmarks to speed up Echidna

Published

2024-05-08 13:30

Collected

2026-07-03 03:47

---
id: 1500
title: "Using benchmarks to speed up Echidna"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2024/05/08/using-benchmarks-to-speed-up-echidna/"
published_at: "2024-05-08 13:30"
tags: ["web3", "smart-contracts", "fuzzing", "performance", "echidna", "haskell", "profiling"]
phying_url: "https://phying.com/item/1500"
lang: en
---

# Using benchmarks to speed up Echidna

## Summary

A Trail of Bits associate used GHC profiling to hunt down a massive space leak in Echidna's hevm dependency, cutting memory use by gigabytes and sharing lessons on measuring performance correctly.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2024-05-08 13:30
- **Original:** https://blog.trailofbits.com/2024/05/08/using-benchmarks-to-speed-up-echidna/
- **Phying News:** https://phying.com/item/1500