The One Property that should never break, Euler V1 Hack Repro with Echidna
In this video I use Echidna to find the sequence that would have identified the Euler V1 Exploit.
Most of the time is spent in setting up the code, the exploit generation is actually very simple.
To identify the Euler V1 exploit, I focus on a key property, which is that no user should be able to self liquidate
The video goes over code written here:
https://github.com/GalloDaSballo/eule...
Run Invariant Tests on the Cloud with Recon:
https://getrecon.xyz/