• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Annual ACM/IEEE Symposium on Logic in Computer Science >Blockchains and the logic of accountability
【24h】

Blockchains and the logic of accountability

机译：区块链与责任逻辑

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This keynote address poses some blockchain-related challenges to the formal methods community. Although blockchains in some form have been around for a long time, they have only recently risen to prominence. Blockchain technology has recently been embraced by start-ups, financial institutions, and technology companies. The current state of flux in this area provides the computer science research community an opportunity to influence developments in a way that would be difficult in a more mature area. Rather than propose solutions to these difficult problems, this talk undertakes the much easier task of reviewing a few informally described (but, we think, realistic) scenarios to test any such logic. Many of these demands are unreasonable, if not provocative, and perhaps impossible, and so we hope you enjoy the discussion
机译：该主题演讲对形式方法社区提出了一些与区块链相关的挑战。尽管某种形式的区块链已经存在很长时间了，但直到最近才引起人们的关注。初创企业，金融机构和技术公司最近都采用了区块链技术。该领域的当前变化状态为计算机科学研究团体提供了一种机会，以一种在更成熟的领域中难以实现的方式来影响发展。这次演讲没有提出解决这些难题的解决方案，而是进行了更为轻松的任务，即审查一些非正式描述（但我们认为是现实的）方案以测试任何此类逻辑。这些要求中的许多都是不合理的，即使不是挑衅性的，也可能是不可能的，因此我们希望您喜欢讨论

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号