He did, however, concede that a lot of smart people in the Ethereum community are working hard to make Ethereum safe and secure with smart contract formal verification efforts and with proof-of-stake consensus protocol research.