Introduction to the Tezos Blockchain

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.