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區塊鏈相容而設計，用於進行安全和分散式的交叉鏈轉移，無需主鏈節點跟蹤側鏈以驗證它們。 所提出的方案也可以用於其他類似的區塊鏈系統。 我們在一些可行的假設下，說明了我們的交叉分類賬轉移機制是安全的。