87

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 arXiv
Comments on this paper