In 2016, a computer science foresaw how naive design choices in the original DAO could wreck Ethereum. Things are different ...