There's a bunch of interesting work happening in the blockchain space around formal verification languages that can compile to smart contracts. Makes sense - n

There's a bunch of interesting work happening in the blockchain space around formal verification languages that can compile to smart contracts. Makes sense - not only do you lose money if you get it wrong but it is very difficult to correct!