EthereumZuri.ch 2025

Minimizing Complex Smart Contract Failures With Fuzz Shrinking
01-31, 14:10–14:30 (Europe/Zurich), Sepolia Stage

Manually guided fuzzing on Ethereum smart contracts can uncover critical bugs, but debugging these issues is often challenging and time-consuming. This talk introduces Fuzz Shrink, a new feature in the Wake framework that automatically reduces complex failings within fuzz test cases into minimal, reproducible sequences, turning minutes of debugging into seconds.


The talk aims to present Fuzz Shrink, a powerful new feature in the Wake framework that revolutionizes how developers debug failing fuzz tests. When fuzzing discovers a failure, Fuzz Shrink automatically minimizes the test case by systematically removing unnecessary steps while preserving the exact failure condition. Traditional approaches require hours of fuzzing to produce failing test cases and further reruns require the same amount of hours to isolate the root cause within the fuzz test.
The talk will demonstrate how Fuzz Shrink tolerates slight variations in call patterns while maintaining near-optimal test case reductions, ultimately making smart contract testing more developer-friendly.

Ethereum auditor at Ackee Blockchain Security.