Introduction to the Tezos Blockchain
2019 International Conference on High Performance Computing & Simulation (HPCS)（2019）
摘要
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.
更多查看译文
关键词
distributed systems,decentralized systems,blockchains,smart contracts,formal verification.
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要