ZKSQL: Verifiable and Efficient Query Evaluation with Zero-Knowledge Proofs
ZKSQL: Verifiable and Efficient Query Evaluation with Zero-Knowledge Proofs
复制标题
DOI：
10.14778/3594512.3594513
复制
发表时间：
2023-04
期刊：
影响因子：
--
通讯作者：
Xiling Li;Chenkai Weng;Yongxin Xu;Xiao Wang;Jennie Duggan
中科院分区：
文献类型：
--
作者：
Xiling Li;Chenkai Weng;Yongxin Xu;Xiao Wang;Jennie Duggan
个人和组织正在使用数据库以前所未有的速度存储个人信息。这为数据提供商创建了一个难题。他们负责保护数据库中描述的个人的隐私。另一方面，有时需要数据提供商提供有关其数据的统计信息，而不是强烈保证这些答案是正确且完整的，例如在美国SEC和其他政府组织中的监管申请中。我们介绍了一个系统ZKSQL，该系统为零知识证明的临时SQL查询提供了身份验证的答案。它的证据表明，关于数据库内容的答案是正确的，并且没有泄露有关其输入记录的任何信息。该系统通过查询评估的步骤构建证据，并通过经过认证的集合操作加速了此过程。我们在TPC-H查询套件上验证了这种方法的效率，我们的结果表明，ZKSQL在基线上实现了两个数量级的速度。
Individuals and organizations are using databases to store personal information at an unprecedented rate. This creates a quandary for data providers. They are responsible for protecting the privacy of individuals described in their database. On the other hand, data providers are sometimes required to provide statistics about their data instead of sharing it wholesale with strong assurances that these answers are correct and complete such as in regulatory filings for the US SEC and other goverment organizations. We introduce a system, ZKSQL , that provides authenticated answers to ad-hoc SQL queries with zero-knowledge proofs. Its proofs show that the answers are correct and sound with respect to the database's contents and they do not divulge any information about its input records. This system constructs proofs over the steps in a query's evaluation and it accelerates this process with authenticated set operations. We validate the efficiency of this approach over a suite of TPC-H queries and our results show that ZKSQL achieves two orders of magnitude speedup over the baseline.