ZKSQL: Verifiable and Efficient Query Evaluation with Zero-Knowledge Proofs
Summary: ZKSQL issues zero-knowledge, authenticated proofs that ad-hoc SQL answers are correct and complete w.r.t. a private database while leaking no record-level information. It constructs proofs over query-evaluation steps and leverages authenticated set operations to accelerate verification, achieving ≈100× speedups on TPC-H. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Xiling Li
- 2. Chenkai Weng
- 3. Yongxin Xu
- 4. Xiao Wang
- 5. Jennie Rogers
Incoming Citations (Sorted by Pagerank)
Showing 5 of 5 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 8,459 | Secure and Verifiable Data Collaboration with Low-Cost Zero-Knowledge Proofs | 2024 | VLDB | 4.5065275e-05 |
| 9,643 | PoneglyphDB: Efficient Non-interactive Zero-Knowledge Proofs for Arbitrary SQL-Query Verification | 2025 | SIGMOD | 4.3109001e-05 |
| 10,101 | Privacy-preserving and Verifiable Causal Prescriptive Analytics | 2026 | SIGMOD | 4.1945683e-05 |
| 10,107 | Reliable and Private Utility Signaling for Data Markets | 2026 | SIGMOD | 4.1945683e-05 |
| 10,653 | Alchemy: A Query Optimization Framework for Oblivious SQL | 2025 | VLDB | 4.1945683e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 4 of 4 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 544 | Apache Calcite: A Foundational Framework for Optimized Query Processing Over Heterogeneous Data Sources | 2018 | SIGMOD | 0.00020521965 |
| 1,651 | CorrectDB: SQL Engine with Practical Query Authentication | 2013 | VLDB | 0.00011011694 |
| 2,673 | Shrinkwrap: Efficient SQL Query Processing in Differentially Private Data Federations | 2019 | VLDB | 8.3333418e-05 |
| 4,538 | VeriDB: An SGX-based Verifiable Database | 2021 | SIGMOD | 6.1040708e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,307 | SMCQL: Secure Querying for Federated Databases | 2017 | VLDB | 0.0001266709 |
| 11,112 | DOP-SQL: A General-purpose, High-utility, and Extensible Private SQL System | 2024 | VLDB | 4.1945683e-05 |
| 11,994 | SQL/AA: Executing SQL on an Asymmetric Architecture | 2014 | VLDB | 4.1945683e-05 |
| 6,510 | Efficient Auditing For Complex SQL queries | 2011 | SIGMOD | 5.0326078e-05 |
| 10,970 | Relational Algorithms for Top-k Query Evaluation | 2024 | SIGMOD | 4.1945683e-05 |
| 6,970 | Architecting a Differentially Private SQL Engine | 2019 | CIDR | 4.8796169e-05 |
| 5,502 | When Query Authentication Meets Fine-Grained Access Control: A Zero-Knowledge Approach | 2018 | SIGMOD | 5.4741324e-05 |
| 1,738 | PrivateSQL: A Differentially Private SQL Query Engine | 2019 | VLDB | 0.00010720057 |
| 10,101 | Privacy-preserving and Verifiable Causal Prescriptive Analytics | 2026 | SIGMOD | 4.1945683e-05 |
| 9,643 | PoneglyphDB: Efficient Non-interactive Zero-Knowledge Proofs for Arbitrary SQL-Query Verification | 2025 | SIGMOD | 4.3109001e-05 |