Tezos - An Ethereum where the smart contract language ambiguity and procedural nature of the code doesn't result in hundreds of millions in theft.