Tezos is a decentralized blockchain that governs itself by establishing a true digital
commonwealth.
Tezos was built to facilitate formal verification, a technique
which boosts the security of the most sensitive or financially weighted
smart contracts by mathematically proving the correctness of the code
governing transactions.
Also, an innovative consensus protocol, based on Liquid Proof of Stake, empowers all the users to contribute, to secure and to be reworded.
The Tezos blockchain underpins secure, decentralized applications and smart contracts while avoiding some of the political and technological problems which earlier efforts such as Bitcoin and Ethereum have faced. Tezos was built on the belief that a deep commitment to security, formal verification, and governance that gives stakeholders the power to
make protocol decisions is the formula for earning trust and generating widespread adoption of the blockchain.
Bitcoin has mining, Tezos has baking. Bakers obtain the right to create a block when a Tezos token (a roll) they own (or that is delegated to them) is randomly selected to create a block. Since not everyone holding tokens is interested in being a baker, tokens can be “delegated” to another party. The delegate does not own or control the tokens in any way. In particular, it cannot spend them. However, if and when one of these tokens is randomly selected to bake a block, that right will belong to the delegate.
Motivation: The more bakers there are, the more decentralized the Tezos network will be. Decentralization means that a wide array of ordinary Tezos users, not just select few, are truly the ones running the show — this kind of widespread collaboration is what a decentralized and permissionless blockchain is all about! In addition to being a really cool feature, this also means the Tezos network will be more secure overall, because spreading out the power means that no individual or small group can conspire to manipulate the ledger history for their own purposes.