A Survey on Blockchain Technology and Its Potential Applications in Distributed Control and Cooperative Robots
(Hong Kong Polytechnic University)
区块链技术及它在分布式控制协作机器人中的应用的综述
作为一种颠覆性技术，区块链，尤其是比特币作为一种数字货币的原始形式，已经引起了很大的关注。创新的分布式决策和安全机制为其成功奠定了技术基础，使我们考虑将区块链技术的力量渗透到分布式控制和协作机器人中，因为这个领域中分布式和安全机制也是高度需求的。实际上，安全和分布式通信在分布式控制和协作机器人领域一直是未解决的问题。分布式控制和多机器人系统的网络故障和入侵者攻击已有很多很多的报道了。区块链技术提供了彻底解决这个问题的可能性。这项工作旨在根据其工作原理描绘区块链技术的大图景，在控制和机器人应用中的关键要素，为初学者提供进入这一研究领域的捷径。
A Probabilistic Model of the Bitcoin Blockchain
(IBM)
比特币区块链的概率模型
比特币交易图是一种公共数据结构，被组织为地址之间的交易，每个地址与逻辑实体相关联。 在这项工作中，我们介绍了比特币区块链的完整概率模型。 我们首先在块级别，建立由比特币协议引起的一组条件依赖性，并导出比特币块的相应完全观察的图形模型。 然后，我们扩展模型以包括隐藏的实体属性，例如相关逻辑代理的功能类别，并导出此模型隐含的隐私属性的渐近边界。 在网络层面，我们展示了复杂的交易 - 交易行为的证据，并提出了代理商类别的相关判别模型。 基于块的图形模型和网络级判别模型的性能在公共比特币区块链的子集上进行了评估。
Pluralize: a Trustworthy Framework for High-Level Smart Contract - Draft
(CEA, France)
pluraliza： 一个高级智能合约的受信框架
本文介绍了Pluralize,一个正式的逻辑框架，能够将区块链交易的执行扩展到来自外部神谕的事件，如外部时间，传感器数据，人工声明等。这些事件本质上是不可靠的，因为事务执行可以 由区块链无法确定其准确性的信息触发。 为了克服这个问题，该语言具有一阶逻辑和权威代数，以允许正式推理并建立代理商对支持区块链的交易的责任。 我们提供了一个问责模型，允许通过区块链的每个代理在当地可执行的形式证明来正式证明代理的责任。
Sidechains: Decoupled Consensus Between Chains
(Zen Blockchain Foundation)
sidechains：链之间的共识解耦
我们提出了一种新颖的侧链结构，专为与Horizen区块链兼容而设计，用于进行安全和分布式的交叉链转移，无需主链节点跟踪侧链以验证它们。 所提出的方案也可以用于其他类似的区块链系统。 我们在一些可行的假设下，说明了我们的交叉分类账转移机制是安全的。