An Ethereum smart contract containing 25,000 ETH turned out to be up for grabs—but a group of security experts intervened.