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 2 of 2 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 10,587 | Privacy-preserving and Verifiable Causal Prescriptive Analytics | 2026 | SIGMOD | 4.9793485e-05 |
| 10,810 | V3DB: Audit-on-Demand Zero-Knowledge Proofs for Verifiable Vector Search over Committed Snapshots | 2026 | VLDB | 4.9793485e-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,636 | DOP-SQL: A General-purpose, High-utility, and Extensible Private SQL System | 2024 | VLDB |
| 2 | 8,759 | VeriBench: Analyzing the Performance of Database Systems with Verifiability | 2023 | VLDB |
| 3 | 7,295 | Architecting a Differentially Private SQL Engine | 2019 | CIDR |
| 4 | 7,211 | Efficient Secure Query Evaluation over Encrypted XML Databases | 2006 | VLDB |
| 5 | 8,837 | Encrypted Databases: From Theory to Systems | 2021 | CIDR |
| 6 | 5,121 | Secure Query Processing with Data Interoperability in a Cloud Database Environment | 2014 | SIGMOD |
| 7 | 5,755 | SDB: A Secure Query Processing System with Data Interoperability | 2015 | VLDB |
| 8 | 4,985 | Scalable Verification for Outsourced Dynamic Databases | 2009 | VLDB |
| 9 | 5,436 | When Query Authentication Meets Fine-Grained Access Control: A Zero-Knowledge Approach | 2018 | SIGMOD |
| 10 | 4,822 | ZKSQL: Verifiable and Efficient Query Evaluation with Zero-Knowledge Proofs | 2023 | VLDB |