Zero-Knowledge Verifiable Graph Query Evaluation via Expansion-Centric Operator Decomposition

Hao Wu, Changzheng Wei, Yanhao Wang +7

This paper investigates the feasibility of achieving zero-knowledge verifiability for graph databases, enabling database owners to cryptographically prove the query execution corre…