Preventing an $8M attack on Ethereum’s deFI platform with property-based testing | Hacker News Reader