用户dsn保存位置‘_DSN 链上审计

Towards Privacy-assured and Lightweight On-chain Auditing of Decentralized Storage

Link: Towards Privacy-assured and Lightweight On-chain Auditing of Decentralized Storage

一、背景概念

1. Cloud outsourcing: 首先 outsourcing 外包，指的是把应该放在本地的服务转移到云端，这种服务可以包括存储、数据库、应用以及、计算资源等。本地与云端的信息交接通过互联网实现。云提供了大量信息，常常被作为 IoT/AI/social platform/blockchain 等一些技术趋势的基础。

• 云的优势：空间大、便宜、计算速度快、访问不受时地约束、大数据管理/分析。
• 安全性：cloud outsourcing 使我们可以随时随地访问利用云上的各种资源，但这种通过互联网交换信息，会带来安全风险。
• 几种 Cloud outsourcing 服务模式：Software-as-a-service (SaaS，云提供软件应用) , Platform-as-a-service (PaaS，云提供托管平台) , Infrastructure-as-a-Service (IaaS，云提供虚拟计算机资源，比如存储), Desktop as a Service (DaaS，云桌面) 。

https://savvycomsoftware.com/what-are-the-hot-trends-for-outsourcing-cloud-services-in-2019/​savvycomsoftware.com

2. Decentralized Storage Network (DSN): 和云不同，云是中心化的，但依托于区块链的 DSN 是去中心化的。云服务的安全基于我们对 centralized party sever/cloud service provider 的信任，而 DSN 对存储节点的信任更多地依靠在信息传输过程中的密码学保证。

• DSN 例：Sia (一种去中心化的 P2P 云存储解决方案)，旨在降低云存储成本并提高存储数据的安全性。当我们选择将数据存储在 Sia 链上时，Sia 将数据拆分，加密并分发到多个不同的节点 (peers that help us to store the data)，我们与节点的通信依靠加密使用的私钥。任何人都可以在 Sia 上出租自己 PC 的存储空间并收取 Siacoin 付费。同样，任何想租用 Sia 上存储空间的用户需要向空间所有者支付 Siacoin。Sia 链通过 file storage contract (即智能合约) 保障租赁双方权益。包租公除了要在约定的时间、空间内保存文件，还必须给出一定数量的 Siacoin 作为押金。如果租户向包租公发出文件请求但包租公没有回应，押金作为惩罚支付给租户。当双方同意，协议终止后， Siacoin 通过智能合约支付给S包租公。
• 由此，我们知道：DSN 通过区块链上的智能合约保障双方权益，文件的审计 (auditing，包括确保 integrity && retrievability) 需要通过区块链执行，即 Proof of Storage。

3. 将 DSN 作为外包存储的潜在问题，文中给出两点：

• 链上进行的文件审计透明而公平，但可能泄露被审计的数据，牺牲了隐私；
• 高频审计占用链上资源，文件尺寸大，审计成本高。

二、Goal 这篇文章做了什么？

提出一种链上审计解决方案，保障被审计数据的隐私和审计效率。用到的密码学基础：homomorphic linear authenticators (保障一致的审计成本，每次审计后，将向区块链写入 288 字节的证明，审计成本恒定) 和 sigma protocol (保障审计过程的隐私)。

将云和 DSN 作为外包存储载体，云的优势肯定大得多。比如说云可以提供高质量的缓存和数据检索服务，但是 DSN 不行 ( DSN 里交付给房东的是加密数据，对加密数据进行高质量的缓存和检索更难，涉及更多安全性问题)。因此对基于区块链的 DSN 的定位，是作为云的一种补充形式而不是替代形式。

三、提出的模型

1. 系统模型（按系统功能角度划分）：如下图，链上有两个任务，分别是 Auditing 和 Infrastructure。

• Auditing 由智能合约控制，负责保障整个系统的审计、激励。
• Infrastructure 在本文由用户/软件提供，进行数据的分块、加密、 erasure coding、分发。在这个过程中，owner 将准备外包存储的数据分块、在块级别加密、数据冗余处理，最后使用分布式哈希表查找候选 storage provider ，按路由发送外包数据。

2. 系统模型（按系统角色角度划分）：

• 数据所有者 data owner D，D 希望把自己加密后的数据外包到 DSN，需要为每一次的审计挑战付费；
• 存储提供者 storage provider S，S 帮助 D 存储文件，接受每一次的审计挑战并给出响应证明。
• 智能合约 SC，确保审计的正常进行与真实可靠，发起审计挑战，验证响应证明，奖励、惩罚 D 和 S。

3. 智能合约伪代码

4. 智能合约的具体一些实施细节

• 在审计之前，D 构建自己希望外包存储的数据的 Merkle 树，D 需要记下这棵树，只公开树根 rt。
• 审计基于零知识证明，预构建一个基于 Merkle 树的 ZK-SNARK 电路，电路写死了 Merkle 树的计算过程。这个预构建电路的初始化后会输出 proof key pk 和 verify key vk。
• 随后 D 向 S 发送需要存储的数据。
• S 接到 D 发来的数据后，审计通过智能合约 SC 以 challenge-response 的形式定时开始。
• SC 向 S 和 D 发出 challenge R：S 收到 R 并给出回应 proof Prf (用 pk 加密)；
• SC 收到 Prf 用verify key vk 解密，验证解密结符不符合公开树根 rt 的值。
• 链上传输的数据都经过 ZKP 加密，所以保障了隐私