首页    期刊浏览 2025年06月10日 星期二
登录注册

文章基本信息

  • 标题:Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper)
  • 本地全文:下载
  • 作者:Sean Braithwaite ; Ethan Buchman ; Igor Konnov
  • 期刊名称:OASIcs : OpenAccess Series in Informatics
  • 电子版ISSN:2190-6807
  • 出版年度:2020
  • 卷号:84
  • 页码:1-8
  • DOI:10.4230/OASIcs.FMBC.2020.10
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:Blockchain synchronization is one of the core protocols of Tendermint blockchains. In this short paper, we discuss our recent efforts in formal specification of the protocol and its implementation, as well as some initial model checking results. We demonstrate that the protocol quality and understanding can be improved by writing specifications and model checking them.
  • 关键词:Blockchain; Fault Tolerance; Byzantine Faults; Model Checking
国家哲学社会科学文献中心版权所有