English

Introduction to the Tezos Blockchain

Distributed, Parallel, and Cluster Computing 2019-09-19 v1
Authors: Victor Allombert , Mathias Bourgoin , Julien Tesson
View on arXiv ↗ PDF ↗

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.

Keywords

blockchain digital signature blockchain and cryptocurrency

Cite

@article{arxiv.1909.08458,
  title  = {Introduction to the Tezos Blockchain},
  author = {Victor Allombert and Mathias Bourgoin and Julien Tesson},
  journal= {arXiv preprint arXiv:1909.08458},
  year   = {2019}
}

Related papers

View all related →
Programming Languages · Computer Science
Making Tezos smart contracts more reliable with Coq
Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson +2
2021-06-25
Programming Languages · Computer Science
Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts
Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin +1
2019-09-20
Cryptography and Security · Computer Science
Assessing Security and Performances of Consensus algorithms for Permissioned Blockchains
Stefano De Angelis
2018-05-10
Cryptography and Security · Computer Science
Fuzzychain: An Equitable Consensus Mechanism for Blockchain Networks
Bruno Ramos-Cruz, Javier Andreu-Pérez, Francisco J. Quesada, Luis Martínez
2024-06-03
Cryptography and Security · Computer Science
Topos: A Secure, Trustless, and Decentralized Interoperability Protocol
Théo Gauthier, Sébastien Dan, Monir Hadji, Antonella Del Pozzo +1
2023-02-10
Programming Languages · Computer Science
Albert, an intermediate smart-contract language for the Tezos blockchain
Bruno Bernardo, Raphaël Cauderlier, Basile Pesin, Julien Tesson
2020-01-09
Cryptography and Security · Computer Science
Towards Blockchain for Decentralized Self-Organizing Wireless Networks
Steven Platt, Miquel Oliver-Riera
2020-04-28
Cryptography and Security · Computer Science
Automated Reasoning in Blockchain: Foundations, Applications, and Frontiers
Hojer Key
2025-05-14
Cryptography and Security · Computer Science
Blockchain Technology: Methodology, Application and Security Issues
AKM Bahalul Haque, Mahbubur Rahman
2020-12-25
Cryptography and Security · Computer Science
Rethinking Blockchain Security: Position Paper
Vincent Chia, Pieter Hartel, Qingze Hum, Sebastian Ma +4
2019-04-26
Distributed, Parallel, and Cluster Computing · Computer Science
Blockchain e Sistemas Distribu\'idos: conceitos b\'asicos e implica\c{c}\~oes
M. Witter, A. Rodrigo De Vit
2024-03-25
Cryptography and Security · Computer Science
PREStO: A Systematic Framework for Blockchain Consensus Protocols
Stefanos Leonardos, Daniel Reijsbergen, Georgios Piliouras
2021-07-20
Computer Science and Game Theory · Computer Science
An Efficient and Decentralized Blockchain-based Commercial Alternative (Full Version)
Marwan Zeggari, Renaud Lambiotte, Aydin Abadi, Louise Axon +1
2022-11-08
Cryptography and Security · Computer Science
DEXON: A Highly Scalable, Decentralized DAG-Based Consensus Algorithm
Tai-Yuan Chen, Wei-Ning Huang, Po-Chun Kuo, Hao Chung +1
2018-11-20
Cryptography and Security · Computer Science
e-PoS: Making Proof-of-Stake Decentralized and Fair
Muhammad Saad, Zhan Qin, Kui Ren, DaeHun Nyang +1
2021-01-05
Cryptography and Security · Computer Science
Key Concepts and Principles of Blockchain Technology
Mohsen Ghorbian, Mostafa Ghobaei-Arani
2025-01-22
Distributed, Parallel, and Cluster Computing · Computer Science
When Internet of Things Meets Blockchain: Challenges in Distributed Consensus
Bin Cao, Yixin Li, Lei Zhang, Long Zhang +3
2019-07-24
Cryptography and Security · Computer Science
Novel Blockchain-based Protocols for Electronic Voting and Auctions
Zhaorun Lin
2025-08-19
Distributed, Parallel, and Cluster Computing · Computer Science
Feasibility of Proof of Authority as a Consensus Protocol Model
Shashank Joshi
2021-09-07
Programming Languages · Computer Science
HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types
Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata +3
2021-09-13
Cryptography and Security · Computer Science
Decentralized Blockchain-based model for Edge Computing
Mabrook S. Al-Rakhami, Abdu Gumaei, Sk. Md. Mizanur Rahman, Atif Al-Amri
2021-06-30
Cryptography and Security · Computer Science
E-Voting with Blockchain: An E-Voting Protocol with Decentralisation and Voter Privacy
Freya Sheer Hardwick, Apostolos Gioulis, Raja Naeem Akram, Konstantinos Markantonakis
2018-07-04
Distributed, Parallel, and Cluster Computing · Computer Science
Recent Advances of Blockchain and its Applications
Xiao Li, Weili Wu
2022-08-18
Cryptography and Security · Computer Science
Consensus in the Age of Blockchains
Shehar Bano, Alberto Sonnino, Mustafa Al-Bassam, Sarah Azouvi +3
2017-11-15
Cryptography and Security · Computer Science
ConnectionChain: Secure Interworking of Blockchains
Shingo Fujimoto, Yoshiki Higashikado, Takuma Takeuchi
2020-01-07
R2 v1 2026-06-23T11:19:13.675Z