Hybrid fuzzing: Sharpening the spikes of Echidna

Published

2022-12-08 13:00

Collected

2026-07-03 04:03

---
id: 1724
title: "Hybrid fuzzing: Sharpening the spikes of Echidna"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2022/12/08/hybrid-echidna-fuzzing-optik-maat/"
published_at: "2022-12-08T13:00:36Z"
tags: ["web3", "smart-contracts", "fuzzing", "blockchain", "symbolic-execution"]
phying_url: "https://phying.com/item/1724"
lang: en
---

# Hybrid fuzzing: Sharpening the spikes of Echidna

## Summary

Hybrid Echidna couples Trail of Bits' smart contract fuzzer with the Maat symbolic execution framework to reach bugs random fuzzing can't — triggering assertion failures that require specific 256-bit integer inputs, which Echidna alone had no realistic chance of finding.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2022-12-08T13:00:36Z
- **Original:** https://blog.trailofbits.com/2022/12/08/hybrid-echidna-fuzzing-optik-maat/
- **Phying News:** https://phying.com/item/1724