论文标题

朝着分散的物联网更新递送利用区块链和零知识证明

Towards Decentralized IoT Updates Delivery Leveraging Blockchain and Zero-Knowledge Proofs

论文作者

Puggioni, Edoardo, Shaghaghi, Arash, Doss, Robin, Kanhere, Salil S.

论文摘要

我们提出了CrowdPatching,这是一种基于区块链的分散协议,允许物联网(IoT)制造商将软件更新交付给自我利益的分销商,以换取加密货币。制造商通过部署智能合约(SC)宣布更新,这反过来将向任何提供不可遗忘的证明证明的分销商发出加密货币付款。后者由IoT设备提供,授权SC在满足所需条件时向分销商发行付款。这些条件包括要求分销商生成零知识证明的要求,该证明是由新颖的证明系统(称为ZK-Snarks)生成的。与相关工作相比,CrowdPatching协议提供了三个主要优势。首先,分销商的数量可以通过在制造商初始分发后的任何时间(即分销商网络之间的再分配)无限地扩展。后者在现有协议中不可能,因此不可解释。其次,我们利用在协议中物联网部署中Gateway或Hub最近的常见集成,即使对于更约束的IoT设备,也可以使人群可行。第三,在我们的协议中考虑了分销商的可信赖性,从而奖励了诚实的分销商的参与。我们提供使用tamarin鄙视的人群捕集的非正式和正式安全分析。

We propose CrowdPatching, a blockchain-based decentralized protocol, allowing Internet of Things (IoT) manufacturers to delegate the delivery of software updates to self-interested distributors in exchange for cryptocurrency. Manufacturers announce updates by deploying a smart contract (SC), which in turn will issue cryptocurrency payments to any distributor who provides an unforgeable proof-of-delivery. The latter is provided by IoT devices authorizing the SC to issue payment to a distributor when the required conditions are met. These conditions include the requirement for a distributor to generate a zero-knowledge proof, generated with a novel proving system called zk-SNARKs. Compared with related work, CrowdPatching protocol offers three main advantages. First, the number of distributors can scale indefinitely by enabling the addition of new distributors at any time after the initial distribution by manufacturers (i.e., redistribution among the distributor network). The latter is not possible in existing protocols and is not account for. Secondly, we leverage the recent common integration of gateway or Hub in IoT deployments in our protocol to make CrowdPatching feasible even for the more constraint IoT devices. Thirdly, the trustworthiness of distributors is considered in our protocol, rewarding the honest distributors' engagements. We provide both informal and formal security analysis of CrowdPatching using Tamarin Prover.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源