Here is probably a better link which describes Tezos in more detail: https://www.tezos.com/static/papers/position_paper.pdf https://www.tezos.com/static/papers/

Here is probably a better link which describes Tezos in more detail: https://www.tezos.com/static/papers/position_paper.pdf https://www.tezos.com/static/papers/position_paper.pdf Edit: After reading it, the main takeaways are: 1. Allows voting on changing the protocol 2. Uses Proof of Stake with some statistical analysis to help with flaws, although nothing seemed definite 3. A brief mention of formal logic being used to create some sort of constitution, which any changes have to prove they abide by before being accepted by the system