PoneglyphDB: Efficient Non-interactive Zero-Knowledge Proofs for Arbitrary SQL-Query Verification
Summary: PoneglyphDB provides confidential data handling with verifiable SQL results via non-interactive zero-knowledge proofs. It engineers efficient SQL circuits (PLONKish, recursive proofs, low-degree constraints) and composes them for complex queries, demonstrated on TPC-H with improved ZKP performance. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Binbin Gu (University of California Irvine)
- 2. Juncheng Fang (University of California Irvine)
- 3. Faisal Nawab (University of California Irvine)
BibTeX Citation
@inproceedings{gu_sigmod25,
title = {{PoneglyphDB: Efficient Non-interactive Zero-Knowledge Proofs for Arbitrary SQL-Query Verification}},
author = {Gu, Binbin and Fang, Juncheng and Nawab, Faisal},
series = {{SIGMOD} '25},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
publisher = {Association for Computing Machinery},
doi = {10.1145/3709713},
url = {https://dl.acm.org/doi/10.1145/3709713},
year = {2025}
}
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 10,391 | Privacy-preserving and Verifiable Causal Prescriptive Analytics | 2026 | SIGMOD | 5.093636e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 11 of 11 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 11,318 | DOP-SQL: A General-purpose, High-utility, and Extensible Private SQL System | 2024 | VLDB |
| 2 | 8,683 | VeriBench: Analyzing the Performance of Database Systems with Verifiability | 2023 | VLDB |
| 3 | 7,147 | Architecting a Differentially Private SQL Engine | 2019 | CIDR |
| 4 | 7,115 | Efficient Secure Query Evaluation over Encrypted XML Databases | 2006 | VLDB |
| 5 | 8,670 | Encrypted Databases: From Theory to Systems | 2021 | CIDR |
| 6 | 4,997 | Secure Query Processing with Data Interoperability in a Cloud Database Environment | 2014 | SIGMOD |
| 7 | 5,629 | SDB: A Secure Query Processing System with Data Interoperability | 2015 | VLDB |
| 8 | 4,887 | Scalable Verification for Outsourced Dynamic Databases | 2009 | VLDB |
| 9 | 5,315 | When Query Authentication Meets Fine-Grained Access Control: A Zero-Knowledge Approach | 2018 | SIGMOD |
| 10 | 6,010 | ZKSQL: Verifiable and Efficient Query Evaluation with Zero-Knowledge Proofs | 2023 | VLDB |