Borrow $10,000,000 with no collateral… for ONE blockchain transaction. Repay before it ends—or the whole thing reverts. That’s a flash loan. Not a bank; it’s code.
Blockchains mint value, not just bytes. On Ethereum, the workhorse is ERC-20. If tokens secure real money, we must test more than examples—we must test properties.
Next up: approval zero-reset cases, proxy storage collisions, and fee-on-transfer quirks.
Question: Which ERC-20 invariant would you add before touching proxies?