ERC 4626

How to fuzz ERC-4626 vaults: a step-by-step guide

ERC-4626 defines a clean vault interface and a set of guarantees that are surprisingly easy to break. This guide walks through identifying invariants, writing properties, and running fuzzing campaigns.