VGQ: Enabling Verifiable Graph Queries on Blockchain Systems

Blockchain technology has transformed financial services sectors by providing security, transparency, and immutability through decentralized ledger systems. However, while blockchain data can support a range of applications-such as user quality analysis, illegal activity detection, and transaction pattern identification-existing systems are restricted to basic queries on blocks and transactions due to their sequential data storage. To support queries more generally, we propose VGQ, the first verifiable graph query (VGQ) framework that enables efficient graph queries on blockchain systems without altering blockchain storage structures. VGQ integrates a query layer with an external graph database system and represents blockchain data as a directed transaction graph to improve the efficiency of graph query execution. To ensure reliable results, VGQ includes result verification with three key performance enhancing optimizations: (i) computing connected components to exclude irrelevant vertices and edges during verification; (ii) merging information from edges to accelerate completeness verification; and (iii) employing a dual pointer algorithm for efficient soundness verification. Experiments offer evidence that VGQ can improve on the state-of-the-art framework in terms of query efficiency by up to one order of magnitude and in terms of verification efficiency by up to two orders of magnitude.