3 ms·
Does it really take 232M to make a formally verifiable smart contract language?
by hamburglar1 9y ago
Does it really take 232M to make a formally verifiable smart contract language?
- atomical 9y agoWhen 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.