Introduction to the Tezos Blockchain
International Symposium on High Performance Computing Systems and Applications (HPCS), 2019
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.
View on arXivComments on this paper
