2 ms·Preventing an $8M attack on Ethereum’s deFI platform with property-based testing1 points by lelf 6y ago