Dec 04, 2017

Generating Simplicity language code with proofs for smart contracts looks like a nice application, though it's in early stages:

https://blockstream.com/simplicity.pdf

After some Ethereum smart contracts were containing bugs that caused tens of millions of dollars go away (and the value of these contracts is just going up in time), program verification in the cryptocurrency space is getting extremely important.