Generalize the fuzzing for ERC4626 and stETH

delvtech / agent0

Analysis & simulation repo for Delv

https://agent0.readthedocs.io/en/latest/

Apache License 2.0

49 stars 21 forks source link

Generalize the fuzzing for ERC4626 and stETH #1420

Closed jalextowle closed 2 months ago

jalextowle commented 5 months ago

We should generalize the fuzzing for ERC4626 and stETH by initializing the pools with more general initial conditions. In particular, we should fuzz over:

[ ] The initial LPs contribution (we should also randomly remove this to test low-liquidity situations)
[ ] The time stretch APR (we'll need to set the initial fixed APR equal to this to avoid problems)
[ ] The variable APR

dpaiton commented 2 months ago

Closing since this is marked as Done.