POSTMORTEM

Postmortem: The Lending Protocol Reentrancy That Fuzzing Missed — And Invariants Didn't

The dev team ran Echidna for 24 hours: zero findings. The same vulnerability was found by invariant testing in 90 seconds. Here's the exact reentrancy path, why mock ERC20s hide it, and the accounting properties that catch it.