This post is from a low-reputation account and contains an unverified outbound link. Be cautious before clicking external links.
Tezos is a new crowdfunded blockchain. It allows for consensual upgrades to its protocols, which empowers it to govern itself via what the Tezos white paper calls a “self-amending” cryptoledger. “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,” Tezos claims.
Read the white paper here: https://www.tezos.com/static/papers/white_paper.pdf