Verifiable Arbitrary Queries With Zero Knowledge Confidentiality in Decentralized Storage

Research output: Journal Publications and ReviewsRGC 21 - Publication in refereed journalpeer-review

View graph of relations

Author(s)

Related Research Unit(s)

Detail(s)

Original languageEnglish
Pages (from-to)1071-1085
Journal / PublicationIEEE Transactions on Information Forensics and Security
Volume19
Online published6 Nov 2023
Publication statusPublished - 2024

Abstract

Blockchain-based data storage has become an emerging paradigm, providing a fair and transparent data platform for decentralized applications. However, how to achieve secure on-chain verification for arbitrary SQL queries in such a decentralized storage remains under-explored. Due to the limitations of authenticated data structure (ADS), existing works either do not consider arbitrary query verification issue or fail to achieve practical gas consumption efficiency. In this paper, we present a novel arbitrary query verification scheme for decentralized storage. The proposed scheme, named zkQuery, enables efficient public verification for arbitrary queries with zero-knowledge confidentiality. zkQuery is built from the ingenious synergy of techniques from both zero-knowledge proof and smart contract technology. The core idea is to delegate smart contracts to fairly execute results verification and utilize our tailored zero-knowledge proof protocol to facilitate arbitrary computation in a privacy-preserving manner. The verification protocols of zkQuery are highly customized for decentralized storage, where the complexity of on-chain verification can be completed in logarithmic time, significantly decreasing gas consumption. We rigorously provide security analysis and complete the prototype implementation. The extensive experiments over the NEAR blockchain show that zkQuery can gain at least 2x better performance than the baseline approach on all metrics. © 2023 IEEE.

Research Area(s)

  • encrypted database, Query authentication, smart contract, zero-knowledge proofs