I don't think it will require formal verification per se. Rather, formal verification is just one piece in the puzzle. The software responsible for contracts i

I don't think it will require formal verification per se. Rather, formal verification is just one piece in the puzzle. The software responsible for contracts in Ethereum needs to be equally well and thoroughly developed as if it was sending people to the Moon in the 60s or to Mars in the current Decade. It'll probably take blood, sweat, money and mistakes just like in many other disciplines but we'll get there.