delvtech / agent0

Analysis & simulation repo for Delv

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

Apache License 2.0

52 stars 21 forks source link

k Inflation Fuzzing #1429

Closed jalextowle closed 5 months ago

jalextowle commented 6 months ago

We need to add a new invariant for catching the sandwiching bugs relating to k inflation

slundqui commented 5 months ago

Here is a summary for the errors we're getting in fuzzing.

Rust errors

calculate_max_long
- InsufficientLiquidity: Negative Interest
- Initial guess in calculate_max_long is insolvent
- target share reserves less than effective share reserves
calculate_max_short
- absolute_max_short is insolvent
- arithmetic operation overflow

Contract preview call errors

ContractCustomError InsufficientLiquidity raised
ContractCustomError CircuitBreakerTriggered raised
ContractCustomError DistributeExcessIdleFailed raised

Contract transaction call errors

Receipt has status of 0