2 papers
cs.DB2025
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…
cs.DC2025
DTVM: Revolutionizing Smart Contract Execution with Determinism and Compatibility
Wei Zhou, Xiong Xu, Changzheng Wei +22
We introduce the DeTerministic Virtual Machine (DTVM) Stack, a next-generation smart contract execution framework designed to address critical performance, determinism, and ecosyst…