[论文解读] vChain: Enabling Verifiable Boolean Range Queries over Blockchain Databases

Cheng Xu, Ce Zhang+1 more|arXiv (Cornell University)|Dec 6, 2018

Blockchain Technology Applications and Security参考文献 27被引用 16

一句话总结

该论文提出了vChain，一种用于区块链数据库的可验证查询框架，使轻量级用户能够以加密证明保障结果完整性的方式，高效且安全地执行布尔范围查询。通过引入基于累加器的认证数据结构、块内与块间索引，以及用于订阅的倒排前缀树，vChain将用户计算成本降低了最多2倍，并实现了查询窗口大小的次线性扩展，确保了高效性与强安全保证。

ABSTRACT

Blockchains have recently been under the spotlight due to the boom of cryptocurrencies and decentralized applications. There is an increasing demand for querying the data stored in a blockchain database. To ensure query integrity, the user can maintain the entire blockchain database and query the data locally. However, this approach is not economic, if not infeasible, because of the blockchain's huge data size and considerable maintenance costs. In this paper, we take the first step toward investigating the problem of verifiable query processing over blockchain databases. We propose a novel framework, called vChain, that alleviates the storage and computing costs of the user and employs verifiable queries to guarantee the results' integrity. To support verifiable Boolean range queries, we propose an accumulator-based authenticated data structure that enables dynamic aggregation over arbitrary query attributes. Two new indexes are further developed to aggregate intra-block and inter-block data records for efficient query verification. We also propose an inverted prefix tree structure to accelerate the processing of a large number of subscription queries simultaneously. Security analysis and empirical study validate the robustness and practicality of the proposed techniques.

研究动机与目标

• 解决区块链数据库中来自不受信全节点的查询结果缺乏完整性保障的问题。
• 使轻量级（轻量）用户能够在不存储整个区块链的情况下验证查询结果。
• 支持对区块链存储数据中任意属性的高效、动态且可验证的布尔范围查询。
• 通过优化索引和证明聚合，降低用户计算与通信成本。
• 通过使用倒排前缀树实现高效的证明管理，支持可扩展的基于订阅的查询。

提出的方法

• 提出一种基于累加器的认证数据结构（ADS），将数值属性映射为集合值表示，以实现对任意查询属性的动态聚合。
• 引入基于树的块内索引，以加速单个块内的本地验证。
• 设计基于跳表的块间索引，以实现高效的跨块范围查询验证与剪枝。
• 开发倒排前缀树（IP-Tree），通过分组相似查询来优化订阅查询的批量处理，减少冗余证明计算。
• 采用批处理验证技术，利用密码学累加器聚合跨块的不匹配证明，减少证明大小与验证时间。
• 集成实时与懒惰证明生成策略，后者在订阅周期增长时实现了证明大小与用户CPU时间的次线性增长。

实验结果

研究问题

• RQ1 如何在不需用户存储整个区块链的前提下，高效且安全地处理区块链存储数据上的布尔范围查询？
• RQ2 何种认证数据结构能够在区块链环境中实现对任意数值查询属性的动态聚合？
• RQ3 如何设计块内与块间索引，以在支持范围查询的同时最小化验证开销？
• RQ4 何种索引策略能够实现区块链数据库中订阅查询的高效批量处理？
• RQ5 在长期订阅场景下，证明聚合如何影响性能与可扩展性？

主要发现

• 块内与块间索引的联合使用，相比仅使用累加器，将用户CPU时间至少降低了2倍。
• 基于索引的方案在查询窗口大小上实现次线性扩展，尤其在数据相似性较低的数据集（如ETH）中表现最佳。
• 懒惰证明生成策略相比实时方案，将用户CPU时间降低了超过50%，尤其在长订阅周期下优势显著。
• IP-Tree索引在所有评估数据集中，将服务提供商的CPU开销至少降低了50%，在ETH等稀疏分布中收益更大。
• 在大多数情况下，块间索引优于块内索引，尤其在数据相似性较低或块大小较小时。
• 块内与块间索引的组合（两者结合）实现了最佳整体性能，仅在4SQ数据集的SP CPU时间上因不相交证明中多重集较大而表现不佳。