Introduction to the Tezos Blockchain
Victor Allombert, Mathias Bourgoin, Julien Tesson

TL;DR
This paper introduces Tezos, a blockchain platform with a novel proof-of-stake consensus, self-amendment capabilities via voting, and a focus on formal methods for safety enhancement.
Contribution
It presents Tezos as an innovative blockchain with self-amendment, formal safety methods, and a unique proof-of-stake consensus, advancing blockchain technology.
Findings
Tezos uses a novel proof-of-stake consensus algorithm.
It can amend its protocol through a built-in voting mechanism.
Focus on formal methods enhances safety and reliability.
Abstract
Tezos is an innovative blockchain that improves on several aspects compared to more established blockchains. It offers an original proof-of-stake consensus algorithm and can be used as a decentralized smart contract platform. It has the capacity to amend its own economic protocol through a voting mechanism and focuses on formal methods to improve safety.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
