Hao Wu, Changzheng Wei, Yanhao Wang, Li Lin, Yilong Leng, Shiyu He, Minghao Zhao, Hanghang Wu, Ying Yan, Aoying Zhou: Zero-Knowledge Verifiable Graph Query Evaluation via Expansion-Centric Operator Decomposition. ICDE 2026: 461-473