Attacker mints $1 billion Polkadot tokens on Ethereum, ends up stealing just $250,000