• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >A logic of blockchain updates
【24h】

A logic of blockchain updates

机译：SlockChain更新的逻辑

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum). Although blockchains gained a lot of popularity recently, there are only few logic-based models for blockchains available. We introduce BCL, a dynamic logic to reason about blockchain updates, and show that BCL is sound and complete with respect to a simple blockchain model.
机译：BlockChains是分布式数据结构，用于在加密电阻（如比特币）或智能合约（如Ethereum）中实现共识。虽然Blockchains最近获得了很多人气，但只有很少有基于逻辑的模型可用。我们介绍BCL，一种动态逻辑，原因是区块链更新，并显示BCL是声音，并且相对于简单的区块链模型。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号