What is Tezos Blockchain? - Tezos is a self-amending cryptographic ledger for smart contracts and decentralized applications. Its highlights include formal verification — which allows blockchain developers to verify the correctness of their encrypted code — and the ability to let stakeholders vote on changes to the protocol layers - https://bit.ly/2WM5dgj