Zero-Knowledge Verifiable Graph Query Evaluation via Expansion-Centric Operator Decomposition. - Hao Wu; Changzheng Wei; Yanhao Wang 001; Li Lin; Yilong Leng; Shiyu He; Minghao Zhao 001; Hanghang Wu; Ying Yan 002; Aoying Zhou (CoRR, 2025)