区块链共识协议的拓扑视角
摘要：一个拓扑逻辑中关于区块链共识协议的安全性结果的改进提出。在一个“正确构造”共识协议的高级模板中，证明了在具有到达某个共同状态的协议状态中，一个命题及其否定不能同时是安全的。这实际上对任何不一致的命题都成立，证明只需要直觉推理。这为在拓扑的内部语言中研究共识协议的工作打开了大门。作为这一计划的首次尝试，本文的主要贡献是在给定拓扑的内部逻辑中将抽象的正确构造协议中的估计安全形式化为一个强制性陈述。首先在余轭图拓扑的背景下进行了说明。还可以看到，安全性可以被看作是一个模态陈述。对于这些解释，介绍了一些涉及拓扑中模态运算符的文献结果的扩展和改编。最终的估计安全性改进是一个完全基础的版本，在任意拓扑的语言中可以看出，估计安全性等价于某个强制陈述。
作者：Michael Lambert
论文ID：2111.07461
分类：Category Theory
分类简称：math.CT
提交时间：2021-11-16