The Case for Verification Just Got Harder to Ignore

This past week, an exploit triggered a cascade across DeFi.