[hamburglar1]

Does it really take 232M to make a formally verifiable smart contract language?

[atomical]

When money flows freely you raise what you can. It's more than just verifiable smart contracts though. With money comes the ability to do a lot of research and lots of independent projects.

Take a look at the stuff Ethereum is researching. Watch one of Vitalik's talks on YouTube.