Tezos

https://www.tezos.com/ Tezos is a new decentralized blockchain that governs itself by establishing a true digital commonwealth. It facilitates formal verification, a technique which mathematically proves the correctness of the code governing transactions and boosts the security of the most sensitive or financially weighted smart contracts. Learn more

https://tokenmarket.net/blockchain/tezos/assets/tezos/