vChain+: Optimizing Verifiable Blockchain Boolean Range Queries
Haixin Wang, Cheng Xu, Ce Zhang, Jianliang Xu, Zhe Peng, Jian Pei
Abstract
Blockchain has recently gained massive attention thanks to the success of cryptocurrencies and decentralized applications. With immutability and tamper-resistance features, it can be seen as a promising secure database solution. To address the need of searches over blockchain databases, prior work vChain proposed a novel verifiable processing framework that ensures query integrity without maintaining a full copy of the blockchain database. It however suffers from several limitations, including linear-scan search performance in the worst case and impractical public key management. In this paper, we propose a new searchable blockchain system, vChain+, that supports efficient verifiable boolean range queries with additional features. Specifically, we propose a sliding window accumulator index to achieve efficient query processing even for the worst case. We also design an object registration index to enable practical public key management without compromising the security guarantee. To support richer queries, we employ optimal tree-based indexes to index both keywords and numerical attributes of the data objects. Several optimizations are also proposed to further improve the query performance. Security analysis and empirical study validate the robustness and performance improvement of the proposed system. Compared with vChain, vChain+ improves the query performance by up to 913x.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 61d74d1b-5d7f-45e7-8e4c-c58e21d64546Cited by top-tier papers6
- COLE: A Column-based Learned Storage for Blockchain SystemsCe Zhang, Cheng Xu, Haibo Hu, Jianliang XuFAST 2024 · 20 citations
- SlimArchive: A Lightweight Architecture for Ethereum Archive NodesHang Feng, Yufeng Hu, Yinghan Kou, Runhuai Li et al.USENIX ATC 2024 · 11 citations
- VeriDKG: A Verifiable SPARQL Query Engine for Decentralized Knowledge GraphsEnyuan Zhou, Song Guo, Zicong Hong, Christian S. Jensen et al.VLDB 2024 · 5 citations
- Authenticated Aggregate Queries with Boolean Range Predicates on BlockchainsWeijie Sun, Zihuan Xu, Wangze Ni, Lei Chen et al.VLDB 2025 · 1 citation
- Pistis: A Decentralized Knowledge Graph Platform Enabling Ownership-Preserving SPARQL QueryingEnyuan Zhou, Song Guo, Zicong Hong, Christian S. Jensen et al.VLDB 2025 · 1 citation
Builds on11
- Spectre Attacks: Exploiting Speculative ExecutionPaul Kocher, Jann Horn, Anders Fogh, Daniel Genkin et al.S&P 2019 · 2,435 citations
- RIDL: Rogue In-Flight Data LoadStephan van Schaik, Alyssa Milburn, Sebastian Österlund, Pietro Frigo et al.S&P 2019 · 408 citations
- vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced DatabasesYupeng Zhang, Daniel Genkin, Jonathan Katz, Dimitrios Papadopoulos et al.S&P 2017 · 206 citations
- SharPer: Sharding Permissioned Blockchains Over Network ClustersMohammad Javad Amiri, Divyakant Agrawal, Amr El AbbadiSIGMOD 2021 · 181 citations
- egg: Fast and extensible equality saturationMax Willsey, Chandrakana Nandi, Yisu Remy Wang, Oliver Flatt et al.POPL 2021 · 170 citations
Related papers
- Towards Dynamic Boolean Range Query Over Hybrid-Storage Blockchains: A Secure and Reliably Verifiable FrameworkNingning Cui, Dong Wang, Jianxin Li, Huaijie Zhu et al.ICDE 2025 · 4 citations
- VGQ: Enabling Verifiable Graph Queries on Blockchain SystemsZhongming Yao, Tianyi Li, Junchang Xin, Yushuai Li et al.ICDE 2025 · 4 citations
- Authenticated Keyword Search in Scalable Hybrid-Storage BlockchainsCe Zhang, Cheng Xu, Haixin Wang, Jianliang Xu et al.ICDE 2021 · 88 citations
- : Efficient, Secure, and Verifiable Fuzzy Search with Data Updates in Hybrid-Storage BlockchainsPengcheng Sun, Lan Zhang, Jiandong Liu, Chen Tang et al.ICDE 2025 · 4 citations
- MEST: An Efficient Authenticated Secondary Index in Blockchain SystemsJinping Jia, Yichen Gao, Yifei Zhen, Zhao Zhang et al.ICDE 2025 · 2 citations
