V4 Hook Fuzzer

The project implements a framework for property based stateful fuzz testing of V4 hooks contracts. The developer implements details specific to the hook, such as invariants that should always hold and implements methods for public entry points that interact with the hook. Once these functions are defined, the fuzz testing engine can test the system over thousands of transactions and blocks, calling all available methods in randomized order, attempting to find edge cases where the hook invariants are violated.

This project builds upon the Woke Python based testing framework for Solidity smart contracts to create a framework for testing V4 hooks.

There is a class called V4Test that provides common functionality that will be useful for most hook developers.

Deploy a pool manager

Deploy test tokens

Deploy a swap router

Randomized Swaps

Randomized Pool Initialization

To test a hook, the user inherits from this class and implements functionality specific to that hook.

Deploy the hook inside _hook_deploy

Return the deployed hook inside get_hook_impl

Implement "flows", which are calls into the public interface of the hook. Full range has two methods on it's interface that need to be implemented addLiquidity and removeLiquidity

Define invariants that will be validated after each flow is called

Once this interface is implemented, the Woke fuzz testing engine will run a stateful fuzz test that will call the implemented flows on the hook and the common flows (swap, initialize pool) in a randomized order, with randomized inputs.