TY  - RPRT
TI  - Zero-Knowledge Verifiable Graph Query Evaluation via Expansion-Centric Operator Decomposition
AU  - Hao Wu
AU  - Changzheng Wei
AU  - Yanhao Wang
AU  - Li Lin
AU  - Yilong Leng
AU  - Shiyu He
AU  - Minghao Zhao
AU  - Hanghang Wu
AU  - Ying Yan
AU  - Aoying Zhou
PY  - 2025
UR  - https://arxiv.org/abs/2507.00427
ID  - 2507.00427
ER  -