Tezos

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

Tezos takes a fundamentally different approach by creating governance rules for stakeholders to approve of protocol upgrades that are then automatically deployed on the network. When a developer proposes a protocol upgrade, they can attach an invoice to be paid out to their address upon approval and inclusion of their upgrade. This approach provides a strong incentive for participation in the Tezos core development and further decentralizes the maintenance of the network. It compensates developers with tokens that have immediate value rather than forcing them to seek corporate sponsorships, foundation salaries, or work for Internet fame alone.

Tezos instantiates new technical innovations but also enforces types of constitutionalism through the use of formal proofs to mathematically verify that key properties are upheld over time. By allowing stakeholders to coordinate on-chain, the network also allows for the creation of bounties to implement specific features or discover bugs. Collectively, the network maintains the decentralized aspect of blockchains while introducing a mechanism to enable collective decision making. Tezos tokens not only power smart contracts in the network, but also allow votes on protocol amendments. The initial Tezos rollout is simple by design, but its self-amending nature means that the rules governing the network can be improved over time.