ZKSQL: Verifiable and Efficient Query Evaluation with Zero-Knowledge Proofs.

Xiling Li Chenkai Weng Yongxin Xu Xiao Wang Jennie Rogers

Published in: Proc. VLDB Endow. (2023)

Keyphrases

efficient query evaluation
prior knowledge
knowledge representation
knowledge base
domain knowledge
knowledge management
data mining techniques
knowledge acquisition
knowledge sharing
database
databases
data management
computer programs
bayesian networks
sufficient conditions
theorem proving