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)

Paper ID: 7056
Venue: SIGMOD
Year: 2025
Pagerank: 4.3109001e-05
Overall Rank: 9,643 | 32.92%
DOI: 10.1145/3709713

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
10,101	Privacy-preserving and Verifiable Causal Prescriptive Analytics	2026	SIGMOD	4.1945683e-05

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.

Rank	Cited Paper	Year	Venue	Pagerank
355	Hippocratic Databases	2002	VLDB	0.00026087195
453	Towards Practical Differential Privacy for SQL Queries	2018	VLDB	0.00022741848
1,651	CorrectDB: SQL Engine with Practical Query Authentication	2013	VLDB	0.00011011694
1,828	Authenticated Join Processing in Outsourced Databases	2009	SIGMOD	0.00010389392
2,288	Concerto: A High Concurrency Key-Value Store with Integrity	2017	SIGMOD	9.0953738e-05
4,538	VeriDB: An SGX-based Verifiable Database	2021	SIGMOD	6.1040708e-05
5,404	Practical Authenticated Pattern Matching with Optimal Proof Size	2015	VLDB	5.5267144e-05
6,257	ZKSQL: Verifiable and Efficient Query Evaluation with Zero-Knowledge Proofs	2023	VLDB	5.1366858e-05
7,300	GlassDB: An Efficient Verifiable Ledger Database System Through Transparency	2023	VLDB	4.7698722e-05
8,459	Secure and Verifiable Data Collaboration with Low-Cost Zero-Knowledge Proofs	2024	VLDB	4.5065275e-05
8,676	VeriBench: Analyzing the Performance of Database Systems with Verifiability	2023	VLDB	4.4707331e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
11,112	DOP-SQL: A General-purpose, High-utility, and Extensible Private SQL System	2024	VLDB	4.1945683e-05
8,676	VeriBench: Analyzing the Performance of Database Systems with Verifiability	2023	VLDB	4.4707331e-05
6,970	Architecting a Differentially Private SQL Engine	2019	CIDR	4.8796169e-05
6,962	Efficient Secure Query Evaluation over Encrypted XML Databases	2006	VLDB	4.883323e-05
8,667	Encrypted Databases: From Theory to Systems	2021	CIDR	4.4718453e-05
5,302	Secure Query Processing with Data Interoperability in a Cloud Database Environment	2014	SIGMOD	5.5786331e-05
5,920	SDB: A Secure Query Processing System with Data Interoperability	2015	VLDB	5.2727262e-05
4,423	Scalable Verification for Outsourced Dynamic Databases	2009	VLDB	6.1989913e-05
5,502	When Query Authentication Meets Fine-Grained Access Control: A Zero-Knowledge Approach	2018	SIGMOD	5.4741324e-05
6,257	ZKSQL: Verifiable and Efficient Query Evaluation with Zero-Knowledge Proofs	2023	VLDB	5.1366858e-05