区块链更新的逻辑
计算机科学中的逻辑
2017-07-07 v1
摘要
区块链是分布式数据结构，用于在加密货币（如比特币）或智能合约（如以太坊）系统中实现共识。尽管区块链近年来广受欢迎，但目前尚无基于逻辑的区块链模型。我们引入 BCL，一种用于推理区块链更新的动态逻辑，并证明 BCL 相对于一个简单的区块链模型是可靠且完备的。
引用
@article{arxiv.1707.01766,
title = {A Logic of Blockchain Updates},
author = {Kai Brünnler and Dandolo Flumini and Thomas Studer},
journal= {arXiv preprint arXiv:1707.01766},
year = {2017}
}